Loop Quantization of a 3D Abelian BF Model with σ-Model Matter
The main goal of this work is to explore the symmetries and develop the dynamics associated with a 3D Abelian BF model coupled to scalar fields submitted to a sigma model like constraint, at the classical and quantum levels. Background independence, on which the model is founded, strongly constrains its nature. We adapt to the present model the techniques of Loop Quantum Gravity in order to construct its physical Hilbert space and its observables.
The now quasi-hundred-year-old General Relativity as a theory of gravitation, despite its tremendous successes in accounting for predicting phenomena, still lacks a quantum version. Previous perturbative attempts have shown the nonrenormalizability of the theory , whereas the pioneering nonperturbative approach of Wheeler and DeWitt [2–5] had its successes concentrated in reduced “minisuperspace” models dedicated to cosmology. However, very important progresses have been made in the last decades, especially in the framework of Loop Quantum Gravity (LQG) [6–9], based on the canonical Hamiltonian approach of Dirac [10, 11] applied to the Ashtekar-Barbero [12–14] parametrization of the theory. General Relativity, as a background independent theory—in the sense that no background geometry is given a priori, geometry being dynamical—is a fully constrained theory, its Hamiltonian being merely a sum of constraints generating the gauge invariances of the theory. The LQG program entails the difficult task of implementing the constraints of the theory as quantum operators in some predefined kinematic Hilbert space and to solve them, thus leaving as a subspace the physical Hilbert space in which act the self-adjoint operators representing the observables of the theory. Some of the constraints have been resolved, but the last one, the so-called scalar constraint. The latter has resisted up to now a complete solution, the most popular approach being that of “spin foams” [15, 16].
By contrast, the lower-dimensional gravitation theories are much more easy to handle, since they can be described as topological gauge theories, when not coupled to matter [17–23]. Coupling them to matter however lets them lose their topological character, excepted in some special cases, where a complete and rather simple loop quantization can be achieved [24, 25].
The purpose of this paper is to present the loop quantization of a background independent theory of the type [26, 27] with the Abelian group as a gauge group. Background independence means that no metric is introduced in the manifold on which the theory is defined, the sole requirement being the invariance under diffeomorphisms, beyond the gauge invariance. The fields are coupled to a complex scalar “matter” field subject to a -model type of constraint. Background independence severely restricts the form of the action. It turns out that the topological nature of the theory persists in the sense that no local degrees of freedom are present. However, provided the topology of 2-dimensional space is nontrivial, global degrees of freedom are present in the theory. We consider spaces with point-like singularities, in which cases a nontrivial physical Hilbert space and global observables are explicitly constructed. A non-Abelian version is presently under study .
The model and its gauge invariances are presented in Section 2, its classical analysis is done in Section 3 together with the separation of the first and second class constraints and the definition of the Dirac brackets, and the quantization is presented in Section 4. Brief conclusions are given at last.
2. Formulation of the Model
2.1. The Gauge Invariances and the Action
The field content of the model is a connection form , a “” form , a complex scalar field , and a 3-form field , transforming as (Wedge symbols are not written explicitly; space-time indices take the values 0, 1, and 2; later on, space indices will be denoted by the letters taking the values 1, 2; and are taken as imaginary) under gauge transformations ( and are taken as purely imaginary; is real) .
The most general action, invariant under the gauge transformations (1) and background independent, reads where , , and are arbitrary real functions of , assumed to be analytic in their argument and to fulfill the conditions , and denotes the covariant derivative (covariant with respect to the gauge transformation (1)): The integration is performed over some 3-dimensional differential manifold . The action is obviously invariant under the diffeomorphisms of . Having no metric at our disposal, it is clear that no other term, such as, for example, a potential term, can be added.
The parameter can be taken equal to 1 through a renormalization of the field , and one easily shows that one can reduce the function to the form through a field redefinition , with , compatible with the gauge invariance (1). Having done this, we have the field equation which implies that the functions and can be replaced by constants. One of them, let us say , can be given the value 1 through a renormalization of the field . We are thus left with only the constant as independent parameter. We will take the valued without loss of generality. The final action is then One recognizes in (5) a action coupled with scalar fields and a Lagrange multiplier field assuring the -model type constraint .
It turns out that this action (5) has two more invariances under the gauge transformations where the scalars and are the transformation parameters. The transformation (6) coincides with the usual topological type transformations of the model, in the absence of the fields and . Invariance under (7) is specific for the model.
In order to check the invariances of the action (up to boundary terms), as well as for all the manipulations involving partial integrations, it is useful to remember that the covariant derivative , defined by , where is the charge of the field , obeys the Leibniz rule. The respective charges of the basic fields , , , , and are , and 0. Let us also note the useful identity The field equations read where the symbol means “on shell” equality, that is, “equations of motion being fulfilled.” The last equation is equivalent to This system of equations is equivalent to the simpler one:
2.2. Diffeomorphism Invariance
In the present theory, like in the topological theories of the Chern-Simons or type, the invariance under the diffeomorphisms is a consequence of the invariance under the gauge transformations (1), (6), and (7), up to field equations. Indeed, with the diffeomorphisms being generated by the Lie derivative along an infinitesimal vector field when acting on forms ( is the interior derivative, with ), one checks that where is the phase of the field defined in (10). One sees that these infinitesimal diffeomorphisms are given, on-shell, by a combination of the three gauge invariances, with the respective field dependent infinitesimal parameters given by
3. Hamiltonian Analysis and Constraints
We apply here the canonical formalism of Dirac [10, 11] for systems with constraints. Supposing that the space-time manifold admits a “time” “space” foliation , where the space slice is some two-dimensional manifold, we first rewrite the action as the time integral of a Lagrangian function where Following the canonical procedure, we identify the conjugate momenta of each field , : satisfying together with the ’s the equal time Poisson bracket relations where the indices , run over all components of all fields. The Legendre transform yields the canonical Hamiltonian with the ’s given in (16).
Noting that the velocities do not appear in any of (17) for the momenta, we conclude that all of these equations are (primary) constraints [10, 11]. The equality sign must be replaced by the “weak equality” sign , meaning that the constraints are solved at the end, after all calculations involving Poisson brackets are done. We remark that the last two constraints in (17) are second class, their brackets being nonzero: . These constraints can be solved as strong equalities provided the Poisson brackets are replaced by the corresponding Dirac brackets, which read the other brackets being left unchanged. We use the same notation for these Dirac brackets.
We are left with the five constraints The stability of the three constraints (22) under the Hamiltonian evolution requires the three secondary constraints with , , and as given in (16). It will turn out convenient to replace by the equivalent constraint: The constraints (22) can be put strongly to zero, the corresponding fields , , and playing now the roles of Lagrange multipliers , , and . Introducing also Lagrange multipliers fields for the primary constraints (23), we define the total Hamiltonian as where we have defined the functionals considering the Lagrangian multiplier fields as smooth test functions.
Since this Hamiltonian is entirely made of constraints—a characteristic of theories with general covariance—the stability of our five constraints , , boils down to examine the matrix of their Poisson brackets, written up to constraints, hence the sign. Indeed, their stability condition reads (summation convention is assumed) This provides a system of equations for the ’s; which can be solved for some of the ’s in terms of the remaining ones. The matrix reads where we have substituted the constraint with the equivalent one One sees that the first three constraints, , , and , are first class; that is, their Poisson brackets with any other constraint are constraints: they generate three gauge invariances of the theory. The last two, namely, and , however are second class. Indeed, denoting them by (), their Poisson brackets form the matrix of nonvanishing determinant on the constraint surface: These second class constraints may be written as strong equalities, provided the Poisson brackets are substituted by the Dirac brackets [10, 11] The second class constraints can be solved for and in terms of the now independent fields , , , and : The independent fields obey the Dirac bracket relations This system can be diagonalized through the redefinition with the result Finally, the remaining three constraints read, taking (35) into account, They are first class (their Dirac brackets are indeed zero) and generate the three gauge invariances defined by () using the functional notation (27): We see that the gauge invariance is split in two invariances generated by and , corresponding to the invariances (1) and (7) of the Lagrangian formalism. The invariance generated by corresponds to the topological type invariance (6).
4.1. Kinematical Hilbert Space
The constraints and will be solved at the quantum level in this section, whereas the last one, , is left for the next section. Following the lines of Loop Quantum Gravity [6–9], we will construct a kinematical Hilbert space whose vectors are subjected to the constraints and in the forms and , where are operators representing the classical . Choosing the fields and as configuration space coordinates, our task will be to define wave functionals (we use the “bra” and “ket” Dirac notation, with ) and the scalar product . The fields are now promoted to operators , , , and obeying the canonical commutation relations corresponding to the classical Dirac brackets (36): and act multiplicatively and and as functional derivatives: Everything up to now is purely formal since we have still no proper Hilbert space. But we can already solve the constraint : the wave functional only depends on , .
In order to construct a scalar product defined by an appropriate integration measure in configuration space, we first restrict the space of wave functionals to the set of functions of finite numbers of holonomies of the connection —the “cylindrical functions.” If is an orientated curve in (a “link”), the holonomy of on is defined as the exponentiated line integral Given a “graph,” that is, a finite set of links, a “cylindrical function” is function of the holonomies of : The cylindrical functions associated with all graphs on form the vectorial space Cyl, in which we can define a sesquilinear scalar product using the Haar measure of the gauge group. For , the (normalized) measure is given by for parameterized as . First, for two cylindrical functions defined on the same graph, Next, for two cylindrical functions corresponding to two different graphs and , one defines where is the union graph consisting of links.
With this scalar product in hands we dispose of a norm so one can define a Hilbert space through the Cauchy completion of Cyl.
An orthonormal basis of may be defined using the Peter-Weyl theorem—which in the Abelian case is nothing but the Fourier series theorem. Basis elements are the cylindrical functions and is the character of the irreducible unitary representation of “charge” . In the parametrization , . The orthonormality condition is an obvious consequence of the theory of Fourier series. The prescription of nonvanishing charges avoids an overcounting of the basis vectors which would otherwise occur since a graph with a zero charge link would give the same function as the graph with this link omitted. Therefore, the basis must be completed with the zero charge function corresponding to the empty set . These basis vectors will be called “charge networks” in analogy with the spin networks of Loop Quantum Gravity [6–9]. A particular consequence of these definitions is that vectors corresponding to different graph are orthogonal, and thus the Hilbert space is the infinite direct sum of spaces , each of them being associated with a single graph . With this sum being performed over the noncountable set of all graphs, is a nonseparable Hilbert space.
Let us now turn to the constraint in (37), which corresponds to the invariance under the gauge transformations of (38). It will be fulfilled by demanding the gauge invariance of the basis cylindrical functions (45). Under a gauge transformation , the holonomy (41) transforms as where and are the coordinates of the initial and end points of the link , respectively. Thus gauge invariance of a charge network functional follows from the requirement of a “charge conservation law”; that is, the sum of charges entering a vertex of (point of intersection of links) must be zero, with the convention that the charge entering a vertex is positive if the vertex lies at the end of the link and negative if it lies at the beginning. This requires in particular that the graphs must be closed since no zero charge links are allowed. An example is depicted in Figure 1.
The vectors of obeying the condition of gauge invariance span the nonseparable “kinematical” Hilbert space .
4.2. Physical Hilbert Space
The last constraint to be imposed is the curvature constraint in (37), whose quantum expression is . Its general solution is given by a wave functional whose argument is a connection with null curvature. It is sufficient to impose this condition on the basis vectors of (charge networks), which will select the basis of the physical Hilbert space .
The condition of null curvature means that, locally, there exists a scalar function such that The rest of the discussion depends on the topology of the space sheet .
Let us begin with the case where the topology of is that of . Then (48) holds globally, with the result that the holonomy associated with any link with initial and final end points and takes the form Together with the fact that the graph associated with any charge network is closed and that the charge conservation condition must hold at each vertex, one easily sees that its wave functional is equal to 1. In other words, the graph shrinks to a single point, and we are left with the sole vector . The physical Hilbert space is reduced to a trivial 1-dimensional space.
The next case is that with the topology of , the 2-dimensional plane with one point suppressed. There are now two classes of closed graphs, those with inside and those with outside. Two examples of the former class are shown in Figure 2.
Applying the charge conservation condition as in the previous case shows that any charge network graph with the point “outside” reduces to a point with the resulting wave functional equal to 1, defining the empty state described by the vector . On the other hand, any charge network graph with the point “inside” is equivalent to a single loop with inside, with the resulting wave functional equal to a unimodular complex number with the charge of the loop. The value of the “flux” , given by where is a closed positively oriented loop around the singular point , is independent of the form and size of the loop, and the value of is computed using the charge conservation condition. Figure 2 shows an example of two such equivalent graphs. The basis of the physical Hilbert space then consists of the vectors , , with . For , one has = , corresponding to the former class of graphs. One notes that the integer number can be interpreted also as a winding number of the loop: to wind times around the singular point with charge 1 or to wind 1 time the singular point with charge yields the same wave functional.
The generalization to a plane with singular points, , is straightforward. The basis vectors of read where is the charge (or winding number) of a loop encircling the th singular point, all the other singular points remaining outside of it. The corresponding wave functional is explicitly given by where is the flux associated with the th singular point, defined by where The orthonormality relations are is separable.
One remarks that diffeomorphism invariance, which in the classical theory is a consequence of its gauge invariances, is explicit in the quantum theory constructed here, once all constraints are fulfilled. Note that the states of the (nonseparable) kinematical Hilbert space, which still do not obey the curvature constraint , are not diffeomorphism invariant since they depend on the location and form of the associated graphs.
It follows from the above discussion that no nontrivial observables do exist in the case of a trivial topology such as that of . On the other side, with a nontrivial topology such as that of with singular points , there is a set of observables , , simultaneously diagonalized in the basis (52) of : They are explicitly given by where is a closed 1-form (), such that its integral on a loop as defined by (54) takes the value , whereas its integral on a loop around another singular point vanishes. Explicitly: the result depending only on the homotopy class of . In a polar coordinate frame centred in , a particular solution (a “physical” interpretation may be to view as the analogue of a 2-dimensional magnetic field whose source is a point current of magnitude located in ) for the 1-form is given by and . The result (56) follows from the expression (52) for the basis vector functionals, together with (53) and the differentiation formula (taking into account the support property of ) The operators thus defined are obviously self-adjoint in and form a complete commutative set of observables.
What we have shown, using the Dirac canonical scheme together with the LQG quantization procedure, is that the three-dimensional Abelian model, minimally coupled to a scalar field obeying a -model type of constraint, has the same degrees of freedom as the pure model. These degrees of freedom are nonlocal, of purely topological nature, characterized by the topological nature of space. They are represented by a complete set of commuting observables in the case of the space topology being that of with points omitted ( “punctures”).
Two main conclusions can be drawn. First, the model we have presented is a simple example of how restrictive is the assumption of background invariance. It eliminates from the action an infinity of terms which otherwise would be present if one only postulates gauge invariance, such as potential terms, for instance. It is also interesting to note that invariance under both gauge transformations (6) and (7) is a consequence of background invariance and gauge invariance.
The second main conclusion is that we have succeeded to implement the loop quantization scheme up to the construction of the physical Hilbert space and its observables. The implementation has turned out to be rather simple, in contrast to the difficulties which one encounters in 4-dimensional gravity [6–9]. This simplicity, in our case, originates from the topological character of the theory, where the diffeomorphism constraints reduce to a very simple curvature constraint. Moreover, we have been able to show explicitly how different topologies of space lead to different Hilbert spaces and sets of observables, which is a very hard problem in genuine quantum gravity.
Similar achievements for 3-dimensional theories, non-Abelian but without coupling with matter, may be found in [28, 29]. The generalization to a non-Abelian theory coupled with matter is not straightforward .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work was supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), Brazil, for Diego C. M. Mendonça and in part by the Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil, for Olivier Piguet.
J. A. Wheeler, “Superspace and the nature of quantum geometrodynamics,” in Battelle Rencontres: 1967 Lectures in Mathematics and Physics, C. M. DeWitt and J. A. Wheeler, Eds., pp. 242–307, 1968.View at: Google Scholar
C. Rovelli, Quantum Gravity, Cambridge Monographs on Mathematical Physics, 2004.
T. Thiemann, Modern Canonical Quantum General Relativity, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, UK, 2008.View at: MathSciNet
P. A. M. Dirac, Lectures on Quantum Mechanics, Dover, 2001.
M. Henneaux and C. Teitelboim, Quantization of Gauge Systems, Princeton University Press, 1994.View at: MathSciNet
A. Ashtekar, Lectures on Non-Perturbative Quantum Gravity, Notes Prepared in Collaboration with R. S. Tate, World Scientific, Singapore, 1991.
D. C. M. Mendonça, Quantização de laços no modelo BF em 2+1 dimensões [M.S. thesis], Universidade Federal do Espírito Santo (UFES), 2010.
D. C. M. Mendonça and O. Piguet, work in progress.