Arxiv:1911.04535V2

Home , Jan Arnoldus Schouten

arXiv:1911.04535v2 [gr-qc] 10 Mar 2020 omto ftean oncin hsivrac gives invariance this trans- connection, certain affine a the the if under of that invariant formation note is should action We implications Gravitational investigating. Cosmological worth their well and are 13] been [12, have in (hyperfluids) proposed hypermomentum models with Interesting matter Gravity. setup of for which arena non-metricity non-Riemannian and a torsion hypermo- en- the induces the curvature, mentum that induces manner tensor same momentum hyper- ergy the the In through tensor[11]. field momentum Gravitational dilation and the shear to spin, contribute like matter of properties the intrinsic where Relativity, General of generalization important curvature. with and along torsion non-metricity both admits Metric- and non-Riemannian called Gravity(MAG)[7–10] is Affine a geometry is generalized of a that such Theory by realm Gravity described the corresponding un- The in manifold Geometry[6]. the are of we properties constrained geometrical Letting above non-metricity[5]. the geome- and all teleparallel torsion both generalized admitting a try teleparallel vanishing obtains only symmetric one imposing a generally, curvature More to 4]. arrive geometry[3, to only allow non-metricity is and torsion possibility for and another curvature Yet vanishing impose to torsion[2]. teleparallel by known sourced well scheme the alone obtain metric and non-metricity the and by characterized completely 1 Geometry[1] is Riemannian so-called which the to recovers non-metricity one and zero, torsion both Setting non-metricity. ( nection mension ∗ 1 M ti lopsil oips aihn curvature vanishing impose to possible also is It . n ti opeeydtrie ytemti esradits and tensor metric the by Levi-Ci the determined is completely connection derivatives. the is case this it in and known, well is it As diosifi[email protected] nttt fTertclPyis eateto hsc Ar Physics of Department Physics, Theoretical of Institute ercAn rvt rvdsawl oiae and motivated well a provides Gravity Metric-Affine h emti tutr famnfl,o eei di- generic a of manifold, a of structure geometric The g, , ∇ ∇ n ngnrlpsesscraue oso and torsion curvature, possesses general in and ) n sseie neametric a once specified is , r ie.Te,temnfl sdntdas denoted is manifold the Then, given. are ftean oncin ial,w eietecntansp constraints the derive we ac Finally, invariant Theories. produce connection. invariant and affine r Gravity the functional Metric-Affine of the in transformati of results associated Γ-variation the our the under invariant by is produced functional produce tensor Γ-variation its func the iff initial tra if the transformations consider conn that of and show group affine We connection tioned symmetry. the the certain of and a metric possessing transformation the given of a functional under Geometry, Affine esaeadpoeasml hoe htalw n ogenerat to one allows that Theorem simple a prove and state We .INTRODUCTION I. ierTasomtoso Affine-Connections on Transformations Linear g n nan con- affine an and ainsIosifidis Damianos vita sol nvriyo hsaoii 42 hsaoii G Thessaloniki, 54124 Thessaloniki, of University istotle csadrie n oesidcsadas yteaffine the by also and indices Γ lowers connection and raises and ucts i tensor ric ftehproetm ete ocueorresults applications. our possible conclude other then discuss form We also the and on hypermomentum. specifically the more under and con- of action sources imposes Gravity the connection, on the the straints of of invariance transformations the certain Theories how MAG see enhanced of an class we for general constraints a the Considering derive invariance. also we and action projective [17] non-metricity) the of and for torsion results (in the quadratic transformations. invariant reproduce invari- connection we derive particular under to Metric-Affine In used actions be in can Gravity Theorem it ant how the show we of derive and Gravity and applications dis- Theorem the we Finally, our cuss immediately. prove follow and that corollaries state through- three using then be We to going nomenclature are out. we the that introduce definitions the and and connection transformations affine special the and Geome- general of non-Riemannian discuss we a Then of try. objects geometrical basic obtained functional. the tensor of the Γ-variation of the affine symmetries by the the of of with transformations invariance connection, certain the under relates that functional, Theorem a article we a specifically, this prove More rel- and of their state invariance. purpose and functional transformations the with evance connection is re- such It also study should to symmetry. connection that that actions affine spect matter the associated of cer- have transformations under will invariant of are we groups that Therefore tain interesting actions very Gravitational indices. are and two transformations connection first that its trace see vanishing in identically contracted an that when implies has which hypermomentum 14–16] the 10, the of [7, invariance action projective the Einstein-Hilbert common being later most the The of example hypermomentum. the on restrictions h tutr famnfl sdtrie ytemet- the by determined is manifold a of structure The h ae sognzda olw.W rtdfiethe define first We follows. as organized is paper The no h ffiecneto.W hnapply then We connection. affine the of on esro ie ymty Conversely symmetry. given a of tensor s inli nain ne h aforemen- the under invariant is tional somtoso h ffieconnection affine the of nsformations set eti ymtyte the then symmetry certain a espects g to h yemmnu o such for hypermomentum the on ut I EMTIA OBJECTS GEOMETRICAL II. in ne eti transformations certain under tions µν λ hc esrsdsacs ensdtprod- dot defines distances, measures which nain uniisi Metric- in quantities invariant e µν cin esatb general a by start We ection. otnie eoe utby just denoted (oftentimes ∇ which ) reece ∗ 2 defines the parallel transfer of tensor fields through co- metric tensor is not covariantly conserved, and exactly variant differentiation. In our conventions the covariant this incompatibility3 defines the non-metricity tensor derivative of, say, a (1, 1) type tensor reads Qαµν = αgµν (11) µ µ λ µ µ λ −∇ αT = ∂αT Γ T +Γ T (1) ∇ ν ν − να λ λα ν We can then contract the above in two independent ways, Continuing, we define the torsion tensor as the antisym- to get the two non-metricity vectors metric part of the affine connection µν αµ Qα := Qαµν g , qν = Qαµν g (12) S λ := Γλ (2) µν [µν] The former goes by the name Weyl vector, while the lat- which naturally arises by acting the antisymmetrized co- ter does not seem to have a particular name in the liter- variant derivative on a scalar ature. The general non-Riemannian space that has all of its geometrical objects unconstrained will be denoted as λ [µ ν]φ = Sµν λφ (3) Ln. In what follows we consider connection transforma- ∇ ∇ ∇ tions and expand on the tools we are going to use for the Letting the latter operator act on a vector uµ we obtain Theorem. µ µ µ ν ν µ [ α, β]u =2 u = R u +2S ν u ∇ ∇ ∇[α∇β] ναβ αβ ∇ (4) III. LINEAR TRANSFORMATIONS OF AFFINE where CONNECTION

Rµ := 2∂ Γµ + 2Γµ Γρ (5) ναβ [α |ν|β] ρ[α |ν|β] A general shift transformation of the affine connection is the so-called Riemann or Curvature tensor and the λ λ λ Γ µν Γ µν + N µν (13) horizontal bars around an index denote that this index is −→ λ left out of the (anti)-symmetrization. In non-Riemannian where N µν is a type (1, 2) tensor, induces changes on Geometries the only symmetry of the curvature tensor is the various geometrical objects of an Ln. For instance, antisymmetry in its last two indices as it is obvious by torsion and non-metricity change according to its definition. Without the use of any metric, we can construct the two independent contractions Sµνα Sµνα + Nα[µν] (14) −→ µ ˆ µ Rνβ := R νµβ , Rαβ := R µαβ (6) Qναµ Qναµ +2N (15) −→ (αµ)ν The former defines as usual the Ricci tensor while the respectively. Two immediate results of the above are latter is frequently refereed to as homothetic curvature the following; any transformation of the form (13) with and is of purely non-Riemannian origin. Once a metric N = 0 preserves torsion and any transformation of is given2 we can form yet another contraction α[µν] the form (13) with N(αµ)ν = 0 preserves non-metricity. Rˇλ := Rλ gµν (7) It is also obvious there there is no transformation of the κ µνκ affine connection that preserves both torsion and non- However, the Ricci scalar is still uniquely defined since metricity at the same time. In addition, under the connection transformation (13) the Riemann tensor trans- µν µν µν R := Rµν g = Rˇµν g , Rˆµν g = 0 (8) forms as − Going back to the torsion tensor, by contraction in the Rµ Rµ +2 N µ (16) ναβ −→ ναβ ∇[α |ν|β] last two indices we may define the torsion vector λ µ µ λ 2Sαβ N νλ +2N λ[αN |ν|β] λ − Sµ := S (9) µλ λ where µ and Sαβ are the covariant derivative and the which exists for arbitrary space dimension-n. For n =4 torsion∇ tensor computed with respect to the initial con- λ in particular we can also define the torsion pseudo-vector nection Γ µν . Let us now discuss vectorial transformations. In any ˜ αβγ Sµ := ǫµαβγ S (10) dimension, there exist three independent such transfor- mations4 where ǫµαβγ is the d dimensional totally antisymmet- − λ λ λ ric Levi-Civita tensor. Now, for generic geometries the Γ Γ + δ ξν (17) µν −→ µν µ

2 3 λ There are also the purely aﬃne models where no notion of a If ∇αgµν = 0 for some connection Γ µν the metric is said to be metric is required[18, 19]. For applications of the later to inﬂation compatible with the connection. 4 the reader may consult [20] and references therein. Here ξµ, ζµ, and χµ are arbitrary one forms. 3

λ λ λ Γ µν Γ µν + δν ζµ (18) The above definition shall become clear with the fol- −→ lowing example. λ λ λ Example. Let Nαµν be a tensor that is symmetric in its Γ Γ + χ gµν (19) µν −→ µν first two indices, we then have which we shall call transformation of the 1st, 2nd and 3rd Nαµν = SˆN Nαµν = N αµ ν (25) kind respectively. This nomenclature will make sense in ( ) the proceeding sections. Transformations of the 1st kind where in this instance SˆN means ’Symmetrize in the first are also known as projective transformations[6, 21]. two indices’. We also have Note that in 4-dimensions there is also another possibil- ˆ ity, namely SN Ψαµν =Ψ(αµ)ν (26) Γλ Γλ + ǫλ Kα (20) µν −→ µν µνα as well as where ǫµνρσ is the Levi-Civita tensor and Kµ an arbitrary αµν αµν (αµ)ν Nαµν Ψ = (SˆN Nαµν )Ψ = N Ψ (27) pseudo-vector. However, since we want to keep our dis- (αµ)ν cussion as general as possible (for any dimension) we will µν Definition 2. Let Ψλ be a type (2, 1) tensor (or tensor mainly consider transformations of the above three kinds. density). Define the three independent contractions A general vectorial transformation of the affine connection will therefore read5 ν λν µ µλ µν Ψ(1) := Ψλ , Ψ(2) := Ψλ , Ψ(3)λ := Ψλ gµν (28) λ λ λ λ λ Γ µν Γ µν + δµξν + δν ζµ + χ gµν (21) st nd rd µν −→ We shall call them 1 ,2 and 3 contraction of Ψλ . st where ξµ, ζµ, and χµ are in general independent one That is the 1 contraction involves contraction between forms. If these fields are parallel (i.e there exist λ1,λ2 first and second indices, the second between second and and λ3 R such that ξµ = λ1vµ, ζµ = λ2vµ, χµ = λ3vµ third etc. With the help of the above definitions we are ) we have∈ a constrained vectorial transformation now in a position to present our Theorem.

λ λ λ λ λ Γ µν Γ µν + λ1δµvν + λ2δν vµ + λ3v gµν (22) −→ V. THE THEOREM ′ Note that for specific values of the λis one obtains the Weyl geometry and its torsionful extensions considered Theorem 1. Let Ψ(g, Γ) be a function of the metric g in [24, 25]. We will come back to all of the above trans- µν and the affine connection Γλ and let6 formations and also discuss functional invariance with µν respect to those, after we present our Theorem. We shall now continue with some definitions. J[g, Γ] = dnx g ψ(g, Γ) = dnxΨ(g, Γ) (29) Z p| | Z be a functional of these variables. Define the variational IV. DEFINITIONS USED FOR THE THEOREM derivative δΨ Before presenting our Theorem, it would be first useful µν Ψλ := λ (30) to introduce the two definitions below. δΓ µν

Deﬁnition 1. Let Nαµν be a type-(0, 3) tensor of a given If Ψ (and subsequently J) is invariant under the trans- symmetry SN in its indices. We shall write formation

λ λ λ Nαµν = SˆN Nαµν (23) Γ Γ + N (31) µν −→ µν µν where Sˆ is the symmetry operation applied on N . N αµν where Nαµν = SˆN Nαµν is a tensor of a given symmetry This symmetry operation can also be applied to another SˆN , then tensor Ψαµν of the same rank and we write αµν SˆN Ψ = 0 (32) SˆN Ψαµν (24) Conversely, if (32) holds true the initial scalar Ψ (and which says that the index symmetry of N is passed αµν subsequently the functional J) is invariant under the con- over to Ψ . αµν nection transformation (31).

5 It would be interesting to ﬁnd the equivalent class of paths whose connections are related by this general vectorial transformation 6 In this context ψ appears to be a scalar while Ψ = p|g|ψ is a just like the equivalent class of projective connections [6, 21](see scalar density. For convenience we will work with Ψ but of course also [22, 23] ). it is obvious that identical results hold true for ψ as well. 4

Proof. We will start by ﬁrst proving the ′′ ′′ part. Since Corollary 3. If the functional (29) is invariant under by hypothesis Ψ (and also J) is invariant under⇒ the trans- constrained vectorial transformations of the form (22), µν formation (31) provided that Nαµν = SˆN Nαµν , we have then the traces of its Γ-variation Ψλ , satisfy

δΓJ = 0 (33) 3 λ Ψµ = 0 (40) and by expanding we get i (i) Xi=1

n δΨ λ 0= d x λ δΓ µν = That is, the three traces are linearly dependent. Z δΓ µν Note that special cases of the above give the results = dnxΨ µν N λ = dnxΨαµν (Sˆ N )= Z λ µν Z N αµν of Corollary 1. In addition for the parameter choice λ1 = λ2 = λ3 one obtains invariance under a Weyl = dnx(Sˆ Ψαµν )(Sˆ N ) (34) transformation− of the connection. To be more precise, if Z N N αµν it holds that S N but since N αµν is arbitrary we conclude that µ µ µ Ψ(1) +Ψ(2) Ψ(3) = 0 (41) αµν − SˆN Ψ = 0 (35) then the functional (29) is invariant under connection Conversely, given that (35) holds true we compute transformations of the form δΨ J[g, Γ+ N] J[g, Γ] = dnx δΓλ = λ λ λ λ λ Z δ λ µν Γ µν Γ µν + λ1 δµvν + δν vµ v gµν (42) − Γ µν −→ − n µν λ n αµν ˆ = d xΨλ N µν = d xΨ (SN Nαµν )= Let us now discuss some physical applications of the Z Z above Theorem. = dnx(Sˆ Ψαµν )(Sˆ N )=0 (36) Z N N αµν VI. APPLICATIONS TO GRAVITY That is J[g, Γ+ N]= J[g, Γ] (37) Our Theorem and its subsequent corollaries find its nature application on the scheme of Metric-Affine Grav- and therefore the functional (29) is invariant under trans- ity. For instance it can be applied for obtaining Theories formations of the form (31) provided that N = αµν that are invariant under projective transformations of the ˆ SN Nαµν . connection, or even more general ones. The powerful use of our Theorem is that it can be applied conversely, as As an immediate application of the above Theorem we we have shown. That is, we can obtain actions invari- claim the following corollaries. ant under a specific group of connection transformations by simply looking at the symmetries and constraints of Corollary 1. If the functional (29) is invariant under its Γ-variation. The advantage is that even though it connection transformations of the i th kind (i =1, 2, 3) is a difficult task to find invariant actions, on the other − then its Γ-variation produces a tensor that has vanishing hand, it is straightforward to take contractions and sym- i th contraction metrizations of a given tensor. Our result shows that one − µ implies the other and vice versa and we therefore have a Ψ = 0 (38) (i) powerful tool for obtaining invariant actions just by look- µν ing at the symmetries of the corresponding Γ-variation of and conversely, if the i th contraction of Ψλ vanishes identically, then the functional− (29) is invariant un- the action. The idea will become clear with the following der connection transformations of the i th kind. examples. − Corollary 2. If the functional (29) is invariant under general vectorial transformations of the connection of the A. Invariant Theories form (21), then its Γ-variation produces a tensor that has µν all of its contractions vanishing, namely the tensor Ψλ Example-Application. Let us consider the is traceless in all of its contractions quadratic action of [17] µ Ψ(i) =0 , i =1, 2, 3 (39) ∀ 1 n αµν µνα µ S = d x√ g b1Sαµν S + b2Sαµν S + b3SµS Conversely, if the tensor obtained by the Γ-variation of 2κ Z − h αµν µνα µ µ µ (29) is traceless in all of its contractions then the action a1Qαµν Q + a2Qαµν Q + a3QµQ + a4qµq + a5Qµq is invariant under general vectorial transformations of αµν µ µ the connection of the type(21). +c1Qαµν S + c2QµS + c3qµS (43) i 5

nd µ This is the most general parity even action that is simply demanding a vanishing 2 contraction (Ψ(2) = 0) quadratic in torsion and non-metricity [5, 17]. We will we get now show how one can restrict the parameter space in order to obtain a projective invariant Theory without c1 (n 1) 2a + +4a + (n + 1)a + − c = 0 (53) computing the change in S directly but by simply look- 2 2 3 5 2 2 ing at its Γ-variation. Indeed, varying the above with respect to the connection, we have [17] c1 (n 1) µν µν µ ν ν µ µν [µ ν] 4a1 +2a2 + 2(a4 + a5)+ − c3 = 0 (54) Ψλ = H λ + δλ k + δλh + g hλ + f δλ (44) − 2 2 where 2b1 b2 c1 +2c2 + (n + 1)c3 + (n 1)b3 = 0 (55) µν νµ µν µν µν − − − H λ =4a1Q λ +2a2(Q λ + Qλ )+2b1S λ rd [µν] νµ νµ [µν] Similarly, by demanding a vanishing 3 contraction +2b2Sλ + c1(S λ Sλ + Q λ) (45) λ − (Ψ(3) = 0) we obtain the parameter space for the Theory that is invariant under transformations of the 3rd kind , kµ =4a3Qµ +2a5qµ +2c2Sµ (46) which reads

2a2 +4a3 + (n + 1)a5 = 0 (56) hµ = a5Qµ +2a4qµ + c3Sµ (47)

2a1 + a2 + a5 + (n + 1)a4 = 0 (57) fµ = c2Qµ + c3qµ +2b3Sµ (48)

µν 7 Taking the first contraction of Ψλ it follows that c +2c + (n + 1)c = 0 (58) − 1 2 3 ν c1 (1 n) ν Ψ(1) = 4a1 +4na3 +2a5 + − c2 Q ′ h − 2 2 i Notice that there is no restriction on the bis. This is of course to be expected since the b′ s multiply the purely c1 (1 n) ˜ν i + 4a2 + +2na5 +4a4 + − c3 Q torsional terms and these, and torsion being antisymmet- h 2 2 i ν ric in its first two indices is insensitive to transformations + 2b1 + b2 +2c1 +2nc2 +2c3 + (1 n)b3 S (49) of the 3rd kind. From the above exposure, we come to h − − i the following conclusions: Now demanding a vanishing first contraction we get the constraints 1. If the parameters of the action (43) satisfy the set of equations (50)-(52) then the action is invariant 4(2a +2na + a ) c + (1 n)c = 0 (50) 1 3 5 − 1 − 2 under projective transformations (or else transformations of the 1st kind) of the affine connection st 4(2a +2a + na )+ c + (1 n)c = 0 (51) and the 1 contraction of its Γ-variation vanishes 2 4 5 1 − 3 identically.

2b1 + b2 + (1 n)b3 + 2(c1 + nc2 + c3)=0 (52) 2. If the parameters of the action (43) satisfy the set − − of equations (53)-(55) then the action is invari- which in turn, by virtue of our Theorem, imply that our ant under transformations of the 2nd kind of the starting action8 is projective invariant for this parame- affine connection and the 2nd contraction of its Γ- ter choice. Note that the above three conditions on the variation vanishes identically. parameters are in perfect agreement with the constraints for a projective invariant Theory obtained in [17] and 3. If the parameters of the action (43) satisfy the set here we obtained them almost without effort. Note also of equations (56)-(58) then the action is invari- that the fourth constraint found there is redundant and ant under transformations of the 3nd kind of the can be shown to be a linear combination of (50) (52). affine connection and the 3nd contraction of its Γ- Going one step further we can immediately obtain− the variation vanishes identically. parameter choice for which the above action is invariant under connection transformations of the second kind. By In addition if we combine all the above restrictions on the parameters we are lead to the following conclusion:

The general quadratic action (43) is invariant under 7 ν µν • Recall that the first contraction is defined by Ψ(1) := Ψµ general vectorial transformations of the connection 8 The same result was also used earlier in [4] in order to obtain a of the form (21) iff the parameters satisfy the set projective invariant torsion scalar. of equations (50)-(52), (53)-(55) and (56)-(58). 6

B. Constraints on The Matter Sector These constraints may be unphysical in a general setting, however as noted in [4] both fermionic and bosonic The above transformations of the connection and the matter is projective invariant. Therefore, whether con- subsequent invariances of the Gravity sectors are trans- straints of the form (64) are unphysical or not is not such lated to certain constraints on the hypermomentum ten- an easy question to answer and goes beyond the scope of sor, once applied to the matter part of the Theory. In- this letter. deed, let us consider a general MAG Lagrangian9 Following the Corollaries we obtained in the previous section, when applied to the matter sector of a MAG 1 Theory, they constrain the material sources. Indeed, set- S[g, Γ, φ]= S [g, Γ] + S [g, Γ, φ] (59) 2κ G M ting

where SG denotes the Gravitational sector (Geometry) ν λν µ µλ µν ∆(1) := ∆λ , ∆(2) := ∆λ , ∆(3)λ := ∆λ gµν (65) and SM represents the matter ﬁelds. The equations of motion then follow by varying independently the total and applying the Corollaries of the previous section on action with respect to the metric and the connection, the Theory (59) we are lead to the following conclusions. and one ﬁnds Proposition 1. If the gravity sector of (59) is invariant Zµν = κTµν (60) under connection transformations of the i th kind (i = 1, 2, 3) then this invariance demands a vanishing− i th µν µν contraction of the hypermomentum − Pλ = κ∆λ (61) µ where ∆(i) = 0 (66)

1 δSG µν 1 δSG Proposition 2. If the gravity sector of (59) is invariant Zµν := , P := √ g δgµν λ √ g δΓλ under general vectorial transformations of the connection − − µν of the form (21), then the hypermomentum tensor has all for the metric and connection variations respectively. In of its contractions vanishing, namely the above Tµν is the usual metrical energy momentum tensor ∆µ =0 , i =1, 2, 3 (67) (i) ∀ 2 δSM Tµν := (62) Proposition 3. If the gravity sector of (59) is invariant −√ g δgµν − under constrained vectorial transformations of the form µν (22), then the traces of the hypermomentum of the Theory and ∆λ is the so-called hypermomentum tensor[11] satisfy the constraint µν 2 δSM 3 ∆λ := λ (63) −√ g δΓ µν µ − λi∆(i) = 0 (68) X which encompasses the microscopic characteristics of i=1 matter such as spin, shear and dilation[7]. The couplet That is, the three traces of the hypermomentum are lin- T µν ( µν , ∆λ ) represent the sources for MAG. From the early dependent. above it is clear that if the Gravity sector is invariant under certain transformations of the affine connection Note that special cases of the above give the results (of the form (13)) then this invariance puts constraints of Proposition 1. In addition for the parameter choice on the form of the hypermomentum. In other words, it λ1 = λ2 = λ3 one obtains invariance under a Weyl constrains the types of matter fields that can enter the transformation− of the connection. Then if the Theory is spacetime. Perhaps the most common example of this, is invariant under Weyl transformations, the hypermomen- the projective invariance of the Einstein-Hilbert action10 tum traces satisfy which imposes a vanishing dilation current ∆µ + ∆µ ∆µ = 0 (69) λµ (1) (2) − (3) ∆λ = 0 (64) We shall call such type of matter, a Weyl-matter. It would be interesting to study Theories with such matter fields and also see if these kind of constraints are 9 Of course, the Gravitational part will have an explicit depen- purely unphysical or are indeed obeyed by some certain dence on the curvature, torsion and non-metricity tensors. All of physical systems. Certainly, this issue deserves further the aforementioned tensors, however, are derivable from the metric, the connection and their derivatives. So in the end the basic investigation. If it turns out that all of these constraints variables are the metric, the connection and their derivatives. are unphysical, our result could be applied to rule out 10 That is R is invariant under projective transformations of the Gravitational sectors of Metric-Affine Theories that re- connection. spect certain symmetries of the connection. We should 7

note that much milder constraints are put on the hyper- certain transformations of the affine connection. More momentum traces if the Gravitational action is invariant specifically, we showed that if a functional is invariant under special vectorial transformations of the connection under a certain transformation of the affine connection, (i.e the one forms of the transformation are exact, for in- its Γ-variation produces a tensor of a particular sym- stance ξµ = ∂µλ). Indeed, if the action (59) is invariant metry. In addition, the nice feature of our Theorem is under what Einstein called, λ (special projective) trans- that it also works backwards, that is if the tensor ob- formations tained by the Γ-variation of the functional has a certain symmetry then the initial functional is invariant under λ λ λ Γ Γ + δ ∂ν λ (70) a certain transformation of the affine connection. An µν −→ µν µ immediate consequence of the Theorem is that if a func- Then, up to surface terms, we obtain tional is invariant under connection transformations of 11 µ the i th kind (i = 1, 2, 3) then the i th contraction ∂µ(√ g∆ )=0 (71) − − − (1) of its Γ variation vanishes and conversely. It also follows that− if all of the contractions of the Γ-variation of which has the form of a conservation law (see also a functional vanish, the functional is invariant under the [17, 26]). Obviously, for special vectorial transformations general vectorial transformation (21) of the connection. all of the above propositions change accordingly, and the Additionally, if the three traces of of the Γ-variation of constraints are imposed not on the traces of the hypermo- the functional are linearly dependent then the later is mentum, but rather on their divergences. For instance, invariant under a constraint vectorial transformation of if the Gravitational action is invariant under special con- the connection of the form (22). strained vectorial transformations of the form Even though up to this point all the above seem to be λ λ λ λ λ only of mathematical interest,we should note that the re- Γ Γ + c δ ∂ν λ + c δ ∂µλ + c gµν ∂ λ (72) µν −→ µν 1 µ 2 ν 3 sults find a natural place of application in Metric-Affine Gravity. Indeed, as we showed, when the functional is Then the divergences of the traces of the hypermomen- taken to represent a Gravitational (or matter) action the tum tensor, obey Theorem can be applied to give us information about the 3 symmetries of the action. As an example of the above µ ci∂µ(√ g∆ )=0 (73) we reproduced and also extended the results found in − (i) Xi=1 [17] regarding the most general quadratic projective invariant Theory. In addition, we found the most gen- Note that the above milder constraints have a much eral quadratic (in torsion and non-metricity) whose Γ- more pleasing appeal then their stronger counterparts variation produces a completely traceless tensor in all of discussed above. Again, it would be very interesting to its contractions. We then showed how the invariance of a investigate the physical consequences of these constraints MAG Gravitational action under certain transformations and comment upon their viability. This would be a topic of the connection is related to constraints imposed on the to be pursued elsewhere. hypermomentum tensor. Considering vectorial (and also special) connection transformations we then obtained the constraints imposed on the hypermomentum. VII. CONCLUSIONS

Non-Riemannian Geometries form the geometric arena VIII. ACKNOWLEDGMENTS in which Metric-Affine Theories of Gravitation live. In this extended geometry, the linear connection and the I would like to thank Jose Beltran Jimenez for use- metric are independent fields and the space is also en- ful discussions and comments and also Tomi Sebastian dowed with torsion and non-metricity on top of curva- Koivisto for some remarks. I am also grateful to the ture. In this context the linear connection and the met- anonymous referees for their helpful critique and sugges- ric can be transformed independently and is important tions. This research is co-financed by Greece and the to have a tool that allows one to explore the invariance European Union (European Social Fund- ESF) through of the action (or a functional in general) under a certain the Operational Programme Human Resources Develop- group of transformations. ment, Education and Lifelong Learning in the context of In this paper we presented and proved a Theorem that the project Reinforcement of Postdoctoral Researchers allows one to obtain invariant functionals (or specifically - 2 nd Cycle (MIS-5033021), implemented by the State invariant actions if we are dealing with Gravity) under Scholarships Foundation (IKY).

11 See deﬁnitions at section IV. 8

[1] Luther Pfahler Eisenhart. Riemannian geometry. Prince- Character, 99(697):104–122, 1921. ton university press, 1997. [20] Hemza Azri and Durmu¸s Demir. Affine inflation. [2] Ruben Aldrovandi and Jose G Pereira. Teleparallel Physical Review D, 95(12):124007, 2017. gravity: an introduction, volume 173. Springer Science [21] Jan Arnoldus Schouten. Ricci-calculus: an introduction & Business Media, 2012. to tensor analysis and its geometrical applications, vol- [3] James M Nester and Hwei-Jang Yo. Symmetric teleparal- ume 10. Springer Science & Business Media, 2013. lel general relativity. arXiv preprint gr-qc/9809049, 1998. [22] Damianos Iosifidis, Anastasios C Petkou, and Christos G [4] Jose Beltrán Jiménez, Lavinia Heisenberg, and Tomi S Tsagas. Torsion/nonmetricity duality in f (r) gravity. Koivisto. Teleparallel palatini theories. Journal of General Relativity and Gravitation, 51(5):66, 2019. Cosmology and Astroparticle Physics, 2018(08):039, [23] Cecilia Bejarano, Adria Delhom, Alejandro Jiménez- 2018. Cano, Gonzalo J Olmo, and Diego Rubiera-Garcia. Geo- [5] Jose Beltrán Jiménez, Lavinia Heisenberg, Damianos metric inequivalence of metric and palatini formulations Iosifidis, Alejandro Jiménez-Cano, and Tomi S Koivisto. of general relativity. arXiv preprint arXiv:1907.04137, General teleparallel quadratic gravity. arXiv preprint 2019. arXiv:1909.09045, 2019. [24] Jose Beltrán Jiménez and Tomi S Koivisto. Spacetimes [6] Luther Pfahler Eisenhart. Non-riemannian geometry. with vector distortion: Inflation from generalised weyl Courier Corporation, 2012. geometry. Physics Letters B, 756:400–404, 2016. [7] Friedrich W Hehl, J Dermott McCrea, Eckehard W [25] Jose Beltrán Jiménez and Tomi Koivisto. Modified grav- Mielke, and Yuval Ne’eman. Metric-affine gauge theory of ity with vector distortion and cosmological applications. gravity: field equations, noether identities, world spinors, Universe, 3(2):47, 2017. and breaking of dilation invariance. Physics Reports, [26] VN Ponomariov and Ju Obuchov. The general- 258(1-2):1–171, 1995. ized einstein-maxwell theory of gravitation. General [8] Friedrich W Hehl and Alfredo Macias. Metric-affine Relativity and Gravitation, 14(4):309–330, 1982. gauge theory of gravity ii. exact solutions. arXiv preprint gr-qc/9902076, 1999. [9] Damianos Iosifidis. Metric-affine gravity and cosmology/aspects of torsion and non-metricity in gravity theories. arXiv preprint arXiv:1902.09643, 2019. [10] Damianos Iosifidis. Exactly solvable connections in metric-affine gravity. Classical and Quantum Gravity, 36(8):085001, 2019. [11] Friedrich W Hehl, G David Kerlick, and Paul von der Heyde. On hypermomentum in general relativity i. the notion of hypermomentum. Zeitschrift fuer Naturforschung A, 31(2):111–114, 1976. [12] Yuri N Obukhov and Romualdo Tresguerres. Hyperfluida model of classical matter with hypermomentum. Physics Letters A, 184(1):17–22, 1993. [13] Yuri N Obukhov. On a model of an unconstrained hy- perfluid. Physics Letters A, 210(3):163–167, 1996. [14] Vincenzo Vitagliano, Thomas P Sotiriou, and Stefano Liberati. The dynamics of metric-affine gravity. Annals of Physics, 326(5):1259–1273, 2011. [15] Antonio N Bernal, Bert Janssen, Alejandro Jiménez- Cano, JoséAlberto Orejuela, Miguel Sánchez, and Pablo Sánchez-Moreno. On the (non-) uniqueness of the levi- civita solution in the einstein–hilbert–palatini formalism. Physics Letters B, 768:280–287, 2017. [16] Victor I Alfonso, Cecilia Bejarano, Jose Beltran Jimenez, Gonzalo J Olmo, and Emanuele Orazi. The trivial role of torsion in projective invariant theories of gravity with non-minimally coupled matter fields. Classical and Quantum Gravity, 34(23):235003, 2017. [17] Damianos Iosifidis and Tomi Koivisto. Scale transformations in metric-affine geometry. Universe, 5(3):82, 2019. [18] Arthur Stanley Eddington. The mathematical theory of relativity. The University Press, 1923. [19] Arthur Stanley Eddington. A generalisation of weyl’s theory of the electromagnetic and gravitational fields. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical