GENERAL RELATIVITY WITH A POSITIVE COSMOLOGICAL CONSTANT Λ AS A GAUGE THEORY

In the paper we show that the general relativity action (and Lagrangian) in recent Einstein-Palatini formulation is equivalent in four dimensions to the action (and Langrangian) of a gauge field. We begin with a bit of information of the Einstein-Palatini (EP) action, then we present how Einstein fields equations can be derived from it. In the next section, we consider Einstein-Palatini action integral for general relativity with a positive cosmological constant Λ in terms of the corrected curvature Ωcor. We will see that in terms of Ωcor this action takes the form typical for a gauge field. Finally, we give a geometrical interpretation of the corrected curvature Ωcor.


Introduction: Einstein-Palatini Action for General Relativity
In this section, we remind the author briefly about Einstein-Palatini formalism for general relativity (GR).
The Einstein field equations can be derived from postulation that the Einstein-Hilbert (EH) action is true action for GR.Albert Einstein firstly used only the metric as an independent variable to do variation of this action.The connection with EH action, in this approach, is the metric and symmetric Levi-Civita connection.Later, Einstein and Palatini proposed to take the metric and affine connection as independent variables in the action principle.This method allows computing the field equations for a more general metric affine connection rather than the Levi-Civita connection.Here, the spacetime admits torsion when matter Lagrangian is explicitly dependent on connection.Thus, the Einstein-Palatini formalism gives us a powerful tool for theories of gravitation that have more general Riemann-Cartan geometry.
In this section, we present Einstein-Palatini action in the recent formulation and how the Einstein fields equations can be computed from it.
The Einstein-Palatini action with cosmological constant Λ in this new formulation see [1] is defined as follows where Ω is the curvature of ω (spin connection) and κ = 8πG/c 4 .All indices take values (0, 1, 2, 3).D means an established four-dimensional compact domain in spacetime.In the above formula, ϑ a denotes 1-forms of the Lorentzian coreper such that the spacetime looks locally Minkowskian: η ijkl is a completely antisymmetric Levi-Civita pseudotensor: η 0123 = |g|, where g := det(g ik ).In a Lorentzian coreper, |g| = 1.Spin connection ω is a general metric connection (or Levi-Civita connection) in Lorentzian coreper.Strictly speaking, by spin connection, relativists understand the mixed components ω a bµ of the connection ω.These mixed components are defined in the following way.Firstly, we decompose connection form ω i k in terms of the Lorentzian 1-forms ϑ l Then, the decomposition of the forms ϑ l in the natural cobasis dx µ ϑ l = h l µ dx µ leads to Relativists called the mixed components ω i kµ the spin connection.For the geometrical units G = c = 1, Equation (1) takes the following form if and Λ > 0 Adding to the geometric part S EP the matter action where φ A means tensor-valued matter form and Dφ A its absolute exterior derivative, we obtain full action After some calculations, one gets that the variation δS = δS EP + δS m with respect to ϑ i , ω i j and The three-forms: energy-momentum t i , classical spin s j i and L A are defined by the following form of the variation δL m η kli , η j i , η i mean the forms introduced in the past by Trautman [2] (see also Appendix A).The variations δϑ i , δω i j and δφ A are vanishing on the boundary ∂D of the compact domain D.
Einstein's equations, similar to all other physical field equations, can be obtained from the variational principle, which is called the principle of stationary action or Hamiltonian principle.In our case, it has the following form: It leads us to the following sets of the field equations: and L A = 0 represents equations of motion for matter field.These equations are not intrinsic in further our considerations, thus we omit them.We are interested only in the gravitational field equations, which are given by Equations ( 8) and (9).Equations ( 8)-( 10) (but with λ = 0) were first obtained by Trautman [2].There is only one difference in our approach-the opposite sign of the spin tensor.
Here Θ is the 2-form of torsion.
In vacuum where , vanishing torsion, we get the standard vacuum Einstein's equations (EE) with cosmological constant Λ and pseudoriemannian geometry In general, we have the Einstein-Cartan equations and Riemann-Cartan geometry (a metric geometry with torsion).
We also obtain the standard GR if we put δL m One can show that 1  2 Ω kl ∧ η kli = −G s i η s , where the Einstein tensor G s i is defined as follows Putting or Equation ( 15) represents the standard Einstein equations with cosmological constant Λ in tensorial notation with symmetric matter tensor: T ik = T ki .

Results: Einstein-Palatini Action Integral for General Relativity in Vacuum and with Positive Cosmological Constant Λ As Integral Action for a Gauge Field
Let us return to the Einstein-Palatini action (Equation( 1)) in vacuum and introduce the duality operator see Wise [3] Then, one has and the Einstein-Palatini action has the following form Now, let us introduce the corrected curvature Ω cor Substituting the last formula into Einstein-Palatini action, we get Because −Ω cor ∧ Ω + Ω ∧ Ω cor reduces, we finally have The expression tr Ω ∧ Ω = η ijkl Ω ij ∧ Ω kl is in four dimensions a topological invariant called Euler's form, which does not influence the equations of motion see Hayashi, Shirafuji [4].Hence, in four dimensions, the Einstein-Palatini action is equivalent to We see that the Einstein-Palatini action in four dimensions is effectively the quadratic function of the corrected Riemannian curvature, i.e., it has a form of the action for a gauge field.
The only difference is that in Equation ( 23) we have the star operator , which is different from Hodge star operator.Namely, our star operator acts onto"interior" indices (tetrad indices), not onto forms as Hode duality operator does.
The gauge group for the theory with the action in Equation ( 23) is the Lorentz group L = SO(1, 3) or its double cover SL(2, C).
It is interesting that Ω cor = 0 for the de Sitter spacetime, which is the fundamental vacuum solution to the Einstein equations We would like to emphasize that in the case Λ = 0 the above trick with Ω cor breaks.Namely, we have in this case (see Section 3) Ω cor = Ω because [e i , e k ] = 0.This result formally trivializes S E−P action to the strange form S E−P = 0. Thsi is easily seen from Equation(21) or Equation( 22).In the case Λ < 0, one obtains the result analogical to Equation (23) with Ω cor = Ω + Λ 3 ϑ ∧ ϑ but this time Λ < 0. We do not consider this case because it requires introducing the anti-de Sitter spacetime (and its isometry group SO(2,3)) into calculations, which has very strange casual properties.

Discussion: Geometrical Interpretation of the Corrected Curvature Ω cor
Let P(M 4 , GdS) denote the principal bundle of de Sitter basis over a manifold M 4 (spacetime) with de Sitter group(GdS) see Drechsler, Mayer [5], Gürsey [6] as a structure group.This group is isomorphic to the group SO(1, 4) see Drechsler, Mayer [5], Randono [1], Gürsey [6].Let ω be 1-form of connection in the principle fibre bundle P(M 4 , GdS).The form ω has values in the algebra g of the group GdS.This algebra splits (as a vector space) into direct sum g = so(1, 3) ⊕ R (1,3) .
On the other hand, the spaces which satisfy Equations ( 26) and ( 27) are called globally symmetric Riemannian spaces see Drechsler [5].
Let P(M 4 , L) denote the principal bundle of Lorentz basis over the manifold M 4 .There exists a morphism of principal bundles analogical to the morphism of the bundle linear frames and the bundle affine frames see Kobayashi,Nomizu [8].This morphism creates pull-back f * ω of the form ω onto the bundle P(M 4 , L).Here, ω is the connection 1-form in the bundle P(M 4 , GdS).
Let us denote this pull-back by A. A is a 1-form on P(M 4 , L) with values in the direct sum see Kobayashi, Nomizu [8] so(1, 3) ⊕ R (1,3) . (29) Hence, we have a natural decomposition see Kobayashi, Nomizu [8] where ω is a 1-form on P(M 4 , L) with values in the algebra so(1, 3) and θ is a 1-form on P(M 4 , L) with values on R (1,3) .ω is a connection on the bundle P(M 4 , L).
On the base M 4 , the 1-form θ can be identified with 1-form ϑ already used in this paper: θ = ϑ.In the following, we work on the base space M 4 and write Equation (30) in the form Let us compute a 2-form curvature Ω of the pulled back A. From the definition, we have We introduce to our equations bases M ik = − M ki of algebra so(1, 3) and e i of vector space R (1,3) .On these bases, we have ( M ik , e l ) forms the algebra of the de Sitter group (the basis of algebra g).Our elements M ik = − M ki are real and connected with elements M ik = M ki used see Drechsler, Mayer [5] in the following way The commutation relations for the algebra so(1, 4) = so(1, 3) ⊕ R (1,3) , in the terms of the elements The following commutation relations are important in the further considerations see Gürsey [6], Dubničkova [9], Drechsler, Mayer [5].
[ M ki , e l ] = 1 2 η il e k − η kl e i (37) where R is the radius of the de Sitter spacetime.This radius R is connected with Λ by the formula Λ = 3 R 2 .Using the above equations, we have where Ω ω = dω + 1 2 ω, ω is the curvature 2-form of the connection's ω.Taking into consideration the commutation relations in algebra g given by Equations ( 37) and (38), we obtain ) ∧ ϑ and it denotes the corrected curvature of the connection ω on the bundle P(M 4 , L) and Θ = D ω ϑ is a torsion of the connection ω.
If we adjust the connection ω in such a way that the connection ω is torsionless (Θ = 0), i.e., if ω is Levi-Civita connection, then we get (after leaving the basis so(1, 3) and R (1,3) ) In Section 2, we give the definition of the corrected curvature Ω cor as follows: As one can see, this curvature is a curvature of the connection if Θ = 0, e.g., in Einstein-Cartan vacuum.If Θ = 0, e.g., in Einstein theory with spinning sources, then Ω cor is the so(1, 3)-part of the curvature Ω.

Conclusions
In this article, we have shown that in four dimensions the action integral for GR with a positive cosmological constant Λ can be written in an analogical form to the form of the action integral for the typical gauge field.However, there is one difference-the star.Instead of the Hodge star, we have a slightly different star called the duality operator see Hayashi, Shirafuji [4], Wise [7].
Our result is important because it shows that there is no need to generalize GR and construct very complicated gravitational theories to obtain a gravitational theory as a gauge theory.The ordinary GR formulated in terms of tetrads and spin connection with cosmological constant Λ > 0 is already a gauge theory with gauge group L = SO(1, 3) or its double cover SL(2, C).This fact is very interesting in connection with universality of the Einstein theory: every alternative metric theory of gravity can be reformulated as Einstein theory with additional "egzotic" matter fields see Kijowski [10], Schweizer [11].Therefore, we present a following conjecture.

Conjecture:
After the above reformulation, one can put the pure geometric part of the action (identical to the geometric part S EP ) for any alternative theory with Λ > 0 in the form of Equation ( 23).This Conjecture will be studied in the future.Some scientists see Wise [3,7], Randono [1] were concerned with this problem and they came to similar conclusions as ours, but they applied in their works the Cartan's approach to the connection in the principal bundle see Wise [7], Drechsler, Mayer [5], Sharpe [12].This approach is not well known among geometrists and relativists.We have used only the standard theory of connection in the principal bundle which was created by Ehresmann and Cartan's student see Kobayashi,Nomizu [8], Gancarzewicz [13].His approach is commonly used in differential geometry and in relativity.We would like to emphasize that the formulation of the EP action in the form of Equation ( 23) can be important for quantizing of general relativity (because gauge fields can be successfully quantized).