Gauging the Maxwell extended $\mathcal{GL}\left(n,\mathbb{R}\right)$ and $\mathcal{SL}\left(n+1,\mathbb{R}\right)$ algebras

We consider the extension of the general-linear and special-linear algebras by employing the Maxwell symmetry in $D$ space-time dimensions. We show how various Maxwell extensions of the ordinary space-time algebras can be obtained by a suitable contraction of generalized algebras. The extended Lie algebras could be useful in the construction of generalized gravity theories and the objects that couple to them. We also consider the gravitational dynamics of these algebras in the framework of the gauge theories of gravity. By adopting the symmetry-breaking mechanism of the Stelle-West model, we present some modified gravity models that contain the generalized cosmological constant term in four dimensions.


I. INTRODUCTION
The historical developments show that the concept of gauge symmetry is a very powerful principle for constructing theories of fundamental interactions.For example, the electro-weak and strong interactions are described by the gauge theory based on the internal symmetry groups SU (2) ⊗ U (1) and SU (3), respectively.In addition to these treatments, inspired by the Yang-Mills gauge theory [1], Einstein's general theory of relativity can be considered as a gauge theory of gravity.In 1956, Utiyama proposed that gravity can be constructed as a gauge theory based on the local homogeneous Lorentz group [2].Later, in 1961, Kibble and Sciama generalized the gauge group to the Poincare group and they arrived at what is now known as the Einstein-Cartan gravity [3,4].After that, many spacetime symmetry groups have been used to construct different types of gauge theories of gravity, such as Weyl [5,6], affine [7][8][9] and conformal groups [10][11][12].
The invariance of a given system under a certain symmetry transformation helps to find its physical properties.From this idea, if we use new symmetries or extend the well-known symmetries (such as the Poincare group, the de-Sitter group, etc.) it is expected that one may get more information about any physical systems.Thus, one can say that new or enlarged symmetries may have a great potential to formulate any physical system more accurately.In this context, the Maxwell symmetry introduced by [13,14] is a good example of the symmetry extension, wherein the Poincare group which describes the symmetries of empty Minkowski space-time is enlarged by six additional abelian anti-symmetric tensor generators satisfying [P a , P b ] = iZ ab . ( This enlarged symmetry naturally extends the space-time geometry.Physically, this extension can be considered as the symmetries of a charged particle in a constant electromagnetic field background [15].Moreover, the Maxwell symmetry has attracted increasing attention after the work of Soroka [16].Since then a variety of different Maxwell (super) symmetry algebras with interesting geometric and physical properties have been constructed and analyzed.For example, in general, the gauge theory of gravity based on the extended algebras leads to a generalized theory of gravity that includes an additional term to the energy-momentum tensor together with the cosmological constant [17][18][19][20][21][22][23][24][25][26][27][28] (for vanishing cosmological constant cases, see [20,[29][30][31][32][33]). Up to now, the energymomentum tensor coming from the Maxwell extension has not been extensively analyzed yet, but in this context, a minimal cosmological model has been introduced in [34] and also it is thought that the gauge fields of the Maxwell symmetry may provide a geometric background to describe vector inflatons in cosmological models [35] (for different solutions, see [33,36]).It is well known that such an additional term may be related to dark energy [37,38].For the non-gravitational case, Maxwell symmetry is also used to describe planar dynamics of the Landau problem [39], higher spin fields [40,41], and applied to the string theory as an internal symmetry of the matter gauge fields [36].Also, recent papers [42][43][44] have applied the Maxwell group in a classical form, which is given in [13,14].
Furthermore, it is proposed that the renormalizability and unitarity problems in quantum gravity can be overcome by taking the affine group as the dynamical group in the gauge theory of gravity, with the help of generalized linear connection [45][46][47][48][49][50].In this paper, we examine the Maxwell extension for both general-linear and special-linear groups in D dimensions and analyze their gauge theory of gravity, in particular the generalized cosmological constant term.We have already studied these groups in four space-time dimensions in [22,24,28], thus this work will generalize our previous results to D-dimensional space-time.
The organization of the paper is as follows.In Section II, we study the Maxwell extensions of the general linear group GL (n, R).Then we show that several Maxwell algebras can be obtained when we choose appropriate subalgebras and reduce it from a 5-dimensional case to 4 dimensions.We also construct the gauge theory of gravity based on the Maxwell extended GL (5, R).After applying dimensional reduction from 5 to 4 dimensions, we analyze the gravity action for two different cases.In Section III, we present the special-linear group SL (n + 1, R) and its Maxwell extension.In this framework, we give three examples that this extension leads to derive different generalizations of the Maxwell algebra in 4 dimensions.Similar to the previous section, we present the gauge theory of gravity based on this extended case.Finally, Section IV concludes the paper with some discussions.

II. MAXWELL EXTENSIONS OF GL (N, R) GROUP
The general linear group GL (n, R) which corresponds to the set of all linear transformations satisfies the following Lie algebra, where L A B are the generators of the group.This algebra can be extended to Maxwell-general linear algebra by adding an anti-symmetric tensor generator, Z AB , associated with the Maxwell symmetry.The generators L A B and Z AB obey the commutators where the capital Latin indices run A, B, C, ... = 0, 1, ..., n − 1 and n is the dimension of the group.The algebra with the commutation relations given by Equation (3), is denoted as MGL (n, R), the Maxwell-general linear algebra.
A. Decomposition of MGL (5, R) In this section, we start with the 35-dimensional MGL (5, R) algebra in the 5-dimensional space-time and carry out the dimensional reduction to the 4 dimensions.For this purpose, if we define the following generators and this definition yields the 26-dimensional subalgebra of MGL (5, R) as, where the generators L a b , P a , Z ab correspond to the general linear transformation, translation, and Maxwell symmetry transformation, respectively.Here, the constant λ has the unit of L −2 which will be related to the cosmological constant where L is considered as the unit of length.We note that the small Latin indices are a, b, c, ... = 0, 1, 2, 3 and the remaining commutators are zero.This algebra is the Maxwell extension of general affine GA (4, R) algebra which is the semi-direct product of the general-linear group GL (4, R) with the group of translation T 4 (for more details, see [9,45,51]).This 26-dimensional extended group is denoted by MGA (4, R).The method of nonlinear realization [52][53][54][55], allows us to obtain a differential realization of the generators as [22] where One can check that these differential operators fulfill the Maxwell-affine algebra and verify the self-consistency of Jacobi identities.
Taking the tangent space (Minkowski metric), η ab = diag (+, −, −, −) into consideration, we can define the following generators, where the antisymmetrization and symmetrization of the objects are defined by , respectively.Thus, the Lie algebra of these generators can be given as, where M ab is the anti-symmetric Lorentz generator, T ab is the symmetric deformation generator, P a is the translation generator, and Z ab is the Maxwell symmetry generator.The algebra spanned by {M ab ,T ab ,P a , Z ab } is the Maxwellaffine algebra introduced in Equation ( 5).This is also a minimal Maxwell extension of GA (4, R) group.The differential realization of the generators are Moreover, if we consider the following definitions with the Minkowski metric η ab , then we get the 17-dimensional subalgebra with following non-zero commutation relations, This is the Maxwell-Weyl algebra introduced in [56] and studied in the context of the gauge theory of gravity in [21].The differential realization of the generators {M ab ,P a , D,Z ab } is given by and they correspond to the generalized Lorentz transformations, space-time translations, dilatation, and the Maxwell symmetry transformations, respectively.In the absence of the dilatation symmetry, L 4 4 = 0, the algebra in Equation (11) reduces to the well-known Maxwell algebra [16,17].Herein we can conclude that MGL (n, R) algebra is a comprehensive symmetry algebra which has the great potential for obtaining different kinds of Maxwell extended algebras.

B. Gauging the MGL (5, R) Algebra
In this part, we consider the gauge theory of the MGL (5, R) algebra.To gauge this algebra, we follow the methods presented in [17,22].At first, we need to introduce gauge potentials, i.e., a vector-valued 1-form where A A (x) = ωB A , B AB are the gauge fields corresponding to the generators X A = L A B , Z AB .The variation of the gauge field A (x) under infinitesimal gauge transformation in tangent space can be calculated by using the following formula with the gauge generator where, λB A (x) and ϕ AB (x), are the parameters of the corresponding generators.The transformation properties of the gauge fields under infinitesimal action of the MGL (5, R) are The curvature 2-form F (x) is given by the structure equation written in terms of components one can calculate the curvature 2-forms of the associated gauge fields as where D = d + ω is the exterior covariant derivative with respect to MGL (5, R) connection ωA B .These is the GL (5, R) curvature 2-form and a new curvature 2-form for the tensor generator Z AB .Under an infinitesimal gauge transformation with parameters ζ(x), the change in curvature is given by and hence one gets the gauge variations of the curvatures.By taking the exterior covariant derivatives of the curvatures, the Bianchi identities become Having found the transformations of the gauge fields and the curvatures, we are ready to look for an invariant gravitational Lagrangian under these transformations.

C. Gravitational Action
In this section, we follow the approach of Stelle and West (SW) [57,58].Our starting point is the local SO (2, 3) symmetry with the metric signature as (+, −, −, −, +) on a 4-dimensional Minkowski space-time.It is well known that the symmetry-breaking mechanism of the Stelle-West model provides a physically realistic mechanism for obtaining gravity as a gauge theory with a spontaneously broken local symmetry.Stelle and West considered an action where a symmetry-breaking mechanism is induced by introducing a non-dynamical vector field V A in order to promote local SO (2, 3) transformations to gauge symmetries, which is constrained by the condition The SW action can be given by where σ is a constant and α is an arbitrary 4-form serving as a Lagrange multiplier.The totally anti-symmetric symbol ǫ ABCDE is an invariant tensor of the algebra so (2, 3).We can also note that A AB (x) is a de-Sitter connection 1-form, and R AB (x) is its curvature 2-form.Choosing where e a (x) corresponds to the vierbein field, D is the Lorentz covariant derivative and l is related to the cosmological constant according to l = 3/Λ, SO (2, 3) symmetry is broken spontaneously to SO (1, 3), and we obtain the action where R ab = dω ab + ω a c ∧ ω cb is the Ricci curvature 2-form, and we identify A ab (x) = ω ab (x) and also set σc = − 3 4κΛ together with κ is being Einstein's gravitational constant.
In analogy with the Stelle-West action in Equation ( 23), we will try to construct a gravitational action generalized to the case of the MGL (5, R) symmetry group.For this purpose, we combine the curvature 2-forms RA B and F AB into an anti-symmetric shifted curvature 2-form as follows where µ is a dimensionless constant which will be employed in the definition of the cosmological constant Λ = µλ and we define a new object as Here we introduced an additional symmetric tensor field g AB , which is called the premetric tensor field.It does not represent the metric tensor of space-time but it helps to construct an invariant Lagrangian (for more details, see [22,59]).The components of the premetric field are GL (5, R) tensor valued 0-forms and the infinitesimal transformation of the premetric tensor field under the local GL (5, R) symmetry group is and its covariant derivative is given as We note that if one identifies g AB as the space-time metric tensor, then Q AB becomes the nonmetricity.On the other hand, this kind of additional metric-like fields may be discussed in the context of the metric-affine gravity [28,49,60].
By using Equation (28), we can find the gauge transformation of the new object as . Moreover, since the tensorial translation being traded for diffeomorphism invariance is not symmetric of the action [18], omitting the tensorial-space translations, the transformation rules for the curvature F AB in Equation ( 21) can be rewritten as . Then using this background, one can show that the shifted curvature in Equation ( 27) has the following gauge transformation, Now, we can start with the following generalized Stelle-West action where V A is a 0-form non-dynamical GL (5, R) five-vector field with dimensions of the length and it satisfies the transformation δV A = λA C V C .We also use another definition V A = V B g AB which obeys the transformation rule as δV A = − λC A V C .Note that the totally anti-symmetric symbol η ABCDE is an invariant tensor under gl (5, R) algebra with the following transformation rule, With the help of Equation ( 30), one can easily check that the action Equation ( 31) is gauge invariant.We note that J AB is an asymmetric under the interchange of indices due to the definition of RAB .Thus, only the anti-symmetric part of RAB contributes to the gravitational dynamics in the action (31).
Then by the variation of the action with respect to ωA F (x), B AB (x) and g F G (x), we obtain the field equations and they are invariant under local MGL (5, R) transformations.

Four-Dimensional Case
If we take V A = (c, 0, 0, 0, 0) and fix the constant as σc = − 3 4κΛ , the gravitational action Equation ( 31) spontaneously breaks down to, where η abcd = eǫ abcd obey the same transformation rule given in Equation ( 32) and e is the determinant of the vierbein field and ǫ abcd is the Levi-Civita symbol.This action has a structural similarity to the Maxwell-Affine gravity action which was given in [22] but includes more general curvature 2-forms.So we can say that if we construct the Stelle-West-like action by using curvature 2-forms which come from MGL (5, R) we can obtain a generalized framework for Maxwell gravity.Furthermore, if we assume the premetric field g ab (x) as the tangent space metric tensor, then the action (31) can be written as follows where Rab and F ab are anti-symmetric curvature 2-forms.This action generalizes the minimal Maxwell gravity which was discussed in [17].Let us expand this action to a more explicit form.Similar to the definition in Equation ( 25), we define the following vector fields, where e a (x) can be considered as the vierbein vector field and b a (x) is an additional vector field as an effect of the Maxwell symmetry.Then the shifted curvature becomes where D is the Lorentz covariant derivative and R ab (ω) is the Riemann curvature 2-form.From this background, neglecting the total derivatives, the action (35) reduces The first line includes the Einstein-Hilbert-like term together with the cosmological constant term, the second line contains mixed terms, and the last line corresponds to the generalized cosmological terms with the Maxwell symmetry contributions.
Thus we can say that the gauge theory of gravity based on MGL (5, R) extends the geometrical framework of Einstein's gravitational theory to be included the generalized cosmological constant term.So this theory provides an alternative way to introduce the cosmological term.

III. MAXWELL EXTENSIONS OF THE SL (N + 1, R) GROUP
The group of special-linear transformations (also known as the metalinear group) SL (n + 1, R), being the subgroup of GL (n, R), consists of matrices of determinant unity and it is generated by n (n + 2) trace-free generators, and satisfies the following Lie algebra [61][62][63] (for more details, see [64]), where LA B are the SL (n + 1, R) generators and the index structure is essentially the same as that of the previous section.
We extend this algebra by an anti-symmetric tensor generator Z AB associated with the Maxwell symmetry as, [Z AB , Z CD ] = 0.
This algebra can be named as the Maxwell-special-linear algebra and denoted with MSL (n + 1, R).

A. Decomposition of MSL (n + 1, R)
Let us now analyze the algebra (41) in four space-time dimensions.As a first example, if we define the generators as then this definition leads to the following 25-dimensional subalgebra where the generators La b , P a , Z ab correspond to the generalized special-linear, translation, and the Maxwell symmetries, respectively.This algebra is the Maxwell extended special-affine algebra SA (4, R) which is the semi-direct product of the 15-dimensional SL (4, R) transformation and 4-dimensional translation T 4 .It is also known as the Maxwell-special-linear algebra and denoted by MSA (4, R) (for more details, see [24]).The differential realization of the generators can also be found as follows As a second example, this time we combine the algebras given in Equations ( 3) and ( 41) in four dimensions.Defining the following generators, we get the Lie algebra as, where we have used the expression L 4 4 = 1 4 L c c .Here, P a * is a vector and P b is a co-vector with respect to GL (n, R) transformation and they also generate pseudo-translations.Moreover, there is an additional vector generator Z a that comes from the Maxwell symmetry extension.This algebra is a novel Maxwell extension of the meta-linear group studied in [62,63] in the four-dimensional space-time.
Furthermore, if the tangent (flat) space carries a metric with the component η ab , one can lower the indices and a finer splitting of MSA (4, R) algebra can be achieved: and the commutation relations given by Equation ( 43) become where M ab generates the metric-preserving Lorentz subgroup, T ab generates the (nontrivial) relativistic four-volumepreserving transformations (shear generator) with trT ab = 0, P a is the translation generator, and Z ab is the Maxwell generator.The differential realizations of these generators are given by Thus, we derived the Maxwell extension of SA (4, R) algebra in the presence of a metric [45].
B. The Gauge Theory of the MSL (n + 1, R) Group In the gauging of the MSL (n + 1, R) symmetry group, we adopt the same construction procedures given in the previous section.For this purpose, we start by writing down an algebra-valued gauge field where A A (x) = ωB A , B AB are the gauge fields corresponding to the generators X A = LA B , Z AB , respectively.Using the Lie algebra valued gauge parameters where ϕ AB (x) and λB A (x) are the Maxwell and the special-linear transformation parameters, respectively.By using Equations ( 14), (50), and (51), the transformation properties of the gauge fields under the infinitesimal MSL (n + 1, R) are where λ and ω are the trace parts of the GL (n, R) valued parameter and gauge field, respectively.To find the curvature 2-forms, we make use of Equation ( 17) and recall the following definition Then it yields the curvature 2-forms of the MSL (n + 1, R) algebra as where the exterior covariant derivative D is defined with respect to SL (n + 1, R) connection.The infinitesimal variation of the curvature 2-forms under the gauge transformations can be obtained by using Equation (20), As before, we again introduce an additional symmetric tensor field, g AB (x) as a premetric tensor field.The components of the premetric tensor field are SL (n + 1, R) tensor valued 0-forms.The infinitesimal transformation of the premetric field under local SL (n + 1, R) is given by With the help of the premetric tensor field, we can define the following combined structure, and one can easily show that the gauge variation of RAB is given by Now, we can define a shifted curvature as follows where µ is a dimensionless arbitrary constant.This object also has the following gauge transformation, At this point, to find a gravitational action, similar to the previous section, we again consider the Stelle-West model.Thus, we write the following action in 5 dimensions, where, similar to the previous section, V A and V A = V C g CA are 0-form non-dynamical five-vector fields with respect to the special-linear group in 5 dimensions and satisfy δV A = λA C V C and δV A = λC A V C , respectively.Moreover, the transformation of the fully anti-symmetric tensor η ABCDE can be given as Here, making use of Equation (39), one can decompose the special linear transformation parameter as λA B = λA B − 1 n δ A B λ. Thus, it can be easily shown that δη ABCDE = 0.The action in Equation ( 61) is a slightly modified version of Equation (31) due to the special-linear group symmetry and its equations of motion being the same as that of Equation (33).

A Gravitational Action in Four Dimensions
To find a gravitational model in four dimensions, we will use the action in Equation (61).First of all, we assume that the premetric tensor field g AB is diagonal unless otherwise indicated.The special-linear connection tensor then decomposes into anti-symmetric and symmetric parts via the premetric tensor as where ω AC (x) is anti-symmetric and v AC (x) is symmetric, with respect to the indices.Then we can decompose the curvature 2-forms as follows where R AB is the anti-symmetric part and E AB is the symmetric part and their explicit expressions are given by In this regard, the Maxwell curvature 2-form can also be written as and the shifted curvature 2-form takes the following form Now, we will reduce the space-time dimension from 5 to 4. Since g A4 = 0, one can identify the field g ab (x) as the metric tensor in the four dimensions with the variation δg ab = λ(a c g cb) , under infinitesimal gauge transformation.Under these circumstances, the action in Equation ( 61) spontaneously breaks down to the MacDowell-Mansouri-like action [65] where we again used V A = (c, 0, 0, 0, 0) and σc = − 1 4κΛ .We also note that Rab = Rab + E ab is asymmetric under the interchange of indices, so only the anti-symmetric part of Rab contributes to the equations of motion in the presence of the fully anti-symmetric tensor η abcd .At this point, one can redefine the shifted curvature in terms of an anti-symmetric part of Rab by excluding the symmetric E ab part as where the new objects R ab and F ab are given by with the following linear combinations e a (x) = 1 The field e a (x) may be identified as the generalized vierbein field and the remaining objects are additional vector fields.If one assumes ω ab (x) to be the Riemannian connection 1-form, then one can identify R ab (ω) = dω ab +ω a c ∧ω cb to be a Riemann curvature 2-form.Making use of the new definition of the shifted curvature Equation (69), the action Equation (68) can be written as follows, The first term in the first line is the topological Gauss-Bonnet term with respect to R ab (ω), which does not contribute to the equations of motion.In the second line, the first term contains generalized Einstein-Hilbert action together with some additional interaction terms.The third term contains the generalized cosmological constant term and additional interaction terms between B ab (x), e a (x), v a (x), and c a (x) fields.

IV. CONCLUSIONS
In this work, we investigated the Maxwell extensions of the general-linear group GL (n, R) and the special-linear group SL (n + 1, R).Firstly, we presented the Maxwell extension of the GL (n, R) group and we showed that this extension leads to the Maxwell algebra [16,17], Maxwell-Weyl algebra [21], and Maxwell-Affine algebra [22] when we chose appropriate subalgebras of GL (5, R).In this context, we also derived a new type of Maxwell-Affine algebra endowed with a metric tensor in Equation (8).Moreover, we constructed the gauge theory of gravity based on the extended case (3) and we wrote down a Stelle-West-like gauge invariant gravitational action in 5 dimensions.
Then we analyzed the action in Equation ( 23) for two conditions under the dimensional reduction from 5 to 4 dimensions (an alternative approach to the Stelle-West method, one can use the coset space dimensional reduction method [66,67]).In the first one, we kept the affine characteristics of the construction and we found an action in Equation (34) which has a similar structure as that of the action given in [22], but with a more general gravitational action.In the second condition, we employed the premetric tensor as a diagonal metric tensor for the tangent space and found a generalized gravitational theory which includes the Einstein-Hilbert-like action together with the generalized cosmological term in Equation (38).
Secondly, we demonstrated the tensor extension of the SL (n + 1, R) group in the context of Maxwell symmetry.By using suitable subalgebras of SL (n + 1, R), we obtained the Maxwell-special-affine algebra [24] and additional new kinds of extended algebras.The algebra given in Equation ( 46) corresponds to the Maxwell extension of the metalinear algebra [62,63] and in Equation ( 48) we presented a new kind of Maxwell-special-affine algebra endowed with a metric tensor.Moreover, we constructed the gauge theory of gravity and we derived a modified gravitation theory in five dimensions from the Stelle-West-like action.We then reduced the dimension of the action in Equation ( 61) from 5 to 4 dimensions, and we derived a gravitational action which contains the Einstein-Hilbert term, a generalized cosmological term together with additional terms.This result generalizes the results given in [24].
Finally, we can infer that the Maxwell extension of GL (n, R) and SL (n + 1, R) algebras lead to the derivation of richer gravity theories which may include generalized cosmological constant terms and some additional terms in 4-dimensional space-time.It is well-known that dark energy may be described by adding the cosmological constant term to the standard Einstein-Hilbert action, so the gauge theory of the Maxwell extended algebras may play an important role to explain dark energy phenomenon.