Advances in Mathematical Physics

Volume 2015, Article ID 307132, 8 pages

http://dx.doi.org/10.1155/2015/307132

## Loop Quantization of a 3D Abelian *BF* Model with *σ*-Model Matter

^{1}Departamento de Física, Universidade Federal do Espírito Santo (UFES), 29075-910 Vitória, ES, Brazil^{2}Departamento de Física, Universidade Federal de Viçosa (UFV), 36570-900 Viçosa, MG, Brazil

Received 10 November 2014; Revised 18 December 2014; Accepted 19 December 2014

Academic Editor: Shao-Ming Fei

Copyright © 2015 Diego C. M. Mendonça and Olivier Piguet. 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 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.

#### 1. Introduction

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 [1], 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 [25].

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. Quantization

##### 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.