Advances in Mathematical Physics

Volume 2012 (2012), Article ID 852329, 13 pages

http://dx.doi.org/10.1155/2012/852329

## Covariant Canonical Method for Yang-Mills Theory Expressed as a Constrained BF-Like Theory

Instituto de Física Luis Rivera Terrazas, Benemérita Universidad Autónoma de Puebla (IFUAP), Apartado Postal J-48, 72570 Puebla, PUE, Mexico

Received 2 March 2012; Accepted 18 May 2012

Academic Editor: Shao-Ming Fei

Copyright © 2012 Alberto Escalante and Irving García. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The covariant canonical analysis for Yang-Mills theory expressed as a BF-like action is performed. We study a BF-like action, that in spite of being the coupling of two topological terms, yield, on shell to Yang-Mills action. In addition, by using the results obtained in the covariant canonical approach we study the symmetries of the action, in particular we calculate its energy-momentum tensor obtaining the same tensor found for Yang-Mills theory; then we confirm those results by using Noether's theorem.

#### 1. Introduction

For studying a dynamical system, it is mandatory to know its symmetries at classical and quantum level in order to research the relevant physical implications of them. Nowadays, there exist approaches that can be used for studying extensively the symmetries of a given theory as for instance, Dirac's canonical formalism and the covariant canonical method, both with its respective advantages. Dirac's canonical formalism is an elegant approach for obtaining relevant physical information of a theory under study namely, the counting of physical degrees of freedom, the gauge transformations, the study of the constraints, the obtention of the extended Hamiltonian and the extended action [1, 2], being a relevant information it is the guideline to make the best progress in the analysis of quantum aspects. On the other hand, in the covariant canonical method in order to describe all the relevant Hamiltonian description of the covariant phase space [3–5], we are able to identify a closed and gauge invariant two-form, being an important step to analyze within a complete covariant context the theory under study. However, it is well known that the analysis of a dynamical system within the covariant canonical formalism is based on the statement that the classical phase space of a given physical theory is defined as the space of solutions of its classical equations of motion, but this implies that the phase space is not endowed with a natural or preferred symplectic structure as has been claimed in [6], and the freedom in the choice of the symplectic structure is an important fact because could yield to different quantum mechanics formulations [6–8]. Nonetheless, this inconvenience can be overcome if we extend the definition of a dynamical system by considering its equations of motion plus a principle action, thus we are in a profitable situation because the action gives us the equations of motion; from the other side it fixes the symplectic structure of the theory [8, 9]. Thus, in the study of the symmetries of a dynamical system must be taken into account both, the equations of motion plus an action principle. Therefore, we think that the complete analysis of a dynamical system should be done by performing the Dirac’s canonical approach and the canonical covariant method by taking into account the action principle and its equations of motion. In order to emphasize these points, let us consider the following action which is the subject of this paper: where is a set of valued 2-forms and is the curvature of the connection 1-form (see below). This action has been studied in the context of Dirac's analysis in [10], concluding that the action has the same number of physical degrees of freedom than standard Yang-Mills action [YM]; however, it is clear that standard [YM] action and (1.1) presents a different structure, so, we are in the situation that two different actions yield the same equations of motion. Nevertheless, we have commented above that the equations of motion are not an enough element to develop a complete study of the symmetries of a dynamical system. In fact, standard [YM] action and (1.1) describe, on shell, the same classical description, but the next question rise: what about the symplectic geometry?

The aim of the present paper is focused on the context of the covariant canonical formalism, we develop the covariant canonical study of the action (1.1) taking into account the equations of motion and the action principle. We obtain along the paper a closed and gauge invariant geometric structure which in turns represents a complete Hamiltonian description of the covariant phase space, and we show that the action (1.1) in fact, corresponds at classical level to [YM] theory. In addition, by using the former results we calculate for (1.1) the corresponding energy-momentum tensor, reproducing on shell the symmetric and gauge invariant energy-momentum tensor reported for [YM] theory. It is important to remark, that in order to calculate the energy-momentum tensor, usually it is calculated by using the standard canonical tensor [11] namely, , where represents the Lagrangian density, and are field variables. However, it is well known that the energy-momentum tensor obtained in the canonical approach, in general is neither symmetric nor gauge invariant, and usually Belinfante's method is required to symmetrize the tensor. Nonetheless, in order to obtain a symmetric and gauge invariant tensor without resort to Belinfante's method, we must apply correctly Noether's theorem, this means, we must take into account the action principle and the full equations of motion of the system under study [12]. In this respect, as a complementary part of this paper, we calculate the energy-momentum tensor for the action (1.1) by using Noether's theorem, and we reproduce on shell the symmetric and gauge invariant energy-momentum tensor for [YM] theory; thus, we confirm by means of a different way the results obtained in the covariant canonical approach.

#### 2. Covariant Canonical Method for [YM] TheoryExpressed as a BF-Like Theory

The action that we shall study in this section is given by [10] where is a set of valued two-forms, , with is the curvature of the connection 1-form . Here, are spacetime indices, are the coordinates that label the points for the 4-dimensional Minkowski manifold , and is the spacetime Hodge-duality operation.

The action takes the following form: In order to perform the covariant canonical analysis, we start calculating the variation of the action (2.2), obtaining where the covariant derivative is defined by . From (2.3), we identify the following equations of motion: and the pure divergence term of the variation: corresponds to the symplectic potential for the theory which does not contribute locally to the dynamics, but generates the symplectic form on the covariant phase space [5]. We observe that by substituting the first equation of motion in the second one, (2.4) is reduced on shell to the usual [YM] equations of motion, we can appreciate at this level the double role of the action (2.2), as we have already commented above, it gives us the equations of motion (2.4), and also it fixes the symplectic geometry through (2.5). Furthermore, we would comment that the action (2.2) has the important characteristic of being the coupling of two topological theories in the sense that these terms are lacking if degrees of freedom. There is another definition for a topological theory as that independent of the metric; however, in this work we call topological that being devoid of local degrees of freedom. That is, the theory is susceptible only to global degrees of freedom associated with nontrivial topologies of the manifold in which they are defined and topologies of the gauge bundle [7]. In fact, the first term of (2.1) is devoid of physical degrees of freedom, and the second one as well [10]. In this manner, the coupling of two topological theories defines a dynamical theory in the sense that in (2.1) there exist physical degrees of freedom; those of [YM] theory [10], this feature of (2.1) is present also in Plebanski theory of gravity, where Plebanski action is the coupling of two topological terms as well [13, 14].

For our aims, we define the fundamental concept in the studio of the canonical covariant formalism: the covariant phase space for the theory described by (2.1) is the space of solutions of (2.4), and it will be called . Furthermore, we need to obtain a closed and gauge invariant geometric structure on .

To this aim, we are able to obtain the integral kernel of the geometric structure for the theory by means of the variation (the functional exterior derivative on , see [7]) of the symplectic potential (2.5), obtaining where is a Cauchy surface.

On the other side, we need to prove that our symplectic form on is a (nondegenerate) closed two-form; the closeness is equivalent to the Jacobi identity in the conventional Hamiltonian scheme, and the antisymmetry of a two-form represents the antisymmetry of Poisson brackets. Moreover, the integral kernel of the geometric form is conserved , which guarantees that is independent of . In fact, we can observe that and correspond to 0-forms on , and , are 1-forms on , thus our symplectic structure is a two-form. On the other side, to prove the closeness of , we see that and because and are independent 0-forms on the covariant phase space and is nilpotent, so by using this fact in we find that In order to prove that defined in (2.6) is conserved, it is necessary to calculate the linearized equations of motion. For this aim, we replace in (2.4) and , keeping to first order in , the linearized equations are given by We also need observe that under the gauge transformations of the theory and [10], for some infinitesimal variation we have In this manner, by using (2.9) one obtains that transforms Therefore, is an singlet. This result allows us to prove that where we have used the linearized equations (2.8) and the antisymmetry of 1-forms and on the phase space.

Thus, with the above results if we perform a Lorentz transformation and , that is, It follows that given in (2.6) is Lorentz invariant. In this manner, with these results we have constructed a Lorentz and gauge invariant symplectic structure on the phase space, and it is possible to formulate the Hamiltonian theory in a manifestly covariant way.

Now, by considering that upon picking to be the standard initial value surface at , (2.6) takes the form where and .

For two 0-forms defined on , the Hamiltonian vector field defined by the symplectic structure (2.13) is given by [15] and the Poisson bracket is given by In this way, smearing the constraints of this theory with test fields [10]: By inspection, the functional derivatives different to zero are given by Thus, using (2.13) and (2.14) we observe that the motion on generated by is given by where is an infinitesimal parameter [15]. We can see that the later gauge transformation (2.18) corresponds to those found by using Dirac's canonical method reported in [10].

Therefore, as a conclusion of this part, we have constructed a closed and gauge invariant symplectic form on which in turns represent a complete Hamiltonian description of the covariant phase space for the theory. These results will allow us to analyze the quantum treatment in forthcoming works by means of an alternative way with respect to that reported in [10].

Now, the next question a rises: is the energy-momentum tensor for the theory (2.1) the same as found for [YM] theory? We have seen that the action (2.1) share the same equations of motion with the usual action of [YM]; however, this fact does not imply that the energy-momentum tensor will be the same. In fact, we are able to find in the literature that two actions yielding to the same equations of motion, their corresponding energy-momentum tensors are quite different [7]. With the results presented above we can answer that question. For this aim, we remember that the symplectic structure have emerged from the variation of the symplectic potential, that is, thus, by making the contraction of with the vector field , where corresponds to a constant spacetime vector, and using the following identity: we find Therefore, the contraction of with the geometric structure gives So, from the equation of motion (2.4), we obtain the desired result: where we are able to identify the energy-momemtum tensor for the the action (2.1) given by that correspond to the energy-momentum tensor for [YM] theory [11]. Therefore, the action (2.1) written as a BF-like theory reproduces on shell the [YM] energy-momentum tensor. It is important to remark that this result is no longer true off shell, and this fact could yield to the presence of monopoles charges in the vacuum as is present in other BF-like models for [YM] [16]. On the other hand, we can appreciate that by using the covariant canonical approach, the obtained energy-momentum tensor is symmetric and gauge invariant, and we have not used alternative suppositions as Belinfante's approach in order to symmetrize it. As a complement part of this work, in latter sections we will obtain the same energy-momentum tensor by using Noether's theorem. Furthermore, it is important to remark that the action studied in this part could be useful to research the coupling of matter fields with a pure BF theory; however, this subject is still in progress.

#### 3. Energy-Momentum Tensor for [YM] Theory Expressed as a BF-Like Theory by Using Noether's Theorem

In this section, we will use Noether's theorem in order to find the energy-momentum tensor for the theory under study, we will confirm the results previously discussed. On the other hand, it is a nice exercise for applying such theorem to theories with more dynamical variables than conventional [YM] theory [12].

Let us start with the following action: where the following Lagrangian density can be identified: here, is an arbitrary region of the four-dimensional Minkowski spacetime . We can observe that the dynamical variables for the theory are and as dynamical ones, both have a contribution to the energy-momentum tensor, in other words, they should be treated on an equal footing. So, if we take the variation of the action (3.1) under the transformation of the variables and [11, 12], then we obtain the following result: Thus, yields the equations of motion: We see that this expression will be used in later calculations.

The action (3.1) is invariant under the Poincaré group, and Noether's theorem demands the infinitesimal version of the Poincaré transformations are given by where and are the infinitesimal arbitrary constant parameters [11]. Therefore, to first order we have the following transformations thus, the transformed action is given by For our aims, we need to rewrite the last three terms of (3.8) as follows.

The term: and the last term of (3.9) can be written as The term of (3.8): where is the Bianchi's identity.

The last term of (3.8) can be written as So, by adding (3.11) and (3.12), we obtain In this manner, by taking into account (3.10)–(3.13) in the transformed action (3.1), we obtain: Hence, because the action is invariant under Poincaré transformation, and if equations of motion hold, we identify the conserved Noether four-current given by where which corresponds to the energy-momentum tensor for the theory under study. It is clear that , and we have not added by hand any terms to symmetrize the tensor, as opposed to Belinfante's method. In order to recover the energy momentum tensor found in (3.1), we use the equation of motion (3.4), and the energy-momentum tensor is reduced to Thus, is the same energy-momentum tensor for [YM] theory obtained by means a different approach. Hence, we confirm that the coupling of two topological theories as (3.1) gives a dynamical theory, in others words, the addition of the BB term in (3.1) breaks down the topological structure of the first BF term, and the addition of the BF-like term to the BB term, breaks down the topological structure as well. The coupling, however, allows the existence of physical degrees of freedom [10], and this fact is manifested in the nonvanishing energy-momentum tensor (3.17). We finish this paper with some remarks; in the literature there is a different way to write [YM] theory as a constrained BF-like theory called Mertellini's model [16]. Martellini's model is a deformation of a BF-like topological field theory where it is possible to show that it gives, on shell, the first-order formulation of [YM] theory, in which the Feynman rules have been studied showing that the standard uv-behaviour is recovered, as well as new nonlocal observables related to the phase structure of the theory can be defined. So, we have presented in this paper other alternative to express [YM] theory as a constrained BF-like theory, and we have established the bases to perform the quantum treatment of the action (2.1); thus, we will compare at quantum level the difference among the action analyzed in this work and the action in Martellini's model.

#### 4. Conclusions and Prospects

In this paper, the covariant canonical analysis for Yang-Mills theory written as a BF-like action was performed. By defining a dynamical system with its equations of motion plus an action principle, we constructed a closed and gauge invariant symplectic form which contains all the relevant Hamiltonian description of the covariant phase space. Furthermore, the geometric structure obtained for the theory under study allowed us to calculate the gauge transformations and a symmetric and gauge invariant energy-momentum tensor corresponding on shell to the energy-momentum tensor of [YM] theory. On the other hand, we obtained by using Noether's theorem a symmetric and gauge invariant energy-momentum tensor confirming on shell the results obtained in former sections. It is important to comment, that it was not necessary to implement Belinfante's approach in order to symmetrize the energy-momentum tensor. In addition, we saw that the action under study being the coupling of topological terms, it is not topological anymore because there exist physical degrees of freedom. Therefore, with the present work we have established the basis to quantize the theory under study in a covariant framework being a good alternative to understand the symmetries of this BF-like action at quantum level, all these ideas are already in progress and will be reported in forthcoming works.

#### Acknowledgments

This work was supported by CONACyT México and Sistema Nacional de Investigadores México.

#### References

- A. Hanson, T. Regge, and C. Teitelboim,
*Constrained Hamiltonian Systems*, Accademia Nazionale dei, Roma, 1978. - M. Blagojević,
*Gravitation and Gauge Symmetries*, Series in High Energy Physics, Cosmology and Gravitation, IOP Publishing, Bristol, UK, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - C. Crncovic and E. Witten,
*Three Hundred Years of Gravitation*, edited by S. W. Hawking, Cambridge University Press, Cambridge, Mass, USA, 1987. - C. Crncovic, “Symplectic geometry and super-algebra in geometrical theories,”
*Nuclear Physics B*, vol. 288, pp. 419–430, 1987. View at Publisher · View at Google Scholar - R. Cartas-Fuentevilla and A. Escalante, “Topological terms and the global symplectic geometry of the phase space in string theory,” in
*Trends in Mathematical Physics Research*, pp. 95–111, Nova Science Publishers, Hauppauge, NY, USA, 2004. View at Google Scholar · View at Zentralblatt MATH - M. Montesinos and G. F. Torres del Castillo, “Symplectic quantization, inequivalent quantum theories, and Heisenberg's principle of uncertainty,”
*Physical Review A*, vol. 70, no. 3, Article ID 032104, 8 pages, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Escalante, “The Chern-Simons state for topological invariants,”
*Physics Letters B*, vol. 676, no. 1–3, pp. 105–111, 2009. View at Publisher · View at Google Scholar - A. Escalante and J. Angel López-Osio, “Hamiltonian analysis for topological and Yang-Mills theoriesas a constrained BF-like theory,”
*International Journal of Pure and Applied Mathematics*, vol. 75, pp. 339–352, 2012. View at Google Scholar - M. Mondragón and M. Montesinos, “Covariant canonical formalism for four-dimensional $\text{B}\text{F}$ theory,”
*Journal of Mathematical Physics*, vol. 47, no. 2, Article ID 022301, 15 pages, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Escalante and J. Berra-Montiel, “A pure Dirac's method for Yang-Mills theory expressed as a con-BF-like theory,” submitted to
*Physics Letters B*. - W. Greiner and J. Reinhardt,
*Field Quantization*, Springer, Berlin, Germany, 1996, Translated from the German, with a foreword by D. A. Bromley. - M. Montesinos and E. Flores, “Symmetric energy-momentum tensor in Maxwell, Yang-Mills, and Proca theories obtained using only Noether's theorem,”
*Revista Mexicana de Física*, vol. 52, no. 1, pp. 29–36, 2006. View at Google Scholar - C. Rovelli,
*Quantum Gravity*, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, Mass, USA, 2004, With a foreword by James Bjorken. View at Publisher · View at Google Scholar - T. Thiemann,
*Modern Canonical Quantum General Relativity*, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, Mass, USA, 2007, With a foreword by Chris Isham. View at Publisher · View at Google Scholar - A. Ashtekar,
*Lectures on Nonperturbative Canonical Gravity*, vol. 6 of*Advanced Series in Astrophysics and Cosmology*, World Scientific, River Edge, NJ, USA, 1991, In collaboration with R. S. Tate. - M. Martellini and M. Zeni, “Feynman rules and $\beta $-function for the $\text{B}\text{F}$ Yang-Mills theory,”
*Physics Letters B*, vol. 401, no. 1-2, pp. 62–68, 1997. View at Publisher · View at Google Scholar