Abstract

Using the symplectic framework of Faddeev-Jackiw, the three-dimensional Palatini theory plus a Chern-Simons term [P-CS] is analyzed. We report the complete set of Faddeev-Jackiw constraints and we identify the corresponding generalized Faddeev-Jackiw brackets. With these results, we show that although P-CS produces Einstein’s equations, the generalized brackets depend on a Barbero-Immirzi-like parameter. In addition, we compare our results with those found in the canonical analysis showing that both formalisms lead to the same results.

1. Introduction

It is well known that the core of canonical gravity is based on the Hamiltonian formalism for singular systems developed by Dirac [1, 2]. In fact, the Dirac formalism is a powerful approach for studying gauge systems and relevant information is obtained from it. For instance, it is possible to obtain the gauge symmetry, the counting of the physical degrees of freedom, and the identification of the quantum brackets, the so-called Dirac brackets. The modern starting point for studying the canonical approach of gravity is based on the Holst action, which depends on a connexion valued on the group, a tetrad 1-form, and a parameter called the Barbero-Immirzi (the so-called parameter) [35]. In fact, because of the presence of the parameter, the Holst action provides a set of actions classically equivalent to Einstein’s theory and its contribution can be appreciated at the classical level in the structure of the constraints. On the other hand, in the coupling of fermionic matter with gravity, determines the coupling constant of a four-fermion interaction [5]. It is important to comment that Holst’s action also allows us to reproduce the different classical formulations of canonical gravity reported in the literature; for instance, if is real, then the Barbero formulation is obtained [6]; moreover, if the parameter is complex, then the Ashtekar approach is reproduced [7]. However, at the moment, the parameter is controversial because its value is unknown. In fact, in the quantum version of the Barbero formulation, there is a contribution of in the area operator [8, 9]. Thus, if we were able to develop an experiment for calculating quanta of area, then we could calculate the value of .

On the other hand, in the three-dimensional case, there is a model with the same characteristics of the Holst action, the so-called Bonzom-Livine action [BL] [10]. In fact, the BL theory turns out to be classically equivalent to three-dimensional Palatini theory. It provides a set of actions sharing the classical equations of motion with the Palatini theory, and its symplectic structure depends on a -like parameter. In this respect, it is also possible to obtain similar results from an action principle with a more simple structure than BL theory: the Palatini theory plus times the Chern-Simons term [P-CS]. In fact, the P-CS theory also provides a classical set of actions sharing the equations of motion with Einstein’s theory and their symplectic structure depends on the parameter. It is important to comment that the [P-CS] has been analyzed from the Lagrangian and Hamiltonian points of view [10]; however, all the fundamental steps were ignored; that is, the complete structure of the constraints and the symmetries of the theory were not reported.

In this manner, with the antecedents mentioned above, in this paper, we will study the P-CS theory from a symplectic point of view. For this aim, we will use the symplectic formalism of Faddeev-Jackiw [FJ] [1125], due basically to the fact that the FJ approach is more economical than Dirac’s method. In fact, the FJ is a symplectic description where all relevant information of the theory can be obtained through a symplectic tensor, which is constructed from the symplectic variables that are identified from the Lagrangian. If the theory is singular, then there will be constraints and the FJ method avoids the classification of the constraints in primary, secondary, first class, or second class, as it is done in Dirac’s method. Furthermore, from the components of the symplectic tensor, it is possible to identify the FJ generalized brackets; at the end of the calculations, the Dirac and the FJ generalized brackets are equivalent. Furthermore, in order to complete our analysis, we have added as an appendix the Dirac approach of P-CS, where we report the complete structure of the constraints and at the end we compare the results obtained in both formulations.

The paper is organized as follows. In Section 2, the symplectic analysis is developed; we report the complete FJ constraints and a symplectic tensor is constructed. From that symplectic tensor, the generalized FJ brackets are identified and we compare the FJ results with those obtained in the Dirac method. In Section 3, we present prospects and conclusions. Finally, an appendix is added resuming the canonical analysis.

2. Symplectic Analysis

The theory that we will analyze along this paper is described by the following action:where is a three-dimensional manifold without boundary, is the curvature of the connexion , ’s are the triad fields, are internal SU indices, and is an arbitrary parameter like a Barbero-Immirzi parameter [10]. From the variation of the action, the following equations of motion arise: which are classically equivalent to the three-dimensional Einstein equations. Along the paper, we will use the notation for space-time indices and the alphabet letters for space indices. Moreover, we will suppose that the manifold has topology , where is a Cauchy surface and is an evolution parameter. With these considerations at hand, we perform the decomposition, and action (1) takes the following form:where From (3), we can identify that the Lagrangian density has the following symplectic form [1125]:

where are the set of symplectic variables,’s are the corresponding 1-formsand in addition is the so-called symplectic potential: In the FJ context, the equations of motion are expressed as , where is the so-called symplectic matrix and it is given by [1125]. In this manner, using the symplectic variables and the 1-forms given above, the symplectic matrix acquires the form Furthermore, we observe that is a singular matrix; hence, this means that the Lagrangian describes a constrained theory; therefore, there will be constraints. In order to identify these FJ constraints, we calculate the zero modes of : where and are arbitrary functions. In this manner, the FJ constraints are found from the following contractions [1125]:

In this manner, the FJ constraints read Now, we will determine whether there are more FJ constraints; for this aim, we require consistency of the constraints [1125]. This means that the following system is satisfied: where In this manner, the matrix has the explicit formWe can observe that this matrix is not square as expected; however, it has null vectors:On the other hand, the vector is given by In this manner, the contraction of the null vectors (16) with yields identities. For example, from the contraction of the vector with , one obtains which implies that there are no more FJ constraints. As we have mentioned previously, in the FJ approach, it is not necessary to perform the classification of the constraints in first class, second class, and so forth, but all constraints are at the same level. Hence, the counting of degrees of freedom is carried out in the following form: there are 6 dynamical variables and 6 independent FJ constraints , ; in this manner, the theory is devoid of degrees of freedom, and the theory is topological as expected.

Now, we will add to the symplectic Lagrangian the new constraints found above and we define a new symplectic Lagrangian, say :where we have added the FJ constraints via Lagrange multipliers; namely, and . Note that the symplectic potential vanishes ; this result is expected because of the general covariance of the theory; all the dynamics of the system are governed by a symmetry. From the symplectic Lagrangian (19), we identify the set of new symplectic variables and the following 1-forms: With the help of these symplectic variables, we calculate the new symplectic matrix; namely, , which acquires the following explicit form: This matrix is singular, and the corresponding zero modes are the generators of the gauge transformations. The null vectors are given by and , where and form a set of infinitesimal parameters characterizing the gauge transformations. In fact, the null vectors generate the following gauge transformations:where we can see that is the generator of rotations and of translations. Furthermore, the matrix (22) is still singular; however, we have shown that there are no more constraints and that the theory has a gauge symmetry. In order to construct a symplectic tensor, we need to fix the gauge [1125], and thus we will fix the temporal gauge, say, , which means that and . In this manner, the fixing gauge will be added to the symplectic Lagrangian via Lagrange multipliers, and . Hence, the symplectic Lagrangian which will be called is and from this expression the following symplectic variables and the 1-forms are identified: In this manner, using these sets of symplectic variables and 1-forms, the corresponding symplectic matrix is given by where we note that is not singular; therefore, there exists its inverse. After long calculations, the inverse of is given by This corresponds to a symplectic tensor. From the symplectic tensor (27), we can identify the generalized FJ brackets by means of and hence the FJ brackets are given byand we can observe that these brackets are the same as those obtained using the Dirac method (see the Appendix and [10]). Furthermore, we can observe that there is a -contribution in the fundamental brackets, which makes a difference with respect to Palatini theory [26]. In fact, in Palatini theory, the Dirac brackets between the triad fields are commutative, while in P-CS, they are not; however, we observe that P-CS and Palatini are equivalent in the limit when goes to infinity.

3. Conclusions

In this paper, a symplectic analysis of P-CS has been performed. We reported the complete set of FJ constraints, the gauge symmetry, and the FJ generalized brackets which are not reported in the literature. The advantage for applying the symplectic formalism becomes to be present in a more economical analysis. In fact, it is not necessary to develop the classification of the constraints as in Dirac’s approach (see the Appendix), and the results found in the Dirac method are reproduced in the symplectic scheme. Furthermore, we observed that the generalized brackets depend on , and this fact makes the P-CS theory different from Palatini theory. In fact, it is well known that two theories sharing the same equations of motion do not imply that these theories are equivalent at all [2729]; the difference between the generalized brackets will be relevant in the quantization program; we need to remember that the symplectic structure is an essential ingredient in the quantum canonical approach [30]. It is important to note that the contribution of degrees of freedom just like the addition of matter fields could help us understand the nature of the parameter. In fact, it is reported in the literature that, in the description of gravity coupled to fermion fields, the Immirzi parameter is a coupling constant determining the strength of a four-fermion interaction [31]. Hence, we expect that in three-dimensional coupling of P-CS with matter the symplectic structure will not change and therefore we could investigate the relation between and matter coupling through their symplectic structure and the constraints. All these ideas are already under study and will be the subject of forthcoming works.

Appendix

Hamiltonian Analysis

In this section, we report the principal results of the Hamiltonian analysis. We start with the following action: where .

By introducing the canonical momenta to the complete set of dynamical variables , given by the following results are found: the theory presents 12 first-class constraints and the following 12 second-class constraints: The complete structure of these constraints is not reported in the literature. The algebra between the constraints is as follows: where we can see from the algebra that the constraint is the generator of translations and is the generator of rotations. For the counting of degrees of freedom, we observe that there are 36 canonical variables, 12 independent first-class constraints, and 12 second-class constraints, and thus the theory lacks physical degrees of freedom.

The presence of second-class constraints implies the introduction of Dirac’s brackets. The Dirac brackets between two functionals, say , , are defined bywhere is the Poisson bracket between the functionals ; the matrix ; here, is the complete set of second-class constraints found above; and represents the inverse of . Using the second-class constraints, the following Dirac brackets are found: where we can observe that these brackets and the FJ coincide with each other. Furthermore, since we have introduced the Dirac brackets, the second-class constraints are considered to be strongly zero and therefore the FJ constraints and the Dirac ones coincide with each other.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by CONACyT under Grant no. CB-2014-01/240781. The authors would like to thank R. Cartas-Fuentevilla for discussion on the subject and reading of the manuscript.