Abstract
We construct the gauge-invariant electric and magnetic charges in Yang–Mills theory coupled to cosmological general relativity (or any other geometric gravity), extending the flat spacetime construction of Abbott and Deser (Phys Lett B 116:259–263, 1982). For non-vanishing background gauge fields, the charges receive non-trivial contribution from the gravity part. In addition, we study the constraints on the first order perturbation theory and establish the conditions for linearization instability: that is the validity of the first order perturbation theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 3+1 dimensions neither General Relativity [2] nor pure Yang–Mills theory [3, 4] has solitonic solutions. However, the coupled theory, the Einstein–Yang–Mills theory, with or without a cosmological constant has various solitons. See [5] for the first noted example in asymptotically flat spacetimes, and [6] for asymptotically anti-de Sitter spacetimes. See [7] for monopole type solutions in \(R^{2}\) gravity.
In this work we will work out the conserved charges of this coupled system and also find the constraints in the linearization instability of the first order perturbation theory. Conserved quantities in asymptotically flat spacetimes for pure gravity was famously given in [8, 9], which was generalized to asymptotically (anti) de Sitter spacetimes in [10] and generalized to higher derivative gravity theories in [11, 12]. On the other hand, conserved gauge invariant charges in pure Yang–Mills theory was constructed by Abbott and Deser [1].
Here in the first part of this work we follow the Abbott-Deser construction for a dynamical curved background with generically an asymptotically (A)dS behavior.
The second problem we study is the question of the validity of the perturbation theory in the Einstein–Yang–Mills system. It is well known [13,14,15,16,17,18,19,20,21,22,23] that not all perturbative solutions come from the linearization of a possible exact solution. If that happens, one speaks of linearization instability and the perturbation thus fails. To have a linearization stable theory the first order perturbative solution must satisfy an integral constraint. We shall find this for the Einstein–Yang–Mills theory.
Before we study the Einstein–Yang–Mills system in full detail, let us give our conventions [24] and recap the flat space construction [1]. We will work in \(D=3+1\) dimensions exclusively, but the discussion can be extended to other dimensions with the caveat that both pure Yang–Mills theory and pure General Relativity might have solitonic solutions for \(D>3+1\). We use the mostly plus signature \((-+++)\) and assume a compact Lie group \({\mathsf {G}}\) with the Lie algebra \({{\mathcal {G}}}\) given as
with \(C_{abc}\) real. In the adjoint representation we write \((T_{a}^{Ad})^{b}\,_{c}:=-iC^{b}\,_{ca}\); and defining \((D_{\mu }\psi )_{n}:=\partial _{\mu }\psi _{n}-iA_{\mu }^{a}(T_{a})_{n}^{k}\psi _{k}\) in flat spacetime we have
with the field equations
The current
is partially conserved
and hence yields the conserved charges
But these charges are gauge-covariant, not gauge-invariant. To get gauge-invariant charges, one can employ the AD technique [10] which is based on the following observation. Assuming the Yang-Mills coupling \(g_{YM}=1\), without loss of generality, we can define the matrix valued gauge field and the field strength
Let the unitary matrix \({\hat{U}}\) be in the same representation as \(T^{a}\), then the gauge transformed gauge field reads
with the gauge-covariant derivative defined as
and the field strength transforms as usual
Under an infinitesimal transformation \({\hat{U}}\cong 1+{\hat{\xi }}\), one gets
So clearly, \(D_{\mu }{\hat{\xi }}=0\) defines the symmetries of a “background” field \({\hat{A}}_{\mu }\) which we shall denote as \(\bar{{\hat{A}}}_{\mu }\) from now on; clearly \([{\hat{F}}_{\mu \nu },{\hat{\xi }}]=0\). In the space of gauge fields, \({\hat{\xi }}\) acts like a Killing vector akin to the spacetime Killing vectors \(\delta g_{\mu \nu }=\nabla _{\mu }X_{\nu }+\nabla _{\nu }X_{\mu }=0\). As there can be more than one solution to \(D_{\mu }{\hat{\xi }}=0\), we shall put an index to denote the elements of the symmetry set and write as \({\hat{\xi }}^{s}\), which is exactly the correct matrix that will turn \(J_{a}^{\mu }\) to be a gauge invariant current since \(\text {Tr}({\hat{\xi }}{\hat{J}}_{\mu })\) is gauge-invariant for \({\hat{J}}_{\mu }=J_{\mu }^{a}T^{a}\). But this procedure requires a choice of background gauge-field and hence it must be done carefully. Instead of repeating the full details of the flat space construction, we now study the curved space version which also includes the flat space as a special case.
2 Construction of the conserved charges in the Einstein–Yang–Mills system
The following construction works for any gravity theory based on Riemannian geometry with a Lagrangian of the generic form, but for the sake of concreteness, we shall take the gravity sector to be given as the Einstein–Hilbert Lagrangian. The coupled action reads
As long as the Yang–Mills and the matter fields decay sufficiently fast at spatial infinity, the conserved energy, momentum, angular momentum as constructed, say in [1, 11, 12] are intact, so we will not repeat these well-established discussions here, but work out the Yang–Mills part in some detail. Variation with respect to \({\hat{A}}_{\mu }\) yields
where
The field strength satisfies the Bianchi identity
and with the normalization \(\text {Tr}(T^{a}T^{b})=\frac{1}{2}\delta ^{ab}\), one has in components
Using (13) we will construct the gauge-invariant electric field, while the magnetic charge will follow from the Bianchi identity. Assume now that for \({\hat{J}}^{\nu }=0\), the background matrix \(\bar{{\hat{A}}}_{\mu }\) solves the source-free equation \({\bar{D}}_{\mu }\bar{{\hat{F}}}^{\mu \nu }=0\); and we expand the field equations about this solution asFootnote 1
where \(\lambda \) is a small parameter. As we are in a dynamical background spacetime, the metric also receives perturbations which we shall write as
with \(\tau \) being a different small parameter. Under these expansions, the full equation split as
and by assumption the zeroth order term vanishes in the absence of a source
At the linear order one finds
Similarly, the second order expansion, \((D_{\mu }{\hat{F}}^{\mu \nu })^{(2)}\), reads
Moving all the higher order terms to the right-hand side, we can recast (19) as
where the current
is composed of the matter current as well as all the terms beyond the linear one coming from the expansion. The crucial point is that this current is covariantly conserved with respect to the background connection explicitly, \({\bar{D}}_{\nu }\hat{{\mathcal {J}}}^{\nu }=0\).Footnote 2
Finally, substituting (21) in (23), one finds
Covariantly conserved current does not immediately yield a conserved charge; to get a partially conserved current, we appeal to the symmetries of the background gauge field as discussed in the previous section. So we assume the existence of some (but at least one) background gauge covariant matrices \(\bar{{\hat{\xi }}}^{s}\) such that
which yields \(\left[ {\bar{D}}_{\nu },{\bar{D}}_{\mu }\right] \bar{{\hat{\xi }}}^{s}=0=[\bar{{\hat{F}}}_{\nu \mu },\bar{{\hat{\xi }}}^{s}].\) Since \({\bar{D}}_{\nu }\hat{{\mathcal {J}}}^{\nu }=0\) and \({\bar{D}}_{\nu }\bar{{\hat{\xi }}}^{s}=0\), we can write
which can be used to express the conserved electric chargesFootnote 3 for each background gauge symmetry as:
where we assumed that the four dimensional spacetime \({\mathcal {M}}\) is diffeomorphic to \(\Sigma \times {\mathbb {R}}\) and \({\bar{\gamma }}\) denotes the induced metric on the spatial hypersurface. Using the explicit form of the current and employing the Stokes’ theorem, one arrives at
where \({\bar{\beta }}\) is the two dimensional induced metric on the boundary of the hypersurface and \(\sigma _{i}\) is its unit one form. Observe that if the background gauge field is chosen to be pure gauge or zero, then the order \(\tau \) term in the charge expression vanishes and the gauge-invariant electric charges have the same form as their flat spacetime versions [1], while generically gravity contributes in a nontrivial way.
Magnetic charge discussion follows similarly but now one employs the Bianchi identity which can be written with the help of the dual of the field strength as
where \(^{\star }{\hat{F}}^{\mu \nu }:=\frac{1}{2\sqrt{-g}}\epsilon ^{\mu \nu \rho \sigma }{\hat{F}}_{\rho \sigma }\). More explicitly the identity can be written as
which is the same as the expression in the flat spacetime case. So, expanding the gauge field about a background \(\bar{{\hat{A}}}_{\mu }\), and the metric tensor about \({\bar{g}}_{\mu \nu }\) one arrives at
with the linear part of the dual field strength given as \(^{\star }({\hat{F}}^{\mu \nu })^{(1)}=\frac{1}{2\sqrt{-{\bar{g}}}}{\bar{\epsilon }}^{\mu \nu \rho \sigma }\lambda ({\bar{D}}_{\rho }{\hat{a}}_{\sigma }-{\bar{D}}_{\sigma }{\hat{a}}_{\rho })\) and the background dual field as \(^{{\bar{\star }}}\bar{{\hat{F}}}^{\mu \nu }=\frac{1}{2\sqrt{-{\bar{g}}}}{\bar{\epsilon }}^{\mu \nu \rho \sigma }({\bar{D}}_{\rho }\bar{{\hat{A}}}_{\sigma }-{\bar{D}}_{\sigma }\bar{{\hat{A}}}_{\rho })\). Then the conserved magnetic charges can be written as
which has the same form as its flat space version [1]. The magnetic charges are topological: as can be seen from comparing equations (29) and (33) the metric \(\sqrt{{\bar{\beta }}}\) does not explicitly appear in (33). Instead the Hodge dual appears which just is used to define the magnetic field. Hence we can equivalently express (33) as follows
where
3 Linearization instability
In nonlinear theories, there are some cases for which the first order perturbation theory is constrained at the second order. When this happens, one speaks of the theory having a linearization instability about the zeroth order (or the background solution). This topic is rather extensive: see [13,14,15,16,17, 19,20,21,22]; and for a relevant review of the literature we would like to refer the reader to the recent PhD thesis [23], where the issue is elaborated in sufficient detail. Here let us study the linearization instability issue in the Gravity-Yang–Mills system. [Einstein gravity can be taken as a concrete example, but generic gravity theories can exhibit nontrivial linearization instability behavior as discussed in [21, 22].] We first assume a spacetime with noncompact hypersurfaces and at the end concentrate on the case of compact hypersurfaces without a boundary. Let us go back to the Yang-Mills equation with \(J^{\nu }=0\), expand again up to second order in the gauge-field and the metric perturbation to get
where the center dot notation means, for example, \(\left( D_{\mu }F^{\mu \nu }\right) ^{(1)}\) operator is evaluated at the first order expansion of the gauge field and the metric tensor \(({\hat{a}},h)\). By assumption, we have \(({\bar{D}}_{\mu }{\bar{F}}^{\mu \nu })\cdot (\bar{{\hat{A}}},{\bar{g}})=0\), which together with the gravity sector, determine the background solutions \(({\bar{A}}_{\mu },{\bar{g}}_{\mu \nu })\) up to gauge degrees of freedom, of course.
Similarly, by assumption, we have \(\left( D_{\mu }F^{\mu \nu }\right) ^{(1)}\cdot ({\hat{a}},h)=0\), which together with the linearized part of the gravity sector, determine the linearized solutions \(({\hat{a}}_{\mu },h_{\mu \nu })\), again up to gauge transformations. So the second order terms are determined from the equation
which basically says that once \(({\hat{a}}_{\mu },h_{\mu \nu })\) are found from the linearized equations, \(-\left( D_{\mu }F^{\mu \nu }\right) ^{(2)}\cdot ({\hat{a}}^{2},h^{2},{\hat{a}}h)\) acts like a source term for the second order perturbations \(({\hat{b}}_{\mu },k_{\mu \nu })\). If this happens then the first order perturbation theory is intact and improvable and moreover, linearized solutions obtained from the linearized equations can come from the linearization of some exact solutions. Please see the diagram in [21] that depicts this commumativity.
So the necessary and sufficient condition for linearization stability is that (35) should not constrain the first order solutions \(({\hat{a}}_{\mu },h_{\mu \nu })\) and it should determine the second order solutions \(({\hat{b}}_{\mu },k_{\mu \nu })\) up to gauge transformations. But clearly this is very hard to check for all linear solutions of the theory, so in what follows let us find a weaker (necessary) condition. This condition will be in the form of an integral whose purely gravitational analog is called the Taub charge [25] and see the following recent discussion [26]. From (35), we have
The first term in the integrand is of the same form as the first order term \(\left( D_{\mu }F^{\mu 0}\right) ^{(1)}\cdot ({\hat{a}},h)\), albeit now evaluated at the second order fields instead of the first order ones. So, obviously this piece can be written as a boundary term as (29) with the substitution \(({\hat{a}},h)\rightarrow ({\hat{b}},k)\).
The second term in the integrand requires more work, it is not clear at all if it can be written as a boundary integral. Nevertheless, to write some parts of \((D_{\mu }{\hat{F}}^{\mu 0})^{(2)}\cdot ({\hat{a}}^{2},h^{2},{\hat{a}}h)\) as a boundary term, we use the explicit form of the second order expansion (22):
where
Inserting this expression into (37) obtains
where we have introduced an antisymmetric field, \(\hat{\mathcal {X}}^{\mu \nu }\), to express the result in a more compact form. Direct calculation yields
Then from (39), one finds
Since \(\text {Tr}\bigl (\bar{{\hat{\xi }}}^{s}[{\hat{a}}_{i},({\hat{F}}^{i0})^{(1)}]\bigr )=\text {Tr}\bigl ([({\hat{F}}^{i0})^{(1)},\bar{{\hat{\xi }}}^{s}]{\hat{a}}_{i}\bigr )\), we have
If we use the first order equation
Equation (42) reduces to
So from (36) we arrive at
where we know \({\mathcal {I}}\) from (36) and (44) explicitly so we need not depict it again. Consider now the case for which all the fields decay sufficiently fast, such that the boundary term on the right-hand side vanishes, or the case when the hyperspace is compact without a boundary (\(\partial \Sigma =0\)), then we get an integral constraint in the bulk for the linearized solutions:
which reads explicitly as
This is not satisfied for generic solutions. Hence in a spacetime for closed hypersurfaces, the theory is generically linearization unstable.
4 Conclusions
We have constructed the gauge-invariant conserved electric and magnetic charges in Yang–Mills theory in a dynamical curved background generalizing the flat spacetime construction of Abbott–Deser [1]. Electric charges arise from the field equations, while the magnetic charges arise from the Bianchi identity. The crucial ingredient is the symmetry of the background gauge field that solves the curved space Yang–Mills equation. For the gravity part one can take any geometric theory of gravity based on the Riemannian geometry, but to be concrete we chose the cosmological General Relativity. To be able to define the electric and magnetic charges, besides the mentioned symmetry of the background gauge field, as defined by \(\delta _{\xi }A_{\mu }={\bar{D}}_{\mu }\xi =0\), one also needs a time-like Killing vector for the spacetime which we assumed. Our results in curved spacetime reduces to the flat spacetime expressions in the correct limit.
We have also studied the linearization instability issue in the Gravity-Yang–Mills theory and established a second order integral constraint that must be satisfied by any solution of linearized Yang–Mills theory in a spacetime with closed (compact without boundary) spatial hypersurfaces. We have not discussed the linearization instability in the gravity sector as it was recently done in [21] and described in great detail in the thesis [23].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: We have no data associated with this paper.]
Notes
Please see Appendix-A for an extended discussion of the expansion of the field equations up to and including second order in perturbation theory.
To see the direct computation for the conservation of the current see Appendix B.
For the details of the calculation see Appendix C.
References
L.F. Abbott, S. Deser, Charge definition in nonabelian gauge theories. Phys. Lett. B 116, 259–263 (1982)
A. Einstein, W. Pauli, On the non-existence of regular stationary solutions of relativistic field equations. Ann. Math. Second Ser. 44, 2 (1943)
S. Deser, Absence of static solutions in source-free Yang–Mills theory. Phys. Lett. B 64, 463–464 (1976)
S. Coleman, There are no classical glueballs. Commun. Math. Phys. 55(2), 113–116 (1977)
R. Bartnik, J. Mckinnon, Particle—like solutions of the Einstein Yang–Mills equations. Phys. Rev. Lett. 61, 141–144 (1988)
J. Bjoraker, Y. Hosotani, Stable monopole and dyon solutions in the Einstein–Yang–Mills theory in asymptotically anti-de Sitter Space. Phys. Rev. Lett. 84, 1853 (2000)
A. Edery, Y. Nakayama, Gravitating magnetic monopole via the spontaneous symmetry breaking of pure \(R^{2}\) gravity. Phys. Rev. D 98, 064011 (2018)
R. Arnowitt, S. Deser, C.W. Misner, Canonical variables for general relativity. Phys. Rev. 117, 1595 (1960)
R. Arnowitt, S. Deser, C.W. Misner, The dynamics of general relativity. Gen. Relativ. Gravit. 40, 1997 (2008)
L.F. Abbott, S. Deser, Stability of gravity with a cosmological constant. Nucl. Phys. B 195, 76 (1982)
S. Deser, B. Tekin, Energy in generic higher curvature gravity theories. Phys. Rev. D 67, 084009 (2003)
S. Deser, B. Tekin, Gravitational energy in quadratic curvature gravities. Phys. Rev. Lett. 89, 101101 (2002)
A.E. Fischer, J.E. Marsden, Linearization stability of the Einstein equations. Bull. Am. Math. Soc. 79, 997–1003 (1973)
S. Deser, D. Brill, Instability of closed spaces in general relativity. Commun. Math. Phys. 32, 291–304 (1973)
S. Deser, Y. Choquet-Bruhat, On the stability of flat space. Ann. Phys. 81, 165–178 (1973)
V. Moncrief, Spacetime symmetries and linearization stability of the Einstein equations I. J. Math. Phys. 16, 493–498 (1975)
J.M. Arms, J.E. Marsden, The absence of Killing fields is necessary for linearization stability of Einstein’s equations. Indiana Univ. Math. J. 28, 119–125 (1979)
A.E. Fischer, J.E. Marsden, V. Moncrief, The structure of the space of solutions of Einstein’s equations. I. One Killing field. Annales de l’I.H.P. Physique theorique 33, 147–194 (1980)
J.E. Marsden, Lectures on Geometric Methods in Mathematical Physics, CBMS-NSF Regional Conference Series in Applied Mathematics, vol. 37 (SIAM, Philadelphia, 1981)
J. Girbau, L. Bruna, Stability by Linearization of Einstein’s Field Equation (Springer, Berlin, 2010)
E. Altas, B. Tekin, Linearization instability for generic gravity in AdS spacetime. Phys. Rev. D 97, 024028 (2018)
E. Altas, B. Tekin, Linearization instability of chiral gravity. Phys. Rev. D 97, 124068 (2018)
E. Altas, Linearization Instability in Gravity Theories (Middle East Tech. U, Ankara, 2018). arXiv:1808.04722 [hep-th]
S. Weinberg, The Quantum Theory of Fields, vol. 2 (Cambridge University Press, Cambridge, 1996)
A.H. Taub, Variational Principles in General Relativity. Lectures at the Centro Internazionale Matematico Estiud, pp. 206–300 (1970)
E. Altas, B. Tekin, Second order perturbation theory in general relativity: Taub charges as integral constraints. Phys. Rev. D 99, 104078 (2019)
Acknowledgements
The works of E.A. and E.K. are partially supported by the TUBITAK Grant No. 120F253. The work of E.K. is partially supported by the TUBITAK Grant No. 119F241.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: First and second order expansions of the field equations
Here, we consider the expansion of the Yang–Mills fields and equations about the background quantities, the background metric and background gauge field, up to the cubic terms. While the first order terms will be used to construct the conserved charges, the quadratic terms will give us the integral constraint on solutions of the linearized equations.
Let us start with the gauge field and assume that it can be expanded about the background field \(\bar{{\hat{A}}}_{\mu }\) up to the third order terms as
Here \(\lambda \) denotes the expansion parameter, \({\hat{a}}_{\mu }\) and \({\hat{b}}_{\mu }\) are the first and the second order expansions respectively. The background gauge field \(\bar{{\hat{A}}}_{\mu }\) satisfies the background field equations without a source
We express the expansion of a generic tensor field T about its background value \({\bar{T}}\) as
where \((T)^{(1)}\) denotes the linearized T tensor and \((T)^{(2)}\) denotes the second order expansion of it. For example, explicitly the field strength is expanded as
up to the third order. Assuming a Riemann connection, we have
The decomposition of the field strength at first order reads
and at second order one arrives at
Now we can compute the expansion of \({\hat{F}}^{\mu \nu }\). For this purpose, we use perturbation of the spacetime metric about a background metric \({\bar{g}}_{\mu \nu }\)
and its inverse
The field strength with upper indices, \({\hat{F}}^{\mu \nu }=g^{\mu \sigma }g^{\nu \rho }{\hat{F}}_{\sigma \rho }\), at the first order yields
which at second order reads
Now we can expand \(D_{\mu }{\hat{F}}^{\mu \nu }\). Using
together with the previous expressions one obtains
where \(h={\bar{g}}^{\mu \nu }h_{\mu \nu }\). Similarly, the second order expansion gives us the following
with \(k={\bar{g}}^{\mu \nu }k_{\mu \nu }\). In order to construct the conserved charges of the theory, we will not use the explicit form of the second order expansion. But this result will become important in linearization instability discussion. The field equations are expanded as
where \({\bar{D}}_{\mu }\bar{{\hat{F}}}^{\mu \nu }=0\) by assumption. We put all the higher order terms to the right hand side of the equation and define a new current
Then we express the linearized field equations as
Substituting (60) in the last equation, one finds
Using the last equation one can prove the conservation of the new current \(\hat{{\mathcal {J}}}^{\nu }\).
Appendix B: conservation of the new current
For the consistency of the construction, the new current have to be conserved. To prove the conservation let us consider an antisymmetric rank two tensor, say \(X^{\mu \nu }\). We first calculate the commutator \(\left[ {\bar{D}}_{\nu },{\bar{D}}_{\mu }\right] X^{\mu \nu }\) to make the construction easier. Explicitly we write
which yields
where \([{\bar{\nabla }}_{\nu },{\bar{\nabla }}_{\mu }]X^{\mu \nu }=0\). Using the Jacobi identity, the last two terms in the last equation yields
Then Eq. (67) reduces to
Since \({\bar{\nabla }}_{\nu }\bar{{\hat{A}}}_{\mu }-{\bar{\nabla }}_{\mu }\bar{{\hat{A}}}_{\nu }=\bar{{\hat{F}}}_{\nu \mu }-[\bar{{\hat{A}}}_{\nu },\bar{{\hat{A}}}_{\mu }]\), one can re-express the commutator as
Due to antisymmetry of the tensor field \(X^{\mu \nu }\), the last expression also yields the following identity
For the special case \(X^{\mu \nu }={\hat{F}}^{\mu \nu }\), one has
Note that \({\bar{D}}_{\nu }\hat{{\mathcal {J}}}^{\nu }\) includes these type of terms and the above identities will be useful when we prove the conservation of the new current. From Eq. (65), we write
Using the identity (71) it can be rewritten as
and then it becomes
The first and the last term on the right vanish from the antisymmetry of the indices. Also we have proved the vanishing of the third term in Eq. (72). There remains the second term only
Renaming the indices \(\nu \) and \(\sigma \), vanishing of this term is obvious. So, one ends up with \({\bar{D}}_{\nu }\hat{{\mathcal {J}}}^{\nu }=0\), which is the expected result.
Appendix C: definition of the conserved charges
Using the expressions \({\bar{D}}_{\nu }\hat{{\mathcal {J}}}^{\nu }=0\) and \({\bar{D}}_{\nu }\bar{{\hat{\xi }}}^{s}=0\), we can write
But we need a quantity which is conserved in the ordinary sense instead of the covariant conservation. Following the flat spacetime case we write
where \([\bar{{\hat{A}}}_{\nu },\text {Tr}(\bar{{\hat{\xi }}}^{s}\hat{{\mathcal {J}}}^{\nu })]=0\) and so we have
Multiplying with \(\sqrt{-{\bar{g}}}\) and using \(\sqrt{-{\bar{g}}}{\bar{\nabla }}_{\nu }X^{\nu }=\partial _{\nu }\left( \sqrt{-{\bar{g}}}X^{\nu }\right) \) we express
from which we can define the total charges as
Using the Stokes theorem this can be written as
Note that \({\bar{\gamma }}\) denotes the induced metric on the hypersurface. Using the explicit form of the linearized field equations \(\hat{{\mathcal {J}}}^{0}\) reads
We have
where the first equality comes form the cyclic property of trace and the second one is obtained from \([{\bar{D}}_{\mu },{\bar{D}}_{\nu }]\bar{{\hat{\xi }}}^{s}=0\). Then inserting (83) in Eq. (82), the conserved charges can be written as
To be able to use the Stokes theorem again, we need to convert the background gauge covariant derivative to the tensorial covariant derivative. The gauge covariant derivative and trace commute with each other. So we can express
where the terms in the second line of the last equation vanish automatically. Then we arrive at
After applying the Stokes theorem one more time the last equation yields the following expression for the conserved charges
Here \({\bar{\beta }}\) denotes the two dimensional induced metric on the boundary of the hypersurface and \({\bar{\sigma }}_{i}\) is its unit one form.
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
Altas, E., Kilicarslan, E. & Tekin, B. Einstein–Yang–Mills theory: gauge invariant charges and linearization instability . Eur. Phys. J. C 81, 648 (2021). https://doi.org/10.1140/epjc/s10052-021-09460-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09460-7