No Arabic abstract
We construct explicitly generators of projectable four-dimensional diffeomorphisms and triad rotation gauge symmetries in a model of vacuum gravity where the fundamental dynamical variables in a Palatini formulation are taken to be a lapse, shift, densitized triad, extrinsic curvature, and the time-like components of the Ricci rotation coefficient. Time-foliation-altering diffeomorphisms are not by themselves projectable under the Legendre transformations. They must be accompanied by a metric- and triad-dependent triad rotation. The phase space on which these generators act includes all of the gauge variables of the model.
It might seem that a choice of a time coordinate in Hamiltonian formulations of general relativity breaks the full four-dimensional diffeomorphism covariance of the theory. This is not the case. We construct explicitly the complete set of gauge generators for Ashtekars formulation of canonical gravity. The requirement of projectability of the Legendre map from configuration-velocity space to phase space renders the symmetry group a gauge transformation group on configuration-velocity variables. Yet there is a sense in which the full four-dimensional diffeomorphism group survives. Symmetry generators serve as Hamiltonians on members of equivalence classes of solutions of Einsteins equations and are thus intimately related to the so-called problem of time in an eventual quantum theory of gravity.
We implement a spatially fixed mesh refinement under spherical symmetry for the characteristic formulation of General Relativity. The Courant-Friedrich-Levy (CFL) condition lets us deploy an adaptive resolution in (retarded-like) time, even for the nonlinear regime. As test cases, we replicate the main features of the gravitational critical behavior and the spacetime structure at null infinity using the Bondi mass and the News function. Additionally, we obtain the global energy conservation for an extreme situation, i.e. in the threshold of the black hole formation. In principle, the calibrated code can be used in conjunction with an ADM 3+1 code to confirm the critical behavior recently reported in the gravitational collapse of a massless scalar field in an asymptotic anti-de Sitter spacetime. For the scenarios studied, the fixed mesh refinement offers improved runtime and results comparable to code without mesh refinement.
We apply the 1+1+2 covariant approach to describe a general static and spherically symmetric relativistic stellar object which contains two interacting fluids. We then use the 1+1+2 equations to derive the corresponding Tolman-Oppenheimer-Volkoff (TOV) equations in covariant form in the isotropic, non-interacting case. These equations are used to obtain new exact solutions by means of direct resolution and reconstruction techniques. Finally, we show that the generating theorem known for the single fluid case can also be used to obtain two-fluid solutions from single fluid ones.
We describe a numerical code that solves Einsteins equations for a Schwarzschild black hole in spherical symmetry, using a hyperbolic formulation introduced by Choquet-Bruhat and York. This is the first time this formulation has been used to evolve a numerical spacetime containing a black hole. We excise the hole from the computational grid in order to avoid the central singularity. We describe in detail a causal differencing method that should allow one to stably evolve a hyperbolic system of equations in three spatial dimensions with an arbitrary shift vector, to second-order accuracy in both space and time. We demonstrate the success of this method in the spherically symmetric case.
We discuss reality conditions and the relation between spacetime diffeomorphisms and gauge transformations in Ashtekars complex formulation of general relativity. We produce a general theoretical framework for the stabilization algorithm for the reality conditions, which is different from Diracs method of stabilization of constraints. We solve the problem of the projectability of the diffeomorphism transformations from configuration-velocity space to phase space, linking them to the reality conditions. We construct the complete set of canonical generators of the gauge group in the phase space which includes all the gauge variables. This result proves that the canonical formalism has all the gauge structure of the Lagrangian theory, including the time diffeomorphisms.