Professional Documents
Culture Documents
De Sitter Group and Einstein-Hilbert Lagrangian
De Sitter Group and Einstein-Hilbert Lagrangian
De Sitter Group and Einstein-Hilbert Lagrangian
Ra b d!a b !a c ^ !c b ; (2) 1
a nd R~ab ^ ea ^ eb Rab Nab ^ ea ^ eb 0;
here !a b and ea represent the spin connection and the 12
local frames, respectively. (12)
In U4 there exists two invariant closed four forms. One l is a fundamental length constant and A; B 0; 1; . . . ; 4:
is the well-known Pontryagin [25] density P and the other Usually, when Lorentz group is embedded into the de
is the less known Nieh-Yan(NY) [26] density N given by Sitter group, l is called the radius of the universe and is
P Ra b ^ Rb a ; (3) related to the cosmological constant [29]. The above
decomposition (8) and (9) is always possible in U4 pro-
vided, the divergence four form of the axial-vector tor-
N dea ^ T a T a ^ Ta Rab ^ ea ^ eb : (4)
sion, N 0. This serves no restriction on the gauge field
The minimal Lagrangian density of a spin- 12 field part of the SO3; 1 connection one form !ab in the
with an external gravitational field with torsion is given background of a broken SO4; 1 gauge theory. In other
by [27] words the above breakup guarantees that, in the tangent
space, only SO3; 1 symmetry is preserved and SO4; 1
i symmetry is broken. The two parts R~ab and 12 1
Nab of
LD f ^ D D ^ g m
2 Rab are two independent covariant two forms under
1 SO3; 1 rotation in the tangent space. From (11) and
A ^ 5 ; (5)
4 (12) we see that R~ab and 121
Nab are, respectively, con-
124024-2
DE SITTER GROUP AND EINSTEIN-HILBERT LAGRANGIAN PHYSICAL REVIEW D 70, 124024 (2004)
ab
nected to R and N. Hence by the above decomposition we ! . Without any ambiguity and for future consistency,
are separating two irreducible parts of the curvature w. r. we can consider a connection independent cosmological
t. the one form ea and consequently neither any Bianchi density, given by
identity is violated nor it leads to any constraint on N.
Recently, it has been shown that [23], in U4 space one L 3 ; (19)
can locally consider a particular term from this SO4; 1 where is a constant whose value is to be ascertained
Pontryagin density as the gravitational Lagrangian [30], later on. Now we are in a position to define the total
given by gravitational Lagrangian density in empty space as
L 0 NR: (13) LG L0 L1 L2 L3 ;
This Lagrangian looks like the Einstein-Hilbert NR ) T ^ TT ^ T
Lagrangian, ba ^ rea bb ^ reb ; (20)
1
L EH R; (14) where N dT and R 12 d! ab !
af ^ !
fb ^
ab . To start with this Lagrangian we have altogether
provided N 1 ; where is Einstein’s gravitational 69 independent components of the field variables ea , T,
constant, and the torsional contribution disappears from ! ab , ba and ).
the scalar curvature R. It is a well-known result [31] in U4
space, in the case of axial-vector torsion, that
III. EULER-LAGRANGE EQUATIONS AND
1 GRAVITATIONAL CONSTANT
R RE T ^ T; (15)
4
The Lagrangian LG , which is defined in the previous
where RE represents scalar curvature when the connection section, is only Lorentz invariant under rotation in the
is without torsion and T is the torsion three form repre- tangent space where de Sitter boosts are not permitted. As
senting axial-vector torsion A. Now if we assume the a consequence T can be treated independently of ea and
axial-vector A to be a null vector then (15) reduces to ! ab . Then following Ref. [32], we independently vary ea ,
R RE : (16) rea , T, dT, Rab , ba and ) and find
124024-3
PRASANTA MAHATO PHYSICAL REVIEW D 70, 124024 (2004)
@LG 1
4) T ^ T T (25) Gb a +b a ; (44)
@T 2
where, for consistency, . This last equation is the
@LG Einstein’s equation of gravity in the presence of the
R (26)
@dT cosmological constant corresponding to the Einstein-
Hilbert Lagrangian
@LG 1 1
Nabcd ec ^ ed Nab (27) L CC
1
@Rab 4 2 EH R : (45)
@LG We know that, though torsion one form T ab !ab
2 bb ^ reb rea (28) ! ab
is a part of the SO3; 1 connection, it does not
@ba
transform like a connection form under SO3; 1 rotation
@LG in the tangent space and thus it imparts no constraint on
T ^ TT ^ T: (29) the gauge degree of freedom of the Lagrangian. By this
@)
way the role of torsion in the underlying manifold has
Where become multiplicative rather than additive one and the
1 @R 1 quadratic first part of the Lagrangian LG looks like
R a : abcd Rbc ^ ed Gb a b (30) torsion curvature [33]. In other words—the additive
2 @ea 4
torsion is decoupled from the theory but not the multi-
1 plicative one. This indicates that torsion is uniformly
Gb a : Rb a R+b a (31) nonzero everywhere. In the geometrical sense, this im-
2
plies that micro local space-time is such that at every
@ 1 point there is a direction vector (vortex line) attached to
a : a abcd eb ^ ec ^ ed (32)
@e 3! it. This effectively corresponds to the non commutative
geometry having the manifold M4 Z2 where the dis-
-a b : T a#. Tb#. and - : -a a : (33) crete space Z2 is just not the two point space [34] but
From above, Euler-Lagrange equations for ) and ba give appears as an attached direction vector. This has direct
us relevance in the quantization of a fermion where the
discrete space appears as the internal space of a particle
T ^ T 0 (34) [28]. This becomes relevant if we consider that fermions
are the basic building units of matter. The existence of a
rea 0; (35) globally defined null vector field T with nonzero diver-
i.e., T corresponds to a null axial-vector and r is torsion- gence then corresponds to the axial-vector current lead-
free. Using this result in (23) –(25), we get ing to chiral anomaly. Now, in the background of the
minimal action of a spinor field given in (5) and even in
@LG
N2Ra Ra a (36) massless case, there is a divergent contribution of torsion
@ea to chiral anomaly given by [29]
@LG dh j5 i Ax (46)
0 (37)
@rea
where
@LG
0: (38) j5 5 ; a ea
@T
Using these results in equations from (22) –(27), we get and
X y
Euler-Lagrange equations of ea , T and !
ab , given by Ax 2 n 5 n:
N2R n
a Ra a 0 (39)
Then under standard regularization by the square of the
dR 0 (40) Dirac operator in Einstein-Cartan space [29]
r Nab 0: (41) 1
A lim Rab ^ Rab 2M2 Ta ^ T a
M!1 862
Using (35), the last equation yields
d N 0: (42) Rab ^ ea ^ eb OM2 : (47)
From Eqs. (40) and (42) we can write As chiral anomaly appears as the quantum mechanical
symmetry breaking, torsion in this sense represents the
N 1 and R 2 say: (43) quantum effect [35]. Mielke et al. have questioned
the contribution of the NY term to the chiral anomaly
Using (43) in (39) and then using (30) we get as well as its non triviality after renormalization [36 –38].
124024-4
DE SITTER GROUP AND EINSTEIN-HILBERT LAGRANGIAN PHYSICAL REVIEW D 70, 124024 (2004)
Contribution of the NY term to chiral anomaly has been den in the tangent space. So it is justified to consider the
confirmed by Obukhov et al. [39] and in an independent Lagrangian as a particular SO3; 1 invariant part of the
analysis [40], computing the index of the Dirac operator full SO4; 1 Pontryagin density.
on a four dimensional compact manifold, it has been It is important to note that, in our present formalism,
shown that the integral of the NY term is necessarily an the only assumption is that the torsion is represented by a
integer, it is the difference of two Chern classes SO5 null axial-vector and the corresponding Lagrangian is a
and SO4 and therefore being topological N is nonrenor- particular term of the SO4; 1 Pontryagin density in such
malizable. In our present analysis this bears an important a way that the SO3; 1 invariance of the theory is main-
implication as we see from (43) that topological N glob- tained. The presence of the null axial-vector at each
ally defines the gravitational constant, at least in the case space-time point suggests that the space-time manifold
where the cosmological constant is the only source of is characterized by the presence of a ‘‘direction vector’’
gravity, by the equation (vortex line) attached to each point which is the source of
1 torsion. It may be remarked that the degrees of freedom of
N : (48) this theory is minimally extended from that of Einstein-
It is important to note that, in some other approach [41], Hilbert theory with torsion contributing to the additional
some multiplicative torsion curvature terms also ap- degree. As a result and have got their definite geo-
pear in 3D gravity but they seem to be devoid of any metrical meaning in U4 space in comparison to their
topological interpretation. Such terms do not appear in standard meaning of being simply constants such that,
4D. in empty space, is half of the SO3; 1 scalar curvature
Hence, (44) implies that our starting Lagrangian LG is and ( 1 ) is the proportionality constant between the
equivalent to the Einstein-Hilbert Lagrangian in vacua in topological Nieh-Yan density and the invariant volume
presence of a cosmological constant where the two con- four form . Moreover, being constants of integration,
stants and are constants of integration but also, by and might have got their fixed values in the Early
(43) , is half of the SO3; 1 scalar curvature and the Universe when the bulk matter was created.
topological Nieh-Yan density is 1 times the invariant In a recent paper [45] it has been shown that, in
volume element. Also the form of the starting Lagrangian the gravity without metric formalism of gravity, when
LG implies that constancy of the gravitational constant one performs a particular canonical transformation of
depends upon the fact that the source term in LG is the field variables, CP-violating 7-term appears in the
independent of the SO3; 1 gauge connection. This sug- Lagrangian together with the cosmological term. This
gests that in a gravity theory with SO3; 1 connection, supports the finding of this note when we consider that
torsion, local frame and matter, if we want gravitational the torsion, being an axial-vector, has a certain role
constant to be an on-shell constant, then the material to play in CP-violation. Indeed, the topological 7-term
source term should be independent of the SO3; 1 of ‘gravity without metric formalism’ is linked with
connection. the topological Nieh-Yan density of U4 geometry.
CP-violation or nonviolation by topological terms has
IV. DISCUSSION been discussed also in reference [27]. Link of torsion
with CP-violation can be found also in SL2; C gauge
Recent cosmological evidence [6,42] suggests that cos- approach of gravity [46]. Thus arrow of time may play a
mological constant seems to be present evermore in the significant role in the geometrical origin of torsion and
cosmological data. Theoretically, cosmological constant hence of the gravitational constant.
appears when one considers a four dimensional manifold
that is due to compactification [43] of a five dimensional
ACKNOWLEDGMENTS
manifold with the signature of a (anti)de Sitter space-time
[44]. This implies that in the local tangent space the gauge I wish to thank Professor Pratul Bandyopadhyay,
group structure is either SO4; 1 or SO3; 2. To keep Indian Statistical Institute, Kolkata, for his valuable re-
Lorentz invariance intact (anti)de Sitter boost is forbid- marks and fruitful suggestions on this problem.
[1] Elie Cartan-Albert Einstein Letters on Absolute [4] O. Klein, Z. Phys. 37, 895 (1926).
Parallelism, edited by R. Debever (Princeton [5] T. Damour and A. M. Polyakov, Nucl. Phys. B 423, 532
University, Princeton, NJ, 1979). (1994).
[2] P. A. M. Dirac, Nature (London) 139, 323 (1937). [6] J. N. Tonry et al., Astron. J. 594, 1 (2003).
[3] T. Kaluza, Preuss. Akad. Wiss. K 1, 966 (1921). [7] E. Gaztanaga et al., Phys. Rev. D 65, 023506 (2002).
124024-5
PRASANTA MAHATO PHYSICAL REVIEW D 70, 124024 (2004)
[8] F.W. Hehl, in Proceedings of the 14th course of the SO3; 1-Pontryagin density 2c l2
Nieh-Yan density
School of Gravitation and Cosmology and Gravitation b aL02 Surface Terms(S. T.). Now, without any loss
on Quantum Gravity, Erice, Italy, 1995, edited by P. G. of generality, we assume b a 6 and then we get
Bergman, V. de Sabbata, and H. J. Treder) (World aL01 bL02 cL03 L0 S. T.. By considering that,
Scientific, Singapore, 1996). a and b have unequal values, here we are assuming that
[9] R. Tresguerres and E.W. Mielke, Phys. Rev. D 62, 44004 the SO4; 1 invariance of the theory is broken in a
(2000). SO3; 1 invariant way in the real physical world.
[10] T.W. B. Kibble, J. Math. Phys. (N.Y.) 2, 212 (1961). [31] I. L. Shapiro, Phys. Rep. 357, 113 (2001).
[11] D.W. Sciama, in Recent Developments in General [32] F.W. Hehl, J. D. McCrea, E.W. Mielke and Y. Ne’eman,
Relativity, (Pergamon + PWN, Oxford, 1962) p. 415. Phys. Rep. 258, 1 (1995).
[12] W. Drechsler, Ann. Inst. Henri Poincaré 37, 155 (1982). [33] An important advantage of this part of the Lagrangian is
[13] G.W. Hehl, P. von der Heyde, and G. D. Kerlick, Rev. that it is a quadratic one with respect to the field deriva-
Mod. Phys. 48, 393 (1976). tives and this could be valuable in relation to the quan-
[14] R. Aldrovandi and R. A. Kraenkel, J. Phys. A 21, 1329 tization program of gravity like other gauge theories of
(1988). QFT.
[15] R. Aldrovandi and R. A. Kraenkel, J. Math. Phys. (N.Y.) [34] A. Connes, Noncommutative Geometry (Academic Press,
30, 1966 (1989). New York, 1994).
[16] R. Aldrovandi and J. G. Pereira, J. Math. Phys. (N.Y.) 29, [35] P. Bandyopadhyay, Quantum Space-time, Quantum
1472 (1988). Gravity and Torsion in Modern Problems of
[17] J. A. Nieto, O. Obregón, and J. Socorro. Phys. Rev. D 50, Theoretical Physics, Festschrift Vol. Devoted to the
3583 (1994). 85th Jubilee of Professor D. D. Ivanenko, edited by P. I.
[18] M. Botta Cantcheff, Gen. Relativ. Gravit. 34, 1781 (2002). Pronin and Yu. N. Obukov (World Scientific, Singapore,
[19] S. Gotzes and A. C. Hirshfeld, Ann. Phys. (N.Y.) 203, 410 (1991).
(1990). [36] E.W. Mielke and D. Kreimer, Gen. Relativ. Gravit. 31,
[20] E. Inönü and E. P. Wigner, Proc. Natl. Acad. Sci. U.S.A. 701 (1999).
39, 510 (1953). [37] E.W. Mielke and F. Macı́as, Ann. Phys. (N.Y.) 8, 301
[21] W. Drechsler, J. Math. Phys. (N.Y.) 26, 41 (1985). (1999).
[22] R. Aldrovandi and J. G. Pereira, in Conference on Topics [38] D. Kreimer and E.W. Mielke, Phys. Rev. D 63, 048501
in Theoretical Physics II: Festschrift for A. H. (2001).
Zimmerman Sao Paulo, Brazil, 1998, 16, 495 (1999). [39] Y. Obukhov, E. Mielke, J. Budczies, and F.W. Hehl,
[23] P. Mahato, Mod. Phys. Lett. A 17, 1991 (2002). Report No. gr-qc/97020251997 (unpublished).
[24] E. Cartan, Ann. Ec. Norm. 1, 325 (1924). [40] O. Chandia and J. Zanelli, Phys. Rev. D 58, 045014
[25] S. Chern and J. Simons, Ann. Math. 99, 48 (1974). (1998).
[26] H. T. Nieh and M. L. Yan, J. Math. Phys. (N.Y.) 23, 373 [41] E.W. Mielke and A. A. Rincón Maggiolo, Phys. Rev. D
(1982). 68, 104026 (2003).
[27] E.W. Mielke, Int. J. Theor. Phys. 40, 171 (2001). [42] A.V. Filippenko, astro-ph/0307139.
[28] P. Ghosh and P. Bandyopadhyay, Int. J. Mod. Phys. A 15, [43] i.e., using four dimensional stereographic coordinates.
3287 (2000). [44] T. Padmanabhan, Phys. Rep. 380, 235 (2003).
[29] O. Chandia and J. Zanelli, Phys. Rev. D 55, 7580 (1997). [45] P. Mahato, Mod. Phys. Lett. A 17, 475 (2002).
[30] If we name three terms of r.h.s. of (8) as L01 ; L02 and [46] L. Mullick and P. Bandyopadhyay, J. Math. Phys. (N.Y.)
L03 , then we see that, for arbitrary values of a; b and c, 36, 370 (1995).
aL01 bL02 cL03 b aL02 a
124024-6