Geometrical Hyperbolic Systems for General Relativity and Gauge Theories

The evolution equations of Einstein's theory and of Maxwell's theory---the latter used as a simple model to illustrate the former--- are written in gauge covariant first order symmetric hyperbolic form with only physically natural characteristic directions and speeds for the dynamical variables. Quantities representing gauge degrees of freedom [the spatial shift vector $\beta^{i}(t,x^{j})$ and the spatial scalar potential $\phi(t,x^{j})$, respectively] are not among the dynamical variables: the gauge and the physical quantities in the evolution equations are effectively decoupled. For example, the gauge quantities could be obtained as functions of $(t,x^{j})$ from subsidiary equations that are not part of the evolution equations. Propagation of certain (``radiative'') dynamical variables along the physical light cone is gauge invariant while the remaining dynamical variables are dragged along the axes orthogonal to the spacelike time slices by the propagating variables. We obtain these results by $(1)$ taking a further time derivative of the equation of motion of the canonical momentum, and $(2)$ adding a covariant spatial derivative of the momentum constraints of general relativity (Lagrange multiplier $\beta^{i}$) or of the Gauss's law constraint of electromagnetism (Lagrange multiplier $\phi$). General relativity also requires a harmonic time slicing condition or a specific generalization of it that brings in the Hamiltonian constraint when we pass to first order symmetric form. The dynamically propagating gravity fields straightforwardly determine the ``electric'' or ``tidal'' parts of the Riemann tensor.Comment: 24 pages, latex, no figure

Conformal ``thin sandwich'' data for the initial-value problem of general relativity

The initial-value problem is posed by giving a conformal three-metric on each of two nearby spacelike hypersurfaces, their proper-time separation up to a multiplier to be determined, and the mean (extrinsic) curvature of one slice. The resulting equations have the {\it same} elliptic form as does the one-hypersurface formulation. The metrical roots of this form are revealed by a conformal ``thin sandwich'' viewpoint coupled with the transformation properties of the lapse function.Comment: 7 pages, RevTe

Constraints and evolution in cosmology

We review some old and new results about strict and non strict hyperbolic formulations of the Einstein equations.Comment: To appear in the proceedings of the first Aegean summer school in General Relativity, S. Cotsakis ed. Springer Lecture Notes in Physic

Hamiltonian Time Evolution for General Relativity

Hamiltonian time evolution in terms of an explicit parameter time is derived for general relativity, even when the constraints are not satisfied, from the Arnowitt-Deser-Misner-Teitelboim-Ashtekar action in which the slicing density $\alpha(x,t)$ is freely specified while the lapse $N=\alpha g^{1/2}$ is not. The constraint ``algebra'' becomes a well-posed evolution system for the constraints; this system is the twice-contracted Bianchi identity when $R_{ij}=0$. The Hamiltonian constraint is an initial value constraint which determines $g^{1/2}$ and hence $N$, given $\alpha$.Comment: 4 pages, revtex, to appear in Phys. Rev. Let

Fields in Nonaffine Bundles. I. The general bitensorially covariant differentiation procedure

The standard covariant differentiation procedure for fields in vector bundles is generalised so as to be applicable to fields in general nonaffine bundles in which the fibres may have an arbitrary nonlinear structure. In addition to the usual requirement that the base space should be flat or endowed with its own linear connection, and that there should be an ordinary gauge connection on the bundle, it is necessary to require also that there should be an intrinsic, bundle-group invariant connection on the fibre space. The procedure is based on the use of an appropriate primary-field (i.e. section) independent connector that is constructed in terms of the natural fibre-tangent-vector realisation of the gauge connection. The application to gauged harmonic mappings will be described in a following article.Comment: 17 page Latex file with some minor misprint corrections and added color for article originally published in black and whit

General structure of the solutions of the Hamiltonian constraints of gravity

A general framework for the solutions of the constraints of pure gravity is constructed. It provides with well defined mathematical criteria to classify their solutions in four classes. Complete families of solutions are obtained in some cases. A starting point for the systematic study of the solutions of Einstein gravity is suggested.Comment: 17 pages, LaTeX, submitted to International J. of Geom. Meth. in Modern Physics. Added comments in the last sectio

Proof of the Thin Sandwich Conjecture

We prove that the Thin Sandwich Conjecture in general relativity is valid, provided that the data $(g_{ab},\dot g_{ab})$ satisfy certain geometric conditions. These conditions define an open set in the class of possible data, but are not generically satisfied. The implications for the ``superspace'' picture of the Einstein evolution equations are discussed.Comment: 8 page

Tetrads in SU(3) X SU(2) X U(1) Yang-Mills geometrodynamics

The relationship between gauge and gravity amounts to understanding underlying new geometrical local structures. These structures are new tetrads specially devised for Yang-Mills theories, Abelian and Non-Abelian in four-dimensional Lorentzian spacetimes. In the present manuscript a new tetrad is introduced for the Yang-Mills SU(3) X SU(2) X U(1) formulation. These new tetrads establish a link between local groups of gauge transformations and local groups of spacetime transformations. New theorems are proved regarding isomorphisms between local internal SU(3) X SU(2) X U(1) groups and local tensor products of spacetime LB1 and LB2 groups of transformations. The new tetrads and the stress-energy tensor allow for the introduction of three new local gauge invariant objects. Using these new gauge invariant objects and in addition a new general local duality transformation, a new algorithm for the gauge invariant diagonalization of the Yang-Mills stress-energy tensor is developed.Comment: There is a new appendix. The unitary transformations by local SU(2) subgroup elements of a local group coset representative is proved to be a new local group coset representative. This proof is relevant to the study of the memory of the local tetrad SU(3) generated gauge transformations. Therefore, it is also relevant to the group theorems proved in the paper. arXiv admin note: substantial text overlap with arXiv:gr-qc/060204

Covariant Poisson equation with compact Lie algebras

The covariant Poisson equation for Lie algebra-valued mappings defined in 3-dimensional Euclidean space is studied using functional analytic methods. Weighted covariant Sobolev spaces are defined and used to derive sufficient conditions for the existence and smoothness of solutions to the covariant Poisson equation. These conditions require, apart from suitable continuity, appropriate local integrability of the gauge potentials and global weighted integrability of the curvature form and the source. The possibility of nontrivial asymptotic behaviour of a solution is also considered. As a by-product, weighted covariant generalisations of Sobolev embeddings are established.Comment: 31 pages, LaTeX2

The constraint equations for the Einstein-scalar field system on compact manifolds

We study the constraint equations for the Einstein-scalar field system on compact manifolds. Using the conformal method we reformulate these equations as a determined system of nonlinear partial differential equations. By introducing a new conformal invariant, which is sensitive to the presence of the initial data for the scalar field, we are able to divide the set of free conformal data into subclasses depending on the possible signs for the coefficients of terms in the resulting Einstein-scalar field Lichnerowicz equation. For many of these subclasses we determine whether or not a solution exists. In contrast to other well studied field theories, there are certain cases, depending on the mean curvature and the potential of the scalar field, for which we are unable to resolve the question of existence of a solution. We consider this system in such generality so as to include the vacuum constraint equations with an arbitrary cosmological constant, the Yamabe equation and even (all cases of) the prescribed scalar curvature problem as special cases.Comment: Minor changes, final version. To appear: Classical and Quantum Gravit