Abstract
We propose a new scheme of embedding constrained systems based on the Gauge Unfixing formalism. Our aim is to modify directly the original phase space variables of a system in order to be gauge invariant quantities. We apply our procedure in a nontrivial constrained model that is the Abelian Pure Chern Simons Theory where new results are obtained. Among them we can cite the development of a systematic procedure in order to separate the first and the second class constraints, and the obtainment of the same initial Abelian Pure Chern Simons Lagrangian as the gauge invariant Lagrangian. This last result shows that the gauge symmetry of the action is certainly preserved.
Constrained systems; Embedding systems; Gauge invariant Hamiltonians
REGULAR ARTICLES
An improved gauge unfixing formalism and the abelian pure chern simons theory
Jorge Ananias Neto
Departamento de Física, ICE, Universidade Federal de Juiz de Fora, 36036-900, Juiz de Fora, MG, Brazil
ABSTRACT
We propose a new scheme of embedding constrained systems based on the Gauge Unfixing formalism. Our aim is to modify directly the original phase space variables of a system in order to be gauge invariant quantities. We apply our procedure in a nontrivial constrained model that is the Abelian Pure Chern Simons Theory where new results are obtained. Among them we can cite the development of a systematic procedure in order to separate the first and the second class constraints, and the obtainment of the same initial Abelian Pure Chern Simons Lagrangian as the gauge invariant Lagrangian. This last result shows that the gauge symmetry of the action is certainly preserved.
Keywords: Constrained systems; Embedding systems; Gauge invariant Hamiltonians
I. INTRODUCTION
The Abelian Pure Chern Simons (CS) Theory is a mixed constrained system where one of their four constraints must be redefined in order to be a first class one. Then, after this step, we have well defined algebras of two first class constraints and two second class constraints. The BFT formalism[1, 2], which enlarges the phase space variables with the introduction of the Wess Zumino (WZ) fields, has been used with the objective to embed the CS theory[3]. As a result, the authors show many important features. Another work[4] has also employed the BFT formalism to study a Nonabelian version of the CS theory. In this article, the authors propose two methods that overcome the problem of embedding mixed constrained systems. In an opposite side of the BFT formalism, there is another method that embeds second class constrained systems, called Gauge Unfixing (GU) formalism. It was proposed by Mitra and Rajaraman[5] and continued by Vytheeswaran[6, 7]. This formalism considers part of the total second class constraints as the gauge symmetry generators while the remaining ones form the gauge fixing terms. The second class Hamiltonian must be modified in order to satisfy a first class algebra with the constraints initially chosen to be the gauge symmetry generators. This approach has an elegant property that does not extend the phase space with extra variables.
The purpose of this paper is to give a alternative scheme for the GU formalism and to apply this method to the CS theory. Our aim is to redefine the original phase space variables of a constrained system, without to introduce any WZ terms, in order to be gauge invariant fields. Then, after this procedure, we will construct functions of these gauge invariant fields which will be gauge invariant quantities. As we will see, we begin with a mixed constrained system that is the CS theory and, applying our formalism, we obtain a first class system written only in terms of the original phase space variables with many novel features. As many important constrained systems have only two second class constraints, then, in principle, we present our formalism only for systems with two second class constrains without any loss of generality. In order to clarify the exposition of the subject, this paper is organized as follows: in Section 2, we give a short review of the usual GU formalism. In Section 3, we present our formalism. In Section 4, we apply our procedure to the CS theory. In Section 5, we make our concluding remarks.
II. A BRIEF REVIEW OF THE GAUGE UNFIXING FORMALISM
Let us consider a constrained system described by the second class Hamiltonian H and two second class constraints T1 and T2. The basic idea of the GU formalism is to select one of the two second class constraints to be the gauge symmetry generator. As example, if we choose T1 as the first class constraint, then, we need to scale T1 as º where D12 = {T1, T2} . The second class constraint T2 will be discarded. The Poisson bracket between and T2 is {, T2} = 1 , so that and T2 are canonically conjugate. The second class Hamiltonian must be modified in order to satisfy a first class algebra. Then, the gauge invariant Hamiltonian is constructed by the series in powers of T2
where we can show that {,} = 0 and must satisfy a first class algebra {,} = 0. The gauge invariant Hamiltonian, Eq.(1), can be elegantly written in terms of a projection operator on the second class Hamiltonian H
where
opH º {H, } and an ordering prescription must be adopted that is T2 must come before the Poisson bracket.III. THE IMPROVED GAUGE UNFIXING FORMALISM
Let us start with the original phase space variables written as
where F can describe a particle or field model. As we haven seen in Section 2, the usual GU formalism embeds directly the second class Hamiltonian. Thus, our strategy is to construct a gauge invariant function à from the second class function A by gauging the original phase space variables, using for this the idea of the GU formalism.
Denoting the first class variables by
we determine the first class function in terms of the original phase space variables by employing the variational condition
where is the scaled second class constraint chosen to be the gauge symmetry generator and e is an infinitesimal parameter. Any function of will be gauge invariant since
where
Consequently, we can obtain a gauge invariant function from the replacement of
The gauge invariant phase space variables are constructed by the series in powers of T2
where this series has an important boundary condition that is
The condition above and the relation (8) show that when we impose the discarded constraint T2 equal to zero, we reobtain the original second class system. Therefore, the relations (8) and (10) guarantee the equivalence between our first class model and the initial second class system.
The coefficients cn in the relation (9) are then determined by the variational condition, Eq.(5). The general equation for cn is
where
In Eq.(14) we assume that {, T2} = 1. Then, for the linear correction term (n = 1), we have
For the quadratic correction term (n=2), we get
For n > 2, the general relation is
Using the relations (15), (16) and (17) in Eq.(9) we obtain the series which determines
The expression can also be elegantly written in terms of a projection operator on F
where again an ordering prescription must be adopted that is T2 must come before . Now, if we calculate the Poisson bracket between the two gauge invariant variables defined by the formula (18) and next we take the limit T2® 0, we get
If we assume that {Ti,Tj} º Dij = eij, being T1 º , we can write
where Dijº eij is the inverse of Dij º eij and {F, G}D is the Dirac bracket[8]. Thus, we can observe that when we change the gauge invariant variables by imposing the condition T2 = 0, we return to the original second class system where the Poisson brackets transform in the Dirac brackets. This important result also confirms the consistency of our formalism. The same result was obtained by employing the BFT formalism[3].
IV. THE ABELIAN PURE CHERN SIMONS THEORY
The CS theory, being a (2+1) dimensional field theory, is governed by the Lagrangian
where k is a constant. From the standard Dirac constrained formalism[8] we obtain three canonical momenta which are the primary constraints
Using the Legendre transformation we derive the canonical Hamiltonian
From the temporal stability condition of the constraint, Eq.(23), we get the secondary constraint
We observe that no further constraints are generated via this iterative procedure. T0, Ti and T3 are the total constraints of the model . In order to separate the second and the first class constraints, we need to redefine the constraint (26). In principle, we can suggest an expression for the constraint as (an educated guess)
Then, T0 and 3 form the first class constraints, while Ti, Eq.(24), forms the second class constraints satisfying the algebra
Our formalism begins by choosing the symmetry gauge generator as
We would like to note that the superscript in the Eq.(29) indicates a vector component and not an exponent. Then, we have the algebra {(x), T2(y)} = d3(x - y). The second class constraint T2 = p2 + A1 will be discarded. The infinitesimal gauge transformations generated by symmetry generator are
The gauge invariant field Ãi is constructed by the series in powers of T2
From the invariance condition dÃi = 0, we can compute all the correction terms bn. For the linear correction term in order of T2, we get
For the quadratic term, we obtain b2 = 0, since db1 = e{b1,} = 0. Due to this, all the correction terms bn with n > 2 are null. Therefore, the gauge invariant field Ãm is
or
where by using Eq.(30), it is easy to show that dÃm = 0. The gauge invariant field i is also constructed by the series in powers of T2
From the invariance condition d
i = 0, we can compute all the correction terms cn. For the linear correction term in order of T2, we get
For the quadratic term, we obtain c2 = 0, since dc1 = e{c1,} = 0. Due to this, all the correction terms cn with n > 2 are null. Therefore, the gauge invariant field i is
or
where by using Eq.(31), it is easy to show that d
i = 0. The Poisson brackets between the gauge invariant fields are
We can observe that the Poisson brackets, Eqs.(45),(46) and (47), reduce to the original Dirac brackets[3] since T2 = 0, as discussed in Eq.(21). The gauge invariant Hamiltonian, written only in terms of the original phase space variables, is obtained by substituting Aµ by õ, Eqs.(35) and (36), in the canonical Hamiltonian, Eq.(25), as follows
Imposing the temporal stability condition of p0 (T0º p0)
we get the secondary constraint
that is just the secondary constraint, Eq.(26), with the replacement of Ai by Ãi. The gauge invariant Hamiltonian and the irreducible constraints T0, and 3 form a set of first class algebra given by
where we have used relation (45) to prove Eq.(53) and the condition dÃi = 0 to prove Eq.(54). Here, we would like to mention important results obtained by our formalism. First, by imposing the temporal stability of T0, Eq.(49), we get, by a systematic way, an irreducible first class constraint 3. Second, we only embed the initial second class constraint T1, Eq.(24), and, consequently, we have all the constraints forming a first class set. Moreover, in order to reduce all the constraints of the CS theory in a second class nature it is enough to assume T2 = 0.
Finally, the gauge invariant CS Lagrangian can be deduced by performing the inverse Legendre transformation
where is given by Eq.(48). As the gauge invariant Hamiltonian, , has the same functional form of the canonical Hamiltonian, Eq.(25), thus, from the inverse Legendre transformation, Eq.(57), we can deduce that the first class Lagrangian (written in terms of the first class variables) will take the same functional form of the original Lagrangian, Eq.(22)
Using the Eqs.(37), (38) and (39), the gauge invariant Lagrangian, Eq.(58), becomes
The Hamilton equation of motion produces a relation for ¶0A2 given by
Then, using the Eq.(60) and integrating by parts in the first class Lagrangian, Eq.(59), we obtain
We can observe that the gauge invariant Lagrangian, Eq.(61), reduces to the original Lagrangian, Eq.(22). The relation (61) is also an important result because without the presence of the extra terms in the gauge invariant Lagrangian, the original gauge symmetry transformation Aµ® Aµ + ¶m L is certainly maintained.
V. CONCLUSIONS
In this paper, we have improved the GU formalism by gauging the original phase space variables of a constrained system. In the case of a system with two second class constraints, one of the constraints will be chosen to form the scaled gauge symmetry generator while the other will be discarded. The discarded constraint is used to construct a series for the gauge invariant fields. Consequently, any functions of the gauge invariant fields are gauge invariant quantities. We apply our formalism to the CS model where new results are obtained. Our improved GU formalism can also be used to study the Nonabelian version of the Chern Simons theory[4, 9].
Acknowledgments
This work is supported in part by FAPEMIG, Brazilian Research Agency.
[1] L. Faddeev and S. L. Shatashivilli, Phys. Lett. B 167, 225 (1986); I. A. Batalin and I. V. Tyutin, Int. J. Mod. Phys. A 6, 3255 (1991).
[2] R. Amorim and J. Barcelos-Neto, Phys. Rev. D 53, 7129 (1996); W. Oliveira and J. Ananias Neto, Nucl. Phys. B 533, 611 (1998); M. I. Park and Y. J. Park, Int. J. Mod. Phys. A13, 2179 (1998); S. T. Hong, Y. W. Kim and Y. J. Park, Phys. Rev. D59, 114026 (1999); C. Neves and C. Wotzasek, Phys. Rev.D59, 125018 (1999). J. Ananias Neto, C. Neves, and W. Oliveira, Phys. Rev. D 63, 085018 (2001); M. Monemzadeh and A. Shirzad, Int. J. Mod. Phys. A 18, 5613 (2003); Phys. Lett. B 584, 220 (2004).
[3] M. I. Park, Y. J. Park, J. Korean Phys. Soc. 31, 802 (1997).
[4] M. Monemzadeh and A. Shirzad, Phys. Rev. D 72, 045004 (2005).
[5] P. Mitra and R. Rajaraman, Ann. Phys. (N.Y.) 203, 157 (1990); K. Harada and H. Mukaida, Z. Phys. C Part. Fields 48, 151 (1990).
[6] A. S. Vytheeswaran, Ann. Phys. (N.Y.) 206, 297 (1994).
[7] J. Ananias Neto, Braz. Jour. Phys. 36, 237 (2006).
[8] P. A. M. Dirac, Lectures on Quantum Mechanics, Dover Publications, Mineola, N.Y. (2001).
[9] W. T. Kim and Y. J. Park, Phys. Lett. B 336, 376 (1994).
Received on 7 March, 2007
- [1] L. Faddeev and S. L. Shatashivilli, Phys. Lett. B 167, 225 (1986);
- I. A. Batalin and I. V. Tyutin, Int. J. Mod. Phys. A 6, 3255 (1991).
- [2] R. Amorim and J. Barcelos-Neto, Phys. Rev. D 53, 7129 (1996);
- W. Oliveira and J. Ananias Neto, Nucl. Phys. B 533, 611 (1998);
- M. I. Park and Y. J. Park, Int. J. Mod. Phys. A13, 2179 (1998);
- S. T. Hong, Y. W. Kim and Y. J. Park, Phys. Rev. D59, 114026 (1999);
- C. Neves and C. Wotzasek, Phys. Rev.D59, 125018 (1999).
- J. Ananias Neto, C. Neves, and W. Oliveira, Phys. Rev. D 63, 085018 (2001);
- M. Monemzadeh and A. Shirzad, Int. J. Mod. Phys. A 18, 5613 (2003);
- Phys. Lett. B 584, 220 (2004).
- [3] M. I. Park, Y. J. Park, J. Korean Phys. Soc. 31, 802 (1997).
- [4] M. Monemzadeh and A. Shirzad, Phys. Rev. D 72, 045004 (2005).
- [5] P. Mitra and R. Rajaraman, Ann. Phys. (N.Y.) 203, 157 (1990);
- K. Harada and H. Mukaida, Z. Phys. C Part. Fields 48, 151 (1990).
- [6] A. S. Vytheeswaran, Ann. Phys. (N.Y.) 206, 297 (1994).
- [7] J. Ananias Neto, Braz. Jour. Phys. 36, 237 (2006).
- [8] P. A. M. Dirac, Lectures on Quantum Mechanics, Dover Publications, Mineola, N.Y. (2001).
- [9] W. T. Kim and Y. J. Park, Phys. Lett. B 336, 376 (1994).
Publication Dates
-
Publication in this collection
19 Oct 2007 -
Date of issue
Sept 2007
History
-
Received
07 Mar 2007