The gauge polyvalence of a new numerical code is tested, both in harmonic-coordinate simulations (gauge-waves testbed) and in singularity-avoiding coordinates (simple Black-Hole simulations, either with or without shift). The code is built upon an adjusted first-order flux-conservative version of the Z4 formalism and a recently proposed family of robust finite-difference high-resolution algorithms. An outstanding result is the long-term evolution (up to 1000M) of a Black-Hole in normal coordinates (zero shift) without excision.
Some conceptual issues concerning general invariant theories, with special emphasis on general relativity, are analyzed. The common assertion that observables must be required to be gauge invariant is examined in the light of the role played by a system of observers. Some features of the reduction of the gauge group are discussed, including the fact that in the process of a partial gauge fixing the reduction at the level of the gauge group and the reduction at the level of the variational principle do not commute. Distinctions between the mathematical and the physical concept of gauge symmetry…
Numerical relativity describes a discrete initial value problem for general relativity. A choice of gauge involves slicing space-time into space-like hypersurfaces. This introduces past and future gauge relative to the hypersurface of present time. Here, we propose solving the discretized Einstein equations with a choice of gauge in the future and a dynamical gauge in the past. The method is illustrated on a polarized Gowdy wave.
We present a mathematical characterization of hyperbolic gauge pathologies in general relativity and electrodynamics. We show how non-linear gauge terms can produce a blow-up along characteristics and how this can be identified numerically by performing convergence analysis. Finally, we show some numerical examples and discuss the profound implications this may have for the field of numerical relativity.
The quantum gauge general relativity is proposed in the framework of quantum gauge theory of gravity. It is formulated based on gauge principle which states that the correct symmetry for gravitational interactions should be gravitational gauge symmetry. The gravitational gauge group is studied in the paper. Then gravitational gauge interactions of pure gravitational gauge field is studied. It is found that the field equation of gravitational gauge field is just the Einstein's field equation. After that, the gravitational interactions of scalar field, Dirac field and vector fields are studied, …
Based in the framework of article (arXiv:1609.02110), where we have presented the general problems one encounters in the construction of balanced equations of motions for particles in relativistic theories of gravity, we present in this work the explicit balanced equations of motion for a compact object in general relativity in the harmonic gauge.
Gauge fields associated to the Dirac matrix algebra used with the standard quadratic gauge field Lagrangian lead to an extended gravitational Lagrangian which includes the Einstein-Hilbert one, plus quadratic, cosmological constant and torsion terms. This note looks at three cases : the static central symmetric field, the isotropic expanding universe, and the asymptotic field of a rotating body, and show that, in weak gravitational fields, there is no contradiction with General Relativity results.
Firstly, we present a reformulation of the standard canonical approach to spherically symmetric systems in which the radial gauge is imposed. This is done via the gauge unfixing technique, which serves as the exposition in the context of the radial gauge. Secondly, we apply the same techniques to the full theory, without assuming spherical symmetry, resulting in a reduced phase space description of general relativity. The canonical structure of the theory is analyzed.
A new formalism for spinors on curved spaces is developed in the framework of variational calculus on fibre bundles. The theory has the same structure of a gauge theory and describes the interaction between the gravitational field and spinors. An appropriate gauge structure is also given to General Relativity, replacing the metric field with spin frames. Finally, conserved quantities and superpotentials are calculated under a general covariant form.
Path integral quantization of quantum gauge general relativity is discussed in this paper. First, we deduce the generating functional of green function with external fields. Based on this generating functional, the propagators of gravitational gauge field and related ghost field are deduced. Then, we calculate Feynman rules of various interaction vertices of three or four gravitational gauge fields and vertex between ghost field and gravitational gauge field. Results in this paper are the bases of calculating vacuum polarization of gravitational gauge field and vertex correction of gravitation…
We show in a new way that the general relativity action (and Lagrangian)in recent Einstein-Palatini formulation is equivalent in four dimensions to the action (and Lagrangian) of a gauge field. This paper is a continuation of the previous paper [17] and it also gives an amended version of the lecture delivered by one of the authors [M.D.] at Hypercomplex Seminar in Bedlewo.
An almost-stationary gauge condition is proposed with a view to Numerical Relativity applications. The time lines are defined as the integral curves of the timelike solutions of the harmonic almost-Killing equation. This vector equation is derived by a variational principle, by minimizing the deviations from isometry. The corresponding almost-stationary gauge condition allows one to put the field equations in hyperbolic form, both in the free-evolution ADM and in the Z4 formalisms.
The simplest variant of gauge gravitation theory in Riemann-Cartan spacetime leading to the solution of the problem of cosmological singularity and dark energy problem is investigated. It is shown that this theory by certain restrictions on indefinite parameters of gravitational Lagrangian in the case of usual gravitating systems leads to Einstein gravitational equations with effective cosmological constant.
We present a parameter-free gauge formulation of general relativity in terms of a new set of real spin connection variables. The theory is constructed by extending the phase space of the recently formulated conformal geometrodynamics for canonical gravity to accommodate a spin gauge description. This leads to a further enlarged set of first class gravitational constraints consisting of a reduced Hamiltonian constraint and the canonical generators for spin gauge and conformorphism transformations. Owing to the incorporated conformal symmetry, the new theory is shown to be free from an ambiguity…
In this paper it is implemented how to make compatible the boundary conditions and the gauge fixing conditions for complex general relativity written in terms of Ashtekar variables using the Henneaux-Teitelboim-Vergara approach. Moreover, it is found that at first order in the gauge parameters, the Hamiltonian action is (on shell) fully gauge-invariant under the gauge symmetry generated by the first class constraints in the case when spacetime $\cal M$ has the topology ${\cal M}= R \times Σ$ and $Σ$ has no boundary. Thus, the statement that the constraints linear in the momenta do not contribu…
The gauge theoretical formulation of general relativity is presented. We are only concerned with local intrinsic geometry, i.e. our space-time is an open subset of a four-dimensional real vector space. Then the gauge group is the set of differentiable maps from this open subset into the general linear group or into the Lorentz group or into its spin cover.
In the paper we show that the general relativity action (and Lagrangian) in recent Einstein-Palatini formulation is equivalent to the action (and Langrangian) of a gauge field. We begin with a bit of information of the Einstein-Palatini (EP) action, then we present how Einstein fields equations can be derived from it. In the next section, we consider Einstein-Palatini action integral for general relativity with a positive cosmological constant $Λ$ in terms of $\hat{F}$, the curvature of the affine connection's pulled back from de Sitter bundle to Lorentz bundle. We will see that in terms of $\…
We study how the changes of coordinates between the class of harmonic coordinates affect the analitycal solutions of Einstein's equations and we apply it to an analytical approach for stationary and axisymmetric solutions of Einstein equation used by the authors \cite{cmmr}, \cite{cugmmr} to solve the problem of a self-gravitating rigidly rotating perfect fluid compact source.
A gauge theory of the Lorentz group with a mass-dimension one gauge field coupling to matter of any spin is developed. As a completely new feature the "Vierbein" assuring local gauge invariance enters not as an independent dynamical field, but emerges as a functional of the Lorentz gauge field. The underlying geometry of the theory turns out to be a $SO(1,3)$ Banach bundle. The most general action which is renormalizable by power-counting is constructed in terms of the gauge field and its first derivatives. It contains no higher derivative terms in the gauge field which destroy unitarity in th…
We consider gauge theories from the free evolution point of view, in which initial data satisfying constraints of a theory are given. Because the constraints are compatible with the field equations they remain so. We study a model constrained Hamiltonian theory and identify a particular structure in the equations of motion which we call the standard gauge freedom. The pure gauge subsystem of this model theory is identified and the manner in which the gauge variables couple to the field equations is presented. We demonstrate that the set of gauge choices that can be coupled to the field equatio…
We present a convenient null gauge for the construction of the balanced equations of motion. This null gauge has the property that the asymptotic structure is intimately related to the interior one; in particular there is a strong connexion between the field equation and the balanced equations of motion. We present the balanced equations of motion in second order of the acceleration. We solve the required components of the field equation at their respective required orders, $G^2$ and $G^3$. We indicate how this approach can be extended to higher orders.
We present a general approach to the analysis of gauge stability of 3+1 formulations of General Relativity (GR). Evolution of coordinate perturbations and the corresponding perturbations of lapse and shift can be described by a system of eight quasi-linear partial differential equations. Stability with respect to gauge perturbations depends on a choice of gauge and a background metric, but it does not depend on a particular form of a 3+1 system if its constrained solutions are equivalent to those of the Einstein equations. Stability of a number of known gauges is investigated in the limit of s…
We discuss a set of relations, set in the form of results, conjectures and problems, between the L^{2}-norm of the Ricci curvature of a 3-manifold, the scalar curvature and the volume radius. We illustrate the scope of these relations with potential applications to the Einstein Constant Mean Curvature flow (or GR seen as a geometric flow of constant mean curvature), but we believe the framework has it own geometric interest.
One of the main features of covariant theories, in particular general relativity, is that the field equation possesses gauge freedom associated with global diffeomorphisms of the underlying manifold. I shall explain here how the hole argument is a reflection of this gauge freedom. Finally I shall point out some implications of the hole argument and extend the hole argument to the case of permutable theories. As covariant theories provides a general mathematical framework for classical physics, permutable theories provide the language for quantum physics. Permutable theories are defined functor…
Using a constrained formalism for Einstein equations in Dirac gauge, we propose to compute excised quasistationary initial data for black hole spacetimes in full general relativity. Vacuum spacetime settings are numerically constructed by using the isolated horizon formalism; we especially tackle the conformal metric part of our equations, assuming global stationarity. We show that a no-boundary treatment can be used on the horizon for the equation related to the conformal metric. We relate this finding to previous suggestions in the literature, and use our results to assess the widely used co…
By writing the complete set of $3 + 1$ (ADM) equations for linearized waves, we are able to demonstrate the properties of the initial data and of the evolution of a wave problem set by Alcubierre and Schutz. We show that the gauge modes and constraint error modes arise in a straightforward way in the analysis, and are of a form which will be controlled in any well specified convergent computational discretization of the differential equations.
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…
The construction of conformally invariant gauge conditions for Maxwell and Einstein theories on a manifold M is found to involve two basic ingredients. First, covariant derivatives of a linear gauge (e.g. Lorenz or de Donder), completely contracted with the tensor field representing the metric on the vector bundle of the theory. Second, the addition of a compensating term, obtained by covariant differentiation of a suitable tensor field built from the geometric data of the problem. If the manifold M is endowed with an m-dimensional positive-definite metric g, the existence theorem for such a g…
The harmonic formulation of Einstein's field equations is considered, where the gauge conditions are introduced as dynamical constraints. The difference between the fully constrained approach (used in analytical approximations) and the free evolution one (used in most numerical approximations) is pointed out. As a generalization, quasi-stationary gauge conditions are also discussed, including numerical experiments with the gauge-waves testbed. The complementary 3+1 approach is also considered, where constraints are related instead with energy and momentum first integrals and the gauge must be …
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 Ashtekar's 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 gen…
Diffeomorphism-induced symmetry transformations and time evolution are distinct operations in generally covariant theories formulated in phase space. Time is not frozen. Diffeomorphism invariants are consequently not necessarily constants of the motion. Time-dependent invariants arise through the choice of an intrinsic time, or equivalently through the imposition of time-dependent gauge fixation conditions. One example of such a time-dependent gauge fixing is the Komar-Bergmann use of Weyl curvature scalars in general relativity. An analogous gauge fixing is also imposed for the relativistic f…
This is the first of a couple of papers in which, by exploiting the capabilities of the Hamiltonian approach to general relativity, we get a number of technical achievements that are instrumental both for a disclosure of \emph{new} results concerning specific issues, and for new insights about \emph{old} foundational problems of the theory. The first paper includes: 1) a critical analysis of the various concepts of symmetry related to the Einstein-Hilbert Lagrangian viewpoint on the one hand, and to the Hamiltonian viewpoint, on the other. This analysis leads, in particular, to a re-interpreta…
We study a slight variation of the unimodular gauge condition which we call "the derivative gauge condition". We show that at the classical level these conditions are completely equivalent up to a surface term. At the quantum level the derivative gauge condition can be easily implemented by analogy with gauge fixing in a quantum gauge theory. This condition might have advantages and disadvantages upon the context.
We reformulate the general theory of relativity in the language of Riemann-Cartan geometry. We start from the assumption that the space-time can be described as a non-Riemannian manifold, which, in addition to the metric field, is endowed with torsion. In this new framework, the gravitational field is represented not only by the metric, but also by the torsion, which is completely determined by a geometric scalar field. We show that in this formulation general relativity has a new kind of invariance, whose invariance group consists of a set of conformal and gauge transformations, called Cartan…
We demonstrate that Einstein's general relativity theory arises as a special case in the framework of the Poincaré gauge theory of gravity under the assumption of a suitable nonminimal coupling of matter to the Riemann-Cartan geometry of spacetime.
The Einstein theory of general relativity provides a peculiar example of classical field theory ruled by non-linear partial differential equations. A number of supplementary conditions (more frequently called gauge conditions) have also been considered in the literature. In the present paper, starting from the de Donder gauge, which is not conformally invariant but is the gravitational counterpart of the Lorenz gauge, we consider, led by geometric structures on vector bundles, a new family of gauges in general relativity, which involve fifth-order covariant derivatives of metric perturbations.…
For vacuum Maxwell theory in four dimensions, a supplementary condition exists (due to Eastwood and Singer) which is invariant under conformal rescalings of the metric, in agreement with the conformal symmetry of the Maxwell equations. Thus, starting from the de Donder gauge, which is not conformally invariant but is the gravitational counterpart of the Lorenz gauge, one can consider, led by formal analogy, a new family of gauges in general relativity, which involve fifth-order covariant derivatives of metric perturbations. The admissibility of such gauges in the classical theory is first prov…
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 $β^{i}(t,x^{j})$ and the spatial scalar potential $ϕ(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 ga…
A Lagrangian depending on geometric variables (metric, affine connection, gauge group generators) is given which maintains compatibility with General Relativity. It generates the dynamics for Electromagnetism and other Gauge Fields along with Gravitation, at the time it gives a geometric foundation for the stress-energy tensor of continuous matter. The geometric-invariance principle under this integration is exposed and the resulting field equations are obtained. The theory is developed over the tangent space of a four-dimensional real manifold and the generators become those from the Homogeno…
We present a simple proof of the Poincaré gauge invariance of general relativity and Einstein-Cartan theory, in the context of the corresponding bundle of affine frames.
The formulation of General Relativity presented in math-ph/0506077 and the Hamiltonian formulation of Gauge theories described in math-ph/0507001 are made to interact. The resulting scheme allows to see General Relativity as a constrained Gauge theory.
Well-posedness of the initial (boundary) value problem is an essential property, both of meaningful physical models and of numerical applications. To prove well-posedness of wave-type equations their level of hyperbolicity is an essential ingredient. We develop helpful tools and classify a large class of Hamiltonian versions of Einstein's equations with live gauge conditions with respect to their hyperbolicity. Finally we find a symmetric hyperbolic Hamiltonian formulation that allows for gauge conditions which are similar to the puncture gauge.
We discuss the question of gauge choice when analysing relativistic density perturbations at second order. We compare Newtonian and General Relativistic approaches. Some misconceptions in the recent literature are addressed. We show that the comoving-synchronous gauge is the unique gauge in General Relativity that corresponds to the Lagrangian frame and is entirely appropriate to describe the matter overdensity at second order. The comoving-synchronous gauge is the simplest gauge in which to describe Lagrangian bias at second order.
We discuss a general formalism for numerically evolving initial data in general relativity in which the (complex) Ashtekar connection and the Newman-Penrose scalars are taken as the dynamical variables. In the generic case three gauge constraints and twelve reality conditions must be solved. The analysis is applied to a Petrov type \{1111\} planar spacetime where we find a spatially constant volume element to be an appropriate coordinate gauge choice.
A proposal for the issue of time and observables in any parameterized theory such as general relativity is addressed. Introduction of a gauge potential 3-form A in the theory of relativity enables us to define a gauge-invariant quantity which can be used by observers as a clock to measure the passage of time. This dynamical variable increases monotonically and continuously along a world line. Then we define world line observables to be any covariantly defined quantity obtained from the field configurations on any such causal past with dynamical time T.
Starting from a Lagrangian we perform the full constraint analysis of the Hamiltonian for General relativity in the tetrad-connection formulation for an arbitrary value of the Immirzi parameter and solve the second class constraints, presenting the theory with a Hamiltonian composed of first class constraints which are the generators of the gauge symmetries of the action. In the time gauge we then recover Barbero's formulation of gravity.
Using the Dirac procedure to treat constraints dynamical sistems applied to gravitation, as described in the context of Teleparallel Equivalent of General Relativity (TEGR), we investigate, from the first class constraints, the gauge transformations in the fundamental field: the components of tetrads. We have shown that there is no an isotropy in physical space with respect to gauge transformations, i.e., given an arbitrary gravitational field, coming from a gauge transformation in the internal space, physical space reacts differently in the spatial and temporal components. By making an approp…
I present a complete set of gauge invariant observables, in the context of general relativity coupled with a minimal amount of realistic matter (four particles). These observables have a straightforward and realistic physical interpretation. In fact, the technology to measure them is realized by the Global Positioning System: they are defined by the physical reference system determined by GPS readings. The components of the metric tensor in this physical reference system are gauge invariant quantities and, remarkably, their evolution equations are local.
We study how different types of blow-ups can occur in systems of hyperbolic evolution equations of the type found in general relativity. In particular, we discuss two independent criteria that can be used to determine when such blow-ups can be expected. One criteria is related with the so-called geometric blow-up leading to gradient catastrophes, while the other is based upon the ODE-mechanism leading to blow-ups within finite time. We show how both mechanisms work in the case of a simple one-dimensional wave equation with a dynamic wave speed and sources, and later explore how those blow-ups …
We consider two concepts often discussed as significant features of general relativity (particularly when contrasted with the other forces of the Standard Model): background independence and diffeomorphism invariance. We remind the reader of the role of backgrounds both as calculational tools and as part of the formulation of theories. Examining familiar gauge theory constructions, we are able to pinpoint when in the formulation of these theories they become background independent. We then discuss extending the gauge formulation to gravity. In doing so we are able to identify what makes genera…
I discuss the (2,2)-formalism of general relativity based on the (2,2)-fibration of a generic 4-dimensional spacetime of the Lorentzian signature. In this formalism general relativity is describable as a Yang-Mills gauge theory defined on the (1+1)-dimensional base manifold, whose local gauge symmetry is the group of the diffeomorphisms of the 2-dimensional fibre manifold. After presenting the Einstein's field equations in this formalism, I solve them for spherically symmetric case to obtain the Schwarzschild solution. Then I discuss possible applications of this formalism.
In a Kaluza-Klein background $V^4\otimes S^3$, we provide a way to reproduce, by the dimensional reduction, a 4-spinor with a SU(2) gauge coupling. Since additional gauge violating terms cannot be avoided, we compute their order of magnitude by virtue of the application to the Electro-Weak model.
The fundamental interactions of nature, the electroweak and the quantum chromodynamics, are described in the Standard Model by the Gauge Theory under internal symmetries that maintain the invariance of the functional action. The fundamental interaction of gravitation is very well described by Einstein's General Relativity in a Riemannian spacetime metric, but General Relativity has been over time a gravitational field theory apart from the Standard Model. The theory of Gauge allows under symmetries of the group of Poincaré to impose invariances in the functional of the action of the spinor fie…
The axiomatic bases of Special Relativity Theory (SRT) are thoroughly re-examined from an operational point of view, with particular emphasis on the status of Einstein synchronization in the light of the possibility of arbitrary synchronization procedures in inertial reference frames. Once correctly and explicitly phrased, the principles of SRT allow for a wide range of `theories' that differ from the standard SRT only for the difference in the chosen synchronization procedures, but are wholly equivalent to SRT in predicting empirical facts. This results in the introduction, in the full backgr…
Stationary extended frames in general relativity are considered. The requirement of stationarity allows to treat the spacetime as a principal fiber bundle over the one-dimensional group of time translations. Over this bundle a connection form establishes the simultaneity between neighboring events accordingly with the Einstein synchronization convention. The mathematics involved is that of gauge theories where a gauge choice is interpreted as a global simultaneity convention. Then simultaneity in non-stationary frames is investigated: it turns to be described by a gauge theory in a fiber bundl…
Computational methods are essential to provide waveforms from coalescing black holes, which are expected to produce strong signals for the gravitational wave observatories being developed. Although partial simulations of the coalescence have been reported, scientifically useful waveforms have so far not been delivered. The goal of the AppleswithApples (AwA) Alliance is to design, coordinate and document standardized code tests for comparing numerical relativity codes. The first round of AwA tests have now being completed and the results are being analyzed. These initial tests are based upon pe…
We consider the initial boundary value problem for free-evolution formulations of general relativity coupled to a parametrized family of coordinate conditions that includes both the moving puncture and harmonic gauges. We concentrate primarily on boundaries that are geometrically determined by the outermost normal observer to spacelike slices of the foliation. We present high-order-derivative boundary conditions for the gauge, constraint violating and gravitational wave degrees of freedom of the formulation. Second order derivative boundary conditions are presented in terms of the conformal va…
