Abstract
The equivalence between Chern–Simons and Einstein–Hilbert actions in three dimensions established by Achúcarro and Townsend (Phys Lett B 180:89, 1986) and Witten (Nucl Phys B 311:46, 1988) is generalized to the off-shell case. The technique is also generalized to the Yang–Mills action in four dimensions displaying de Sitter gauge symmetry. It is shown that, in both cases, we can directly identify a gravity action while the gauge symmetry can generate spacetime local isometries as well as diffeomorphisms. The price we pay for working in an off-shell scenario is that specific geometric constraints are needed. These constraints can be identified with foliations of spacetime. The special case of spacelike leafs evolving in time is studied. Finally, the whole set up is analyzed under fiber bundle theory. In this analysis we show that a traditional gauge theory, where the gauge field does not influence in spacetime dynamics, can be (for specific cases) consistently mapped into a gravity theory in the first order formalism.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [1], Achúcarro and Townsend and later Witten [2] were able to show that Chern–Simons (CS) theory for the de Sitter and Poincaré groups are equivalent to three dimensional gravity with and without cosmological constant, respectively. In [1] the equivalence is discussed under a supersymmetric scenario while in [2] the non-supersymmetric scenario is also studied. Moreover, these results strongly depend on the validity of the classical field equations (on-shell cases). Essentially, the mapping between a CS theory and a gravity one consists on the equivalence between, for instance, the groups SU(2) and SO(3). Furthermore, an important feature is that the gauge symmetry contains local Lorentz isometries as well as diffeomorphisms, provided the validity of the classical field equations. In the case of the Poincaré group ISO(3), the resulting gravity is the pure Einstein–Hilbert (EH) action while for the de Sitter group SO(4) the resulting gravity action contains also the cosmological constant term. For a complete review on Chern–Simons theories and three-dimensional gravity we refer to [3,4,5,6,7] and references therein.
It is possible to look at Gauge-Gravity Equivalence (GGE) [2] discussed in the previous paragraph as a mechanism to generate an effective gravity theory from a traditional gauge theory in flat spacetime.Footnote 1 Essentially, we can state that the CS action for the group \(ISO(3)\equiv SU(2)\times {\mathbb {R}}^3\) (or \(SO(4)\equiv SU(2)\times S(3)\), where S(3) describes gauge pseudo-translations. See Sect. 2.2.) is only a gauge theory, where the gauge group has no relation with spacetime dynamics. The spacetime itself can be taken as a flat manifold (Euclidean or Minkowskian), but this is not a requirement, only a simplification. Then, by making use of the homomorphismFootnote 2 \(SU(2)\longmapsto SO(3)\), the gauge field can be mapped into the spin-connection and the dreibein. The sectors \({\mathbb {R}}^3\) and S(3) in each case are identified with diffeomorphisms. The result is that the original spacetime is deformed into an effective manifold. For the general idea, see for instance [8,9,10,11,12,13,14,15,16,17,18]. Formally, this mechanism can be understood as a bundle map [19,20,21,22] between a gauge principal bundle and a coframe bundle (See Sect. 5). Intuitively, one can think of the gauge fields as being “absorbed” by the spacetime.
In this work, besides the reinterpretation of the GGE [2] above described, we develop two main generalizations. First, we generalize such equivalence to the case where the field equations are no longer required to be obeyed (off-shell generalization). The main difference is that we have to consider a pair of constraints on the curvature and torsion 2-forms. Following [2], we study the cases of the Poincaré (ISO(3)) and de Sitter (SO(4)) groups in three dimensions. Second, we generalize the GGE to four dimensions where we consider de Sitter group (SO(5)) as the gauge group of a Yang–Mills theory and employ the same ideas of [2] under the scenario described in the previous paragraph. We show that the gauge group can generate local Lorentz isometries as well as diffeomorphisms. The latter are originated from the coset S(4) just like diffeomorphisms emerge from the coset S(3) in the three-dimensional de Sitter case. Nevertheless, constraints are also demanded. We remark that, with little careful, everything can be systematically generalized to the general gauge group SO(m, n) with \(m+n=5\) in four dimensions. Nevertheless, for simplicity, we restrict ourselves to the case \(m=0\), i.e., SO(5).
An important exigence of the mechanism is that a mass parameter is always required. This is evident if we realize that the gauge field is mass dimensionful while the vielbein is dimensionless. Thus, without a mass parameter, the identification between the gauge field and the vielbein may never be realized. In three dimensions, the coupling parameter is already dimensionful. Thus, there is a mass scale inherent to the theory. In contrast, in four dimensions, the coupling parameter is dimensionless. Therefore, it is necessary to impose the existence of a mass parameter to the theory. Fortunately, it is widely known that mass parameters are plenty in Yang–Mills theories [23,24,25,26,27,28,29,30,31,32,33,34]. On the other hand, in most models where gravity is generated from gauge theories [9,10,11,12,13,14,15,16,17,18, 35], a symmetry breaking, or/and an Inönü-Wigner contraction [36], is required. In the present approach, no breaking mechanism is needed although a mass parameter existence is mandatory.
Furthermore, we also discuss the geometrical meaning of these constraints and argue that they are equivalent to spacetime foliations. The specific case of the spacelike leafs evolving in time is then discussed. We find that, for the constraints to be fulfilled at the off-shell cases, the diffeomorphism symmetry must be broken to a smaller diffeomorphic group.
Finally, we provide a study of the GGE we develop in terms of fiber bundle theory [19,20,21,22]. A gauge theory is defined over a principal bundle whose structure group is the gauge group and does nor affect the base space (spacetime). Gravity, on the other hand, is constructed over a coframe bundle. The coframe bundle is also a principal bundle but with the special property that the structure group (gauge group) is identified with the base space isometries (local isometries of the spacetime). Essentially, we discuss how to identify a gauge principal bundle with a coframe bundle.
This work is organized as follows: In Sect. 2 we review the three-dimensional case as first realized by Witten and generalize it to the off-shell case. In Sect. 3, the four-dimensional case for the Yang–Mills action is discussed. In Sect. 4 the constraints are discussed from viewpoint of a specific foliation where spacelike leafs evolve in time. Then, in Sect. 5 we formally discuss how to reinterpret Witten’s GGE in terms of fiber bundles. Finally, the conclusions and perspectives are displayed in Sect. 6.
2 Constrained gravity in three dimensions
In this section we stick to three dimensions. We review and generalize the non-supersymmetric situation discussed in [2].
2.1 Poincaré gauge symmetry and gravity
The Chern–Simons action is given by
where \(\varsigma \) is the Chern–Simons coupling and Y is the 1-form connection for the Poincaré group in the representation \(ISO(3)\equiv SU(2)\times {\mathbb {R}}^3\), which is the gauge group that leaves the action (2.1) invariant. In this representation, the following conventions for the algebra are assumed,
and for the invariant quadratic forms it is considered that
where small Latin indices vary as \(\{0,1,2\}\). Decomposing the gauge field accordingly,
the action (2.1) can be rewritten as
where \(F^{i}=dA^{i}+\frac{1}{2}\epsilon ^{ijk}A_{j}A_{k}\) is the 2-form field strength associated to the su(2) sector of the algebra.
The transition to the \(ISO(3)\equiv SO(3)\times {\mathbb {R}}^3\) representation can be performed by the following identifications
where \(\kappa \) is a parameter with 1/2 mass dimension associated with the coupling parameter while \(e^{i}\) and \(\omega ^{ij}\) are recognized as the dreibein and the the spin-connection, respectively. Similarly to the relations (2.6), the algebra (2.2) can also be transformed into an \(SO(3)\times {\mathbb {R}}^3\) algebra through
providing
The substitution of (2.6) in (2.5) results in
where \(R^{ij}=d\omega ^{ij}+{\omega ^i} _k\omega ^{kj}\) is the curvature 2-form. The “Newton’s constant”Footnote 3 is determined by \(G=\dfrac{1}{8\varsigma \kappa ^2}\). Needless to say, the action (2.9) is the three dimensional Einstein–Hilbert (EH) action. The respective field equations are simply \(R=T=0\), where \(T={\widetilde{D}}e\) is the torsion 2-form and \({\widetilde{D}}=d+\omega \) is the covariant derivative with respect to the SO(3) sector.
Let us take a look at the gauge transformations. Originally (for the representation \(SU(2)\times {\mathbb {R}}^3\)), they are given by
where \(\zeta =\alpha ^{i}J_{i}+\xi ^{i}P_{i}\) is the full infinitesimal gauge parameter and \(D=d+A\) is the covariant derivative. Using (2.6), it is easy to show that these transformations can be rewritten as
where we have employed the extra identifications
characterizing the map \(SU(2)\longmapsto SO(3)\).
The main step to achieve a complete gravity theory, according to [2], is to associate the SO(3) sector with local Lorentz transformations and the sector \({\mathbb {R}}^3\) with diffeomorphisms. In fact, diffeomorphisms can be obtained from the Lie derivative [19, 37],
where \(i_v\) is the interior derivative, which reduces the form rank by one.Footnote 4 The subindex v characterizes an element in a vector space \({\mathcal {V}}({\mathbb {M}}^3)\), where \({\mathbb {M}}^3\) is the spacetime manifold. Then, \(v^\mu \) is identified with the diffeomorphism parameters. The Greek indices are world indices and vary as \(\{0,1,2\}\). Therefore, it is quite simple to show that,
On the other hand, the gauge transformations (2.11), when restricted to the \({\mathbb {R}}^3\) sector, read
The difference between transformations (2.14) and (2.15) provides
which reduce to local Lorentz local transformations if we set
and
Equation (2.18) define constraints over the gravity that emerges from the Poincaré invariant Chern–Simons action (2.1). For general geometries (specific non-vanishing curvature and torsion), the meaning of these equations are simple: given a geometry, the diffeomorphic vector \(v^\mu \) must be invariant if parallel transported along an infinitesimal closed path. The possible solutions of these constraint are:
- (i)
\(R^{ij}= 0\); \(T^i=0\), which is the on-shell case discussed in [2]. This case displays full diffeomorphism symmetry but the classical vacuum solutions must be imposed. We remark that, if matter is included then this situation does not rely on the on-shell case anymore.
- (ii)
\(v^\nu = 0\); which means that diffeomorphism symmetry is entirely broken. Obviously, this is not an interesting situation if diffeomorphisms are desired as a property of the final result.
- (iii)
The most general case is to consider the constraints (2.18) in a situation different from (i) and (ii). In fact, these constraints formally define a spacetime regular foliation [39, 40] with partial breaking of the diffeomorphisms, i.e., an intermediate situation between (i) and (ii). Hence, in the present case, the full diffeomorphism symmetry is then broken to a smaller group,
$$\begin{aligned} \mathrm {Diff}(2)_{\mathrm {fol}}=\{v\in \mathrm {Diff}(3)\;\big |\;i_vR^{ij}=0\;\;;\;\;i_vT^i=0\}.\nonumber \\ \end{aligned}$$(2.19)
Clearly, situations (i) and (ii) are extreme limits of situation (iii).
2.2 de Sitter gauge symmetry and gravity
The second case considered in [2] is the generalization of the previous approach to the action (2.1) for the gauge group \(SO(4) \equiv SU(2)\times S(3)\), where S(3) are pseudo-translations. The translational sector of the algebra (2.2) is modified by \([P_{i},P_{j}]=\epsilon _{ijk} J^{k}\) while the invariant quadratic forms (2.3) are exactly the same. Employing again decomposition (2.4), but with the algebra of the SO(4) group, to the Chern–Simons action (2.1), we find
Obviously, the field \(\theta \) now belongs to the pseudo-translational sector. Then, using the identifications (2.6) again, the Chern–Simons action is mapped into
where \(\Lambda ^2=\kappa ^4\) is identified with the cosmological constant. “Newton’s constant” remains fixed as \(G=\dfrac{1}{8\varsigma \kappa ^2}\). Clearly, the action (2.21) is invariant under the orthogonal group SO(4) in the representation \(SO(3)\times S(3)\).
In order to encounter a possible diffeomorphic symmetry from the gauge symmetry, we write the original gauge transformations for the fields A and \(\theta \), namely,
Applying (2.6) and (2.12), we find
In this case, the gauge group changed to the representation \(SO(4) \equiv SO(3) \times S(3)\). Again, we wish to identify S(3) with diffeomorphisms. For that, we consider once again the relations (2.14). The gauge transformations (2.23), restricted to the S(3) sector, read now
Thus,
The relations (2.25) reduce to local Lorentz local transformations if, and only if, we set relations (2.17) and
The difference between the constraints (2.18) and (2.26) is the presence of the cosmological constant term. In fact, the first of the constraints (2.26) can be interpreted as a condition over the curvature when filtered by the vacuum solution. Under this interpretation, constraints (2.26) is no different from (2.18) where the vacuum solution is null curvature and torsion.
From (2.26) we can see that \(R^{ij}=\Lambda ^ 2e^ie^j\) and \(T^i=0\) consist on the on-shell solution, as discussed in [2]. This is the analogous case of (i) in the previous section. If \(v^\nu =0\), the situation (ii) of the previous section is achieved, corresponding to the full breaking of diffeomorphisms. Again, the intermediate case (i.e., the case analogous to (iii)) would be a specific foliation of spacetime, providing a diffeomorphisms subgroup characterized by
The geometric interpretation of the constraints (2.26) are now different: the parallel transport of \(v^\mu \) along an infinitesimal path will start and end at the same point (as before) but will not remain invariant; it will be modified according to a de Sitter curvature \(\Lambda ^2e^ie^j\).
3 Constrained gravity in four dimensions
We consider now a gauge theory for the group SO(5) over a four-dimensional manifold with Euclidean signature. The gauge group can be decomposed according to \(SO(5)\equiv SO(4)\times S(4)\). The respective algebra splits as
where \(J^{ab}\) are anti-hermitian generators. Now, small Latin indices vary as \(\{0,1,2,3\}\). Accordingly, the gauge connection also splits through \(Y=A^a_{b}J_{a}^{b}+\theta ^aJ_a\). Consequently, the curvature 2-form can be written as
where \({\Sigma ^{a}}_{b}={dA^a}_{b}+{A^a}_{c}{A^c}_{b}\) and \(\Phi ^{a}=d\theta ^{a}+ {A^a}_{b}\theta ^{b}\).
If we consider pure Yang–Mills action as the starting theory, it decomposes as
where calligraphic index vary as \(\{0,1,2,3,4\}\). Just like the three-dimensional case, \(\kappa \) stands for the coupling parameter. The difference is that in four dimensions \(\kappa \) is dimensionless, \([\kappa ]=0\).
Following the ideas developed in the previous sections, it is possible to infer the following map between the gauge field and the first order gravity variables (see for instance [16, 18])
where \(\gamma \) is a mass scale. This mass scale is required because \([\kappa ]=0\) and \([\theta ]=[A]=1\) while \([\omega ]=1\) and \([e]=0\), provided \([\gamma ]=1\). We remark that, in three dimensions, the coupling parameter already has mass dimension. In four-dimensions, there are no former mass parameters available. Thus, its existence must be assumed.Footnote 5 Hence, the Yang–Mills action (3.3) assumes the form
where \({R^{a}}_{b}=d{\omega ^{a}}_{b}+{\omega ^{a}}_{c}{\omega ^{c}}_{b}\), \(T^a = de^a+{\omega ^{a}}_{b}e^b\), \(G=\dfrac{\kappa ^2}{4\pi \gamma ^2}\) and \(\Lambda ^2=\dfrac{3\gamma ^2}{4}\) are recognized as the curvature and torsion 2-forms, the Newton and cosmological constants, respectively. The most simple nontrivial solution of the field equations with \(T^a=0\) is unusual because it provides \({R^{ab}}_{\mu \nu }\in {\mathbb {C}}\).
The gauge transformations associated with the original SO(5) theory are
where \(\zeta ={\alpha ^a}_{b}{J_a}^{b}+\xi ^aJ_a\) and \(\nabla ={d}+A\) is the covariant derivative with respect to the sector SO(4). Using the identifications (3.4), it is easy to show that these transformations can be rewritten as
with \({{\widetilde{\nabla }}}={d}+\omega \) and
If we select the S(4) sector of the transformations, we achieve
Again, we wish to obtain diffeomorphisms from the gauge group. This time, from the S(4) part. Thus, following the prescription of the three dimensional case, we can obtain the diffeomorphic transformations of the fields from the Lie derivative, namely,
Taking the difference between (3.9) and (3.10), we obtain
Assuming analogous relations to (2.17), given by
and imposing the constraints
the S(4) sector of the gauge algebra can be identified with diffeomorphisms.
Differently from the three-dimensional cases we do not have the three particular possibilities of constraints discussed at the end of Sect. 2.2. Inhere there is no room for the on-shell case:
- (i)
de Sitter curvature and vanishing torsion (\(R^{ab}=\dfrac{\Lambda ^2}{3}e^ae^b\) and \(T^a=0\)): This case displays full diffeomorphism. However, this is not the on-shell case. Instead, this geometry sets \(S_{{4d(grav)}}=0\).
- (ii)
\(v^\nu = 0\); meaning that diffeomorphism symmetry is entirely broken and the geometry is totally free.
- (iii)
The most general case is the intermediate situation between (i) and (ii) where (3.13) still holds and the full diffeomorphism symmetry is then broken to a smaller diffeomorphic group,
$$\begin{aligned}&\mathrm {Diff}(3)_{\mathrm {fol}}\nonumber \\&\quad =\left\{ v\in \mathrm {Diff}(4)\;\big |\;i_v\left( R^{ab} {-}\dfrac{\Lambda ^2}{3}e^ae^b\right) {=}0;\;\;i_vT^a{=}0\right\} \;.\nonumber \\ \end{aligned}$$(3.14)
The geometrical interpretation of the constraints (3.13) is similar to the de Sitter three-dimensional case.
4 Analysis of the constraints in foliated spacetime
Given the generic constraints in three and four dimensions (cases (iii)), namely (2.18), (2.26) and (3.13), it is our intent to verify their consistency. The analysis we perform in this section is quite general, but we rather be closer to Physics and think of a spacetime manifold is foliated as \({\mathbb {M}}^d={\mathbb {M}}^{(d-1)}\times {\mathbb {R}}_t\), where \({\mathbb {R}}_t\) and \({\mathbb {M}}^{(d-1)}\) are the temporal and spatial parts, respectively. In particular, this choice is consistent with the Arnowitt–Deser–Misner (ADM) foliation formalism [41,42,43,44,45,46,47]. In this approach the dynamics of the gravitational field can be seen as the time evolution of these hypersurfaces along time.
The relation between a \((d-1)\)-dimensional foliation curvature \({\mathcal {R}}\), the d-dimensional curvature of the spacetime R and the extrinsic curvature \({K^I}_{\mu }\) of the foliation, is given by the Gauss equation
The spatial indices refer to coordinates on the leaf, i.e., \(\{I,J\}=\{1,2,3,\ldots d-1\}\). The extrinsic curvature is defined with the vector normal to the leaf, \(n^\mu \), as \({K^I}_{\mu }=-e^I_{\nu }{\widetilde{D}}_{\mu }n^{\nu }\). The decomposition of the d-dimensional torsion tensor T in the leaf is given by
where \({\mathcal {T}}\) is the projected torsion, i.e., the \((d-1)\)-dimensional torsion of the leaf and the rest, in analogy to (4.1), is related to the extrinsic torsion. For simplicity and due to the fact that we will not make use of its explicit form we will refer to \({\Omega ^I}_{\mu \nu }\) simply as “extrinsic torsion”.
4.1 Three dimensions
In the case of three dimensions we refer to the constraints (2.18) and (2.26) for Poincaré and de Sitter symmetries, respectively. For the sake of simplicity, let us consider some special cases before the general ones.
4.1.1 Poincaré symmetry
- (I)
On-shell torsion and general curvature
On-shell torsion in this case case means \(T^i=0\) and general curvature means that \(R^{ij}\) is arbitrary, except for the condition \(i_vR^{ij}=0\). This is the usual Riemannian scenario of gravity. Thus, the full diffeomorphism symmetry is broken to a smaller group,
To find the specific conditions over the diffeomorphisms parameters \(v^\mu \), we start by multiplying the Gauss equation (4.1) in three dimensions by \(v^\mu \),
The first term of the rhs in (4.4) vanishes due to the constraint (2.18), yielding
Expression (4.5) expresses the behavior of the field \(v^\mu \) when parallel transported along a spacelike curve (a circuit lying on the spatial leaf of the foliation). The corresponding constraint on \(v^\mu \) can easily be found by rewriting (4.5) in components, providing
and
By contracting equation (4.7) with \(v^P\), the result is Eq. (4.6). Thus, all information we need is actually contained in (4.7). Now, in order to suppress all free indices and solve for \(v^0\), we contract (4.7) with the two-dimensional curvature tensor itself. Hence,
characterizing the constrained diffeomorphism symmetry of the spacetime foliation. This ends the analysis of the consistency of the constraint (2.18) for vanishing torsion and general curvature within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for Riemannian geometry.
- (II)
On-shell curvature and general torsion
Still at the Poincaré symmetry, the second non-trivial situation we explore is to enforce the vanishing of the curvature while imposing the second condition of (2.18) for the torsion 2-form. Torsion now remains arbitrary. This non-standard condition (\(R^{ij}=0\) and \(i_vT^i=0\) for \(T^i\ne 0\)) is a teleparallel gravity situation where gravity is described in a Weitzenböck manifold instead of a Riemannian one, see for instance [48,49,50]. In this case, the broken diffeomorphism group is now given by
To find the condition over the components \(v^\mu \) due to the constraints (2.18) we contract Eq. (4.2) with \(v^\mu \) to obtain
The second equation of (2.18) implies that the first term of the rhs in (4.10) vanishes, hence,
The Eq. (4.11) states that \(v^\mu \) twists when parallel transported along a spacelike closed curve and that the extrinsic torsion \(\Omega \) enforces that \(v^\mu \) will not end up at the same point. Now, splitting (4.11) in components, we find
and
Clearly, the contraction of the Eq. (4.13) with \(v^P\) reproduces Eq. (4.12). Thus, all relevant information contained in Eq. (4.11) lies at Eq. (4.13). Then, taking the trace of equation (4.13) we finally obtain
which is the constraint over the diffeomorphisms parameters we were seeking for. This ends the analysis of the consistency of the constraint (2.18) for vanishing curvature and general torsion within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for Weitzenböck geometry.
- (III)
General torsion and general curvature
Now we consider both general constraints (2.18). The broken Weitzenböck group is now given by definition (2.19). In this case, all we have to do is to combine (4.8) and (4.14) to obtain
which is the condition over \(v^Q\) due to the chosen geometry. Clearly, in this case, the geometry is a Riemann–Cartan one since we are considering non-vanishing torsion and curvature. This ends the analysis of the consistency of the constraints (2.18) within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for Riemann–Cartan geometry.
4.1.2 de Sitter symmetry
For de Sitter gauge symmetry, we have to study the constraints (2.26). The procedure is pretty much the same as the one developed in Sect. 4.1.1.
- (I)
On-shell torsion and general curvature
Again, on-shell torsion means that \(T^i=0\) while general curvature assumes that \(R^{ij}\ne \Lambda ^ 2e^ie^j\) while \(i_v(R^{ij}-\Lambda ^ 2e^ie^j)=0\). Cleary, this situation is of a Riemannian geometry gravity. Therefore, the diffeomorphism group is broken to
To find the meaning of the constraint (2.26) in terms of the diffeomorphism parameters \(v^\mu \), we first project (2.26) in \({\mathbb {M}}^2\) to find
Hence, combining (4.17) with (4.4), we get
Decomposing space and time we are lead to
and
Expression (4.19) is exactly the same as (4.6). The novelty is Eq. (4.20) where the purely spatial vector field \(v^Q\) is affected by the extrinsic curvature and by the cosmological constant term when parallel transported along an infinitesimal spatial closed path. The explicit constraint over the diffeomorphism parameters is easily found: First, one saturates the free indices in (4.20) by contracting it with the leaf curvature. Then, one solves the equation for \(v^0\), namely,
where the influence of the cosmological constant is evident. This ends the analysis of the consistency of the constraint (2.26) for vanishing torsion and general curvature within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for Riemannian geometry.
- (II)
On-shell de Sitter curvature and general torsion
This case is similar to the case of on-shell de Sitter curvature and general torsion for Poincaré symmetry because we have \(R^{ij}=\Lambda ^2e^ie^j\) fixed instead of \(R=0\) (See Setc. 4.1.1 item (II)). Therefore the constraint is the exactly same that (4.14). Nevertheless, while in the Poincaré symmetry case we were in a Weitzenböck scenario, now we are at a Riemann–Cartan scenario since the vacuum curvature does not vanish anymore. The broken diffeomorphism group is also different from (4.9),
This ends the analysis of the consistency of the constraint (2.26) for general torsion and de Sitter vacuum curvature within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for Riemann–Cartan geometry.
- (III)
General torsion and general curvature
To find the general constraint over \(v^\mu \) when considering general curvature and torsion in the constraints (2.26) is a simple task. The result follows from the direct combination of the the previous results (4.21) and (4.14),
The broken diffeomorphic group is, obviously, the one defined in (2.27). Also, from the general nature of torsion and curvature, we are again in a Riemann-Cartan gravity scenario. This ends the analysis of the consistency of the constraint (2.26) for general curvature and torsion within spacetime foliation \({\mathbb {M}}^3={\mathbb {M}}^{2}\times {\mathbb {R}}_t\) for a Riemann-Cartan geometry.
4.2 Four dimensions
It is not difficult to see that the constraints (3.13) are essentially the same as (2.26), except for the cosmological constant factor and the spacetime dimension. Thus, we follow exactly the same line of reasoning exposed in Sect. 2.2, but for the foliated spacetime \({\mathbb {M}}^4={\mathbb {M}}^3\times {\mathbb {R}}_t\). Moreover, we avoid the use of the word “on-shell” in this part because we will not deal with any on-shell case. Other differences will also appear.
- (I)
Vanishing torsion and general curvature
By assuming vanishing torsion and a generic curvature, the broken diffeomorphism group now reads
The scenario is a Riemannian gravity. The consequence is that the constraints (3.13) are reduced to
where \(\{A,B\ldots =1,2,3\}\) are spatial indices of the manifold \({\mathbb {M}}^3\) and where Greek indices vary now as \(\{0,1,2,3\}\) characterizing the world indices of the manifold \({\mathbb {M}}^4\). The constraint over the diffeomorphism parameter could be found according to the previous case (See Sect. (4.1.2) item (I)): First, we split the indices in (4.25) into space and time. To saturate the remaining three free indices we now have the three-dimensional Levi-Civita simbol at our disposal,Footnote 6 resulting in
which is much more simple than the result found in (4.21) and, remarkably, does not depend explicitly on the cosmological constant. This ends the analysis of the consistency of the constraint (3.13) for vanishing torsion and general curvature within spacetime foliation \({\mathbb {M}}^4={\mathbb {M}}^{3}\times {\mathbb {R}}_t\) for a Riemannian geometry.
- (II)
General torsion and de Sitter curvature
Now we set the de Sitter curvature \(R^{ab}=\dfrac{\Lambda ^2}{3}e^ae^b\) and general torsion. The broken diffeomorphic group is now given by
And, for the diffeomorphisms parameters, we get
such as encountered in (4.14).
- (III)
General torsion and general curvature
Finally, for the general torsion and curvature, we combine (4.26) and (4.28) to find
Remarkably, the cosmological constant has no influence on this constraint. The reason is that we have used the Levi-Civita symbol to saturate the indices instead of the leaf curvature. Finally, the broken diffeomorphism group is the generic one given by expression (3.14).
5 Principal bundles, gauge theories and gravity
In this section we provide a quick mathematical analysis of our results. Specifically, we discuss the mapping of a principal bundle (gauge theory) into a coframe bundle (gravity as geometrodynamics) from the point of view of fiber bundle theory [19, 21, 22, 38, 51, 52]. This analysis serve as a mathematical support of the previous sections.
The principal bundle for which a gauge connection is generated [21] is denoted by \(\{P,{\mathbb {G}},{\mathbb {M}}^n,\pi \}\) where \(\pi :{P}\longmapsto {\mathbb {M}}^n\). In short notation, we write simply \({P}({\mathbb {M}}^n,{{\mathbb {G}}})\). The fiber and the structure group are both a Lie group \({\mathbb {G}}\). The base space is a n-dimensional manifold \({\mathbb {M}}^n\), often recognized as the spacetime. The total space is the non-trivial product \(P={\mathbb {M}}^n\times {\mathbb {G}}\). The projection map \(\pi \) is a continuous surjective map and the local triviality condition of P is guaranteed by the homeomorphism \(\phi _i:{\pi }^{-1}(\{{\mathbb {M}}^n\}_i)\longmapsto \{{\mathbb {M}}^n\}_i\times {\mathbb {G}}\), where \(\{{\mathbb {M}}^n\}_i\) are open sets covering \({\mathbb {M}}^n\). The definition of P can be regarded as a formal way to describe the localization of the Lie group \({\mathbb {G}}\) over the n-dimensional spacetime, associating to each point \(x\in {\mathbb {M}}^n\) different values for the elements \(u(x)\in {\mathbb {G}}\). The gauge connection appears in the definition of parallel transport in P. Gauge transformations are associated with coordinates changes in P by keeping the coordinates of the base space fixed, i.e., a translation along the fiber \({\pi }^{-1}\). Furthermore, for any connection 1-form A there is a curvature 2-form defined over P given by \(F=dA+AA\) which is recognized as the field strength in gauge theories.
Gravity theories can also be described in terms of principal bundles and, consequently, as gauge a theory. Initially, we will take a manifoldFootnote 7 \(\widetilde{{\mathbb {M}}}^n\) and the respective collection of tangent spaces \(T_X(\widetilde{{\mathbb {M}}}^n)\) at all points \(X\in \widetilde{{\mathbb {M}}}^n\). The collection of all tangent spaces defines the tangent bundle \({\mathbb {T}}\). In this bundle, \(\widetilde{{\mathbb {M}}}^n\) is the base space, the fiber is denoted by \(T_X(\widetilde{{\mathbb {M}}}^n)\) and the structure group is the \(GL(n,{\mathbb {R}}^n)\). Similarly the cotangent bundle \({\mathbb {T}}^{*}\) is defined as union of all cotangent spaces in \(\widetilde{{\mathbb {M}}}^n\). The fundamental structure for gravity theories is, for instance, the coframe bundle. The coframe bundle is associated with the cotangent bundle. A typical fiber at \(X\in \widetilde{{\mathbb {M}}}^n\) is the set of all local coframes, which are represented by vielbeins e defined in \(T^*_X ({\mathbb {M}}^n)\). Consequently, given a fixed coframe at \(T^*_X (\widetilde{{\mathbb {M}}}^n)\), there will be an infinite number of equivalent coframes related to the former by transformations of \(GL(n,{\mathbb {R}}^n)\). Obviously, the fibers coincide with the group. We can define the coframe bundle as \(P^*=(GL(n,{\mathbb {R}}^n),\widetilde{{\mathbb {M}}}^n)\). Note that \(GL(n,{\mathbb {R}}^n)\) can be trivially reduced to orthogonal group SO(n) which leads to bundle \(P'^*(SO(n),\widetilde{{\mathbb {M}}}^n)\) that coincides with the mathematical structure of Einstein–Cartan gravity. See [20, 53]. In \(P'^*\) the SO(n) algebra-valued connection is the spin-connection 1-form \(\omega \). The curvature 2-form in \(P'^*\) is defined as \(R=d\omega +\omega \omega \) while the torsion 2-form is \(T=de+\omega e\). It is useful to understand that the only difference between the coframe bundle \(P'^*\) and the gauge principal bundle P is that the structure group (and fiber) SO(n) is also the group of local isometries. Hence, gravity can be visualized as a gauge theory where the gauge group is identified with the spacetime local isometries.
In order to connect a gauge theory with a gravity theory in the light of the principal bundles above described, let us start with the Poincaré three-dimensional case. First, we assume that the original Chern–Simons action (2.1) is constructed over a flat manifold, say, the three dimensional Euclidean spacetime. It is possible then to reinterpret the transition from action (2.1) to (2.9) as a kind of duality between a Chern–Simons action in Euclidean spacetime and a gravity action over a general manifold. The action (2.1) is a standard Chern–Simons gauge theory and, in principle, has nothing to do with gravity. Essentially, the field A is a connection over the principal bundle \((SU(2)\times {\mathbb {R}}^3,{\mathbb {R}}^3)\) where the base space is the three dimensional Euclidean space \({\mathbb {R}}^3\) and the structure group (and fiber) is the gauge group. On the other hand, action (2.9) is a gravity action describing the geometrodynamics of a three-dimensional manifold \(\widetilde{{\mathbb {M}}}^3\). Thus, the spin-connection \(\omega \) is a connection over a coframe bundle \((SO(3),\widetilde{{\mathbb {M}}}^3)\) where the base space is \(\widetilde{{\mathbb {M}}}^3\), the structure group is SO(3) and a typical fiber at a point \(X\in \widetilde{{\mathbb {M}}}^3\) is the collection of all coframes that can be defined at the tangent space \(T_X(\widetilde{{\mathbb {M}}}^3)\). Obviously the coframes are identified with the dreibein e.
In [16], a map between a gauge theory over a Euclidean spacetime and a geometrodynamics gravity theory was proposed in four dimensions. However, an Inönü-Wigner contraction and symmetry breaking were required. In the present case, neither of these effects is needed. In fact, the formal map \(f:(SU(2)\times {\mathbb {R}}^3,{\mathbb {R}}^3)\longmapsto (SO(3),\widetilde{{\mathbb {M}}}^3)\) can be understood as a set of maps \(f_i\) as follows: An isomorphism between base spaces \(f_0:{\mathbb {R}}^3\longmapsto \widetilde{{\mathbb {M}}}^3\). The SU(2) sector of the gauge group is mapped into the local isometry group SO(3) of \(\widetilde{{\mathbb {M}}}^3\), while the gauge sector \({\mathbb {R}}^3\) is mapped into the diffeomorphisms group, namely, \(f_1: SU(2)\longmapsto SO(3)\) and \(f_2: {\mathbb {R}}^3\longmapsto \mathrm {Diff}(3)\), respectively. To \(f_2\) be properly defined, one has to impose the relations (2.17). We also demand that the space of p-forms in \({\mathbb {R}}^3\) is identified with the space of p-forms in \(\widetilde{{\mathbb {M}}}^3\), namely \(\Omega ^p\) and \({\widetilde{\Omega }}^p\), by means of \(f_3:\Omega ^p\longmapsto {\widetilde{\Omega }}^p\). Finally, by imposing the relation (2.6) as an extra condition to \(f_3\), the coframe bundle \((SO(3),\widetilde{{\mathbb {M}}}^3)\) can be constructed from \((SU(2)\times {\mathbb {R}}^3,{\mathbb {R}}^3)\).
It is important to stress that \(f_0\) must be an isomorphism, otherwise ambiguities would appear. To see this, let us suppose that \(f_0\) has not a one-to-one correspondence. Then, two fibers at point \(x_1\in {\mathbb {R}}^3\) and \(x_2\in {\mathbb {R}}^3\) can be identified with one fiber at \(X\in \widetilde{{\mathbb {M}}}^3\). Clearly, this is not possible because the two original fibers are supposed to be independent from each other. Moreover, the explicit form of \(f_0\) can be straightforwardly derived for any spacetime dimension, see [16],
where L is the matrix that transforms the components of forms \(\Omega ^p\) into forms \({\widetilde{\Omega }}^p\); \(g=|\det g_{\mu \nu }|\) and \({\tilde{g}}=|\det {\tilde{g}}_{\mu \nu }|\); \(g_{\mu \nu }\) e \({\tilde{g}}_{\mu \nu }\) are respectively original and target metrics. Obviously, for the present case we have \(g_{\mu \nu }=\delta _{\mu \nu }\) and \(n=3\). Thus,
Another important remark is that the map \(f_2\) is obtained from specific values of the parameters which are functions of e and \(\omega \). This means that \(f_2\) is not a direct equivalence between \({\mathbb {R}}^3\) and \(\mathrm {Diff}(3)\), but a special case where (2.17) is imposed. Remarkably, all geometrical properties of the principal bundle \((SU(2)\times {\mathbb {R}}^3,{\mathbb {R}}^3)\) can be used to construct the coframe bundle \((SO(3),\widetilde{{\mathbb {M}}}^3)\), including the diffeomorphic transition functions.
In the case where the cosmological term is included, a similar map can be defined. The difference with respect to the previous case is that \(f_2:S(3)\longmapsto \mathrm {Diff}(3)\). In this case, (2.17) has a stronger appeal because \(f_2\) generate diffeomorphisms from a non-Abelian sector of the gauge group which is not even a subgroup, but a symmetric coset space.
Since the starting manifold is an Euclidean space, the target manifold is a deformed space whose geometric properties are defined through
In that sense, the gauge field is visualized as “absorbed” by the spacetime itself. This “absorption” deforms the base space and generate the effective geometry.
Once again, we remark that the identification (2.6) is only possible if a mass parameter is at our disposal. In three dimensions, we have used the coupling constant \(\kappa \). Since this parameter is inherent to the theory, this Chern–Simons gravity duality can be performed at any scale of the theory, a feature that is not possible in four dimensions. Moreover, it is important to be understood that the action (2.1) is a theory where the gauge symmetry has nothing to do with the geometrical properties of the spacetime. Only after the mapping, the gauge symmetry is identified with the geometrical properties of the base space and the fields with the geometrical objects that describe the dynamics of this geometry.
The previous discussion can easily be extended to the four-dimensional case. We assume that the Yang–Mills action (3.3) is constructed over a flat four-dimensional Euclidean manifold. The transition from action (3.3) to (3.5) can be taken as a duality between a Yang–Mills action in Euclidean spacetime and a gravity action over a general manifold. The field Y is a connection over the principal bundle \((SO(5),{\mathbb {R}}^4)\). The gravity action (3.5) describes the geometrodynamics of a four-dimensional manifold \(\widetilde{{\mathbb {M}}}^4\). Thus, the spin-connection \(\omega \) is a connection over a coframe bundle \((SO(4),\widetilde{{\mathbb {M}}}^4)\). Again, the concepts of Inönü-Wigner contraction and symmetry breaking are not required. The formal map \(f:(SO(5),{\mathbb {R}}^4)\longmapsto (SO(4),\widetilde{{\mathbb {M}}}^4)\) is a set of maps \(f_i\) as follows: An isomorphism between base spaces \(f_0:{\mathbb {R}}^4\longmapsto \widetilde{{\mathbb {M}}}^4\). The SO(4) sector of the gauge group is mapped into the local isometry group SO(4) of \(\widetilde{{\mathbb {M}}}^4\), while the gauge sector \(S(4)=SO(5)/SO(4)\) is mapped into the diffeomorphisms group, namely, \(f_1: SO(4)\longmapsto SO(4)\) and \(f_2: S(4)\longmapsto \mathrm {Diff}(4)\), respectively. Moreover, the space of p-forms in \({\mathbb {R}}^4\) is identified with the space of p-forms in \(\widetilde{{\mathbb {M}}}^4\) by means of \(f_3:\Omega ^p\longmapsto {\widetilde{\Omega }}^p\). Finally, by imposing the relation (3.4) to \(f_3\), the coframe bundle \((SO(4),\widetilde{{\mathbb {M}}}^4)\) is constructed from the principal bundle \((SO(5),{\mathbb {R}}^4)\). We stress out that \(f_0\) must be an isomorphism due to the same reasons of the three-dimensional case. Also, \(f_2\) is not a direct equivalence between S(4) and \(\mathrm {Diff}(4)\), but a special case where (3.12) is imposed. Once again, we remark that the identification (3.4) is only possible if a mass parameter is at our disposal. In four dimensions (in contrast to the three-dimensional case), the action (3.3) is massless. Hence, the mapping depends whenever the theory develops mass parameters. Fortunately, Yang–Mills theories develop a few non-perturbative effects that lead to the appearance of mass scales [25, 26, 28,29,30]. Thus, the mapping would only hold for low a low energy regime.
To end this section, we wish to recall that alternative mappings that could be applied in the same context can be found in [8] and references therein.
6 Conclusions
In this work, we were able to provide a reinterpretation of Witten’s three-dimensional equivalence result [2] by showing how one can construct an equivalent gravity theory originated from a Chern–Simons theory in Euclidean spacetime. Such equivalence required a mass parameter (coupling parameter) and a set of geometric constraints ((2.18) for Poincaré gauge theory and; (2.26) for de Sitter gauge theory). The method is valid at any scale since the coupling parameter already carries mass dimension. The method was also applied to the four dimensional case for the Yang–Mills action with \(SO(5)\equiv SO(4)\times S(4)\) gauge symmetry and considering flat spacetime. In this case, the coupling parameter is dimensionless and another parameter is required. Fortunately, there are a few mass parameters at our disposal in four-dimensional Yang–Mills theories at lower energy regime. For instance, the Gribov parameter is a nice candidate due to the recent discovery that it is a gauge invariant quantity [28,29,30]. A set of geometric constraints were also required, namely (3.13). In both cases (three and four dimensions), the gauge field can be associated with geometrical objects, namely, the vielbein and spin-connection, while the gauge group can be identified with local isometries and diffeomorphisms. Hence, the gauge field degrees of freedom can be somehow seen as being absorbed by spacetime. It is worth mentioning that the present method is comparable with the mechanism described in [16, 18, 35] for Yang–Mills theory. The advantage here is the fact that we do not depend on the running of the mass parameters to perform the mapping nor on an Inönü-Wigner contraction mechanism. The present mechanism merely depends on the existence of a mass parameter and not on its behavior with respect to the energy scale.
We have also argued that the constraints (2.18), (2.26) and (3.13) defines foliations [39, 40] with a restricted class of diffeomorphisms in the foliated manifold. For physical reasons, we have performed the study of such foliations in a scenario where the leafs are spacelike and evolve in time. Nevertheless, the method could be generalized to any kind of foliation. There are a few ways to fulfill the referred constraints. In three dimensions we have four main cases:
The usual Witten on-shell conditions which lead to gravity theories displaying full diffeomorphism symmetry. However, vacuum geometry must be imposed.
On-shell torsion and general curvature: The result is a Riemannian Einstein–Hilbert gravity ((2.9) for Poincaré symmetry and (2.21) for de Sitter symmetry) with restricted diffeomorphism symmetry, see (4.8) for the Poincaré symmetry and (4.21) for the de Sitter symmetry.
On-shell curvature and general torsion: The result is a Weitzenböck Einstein–Hilbert gravity ((2.9) for Poincaré symmetry and (2.21) for de Sitter symmetry) with restricted diffeomorphism symmetry, see (4.14) for both, Poincaré and de Sitter symmetries.
General torsion and curvature: The result is a Riemann–Cartan Einstein–Hilbert gravity ((2.9) for Poincaré symmetry and (2.21) for de Sitter symmetry) with restricted diffeomorphism symmetry, see (4.15) for the Poincaré symmetry and (4.23) for the de Sitter symmetry.
In four dimensions there is no room for the on-shell case and we are lead to three main cases:
Vanishing torsion and general curvature: The result is a Riemannian gravity (action (3.5) with \(T=0\)) with restricted diffeomorphism symmetry, see (4.26).
de Sitter curvature and general torsion: The result is a Riemann-Cartan gravity (action (3.5) with curvature given by \(R^{ab}=\dfrac{\Lambda ^2}{3}e^ae^b\)) with restricted diffeomorphism symmetry, see (4.28).
General torsion and curvature: The result is a Riemann–Cartan Einstein–Hilbert gravity (action (2.9)) with restricted diffeomorphism symmetry, see (4.29).
A mathematical analysis in terms of fiber bundle theory were also performed. This study allows the comprehension of how a principal bundle describing a classical gauge theory can be mapped into a coframe bundle describing a classical gravity theory.
Finally, we wish to point out two possibly interesting analysis that are left for future investigation: First, the quantum consistency of the mechanism. In three dimensions, this may be helped by the fact that Chern–Simons theories are finite [54, 55]. It is appropriate to dedicate a few words about the 3D quantum gravity scenario explored in [3] where the author scrutinize both, the canonical and functional quantization methods. The ADM decomposition, geometric structures, covariant phase space are studied in second and first order formalisms. See also [56, 57] for more recent developments. In four dimensions, SO(5) Yang–Mills theories are known to be renormalizable and unitary [58]. Remembering that in both cases the constraints must be taken into account. Second, the inclusion of matter fields (bosonic and fermionic) may produce interesting effects to be studied. Possibly extra constraints may be required. It is clear then that the results of the present work generalizes the classical results of [3] and opens the possibility to account for other spacetime foliations than the ADM decomposition. Moreover, as mentioned before, the whole setup is also generalized to four dimensions for the Yang–Mills theory.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is purely theoretical and therefore has no external data to list.]
Notes
Throughout this work the term spacetime will always be associated with a Hausdorff differentiable manifold (or simply manifold).
The SU(2) group is a double cover of SO(3) and there is a \(2\longmapsto 1\) surjective homomorphism from SU(2) to SO(3).
The quotation marks are employed because gravity theory in three dimensions does not have a Newtonian limit. Nevertheless, since G appear in front of the three-dimensional Einstein–Hilbert action, it can be associated with the four-dimensional Newton’s constant by analogy.
The interior derivative acts as \(i_v(dx^\nu ):=v^\nu \). See, for instance, [38].
In the three-dimensional case we had also three free indices but no three-index Levi-Civita symbol.
We included a “tilde” in the manifold of gravity to emphasize that this manifold is not the manifold without the “tilde” of the gauge theory. This distinction was not made before because there was no need until now.
References
A. Achucarro, P.K. Townsend, A Chern–Simons action for three-dimensional anti-De Sitter supergravity theories. Phys. Lett. B 180, 89 (1986)
E. Witten, (2+1)-Dimensional gravity as an exactly soluble system. Nucl. Phys. B 311, 46 (1988)
S. Carlip, Quantum Gravity in 2 + 1 Dimensions. Cambridge Monographs on Mathematical Physics. (Cambridge University Press, Cambridge, 2003)
J. Zanelli, Lecture notes on Chern–Simons (super-)gravities. Second edition (February 2008). In: Proceedings, 7th Mexican Workshop on Particles and Fields (MWPF 1999): (Merida, Mexico, November 10–17, 1999) (2005)
M. Mariño, Chern-Simons Theory, Matrix Models, and Topological Strings. In: International Series of Monographs on Physics (Oxford University Press, USA, 2005)
J. Zanelli, Chern–Simons forms in gravitation theories. Class. Quant. Gravit. 29, 133001 (2012)
M. Hassaine, Chern–Simons (super)gravity, volume 2 of 100 years of general relativity. World Scientific, Hackensack (2016)
Y.N. Obukhov, Gauge fields and space-time geometry. Theor. Math. Phys. 117, 1308–1318 (1998) [Teor. Mat. Fiz.117,249(1998)]
S.W. MacDowell, F. Mansouri, Unified geometric theory of gravity and supergravity. Phys. Rev. Lett. 38, 739 (1977) [Erratum: Phys. Rev. Lett.38,1376(1977)]
K.S. Stelle, P.C. West, Spontaneously Broken De Sitter Symmetry and the Gravitational Holonomy Group. Phys. Rev. D 21, 1466 (1980)
H.R. Pagels, Gravitational gauge fields and the cosmological constant. Phys. Rev. D 29, 1690 (1984)
S. Gotzes, A.C. Hirshfeld, A geometric formulation of the SO(3,2) theory of gravity. Ann. Phys. 203, 410–418 (1990)
R. Tresguerres, Dynamically broken Anti-de Sitter action for gravity. Int. J. Geom. Methods Mod. Phys. 5, 171–183 (2008)
A.A. Tseytlin, On the Poincare and De Sitter Gauge theories of gravity with propagating torsion. Phys. Rev. D 26, 3327 (1982)
E.W. Mielke, Spontaneously broken topological SL (5, R) gauge theory with standard gravity emerging. Phys. Rev. D 83, 044004 (2011)
R.F. Sobreiro, A.A. Tomaz, V.J.V. Otoya, de Sitter gauge theories and induced gravities. Eur. Phys. J. C 72, 1991 (2012)
R.F. Sobreiro, A.A. Tomaz, V.J.V. Otoya, Induced gravity from gauge theories. J. Phys. Conf. Ser. 453, 012014 (2013)
T.S. Assimos, A.D. Pereira, T.R.S. Santos, R.F. Sobreiro, A.A. Tomaz, V.J.V. Otoya, From \(SL(5,{\mathbb{R}})\) Yang–Mills theory to induced gravity. Int. J. Mod. Phys. D 26(08), 1750087 (2017)
S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol. 1 (Wiley-Interscience, New York, 1963)
C. Nash, S. Sen, Topology and Geometry for Physicists (Academic Press, London, 1983)
M. Daniel, C.M. Viallet, The geometrical setting of gauge theories of the Yang–Mills type. Rev. Mod. Phys. 52, 175 (1980)
M. Nakahara, Geometry, Topology and Physics. Graduate Student Series in Physics, 2nd edn. (Institute of Physics Publishing, New York, 2003)
V.N. Gribov, Quantization of nonabelian gauge theories. Nucl. Phys. B 139, 1 (1978)
R.F. Sobreiro, S.P. Sorella, Introduction to the Gribov ambiguities in Euclidean Yang–Mills theories. In: 13th Jorge Andre Swieca Summer School on Particle and Fields Campos do Jordao, Brazil (2005)
D. Dudal, R.F. Sobreiro, S.P. Sorella, H. Verschelde, The Gribov parameter and the dimension two gluon condensate in Euclidean Yang–Mills theories in the Landau gauge. Phys. Rev. D 72, 014016 (2005)
D. Dudal, S.P. Sorella, N. Vandersickel, The dynamical origin of the refinement of the Gribov–Zwanziger theory. Phys. Rev. D 84, 065039 (2011)
A.D. Pereira, R.F. Sobreiro, On the elimination of infinitesimal Gribov ambiguities in non-Abelian gauge theories. Eur. Phys. J. C 73, 2584 (2013)
M.A.L. Capri, D. Dudal, D. Fiorentini, M.S. Guimaraes, I.F. Justo, A.D. Pereira, B.W. Mintz, L.F. Palhares, R.F. Sobreiro, S.P. Sorella, Exact nilpotent nonperturbative BRST symmetry for the Gribov–Zwanziger action in the linear covariant gauge. Phys. Rev. D 92(4), 045039 (2015)
M.A.L. Capri, D. Dudal, D. Fiorentini, M.S. Guimaraes, I.F. Justo, A.D. Pereira, B.W. Mintz, L.F. Palhares, R.F. Sobreiro, S.P. Sorella, Local and BRST-invariant Yang–Mills theory within the Gribov horizon. Phys. Rev. D 94(2), 025035 (2016)
M.A.L. Capri, D. Fiorentini, A.D. Pereira, R.F. Sobreiro, S.P. Sorella, R.C. Terin, Aspects of the refined Gribov–Zwanziger action in linear covariant gauges. Ann. Phys. 376, 40–62 (2017)
M.Q. Huber, R. Alkofer, S.P. Sorella, Infrared analysis of Dyson–Schwinger equations taking into account the Gribov horizon in Landau gauge. Phys. Rev. D 81, 065003 (2010)
A. Cucchieri, D. Dudal, T. Mendes, N. Vandersickel, Modeling the gluon propagator in landau gauge: lattice estimates of pole masses and dimension-two condensates. Phys. Rev. D 85, 094513 (2012)
A. Cucchieri, D. Dudal, T. Mendes, N. Vandersickel, Modeling the Landau-gauge ghost propagator in 2, 3, and 4 spacetime dimensions. Phys. Rev. D 93(9), 094513 (2016)
A.C. Aguilar, D. Binosi, C.T. Figueiredo, J. Papavassiliou, Evidence of ghost suppression in gluon mass scale dynamics. Eur. Phys. J. C 78(3), 181 (2018)
R.F. Sobreiro, A.A. Tomaz, Predicting Planck Scale and Newtonian constant from a Yang–Mills gauge theory: 1- and 2-loop estimates. Adv. High Energy Phys. 2016, 9048263 (2016)
E. Inonu, On the contraction of groups and their represenations. Proc. Natl. Acad. Sci. 39, 510–524 (1953)
R.M. Wald, General relativity (Chicago University Press, Chicago, 1984)
R.A. Bertlmann, Anomalies in Quantum Field Theory. In: The International Series of Monographs on Physics 91 Oxford Science Publications (Clarendon Press, New York, 1996)
J-P. Dufour, N.T. Zung, Poisson Structures and their Normal Forms. Progress in Mathematics 242 (Birkhäuser Basel, Berlin, 2005)
S. Lavau, A short guide through integration theorems of generalized distributions. Differ. Geom. Appl. 61, 42–58 (2018)
R.L. Arnowitt, S. Deser, C.W. Misner, Dynamical structure and definition of energy in general relativity. Phys. Rev. 116, 1322–1330 (1959)
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (W. H. Freeman, San Francisco, 1973)
T. Jacobson, L. Smolin, Covariant action for Ashtekar’s form of canonical gravity. Class. Quant. Gravit. 5, 583 (1988)
C. Rovelli, Ashtekar formulation of general relativity and loop space nonperturbative quantum gravity: a report. Class. Quant. Gravit. 8, 1613–1676 (1991)
L. Lusanna, S. Russo, Tetrad gravity: I) A new formulation (1998). arXiv:gr-qc/9807073
T. Mei, On the vierbein formalism of general relativity. Gen. Relat. Gravit. 40, 1913–1945 (2008)
S. Alexandrov, S. Speziale, First order gravity on the light front. Phys. Rev. D 91(6), 064043 (2015)
F. Mueller-Hoissen, J. Nitsch, Teleparallelism—a viable theory of gravity? Phys. Rev. D 28, 718–728 (1983)
V.C. De Andrade, L.C.T. Guillen, J.G. Pereira, Teleparallel gravity: an overview. In: Recent developments in theoretical and experimental general relativity, gravitation and relativistic field theories. Proceedings, 9th Marcel Grossmann Meeting, MG’9, (Rome, Italy, July 2-8, 2000) Pts. A-C (2000)
R. Aldrovandi, J.G. Pereira, Teleparallel Gravity, vol. 173 (Springer, Dordrecht, 2013)
I.M. Singer, Some remarks on the Gribov ambiguity. Commun. Math. Phys. 60, 7–12 (1978)
D. Bleecker, Gauge Theory and Variational Principles. In: Advanced Graduate-Level Text (Addison-Wesley Publishing Company Inc, Massachusetts, 1981)
R.F. Sobreiro, V.J.V. Otoya, On the topological reduction from the affine to the orthogonal gauge theory of gravity. J. Geom. Phys. 61, 137–150 (2011)
F. Delduc, C. Lucchesi, O. Piguet, S.P. Sorella, Exact Scale invariance of the Chern–Simons theory in the Landau gauge. Nucl. Phys. B 346, 313–328 (1990)
O. Piguet, S.P. Sorella, Algebraic renormalization: perturbative renormalization, symmetries and anomalies. Lect. Notes Phys. Monogr. 28, 1–134 (1995)
J. Cotler, K. Jensen, A theory of reparameterizations for \(\text{ AdS }_3\) gravity. JHEP 02, 079 (2019)
C.A. Saghir, L.W. Shamseddine, Unification of gauge and gravity Chern–Simons theories in 3-D space-time. Eur. Phys. J. C 77(11), 780 (2017)
C. Itzykson, J.B. Zuber, Quantum Field Theory International Series In Pure and Applied Physics (McGraw-Hill, New York, 1980)
Acknowledgements
The authors are grateful to Conselho Nacional de Desenvolvimento Científico e Tecnológico, The Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) and the Pró-Reitoria de Pesquisa, Pós-Graduação e Inovação (PROPPI-UFF) are acknowledge for financial support.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Assimos, T.S., Sobreiro, R.F. Constrained gauge-gravity duality in three and four dimensions. Eur. Phys. J. C 80, 20 (2020). https://doi.org/10.1140/epjc/s10052-019-7552-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7552-3