Abstract

We make a gauge theory from the Open -brane system and map it into the Open 2-Brane one. Due to the presence of second-class constraints in this model, we encounter some problems during the procedure of quantization. In this regard, considering boundary conditions as Dirac conditions, one can drive the constrained structure of the model at first. Then, with the help of BFT formalism of constraint systems, the Open 2-Brane model is embedded into an extended phase space. For this purpose, we introduce some tensor fields to convert ungauged theory into the gauged one. This is the novel part of our research, while mostly scalar and vector fields are used to convert second-class constraints into first ones.

1. Introduction

In the scenario of point-like particles, the infinite mass leads to several infinities, which obliged physicists to developed methods of renormalization to overcome these problems. Afterwards, although string theory as a theoretical frame work provided some tools to simplify the unification of general relativity and quantum mechanics, it leads to the complicated big bang cosmology and inflation scenarios. In this theme, it is important to know how to quantize string and -brane actions [1, 2]. As a matter of fact, this is possible using Dirac’s point of view, since these actions include primary second-class constraints and actually are not gauge invariant.

As the pioneer who proposed the correlation between gauge theories and constrained systems, Dirac classified constraints into first- and second-class ones. He also implied that the existence of second-class constraints is due to the presence of some nonphysical degrees of freedom, which destroys the gauge invariance [3]. Hence, these extra degrees of freedom must be omitted or changed to physical ones to enhance gauge symmetries of the model [4]. In this regard, there are several methods available to convert second-class systems into first-class ones [35].

Due to the presence of gauge degrees of freedom, quantization of a first-class system is straightforward, but dealing with second-class systems gives rise to some difficulties. Quantizing a system which includes second-class constraints is not possible due to the presence of extra coordinates in the primary phase space. Dirac solved this incompatibility by converting Poisson brackets into another kind, which are known as Dirac brackets in respect of him, today. Although his approach is serviceable in some cases, dealing with Dirac brackets is not generally an easy task. Some difficulties such as factor ordering and inverting Poisson brackets matrix of constraints may cause Dirac’s approach to not be practical [610].

A question might have been raised which is why do not we vanish second-class constraints directly? One should say that it is not always possible to vanish second-class constraints, while they may omit some of the dynamics of the system automatically. It is more wise to convert second-class constraints into first-class ones, which leaves the dynamics of the system intact. This has been shown in some models that the embedding process does not change the dynamics of the system [4, 1113].

To convert a second-class system to a first-class one, there have existed several methods such as gauge unfixing approach (GU) [14, 15], BFT method [1619], and the symplectic formalism [12, 2022].

The BFT method has been proposed to convert a gauge noninvariant system to a gauge invariant one. This method is based on embedding procedure; that is, to convert second-class constraints into first-class ones as gauge symmetries, one should increase phase space of the primary model and redefine constrained equations in the extended phase space.

Depending on the structure of second-class constraints, the extended phase space has different forms. Sometimes, the procedure of BFT embedding is complicated and even impossible to do. It has been shown that if the Poisson bracket matrix of second-class constraints has constant components, extension of the phase space is straightforward and added correction terms to Hamiltonian will be limited in number [10].

In this research, according to constraints’ algebra which leads to the constant Poisson bracket matrix, we use finite BFT approach to convert second-class constraints to first-class one, in order to obtain the gauged version of Open 2-Brane System.

The interesting and almost problematic point in the study of Open string problem in the presence of background magnetic field is that after imposing mixed boundary conditions on equations of motion, the fields’ Poisson brackets are not vanished at boundaries and they are equal to a constant value which is proportional to the present background field [2327]. This problem also leads to a contradiction when we study secondary constraints.

The idea of considering boundary conditions as constraints of a physical system was proposed by the late 1990s [2830]. In fact, boundary conditions in the background magnetic field are first-order equations of time variable, whereas the Euler-Lagrange equation is a second-order one, which means that the acceleration determines the dynamics of the motion. Hence, boundary conditions in Lagrangian equations are called acceleration-free equations [2427, 30]. So, these objects do not play any role in the dynamics of the system. Instead, they set up some identities in the phase space which satisfy Dirac’s constrained conditions. Also, the difference between constraints, obtained from boundary conditions equations and other constraints, could be evident in Hamiltonian approach [30].

By the idea of boundary conditions as Dirac conditions, we study the constrained structure of bosonic -brane systems [3133]. First of all, we simplify the action of this theory, based on existed symmetries of the model. Then, constrained structure of the model with , that is, bosonic Open -brane system, is obtained and the consistency condition of constraints is checked in order to obtain secondary constraints. Considering Poisson brackets of constraints, we prove the second-class nature of them.

2. Action of Open -Brane

branes are particular types of branes. They are places in the space where strings are located. brane is stretched out in spatial dimensions which sweeps out a dimensional world volume [34, 35]. The action studied in this paper is the bosonic part of a classical action for an Open -brane ending on a -brane [33, 36, 37]. To simplify the model, in this procedure we avoid probing other aspects such as terms related to fermionic parts of the action as much as possible, and we only consider the aspects of action which impose mixed boundary conditions in order to decrease the generality of our research. This means that we ignore all additional couplings to -brane which are available in the context of string theory, by setting all backgrounds to zero. Some more general models are studied at [3842].

The action of such a system can be written aswhere the values of vary from zero to . Also, and is the cosmological term.

This model has a large surface of global symmetries, which are determined by the world volume and the target space. To study a simpler model, we consider the dynamics of fields in the flat target space

Also, we let be a constant numerical parameter. Moreover, the world volume has diffeomorphisms and scaling invariance. These symmetries can be fixed by determining a metric on it. We consider this metric as .

The canonical momentum and the Hamiltonian are defined as follows:where ,  ,  and .

It is evident that, in directions orthogonal to branes, the boundary condition is the form of Dirichlet boundary condition and toward -brane is the form of Neumann boundary condition. Assuming , that is, the dimension of -brane being less than or equal to the space dimension, we can only have Neumann boundary condition. Dynamic boundary points with Neumann boundary conditions are as follows:Obviously these equations are at most first-class derivatives with respect to the time and are called acceleration-free equations. As we mentioned before, such equations do not play any roles in present object dynamics of the theory and they only limit available phase spaces; thus they satisfy Dirac constrained condition.

3. Constraint Structure of Open 2-Brane System

It is important to know how to quantize string and -brane action. The alternative method is solving all of the constraints of the system at first. So, in this section and as an example, we analyse Open 2-Brane system. As we know, a 2-Brane is surrounded by a three-dimensional hyper surface. The Neumann boundary conditions are imposed at the end of Open 2-Brane [33],The boundary conditions can be rewritten in terms of normal 2-Brane modeswhere means weak equality.

The canonical Hamiltonian can be written asHence, primary constraints must be held all the time; we set the complete time derivative of first-class constraints equal to zero. In this manner, the consistency procedure gives the set of secondary constraint [33]

By further imposing the time consistency of the secondary constraints, new constraints will be obtained as follows:Continuing this procedure, we will obtain the complete chain structure of constraints of the model [4]. Hence, we will have Summing over s and noting the fact that the result must be equal to zero, these constraints make a close set. Hence, we may find the following sets of equations of constraints which obviously are independent from :

4. Gauging the Model

The emergence of second-class constraints in the Noninvariant Open 2-Brane model is due to the presence of a broken gauge symmetry. As we mentioned before, the gauging process will be done via the BFT method. This method is based on extending the phase space of the original model by introducing some auxiliary variables.

Considering a pure second-class system where its dynamics is defined by the Hamiltonian in the phase space with coordinates and a set of second-class constraints in which , we will have the Poisson bracket matrix as the following invertible matrix:For our model, the gauge structure constructing Poisson bracket matrix of second-class constraint is constant matrix as follows:

Now, we enlarge the phase space by the variable which satisfies the following algebra [10, 1619]:where is an antisymmetric invertible matrix. The first-class constraints in the extended phase space are defined bywhich satisfy the following boundary condition:

For special cases where the matrix is symplectic or constant, a systematic method is invented which proposes the following choices [10]:

These choices lead to the following finite order embedding formalism for constraints:

Another important point is that, in order to enlarge the phase space in string theory, we should introduce tensor fields, in contrast with other theories that scaler and vector fields must be added. So the new set of constraints will be

The generators of Hamiltonian correction terms [10, 1619] will be

Hence, first-order Hamiltonian is obtained as and the generators in the second correction term of Hamiltonian are investigated as

Hence, the second-order correction of Hamiltonian is obtained as

It is easy to see that vanished for . This leads to the truncated series for Hamiltonian for

Thus, by introducing some tensor fields, first-class constraints of second ones would be obtained and the Hamiltonian investigated in such away will be fully gauged in the extended phase space.

5. Conclusion

String theory is an extremely good theory to describe the world. So, quantizing string and -brane action is an interesting topic to work on. An appropriate approach to do such an investigation is the formalism of constrained systems.

In this survey, first, we extracted the constrained structure of the Open 2-Brane System in the flat space. Because the boundary conditions are usually relations between fields and their derivatives, we considered the Neumann boundary conditions as Dirac constraints which are not consequences of a singular Lagrangian. In other words, the momenta are not independent functions of velocities which is a new feature in the context of constrained systems. Finally, we got four second-class constraints. As we know, first-class constraints are the generators of gauge transformations, while the advent of second-class constraints restricts the system to a smaller submanifold of the phase space in which a Poisson structure can be recognized. This means that gauge symmetries are broken.

We desire to have a quantized theory, but quantization of second-class system is nontrivial and is more difficult in comparison with first-class one. Difficulties such as factor ordering problem or noninvertible nature of some Poisson brackets matrices of constraint may arise dealing with second-class systems. Also, the construction of a BRST charge is only possible for first-class systems. More importantly, the usual quantization method like canonical quantization and path integral approach is only used for first-class constrained systems. Since, physical theories tend to be gauged theories, and the presence of second-class constraints is against this assumption, we convert the Noninvariant Open 2-Brane System to a first-class one by means of BFT method.

As we mentioned, for special cases when the -matrix has constant elements, the finite order BFT embedding can be applied. This is the reason that we only studied the bosonic part of a classical action for an Open -brane ending on a -brane and avoid additional couplings to -brane by setting all background fields to zero.

Finally, in the last section we found correction terms for constraints and Hamiltonian in the extended phase space. All in all, one can easily check that first-class constraints and Hamiltonian of Open 2-Brane System represent a gauge invariant theory.

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

The authors wish to acknowledge the University of Kashan for the Grant no. 65500.3.