Table of Contents
ISRN High Energy Physics
Volume 2012, Article ID 674985, 25 pages
Research Article

Basics Polyakov’s Quantum Surface Theory on the Formalism of Functional Integrals and Applications

Departamento de Matemática Aplicada, Instituto de Matemática, Universidade Federal Fluminense, Rua Mario Santos Braga, 24220-140 Niterói, RJ, Brazil

Received 28 August 2012; Accepted 1 October 2012

Academic Editors: C. Ahn and M. Alishahiha

Copyright © 2012 Luiz C. L. Botelho. 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.


We propose an alternative view to the covariant Polyakov’s string path integral. In our new approach we clarified the role of the Liouville model on string theory for Q.C.D. and Dual Models. In the appendices, we present additional material, difficult to find in the specialized path integral literature on the detailed evaluation of the (Q.C.D.) fermion determinant, the path integral proof of the Atiyah-Singer index theorem on Riemannian Manifolds, and the role of the expansion on Polyakov’s String path integral, all containing important new results, insights on theses topics.

1. Introduction

Since its inception seventy years ago, nonabelian gauge theories have been shown to be the most promising mathematical formalism for a realistic description of strong interactions and even formulated on its supersymmetric version; it became an attractive attempt for unify Physics.

In strong interaction Physics the picture image of a mesonic quantum excitation is, for instance, a wave quantum mechanical functional assigned to a classical configuration of a space-time trajectory of a pair quark-antiquark bounding a space-time nonabelian gluon flux surface (of all topological genera) connecting both particle pairs: the famous t’Hooft-Feymman planar diagrams [1].

It appears thus appealing for mathematical formulations to be considered directly as dynamical variables or wave functions in this Faraday line framework for nonabelian gauge theories, the famous quantum Wilson Loop, or (quantum) holonomy factor associated to a given space-time Feynman quark-antiquark closed trajectory in a Yang-Mills quantum field theory. Namely, Here is defined by the Yang-Mills quantum path integral and denotes the quantized Yang-Mills (Gluon) connection.

It thus searched loop space dynamical equations (at least on the formal level without considering those famous ultraviolet “renormalization problems”) for the new wave function equation (1.1). However, Lattice Yang-Mills theories have indicated that “string solutions” with a symbolic structure form with denoting the Feynman-Wiener continuous sum over all surfaces , with all topological genera and bounded by ; is the fundamental constant of strong force physics called the Regge slope parameter [1]; is the area functional “evaluated” at the sample surface ; is a functional related probably to the existence of a (neutral) nonabelian 2D intrinsic fermions structure on the surface , called the Elfin fermionic functional [1].

It is a consequence of (1.1)-(1.2) that nonabelian gauge theories (even on supersymmetric versions [2]) should be better reformulated as a dynamics of random surfaces (strings theories).

Our aim in this paper is to present in full technical details, added with our original improvements, the work of A. M. Polyakov [1] to give a precise path integral meaning for (1.2) in a 2D gravitational context and only considering the case of trivial surface topology.

We give (also in details) the path integral meaning for the usual case of Nambu-Goto for (1.2) in the pure surface context, our new results [1].

This paper is organized as follows: in Section 2 we survey some basic results of classical surface theory. In Section 3, we expose the physical toy model exactly soluble Polyakov’s framework. In Section 4, we expose the Nambu-Goto theory (our results).

2. Elementary Results on the Classical (Bosonic) Surfaces Theory

A given surface , with a boundary being a curve and embedded into euclidean space time , is usually described by a vector field and a given two-dimensional domain , compatible with the topology of in the case of the surface’s hypothesis smoothness. It is imposed also that such vector field, called from now on surface vector position field, when restricts to the boundary of should be a reparameterization of .

The Nambu-Goto area functional associated to a given surface vector position is given by usual Riemann integral : with denoting the metric tensor induced on the surface (rigorously induced on the surface-manifold tangent bundle) by the parameterization .

The most important property of the functional equation (2.1) is its invariance under the (formal) group of the reparameterizations of . Namely, Here denotes a two-dimensional intrinsic vector field on with everywhere nonzero Jacobian.

Formal Euler-Lagrange equations associated to the surface action functional equation (2.1) can be easily written and produce the boundary value problem on for each -component : where denotes the second-order elliptic operator called Laplace-Beltrami associated to the metric :

If one now choose the conformal gauge for the surface , formally one obtains that the surface vector position satisfies the Dirichlet problem in :

The solution of the above-mentioned potential problem can be exactly given by conformal complex variable theory methods ([2], Chapter 1).

Note that (2.5) produces minimal surfaces (i.e., classical surfaces which minimize the area functional locally) as the associated classical surfaces actions on the Nambu-Goto theory (2.1). Note that all the above-displayed discussion remains correct to the case of general topological genera (i.e., ; here denoting the scalar of curvature associated to the induced metric ).

However, at the classical level, there is a quadratic area functional due to Howe-Brink-Polyakov equivalent to the above result related to the classical aspects Nambu-Goto action. It is the functional associated to a theory of scalar classical massless fields on but interacting with intrinsic (news) dynamical degrees of freedom given by the infinite-dimensional manifold of two-dimensional metrical structures on .

The classically equivalent area action function is now given by the massless fields gravitation content: where belongs to the infinite-dimensional space manifold of all possible metrics admissible by the surface the famous exactly soluble string Polyakov’ model.

That more rich (from a dynamically point of view) surface action functional is now invariant (formally) under the extended group of surface reparameterizations (the group of local diffeomorphism of the surface ): Here the surface’s reparameterization vector fields are such that , a necessary restriction in order to take out from the above written reparameterizations, all those which act on as a simply metrical rescalings. Note that we have imposed further the vector field vanishing at the boundary of (i.e., ). The covariant derivative is usually defined by the Christoffel-Schwartz objects associated to the given metric tensor :

In the important case of the metric field has the conformal form ; the above written objects take the simple forms written below:

Note that one has in addition to the usual reparameterization invariance one further pivotal (point dependent) new symetry called the Weyl conformal symetry which acts solely on the new degree of freedom (with ), crucial for the exactly model solubility: The classical motion equations associated to the Howe-Brink-Polyakov functional are easily written down:

From the last classical motion equation (2.11) for the intrinsic metric field, one obtains the result where the unknown scale can be fixed to be the function . Note that there is the additional boundary condition

Another important classical surface function, probably related to the still not completely understood functional on (1.2), is the so-called extrinsic functional which is defined by the square of the surface mean curvature (see (2.4)): Namely,

In the Polyakov’s version of two-dimensional quantum gravity, the above functional can be replaced by the fourth-order scalar field action: where denote lagrange multipliers insuring that at the classical level .

Boundary conditions to be imposed on the complete action are mathematical subtle in order to guarantee the mathematical good property of strong elliptic of the associated boundary value problem ([3], Chapter 5).

For instance, if one considers the case and the associated biharmonic operator one can associate the following system of boundary operators: Here the meaning of is not so clear as an independent dynamical parameter of the loop (string).

In the following discussions we will always regard the fourth-order actions as effective actions coming from the integrating out fermionic intrinsic degrees of freedom [1].

We left to our readers to prove the Green’s formula for the fourth-order problem equations (2.17a) and (2.17b):

As a further comment and just for the reader’s curiosity, one has an analogue of representing (at least locally) two-dimensional harmonic functions on by analytical complex variable functions; one still has the following representation (not unique!) for biharmonic functions [1, 5]: where and , a pair of complex variable analytic functions on .

If the surface is on and given in “nonparametric form” , we can introduce parametric coordinates , and obtain a result convenient for computations (exercises for the diligent reader); the Gauss curvature is given explicitly by and for the mean curvature, we have the following result:

It is worth to recall that in the important case of a surface embedded in (useful in Surface’s Statistical Physics), but with the general parameterization: the expression for the area functional and the surface extrinsic functional can be given explicitly by (exercise for our diligent readers!) where the surface objects are given by

Finally we remark that one could easily generalize all the above written results to the general case of the initial ambient space being a new general Riemann Manifold . In this case, the “induced” surface metric tensor will be replaced by the new “induced” tensor: on the exposed formulae. The full classical and quantum theory of the surfaces -models can be found in [1].

3. Path Integral Quantization on Polyakov’s Theory of Surface (or How to Quantize 2D Massless Scalar Fields in the Presence of 2D Quantum Gravity)

After exposing some basic concepts of the classical surface theory in Section 2, we now pass to the vital problem of quantization on the formalism of Feynman-Wiener path integrals.

Following R. P. Feynman in his theory of path integration sum over histories, a mathematical meaning for the continuous sum over (now), euclidean quantum (random) surfaces for (1.2), should be given by following path integrals for the Nambu-Goto case and of A. M. Polyakov, respectively, (see (2.1)–(2.6)):

Here and are constants to be identified with certain physical parameters of the theory. Note that has dimension of inverse if mass square and . It is an important remark that the Feynman-Wiener path measures and must be defined in such a way in order to be fully invariant under the action of the local diffeomorphism group of both descriptions (see (2.2) and (2.7)).

We aim now to evaluate explicitly the A. M. Polyakov’s integral equation (3.1b). As a first step one recall that we have imposed the “fluctuating” zero Dirichlet boundary condition for the intrinsic metric field . Those results lead us to the effective action for the surface dynamics weight function:

Since at the classical level, the metric field decouples (one can choose it in the form ) and considers the usual classical plus quantum decomposition , where the quantum correction is such that .

After these preliminaries considerations one is led to evaluate the following covariant path integral (after disregarding classical field contributions to the path integral):

It is worth recalling that there is a classical term (a functional depending on the loop boundary ) coming from the partial integration to arrive at ((3.1a), (3.1b), (3.1c), and (3.1d)) for the case , which clearly does not satisfy the quantum-fluctuating nature of these nonconstant :

The Feynman-Wiener measure on (3.1d) must be chosen in order to be invariant under (2.7). The only local candidate is given by the “weighted” product Feynman measure [1]:

As a consequence the path integral equations ((3.1a), (3.1b), (3.1c), and (3.1d)) turns out to be Gaussian and metric dependent. It yields the immediate result:

We thus have reduced the “explicitly” evaluation of the Polyakov’s path integral to the functional integration of the above written function over all fluctuating metric fields:

By using the theory of invariant integration on Riemann Manifolds of ours [1], one can insure automatically the preservation of the diffeomorphism group by defining the above mentioned metric as the (functional) element of volume of the following functional metric (so-called De Witt metric) with :

Let us then choose the conformal gauge fixing to evaluate the above metric path integral successfully [1], but already considering the metric positivity:

As a result the functional infinitesimal displacements can be written in the following general form on the functional manifold of the metric (on the formal infinite-dimensional functional tangent bundle):

Let us rewrite the functional De-Witt metric in the form

Since there is only three independent components of the metric tensor in two dimensions , the metric coefficients are effectively a matrix on the functional manifold of the intrinsic 2D metric fields:

Here the explicitly expressions of the effective -matrix are related to those of (3.9b) by the results As a consequence

So the De Witt metric on 2D is nonsingular only if .

Let us substitute the general functional displacement equation (3.8) on (3.9a)-(3.9b).

Firstly, we get (one could choose from the beginning on (3.9b)

Let us analyze those terms involving the conformal factor.

By noting that and , added with ; , one obtains the chain of results written below where we have used the covariant by parts, integration rule :

As a consequence we have the full result: where and the Faddeev-Popov operator acting on the two-dimensional vector field generators of the local group of coordinate transformations is explicitly given by

As a consequence the functional volume element is written as Here Just for pedagogical purpose let us evaluate in details the relevant term for the Fadeev-Popov operator in the above formulae.

We have, for instance, the following sample calculation:

As an exercise to our diligent readers, the form of the above elliptic operator in the conformal gauge is given by (action on two-component objects) where we have introduced the complex plane notation and the above displayed operators now acting on complex functions (isomorphic to two-component objects vector fields) [8]:

In [3], we present the explicit evaluation of elliptic operators of the form (for being a positive integer) considered below: The result is

Let us point out the validity of the relationship below:

As our final result of this covariant Polyakov path integral, we get the 2D-induced quantum gravity Liouville model:

Here .

Note that the quantum measure on the above-displayed Liouville model is not the usual flat Feynman measure as initially supposed by A. M. Polyakov.

As a consequence one should rewrite it in terms of the canonical Goldstone boson field which leads us to a kind of “noncompact” -model with a “renormalized” mass term: and signaling the dynamical breaking of the conformal group [1].

Sometimes one can formally consider the variable change in the path measure of (3.27): which would lead to the same expression (3.28) but with the “reduced” anomaly conformal coefficient 26D to 25D, if one could disregard the infinite piece on (3.29) and if the “Fujikawa-like” evaluation of the functional jacobian could be done more invariant. At this point it appears that the above 2D-Liouville-Polyakov path integral only makes sense at the classical level which is formally equivalent to evaluate all the observables in the -theory at the limit of [1]. One can see this after considering the rescale (see Appendix C for a complete analysis of this study):

However, we should point out that all there questions on two-dimensional quantum gravity as a well-defined problem still are not well-understood since its inception in 1981 [1].

Finally it is very important on applications to the Dual model theory for strong interactions (off-shell Scattering Amplitudes) to have a covariant regularized form for the formal Green function of the Beltrami-Laplace operator in the conformal gauge . It is well known from Hadamard theory of parametrix singular solutions that one has the following covariant behavior for the Beltrami-Laplace operator for small distances: This lead us to consider the regularized from of the Green function used on dual models based on the Polyakov’s path integral: Note that we have used the following formulae to write explicitly the functional trace of the general two-dimensional (strongly) elliptic operators [3]:

4. Path-Integral Quantization of the Nambu-Goto Theory of Random Surfaces

In order to give a path integral meaning for the symbolic Feynman continuum sum over surfaces’ histories (3.1a), we start rewriting it in the following Polyakov’v form, but in the presence of a constraint [1]: Note that our constraint is rewritten as a covariant (diffeomorphism) invariant delta functional: where the covariant Feynman-Wiener measure on (4.2) is the element of volume of the functional metric:

After introducing again the complex-euclidean light-cone coordinates on the domain : and imposing the surface conformal gauge , which means that , , or equivalently using light-cone coordinates again,

Now by taking into account the Jacobian relationship between the covariant functional measures and the associated pure Feynman-Wiener-Kac path measures, one obtains the following results.

A careful discussion presented in [1]-chapter 12 leads us to the following result on the surface light-cone gauge (4.5):

Note the usual noncovariant function “flat” constraint relating the surface vector position to the auxiliary metric field on the conformal gauge.

After realizing the immediate functional integral, one gets the final result, after a renormalization of the Regge slope constant , . (It is worth to remark that at a Feynman diagrammatic perturbative level, the measure “tad-pole” factor in (4.7), , can be assigned to in the dimensional regularization scheme):

Now we realize that one must choose or introduce intrinsic Majorana fermions living on those Nambu-Goto random surfaces in order to vanish the nonrenormalizable Liouville surface term. The numbers of such Neutral Majorana 2D fields must be such that on . Note that complex pairing such neutral Majorana fermion one gets eleven complex fermion Dirac fields living on the random surface.

It is worth (all the reader attention that in this framework of Nambu-Goto path integrals on surface light-cone gauge, the vertices are given by object: which are free from tachyons, and so forth.

A complete study of the spectrum of such Nambu-Goto strings with those tachyons-free “geometrical” vertices is still missing in literature and left to our diligent readers.

Similar analysis can be straightforwardly implemented for the extrinsic surface path-integral weight functional equations (2.15)-(2.16).


A. On the Formal Evaluation of the Euclidean Dirac Functional Determinant on Two Dimensions

Let us start by this appendix by considering the euclidean Dirac partition functional on a two-dimensional space time: where the (nonself adjoint) euclidean Dirac operator is explicitly given by (including the massive case!)

The two-dimensional euclidean matrixes on the Dirac operator (A.2) satisfy the relationship below:

Let us note the more suitable redefinition of the euclidean Dirac operator: where the background abelian gauge field configurations are chosen on the landau gauge :

Let us note that (with a undetermined infinite phase!)

Since we have the result thus one can straightforwardly apply the Romanov-Schwartz theorem [1] to write the following (formal) differential equation for the functional determinant under analysis: Here Since , one has the immediate result

In the general nongauge fixed case, one has the result

Let us show in detail the above calculation: So

It is important to remark that if one had used the following self-adjoint Dirac euclidean operator, one would obtain a “Tachyon” (imaginary mass) term for the dynamically generated mass term for the abelian gauge field:

At this point it is worth to recall the Seeley asymptotic expansion for a formal second order operator of the form on :

B. On Atiyah-Singer Index Theorem in the Framework of Feynman

B.1. Pseudoclassical Path Integrals: Author’s Original Remarks

One of the most celebrated (pure) mathematical theorems on modern geometry and topology of compact orientable manifolds on is the so-called index theorem [4]. By the other side, it is widely known that the techniques to obtain such results are extremely intricated and based on the most difficult aspects of the theory of elliptic operators on closed compact orientable -dimensional manifolds (see [5], Chapter 11). Our aim in this section is to somewhat simplify a very important index theorem on the Laplacian operator acting on forms [6].

As in the last reference [6], one can argue that the index of the Laplacian operator acting on differential forms on a -dimensional Riemannian compact orientable manifold is given by the object called supertrace which by its turn can be written as a Grassmannian (supersymmetric) euclidean path integral [4]:

An important remark to be done now originally due to ourselves [7] is about the “bosonic” behavior of the Grassmannian composite products as can be easily verified from the computation below (; ):

On the basis of the above made remark (B.2) one can rewrite the Grassmannian path integral equation (B.1) in the terms of “composite bosonic operators” [8]:

After integrating the Grassmannian variables , one gets the below written functional determinant as outcome (prove it with the definition , here denotes the heaviside step function-distribution):

Now the functional integral is Gaussian and yields the result