A Deformation Theory of Self-Dual Einstein Spaces

The self-dual Einstein equations on a compact Riemannian 4-manifold can be expressed as a quadratic condition on the curvature of an $SU(2)$ (spin) connection which is a covariant generalization of the self-dual Yang-Mills equations. Local properties of the moduli space of self-dual Einstein connections are described in the context of an elliptic complex which arises in the linearization of the quadratic equations on the $SU(2)$ curvature. In particular, it is shown that the moduli space is discrete when the cosmological constant is positive; when the cosmological constant is negative the moduli space can be a manifold the dimension of which is controlled by the Atiyah-Singer index theorem.Comment: 13 page

Natural Symmetries of the Yang-Mills Equations

We define a natural generalized symmetry of the Yang-Mills equations as an infinitesimal transformation of the Yang-Mills field, built in a local, gauge invariant, and Poincar\'e invariant fashion from the Yang-Mills field strength and its derivatives to any order, which maps solutions of the field equations to other solutions. On the jet bundle of Yang-Mills connections we introduce a spinorial coordinate system that is adapted to the solution subspace defined by the Yang-Mills equations. In terms of this coordinate system the complete classification of natural symmetries is carried out in a straightforward manner. We find that all natural symmetries of the Yang-Mills equations stem from the gauge transformations admitted by the equations.Comment: 23 pages, plain Te

The Problems of Time and Observables: Some Recent Mathematical Results

We present 2 recent results on the problems of time and observables in canonical gravity. (1) We cannot use parametrized field theory to solve the problem of time because, strictly speaking, general relativity is not a parametrized field theory. (2) We show that there are essentially no local observables for vacuum spacetimes.Comment: Talk presented at the Lanczos Centenary Conference 3 pages, plain Te

Spinors, Jets, and the Einstein Equations

Many important features of a field theory, {\it e.g.}, conserved currents, symplectic structures, energy-momentum tensors, {\it etc.}, arise as tensors locally constructed from the fields and their derivatives. Such tensors are naturally defined as geometric objects on the jet space of solutions to the field equations. Modern results from the calculus on jet bundles can be combined with a powerful spinor parametrization of the jet space of Einstein metrics to unravel basic features of the Einstein equations. These techniques have been applied to computation of generalized symmetries and ``characteristic cohomology'' of the Einstein equations, and lead to results such as a proof of non-existence of ``local observables'' for vacuum spacetimes and a uniqueness theorem for the gravitational symplectic structure.Comment: to appear in the proceedings of the Sixth Canadian Conference on General Relativity and Relativistic Astrophysics, 13 pages, uses AMSTeX and AMSppt.st

Observables for the polarized Gowdy model

We give an explicit characterization of all functions on the phase space for the polarized Gowdy 3-torus spacetimes which have weakly vanishing Poisson brackets with the Hamiltonian and momentum constraint functions.Comment: 11 page

Local cohomology in field theory (with applications to the Einstein equations)

This is an introductory survey of the theory of $p$-form conservation laws in field theory. It is based upon a series of lectures given at the Second Mexican School on Gravitation and Mathematical Physics held in Tlaxcala, Mexico from December 1--7, 1996. Proceedings available online at http://kaluza.physik.uni-konstanz.de/2MS/ProcMain.html.Comment: plain TeX, 38 page

Schrodinger representation for the polarized Gowdy model

The polarized ${\bf T}^3$ Gowdy model is, in a standard gauge, characterized by a point particle degree of freedom and a scalar field degree of freedom obeying a linear field equation on ${\bf R}\times{\bf S}^1$. The Fock representation of the scalar field has been well-studied. Here we construct the Schrodinger representation for the scalar field at a fixed value of the Gowdy time in terms of square-integrable functions on a space of distributional fields with a Gaussian probability measure. We show that ``typical'' field configurations are slightly more singular than square-integrable functions on the circle. For each time the corresponding Schrodinger representation is unitarily equivalent to the Fock representation, and hence all the Schrodinger representations are equivalent. However, the failure of unitary implementability of time evolution in this model manifests itself in the mutual singularity of the Gaussian measures at different times.Comment: 13 page

Covariant Phase Space Formulation of Parametrized Field Theories

Parametrized field theories, which are generally covariant versions of ordinary field theories, are studied from the point of view of the covariant phase space: the space of solutions of the field equations equipped with a canonical (pre)symplectic structure. Motivated by issues arising in general relativity, we focus on: phase space representations of the spacetime diffeomorphism group, construction of observables, and the relationship between the canonical and covariant phase spaces.Comment: 22 page

The Helically-Reduced Wave Equation as a Symmetric-Positive System

Motivated by the partial differential equations of mixed type that arise in the reduction of the Einstein equations by a helical Killing vector field, we consider a boundary value problem for the helically-reduced wave equation with an arbitrary source in 2+1 dimensional Minkowski spacetime. The reduced equation is a second-order partial differential equation which is elliptic inside a disk and hyperbolic outside the disk. We show that the reduced equation can be cast into symmetric-positive form. Using results from the theory of symmetric-positive differential equations, we show that this form of the helically-reduced wave equation admits unique, strong solutions for a class of boundary conditions which include Sommerfeld conditions at the outer boundary.Comment: 18 pages, plain TeX, to appear in Journal of Mathematical Physic