arXiv subjects
Publications and source records attributed to Abhay Ashtekar.
It is shown that there is an interesting interplay between self-duality, loop representation and knots invariants in the quantum theory of Maxwell fields in Minkowski space-time. Specifically, in the loop representation based on self-dual connections, the measure that dictates the inner product can be expressed as the Gauss linking number of thickened loops.
A closed expression of the Euclidean Wilson-loop functionals is derived for pure Yang-Mills continuum theories with gauge groups $SU(N)$ and $U(1)$ and space-time topologies $\Rl^1\times\Rl^1$ and $\Rl^1\times S^1$. (For the $U(1)$ theory, we also consider the $S^1\times S^1$ topology.) The treatment is rigorous, manifestly gauge invariant, manifestly invariant under area preserving diffeomorphisms and handles all (piecewise analytic) loops in one stroke. Equivalence between the resulting Euclidean theory and and the Hamiltonian framework is then established. Finally, an extension of the Osterwalder-Schrader axioms for gauge theories is proposed. These axioms are satisfied for the present model.
Over the past five years, there has been significant progress on the problem of quantization of diffeomorphism covariant field theories with {\it local} degrees of freedom. The absence of a background space-time metric in these theories gives rise to a host of conceptual and technical difficulties because most of the familiar methods from axiomatic, constructive and perturbative quantum field theory are no longer applicable. Perhaps the most striking examples of these problems arise in the construction of a quantum field theory of geometry. We show that these problems can be tackled using new non-perturbative methods. In particular, one can rigorously define certain geometric operators and show that their spectrum is discrete. Thus, there is a precise sense in which the geometry is quantized at the Planck scale and the continuum picture is only a coarse-grained approximation.
In a quantum mechanical treatment of gauge theories (including general relativity), one is led to consider a certain completion, $\agb$, of the space $\ag$ of gauge equivalent connections. This space serves as the quantum configuration space, or, as the space of all Euclidean histories over which one must integrate in the quantum theory. $\agb$ is a very large space and serves as a ``universal home'' for measures in theories in which the Wilson loop observables are well-defined. In this paper, $\agb$ is considered as the projective limit of a projective family of compact Hausdorff manifolds, labelled by graphs (which can be regarded as ``floating lattices'' in the physics terminology). Using this characterization, differential geometry is developed through algebraic methods. In particular, we are able to introduce the following notions on $\agb$: differential forms, exterior derivatives, volume forms, vector fields and Lie brackets between them, divergence of a vector field with respect to a volume form, Laplacians and associated heat kernels and heat kernel measures. Thus, although $\agb$ is very large, it is small enough to be mathematically interesting and physically useful. A key feature of this approach is that it does not require a background metric. The geometrical framework is therefore well-suited for diffeomorphism invariant theories such as quantum general relativity.
Over the last two years, the canonical approach to quantum gravity based on connections and triads has been put on a firm mathematical footing through the development and application of a new functional calculus on the space of gauge equivalent connections. This calculus does not use any background fields (such as a metric) and is thus well-suited to a fully non-perturbative treatment of quantum gravity. Using this framework, quantum geometry is examined. Fundamental excitations turn out to be one-dimensional, rather like polymers. Geometrical observables such as areas of surfaces and volumes of regions have purely discrete spectra. Continuum picture arises only upon coarse graining of suitable semi-classical states. Next, regulated quantum diffeomorphism constraints can be imposed in an anomaly-free fashion and the space of solutions can be given a natural Hilbert space structure. Progress has also been made on the quantum Hamiltonian constraint in a number of directions. In particular, there is a recent approach based on a generalized Wick transformation which maps solutions to the Euclidean quantum constraints to those of the Lorentzian theory. These developments are summarized. Emphasis is on conveying the underlying ideas and overall pictures rather than technical details.
Using a key observation due to Thiemann, a generalized Wick transform is introduced to map the constraint functionals of Riemannian general relativity to those of the Lorentzian theory, including matter sources. This opens up a new avenue within ``connection-dynamics'' where one can work, throughout, only with real variables. The resulting quantum theory would then be free of complicated reality conditions. Ramifications of this development to the canonical quantization program are discussed.
Quantization of diffeomorphism invariant theories of connections is studied. A solutions of the diffeomorphism constraints is found. The space of solutions is equipped with an inner product that is shown to satisfy the physical reality conditions. This provides, in particular, a quantization of the Husain-Kuchař model. The main results also pave way to quantization of other diffeomorphism invariant theories such as general relativity. In the Riemannian case (i.e., signature ++++), the approach appears to contain all the necessary ingredients already. In the Lorentzian case, it will have to combined in an appropriate fashion with a coherent state transform to incorporate complex connections.
The Segal-Bargmann transform plays an important role in quantum theories of linear fields. Recently, Hall obtained a non-linear analog of this transform for quantum mechanics on Lie groups. Given a compact, connected Lie group $G$ with its normalized Haar measure $μ_H$, the Hall transform is an isometric isomorphism from $L^2(G, μ_H)$ to ${\cal H}(G^{\Co})\cap L^2(G^{\Co}, ν)$, where $G^{\Co}$ the complexification of $G$, ${\cal H}(G^{\Co})$ the space of holomorphic functions on $G^{\Co}$, and $ν$ an appropriate heat-kernel measure on $G^{\Co}$. We extend the Hall transform to the infinite dimensional context of non-Abelian gauge theories by replacing the Lie group $G$ by (a certain extension of) the space ${\cal A}/{\cal G}$ of connections modulo gauge transformations. The resulting ``coherent state transform'' provides a holomorphic representation of the holonomy $C^\star$ algebra of real gauge fields. This representation is expected to play a key role in a non-perturbative, canonical approach to quantum gravity in 4-dimensions.
After a brief chronological sketch of developments in non-perturbative canonical quantum gravity, some of the recent mathematical results are reviewed. These include: i) an explicit construction of the quantum counterpart of Wheeler's superspace; ii) a rigorous procedure leading to the general solution of the diffeomorphism constraint in quantum geometrodynamics as well as connection dynamics; and, iii) a scheme to incorporate the reality conditions in quantum connection dynamics. Furthermore, there is a new language to formulate the central questions and techniques to answer them. These developments put the program on a sounder footing and, in particular, address certain concerns and reservations about consistency of the overall scheme.
A general framework for integration over certain infinite dimensional spaces is first developed using projective limits of a projective family of compact Hausdorff spaces. The procedure is then applied to gauge theories to carry out integration over the non-linear, infinite dimensional spaces of connections modulo gauge transformations. This method of evaluating functional integrals can be used either in the Euclidean path integral approach or the Lorentzian canonical approach. A number of measures discussed are diffeomorphism invariant and therefore of interest to (the connection dynamics version of) quantum general relativity. The account is pedagogical; in particular prior knowledge of projective techniques is not assumed. (For the special JMP issue on Functional Integration, edited by C. DeWitt-Morette.)
{\sl A Hamiltonian framework for 2+1 dimensional gravity coupled with matter (satisfying positive energy conditions) is considered in the asymptotically flat context. It is shown that the total energy of the system is non-negative, vanishing if and only if space-time is (globally) Minkowskian. Furthermore, contrary to one's experience with usual field theories, the Hamiltonian is} {\rm bounded from above}. This is a genuinely non-perturbative result. {\sl In the presence of a space-like Killing field, 3+1 dimensional vacuum general relativity is equivalent to 2+1 dimensional general relativity coupled to certain matter fields. Therefore, our expression provides, in particular, a formula for energy per-unit length (along the symmetry direction) of gravitational waves with a space-like symmetry in 3+1 dimensions. A special case is that of cylindrical waves which have two hypersurface orthogonal, space-like Killing fields. In this case, our expression is related to the ``c-energy'' in a non-polynomial fashion. While in the weak field limit, the two agree, in the strong field regime they differ significantly. By construction, our expression yields the generator of the time-translation in the full theory, and therefore represents the physical energy in the gravitational field.} \footnote{$^1$}{This is a detailed account of the results presented in the Brill-Misner symposium at the University of Maryland in May1993}
A summary of the known results on integration theory on the space of connections modulo gauge transformations is presented and its significance to quantum theories of gauge fields and gravity is discussed. The emphasis is on the underlying ideas rather than the technical subtleties.
This article is based on an invited talk given at the Workshop on Mathematical Physics Towards XXIst Century, held at Beer-Sheva, Israel in 1993. It contains an introduction to quantum gravity for mathematical physicists with an emphasis on the difference between the structure of this theory from more familiar, Minkowskian quantum field theories which arise due to the absence of a background space-time geometry.
This report is based on the talk given by the author in the concluding session of the workshop on Canonical Methods in Classical and Quantum General Relativity, held a Bad-Honef, Germany, in September 93. It contains an assessment of the canonical approach in general, an overview of recent developments within the canonical approach based on connections and loops, and some suggestions for future work.
Integral calculus on the space of gauge equivalent connections is developed. Loops, knots, links and graphs feature prominently in this description. The framework is well--suited for quantization of diffeomorphism invariant theories of connections. The general setting is provided by the abelian C* algebra of functions on the quotient space of connections generated by Wilson loops (i.e., by the traces of holonomies of connections around closed loops). The representation theory of this algebra leads to an interesting and powerful ``duality'' between gauge--equivalence classes of connections and certain equivalence classes of closed loops. In particular, regular measures on (a suitable completion of) connections/gauges are in 1--1 correspondence with certain functions of loops and diffeomorphism invariant measures correspond to (generalized) knot and link invariants. By carrying out a non--linear extension of the theory of cylindrical measures on topological vector spaces, a faithful, diffeomorphism invariant measure is introduced. This measure can be used to define the Hilbert space of quantum states in theories of connections. The Wilson--loop functionals then serve as the configuration operators in the quantum theory.
The structure of the moduli spaces $\M := \A/\G$ of (all, not just flat) $SL(2,C)$ and $SU(1,1)$ connections on a n-manifold is analysed. For any topology on the corresponding spaces $\A$ of all connections which satisfies the weak requirement of compatibility with the affine structure of $\A$, the moduli space $\M$ is shown to be non-Hausdorff. It is then shown that the Wilson loop functionals --i.e., the traces of holonomies of connections around closed loops-- are complete in the sense that they suffice to separate all separable points of $\M$. The methods are general enough to allow the underlying n-manifold to be topologically non-trivial and for connections to be defined on non-trivial bundles. The results have implications for canonical quantum general relativity in 4 and 3 dimensions.
In several of the class A Bianchi models, minisuperspaces admit symmetries. It is pointed out that they can be used effectively to complete the Dirac quantization program. The resulting quantum theory provides a useful platform to investigate a number of conceptual and technical problems of quantum gravity.
A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit expressions of Dirac observables, i.e.\ phase space functions which commute weakly with the constraint. This, in turn, enables us to carry out a general quantization program to completion. We are also able to address the issue of time through ``deparametrization'' and discuss physical questions such as the fate of initial singularities in the quantum theory. We find that they persist in the quantum theory {\it inspite of the fact that the evolution is implemented by a 1-parameter family of unitary transformations}. Finally, certain of these models admit conditional symmetries which are explicit already prior to the canonical transformation. These can be used to pass to quantum theory following an independent avenue. The two quantum theories --based, respectively, on Dirac observables in the new canonical variables and conditional symmetries in the original ADM variables-- are compared and shown to be equivalent.