Felix Klein's "Uber die Integralform der Erhaltungssätze und die Theorie der räumlich-geschlossenen Welt": an English translation
We present an English translation of a third 1918 paper by Felix Klein which follows up on his earlier work.
Discover
Research tools
Network
Opportunities
Account
Source author record
James M. Nester appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We present an English translation of a third 1918 paper by Felix Klein which follows up on his earlier work.
For the benefit of the readers of this journal, the editors requested that we prepare a brief review of the history of the development of the theory, the experimental attempts to detect them, and the recent direct observations of gravitational waves (GWs). The theoretical ideas and disputes beginning with Einstein in 1916 regarding the existence and nature of GWs and the extent to which one can rely on the electromagnetic analogy, especially the controversies regarding the quadrupole formula and whether GWs carry energy, are discussed. The theoretical conclusions eventually received strong observational support from the binary pulsar. This provided compelling, although indirect, evidence for GWs carrying away energy--as predicted by the quadrupole formula. On the direct detection experimental side, Weber started more than 50 years ago. In 1966, his bar for GW detection reached a strain sensitivity of a few times 10^-16. His announcement of coincident signals (now considered spurious) stimulated many experimental efforts from room temperature resonant masses to cryogenic detectors and laser-interferometers. Now there are km-sized interferometric detectors (LIGO Hanford, LIGO Livingston, Virgo and KAGRA). Advanced LIGO first reached a strain sensitivity of the order of 10^-22. During their first 130 days of observation (O1 run), with the aid of templates generated by numerical relativity, they did make the first detections: two 5-sigma GW events and one likely event. Besides earth-based GW detectors, the drag-free sensitivity of the LISA Pathfinder has already reached to the LISA goal level, paving the road for space GW detectors. Over the whole GW spectrum (from aHz to THz) there are efforts for detection, notably the very-low-frequency band (pulsar timing array [PTA], 300 pHz-100 nHz) and the extremely-low (Hubble)-frequency (cosmic microwave background [CMB] experiment, 1 aHz-10 fHz).
The evolution of a generally covariant theory is under-determined. One hundred years ago such dynamics had never before been considered; its ramifications were perplexing, its future important role for all the fundamental interactions under the name gauge principle could not be foreseen. We recount some history regarding Einstein, Hilbert, Klein and Noether and the novel features of gravitational energy that led to Noether's two theorems. Under-determined evolution is best revealed in the Hamiltonian formulation. We developed a covariant Hamiltonian formulation. The Hamiltonian boundary term gives covariant expressions for the quasi-local energy, momentum and angular momentum. Gravity can be considered as a gauge theory of the local Poincaré group. The dynamical potentials of the Poincaré gauge theory of gravity are the frame and the connection. The spacetime geometry has in general both curvature and torsion. Torsion naturally couples to spin; it could have a significant magnitude and yet not be noticed, except on a cosmological scale where it could have significant effects.
For the quadratic Poincaré gauge theory of gravity (PG) we consider the FLRW cosmologies using an isotropic Bianchi representation. Here the considered cosmologies are for the general case: all the even and odd parity terms of the quadratic PG with their respective scalar and pseudoscalar parameters are allowed with no \emph{a priori} restrictions on their values. With the aid of a manifestly homogeneous and isotropic representation, an effective Lagrangian gives the second order dynamical equations for the gauge potentials. An equivalent set of first order equations for the observables is presented. The generic behavior of physical solutions is discussed and illustrated using numerical simulations.
Our topic concerns a long standing puzzle: the energy of gravitating systems. More precisely we want to consider, for gravitating systems, how to best describe energy-momentum and angular momentum/center-of-mass momentum (CoMM). It is known that these quantities cannot be given by a local density. The modern understanding is that (i) they are quasi-local (associated with a closed 2-surface), (ii) they have no unique formula, (iii) they have no reference frame independent description. In the first part of this work we review some early history, much of it not so well known, on the subject of gravitational energy in Einstein's general relativity (GR), noting especially Noether's contribution. In the second part we review (including some new results) much of our covariant Hamiltonian formalism and apply it to Poincaré gauge theories (GR is a special case). The key point is that the Hamiltonian boundary term has two roles, it determines the quasi-local quantities, and, furthermore it determines the boundary conditions for the dynamical variables. Energy-momentum and angular momentum/CoMM are associated with the geometric symmetries under Poincaré transformations. They are best described in a local Poincaré gauge theory. The type of spacetime that naturally has this symmetry is Riemann-Cartan spacetime, with a metric compatible connection having, in general, both curvature and torsion. Thus our expression for the energy-momentum of physical systems is obtained via our covariant Hamiltonian formulation applied to Poincaré gauge theories.
It was recently argued that f(T) gravity could inherit "remnant symmetry" from the full Lorentz group, despite the fact that the theory is not locally Lorentz invariant. Confusion has arisen regarding the implication of this result for the previous works, which established that f(T) gravity is pathological due to superluminal propagation, local acausality, and non-unique time evolution. We clarify that the existence of the "remnant group" does not rid the theory of these various problems, but instead strongly supports it.
The Hamiltonian for physical systems and dynamic geometry generates the evolution of a spatial region along a vector field. It includes a boundary term which not only determines the value of the Hamiltonian, but also, via the boundary term in the variation of the Hamiltonian, the boundary conditions. The value of the Hamiltonian comes from its boundary term; it gives the quasi-local quantities: energy-momentum and angular-momentum/center-of-mass. This boundary term depends not only on the dynamical variables but also on their reference values; these reference values determine the ground state---the state having vanishing quasi-local quantities. Here our concern is how to select on the two-boundary the reference values. To determine the "best matched" reference metric and connection values for our preferred boundary term for Einstein's general relativity, we propose on the boundary two-surface (i) \emph{four dimensional} isometric matching, and (ii) extremizing the value of the energy.
The boundary term of the gravitational Hamiltonian can be used to give the values of the quasi-local quantities as long as one can provide a suitable evolution vector field and an appropriate reference. On the two-surface boundary of a region we have proposed using {\em four dimensional isometric matching} between the dynamic spacetime and the reference geometry along with energy extremization to find both the optimal reference matching and the appropriate quasi-Killing vectors. Here we consider the axisymmetric spacetime case. For the Kerr metric in particular we can explicitly solve the equations to find the best matched reference and quasi-Killing vectors. This leads to the exact expression for the quasi-local boundary term and the values of our optimal quasi-local energy and angular momentum.
Teleparallel theories of gravity have a long history. They include a special case referred to as the Teleparallel Equivalent of General Relativity (TEGR, aka GR$_{\|}$). Recently this theory has been generalized to f(T) gravity. Tight constraints from observations suggest that f(T) gravity is not as robust as initially hoped. This might hint at hitherto undiscovered problems at the theoretical level. In this work, we point out that a generic f(T) theory can be expected to have certain problems including superluminal propagating modes, the presence of which can be revealed by using the characteristic equations that govern the dynamics in f(T) gravity and/or the Hamiltonian structure of the theory via Dirac constraint analysis. We use several examples from simpler gauge field theories to explain how such superluminal modes could arise. We also point out problems with the Cauchy development of a constant time hypersurface in FLRW spacetime in f(T) gravity. The time evolution from a FLRW (and as a special case, Minkowski spacetime) initial condition is not unique.
The Hamiltonian for dynamic geometry generates the evolution of a spatial region along a vector field. It includes a boundary term which determines both the value of the Hamiltonian and the boundary conditions. The value gives the quasi-local quantities: energy-momentum, angular-momentum/center-of-mass. The boundary term depends not only on the dynamical variables but also on their reference values; the latter determine the ground state (having vanishing quasi-local quantities). For our preferred boundary term for Einstein's GR we propose 4D isometric matching and extremizing the energy to determine the reference metric and connection values.
We present two complementary approaches for determining the reference for the covariant Hamiltonian boundary term quasi-local energy and test them on spherically symmetric spacetimes. On the one hand, we isometrically match the 2-surface and extremize the energy. This can be done in two ways, which we call programs I (without constraint) and II (with additional constraints). On the other hand, we match the orthonormal 4-frames of the dynamic and the reference spacetimes. Then, if we further specify the observer by requiring the reference displacement to be the timelike Killing vector of the reference, the result is the same as program I, and the energy can be positive, zero, or even negative. If, instead, we require that the Lie derivatives of the two-area along the displacement vector in both the dynamic and reference spacetimes to be the same, the result is the same as program II, and it satisfies the usual criteria: the energies are non-negative and vanish only for Minkowski (or anti-de Sitter) spacetime.
For a given timelike displacement vector the covariant Hamiltonian quasi-local energy expression requires a proper choice of reference spacetime. We propose a program for determining the reference by embedding a neighborhood of the two-sphere boundary in the dynamic spacetime into a Minkowski reference, so that the two sphere is embedded isometrically, and then extremizing the energy to determine the embedding variables. Applying this idea to Schwarzschild spacetime, we found that for each given future timelike displacement vector our program gives a unique energy value. The static observer measures the maximal energy. Applied to the Friedmann-Lemaitre-Robertson-Walker spacetime, we find that the maximum energy value is nonnegative; the associated displacement vector is the unit dual mean curvature vector, and the expansion of the two-sphere boundary matches that of its reference image. For these spherically symmetric cases the reference determined by our program is equivalent to isometrically matching the geometry at the two-sphere boundary and taking the displacement vector to be orthogonal to the spacelike constant coordinate time hypersurface, like the timelike Killing vector of the Minkowski reference.
We are investigating the dynamics of a new Poincaré gauge theory of gravity model, which has cross coupling between the spin-0$^+$ and spin-0$^-$ modes. To this end we here consider a very appropriate situation---homogeneous-isotropic cosmologies---which is relatively simple, and yet all the modes have non-trivial dynamics which reveals physically interesting and possibly observable results. More specifically we consider manifestly isotropic Bianchi class A cosmologies; for this case we find an effective Lagrangian and Hamiltonian for the dynamical system. The Lagrange equations for these models lead to a set of first order equations that are compatible with those found for the FLRW models and provide a foundation for further investigations. Typical numerical evolution of these equations shows the expected effects of the cross parity coupling.
The Poincaré gauge theory of gravity has a metric compatible connection with independent dynamics that is reflected in the torsion and curvature. The theory allows two good propagating spin-0 modes. Dynamical investigations using a simple expanding cosmological model found that the oscillation of the 0$^+$ mode could account for an accelerating expansion similar to that presently observed. The model has been extended to include a $0^{-}$ mode and more recently cross parity couplings. We investigate the dynamics of this model in a situation which is simple, non-trivial, and yet may give physically interesting results that might be observable. We consider homogeneous cosmologies, more specifically, isotropic Bianchi class A models. We find an effective Lagrangian for our dynamical system, a system of first order equations, and present some typical dynamical evolution.
The boundary conditions that exclude zeros of the solutions of the Witten equation (and hence guarantee the existence of a 3-frame satisfying the so-called special orthonormal frame gauge conditions) are investigated. We determine the general form of the conformally invariant boundary conditions for the Witten equation, and find the boundary conditions that characterize the constant and the conformally constant spinor fields among the solutions of the Witten equations on compact domains in extrinsically and intrinsically flat, and on maximal, intrinsically globally conformally flat spacelike hypersurfaces, respectively. We also provide a number of exact solutions of the Witten equation with various boundary conditions (both at infinity and on inner or outer boundaries) that single out nowhere vanishing spinor fields on the flat, non-extreme Reissner--Nordström and Brill--Lindquist data sets. Our examples show that there is an interplay between the boundary conditions, the global topology of the hypersurface and the existence/non-existence of zeros of the solutions of the Witten equation.
We propose a cosmological model in the framework of the Poincaré gauge theory of gravity (PG). The gravitational Lagrangian is quadratic in curvature and torsion. In our specific model, the Lagrangian contains (i) the curvature scalar $R$ and the curvature pseudo-scalar $X$ linearly and quadratically (including an $RX$ term) and (ii) pieces quadratic in the torsion {\it vector} $\cal V$ and the torsion {\it axial} vector $\cal A$ (including a ${\cal V}{\cal A}$ term). We show generally that in quadratic PG models we have nearly the same number of parity conserving terms (`world') and of parity violating terms (`shadow world'). This offers new perspectives in cosmology for the coupling of gravity to matter and antimatter. Our specific model generalizes the fairly realistic `torsion cosmologies' of Shie-Nester-Yo (2008) and Chen et al.\ (2009). With a Friedman type ansatz for an orthonormal coframe and a Lorentz connection, we derive the two field equations of PG in an explicit form and discuss their general structure in detail. In particular, the second field equation can be reduced to first order ordinary differential equations for the curvature pieces $R(t)$ and $X(t)$. Including these along with certain relations obtained from the first field equation and curvature definitions, we present a first order system of equations suitable for numerical evaluation. This is deferred to the second, numerical part of this paper.
We construct an infinite number of new holonomic quasi-local gravitational energy-momentum density pseudotensors with good limits asymptotically and in small regions, both materially and in vacuum. For small vacuum regions they are all a positive multiple of the Bel-Robinson tensor and consequently have positive energy.
We have proposed a program for determining the reference for the quasi-local energy defined in the covariant Hamiltonian formalism. Our program has been tested by applying it to the spherically symmetric spacetimes. With respect to different observers we found that the quasi-local energy can be positive, zero, or even negative. The observer measuring the maximum energy was identified; the associated energy is positive for both the Schwarzschild and the Friedmann-Lemaître-Robertson-Walker spacetimes.
The gravitational energy-momentum within a small region as determined by two tetrad-teleparallel expressions is evaluated with the aid of an orthonormal frame adapted to Riemann normal coordinates. We find that the gauge current "tensor" does enjoy the highly desired and rare property of being a positive multiple of the Bel-Robinson tensor, whereas Møller's expression does not.
We have studied the famous classical pseudotensors in the small region limit, both inside matter and in vacuum. A recent work [Deser et al.1999 CQG 16, 2815] had found one combination of the Einstein and Landau-Lifshitz expressions which yields the Bel-Robinson tensor in vacuum. Using similar methods we found another independent combination of the Bergmann-Thomson, Papapetrou and Weinberg pseudotensors with the same desired property. Moreover we have constructed an infinite number of additional new holonomic pseudotensors satisfying this important positive energy requirement, all seem quite artificial. On the other hand we found that Moller's 1961 tetrad-teleparallel energy-momentum expression naturally has this Bel-Robinson property.
The Hamiltonian for a gravitating region includes a boundary term which determines not only the quasi-local values but also, via the boundary variation principle, the boundary conditions. Using our covariant Hamiltonian formalism, we found four particular quasi-local energy-momentum boundary term expressions; each corresponds to a physically distinct and geometrically clear boundary condition. Here, from a consideration of the asymptotics, we show how a fundamental Hamiltonian identity naturally leads to the associated quasi-local energy flux expressions. For electromagnetism one of the four is distinguished: the only one which is gauge invariant; it gives the familiar energy density and Poynting flux. For Einstein's general relativity two different boundary condition choices correspond to quasi-local expressions which asymptotically give the ADM energy, the Trautman-Bondi energy and, moreover, an associated energy flux (both outgoing and incoming). Again there is a distinguished expression: the one which is covariant.
Asymptotically flat gravitating systems have 10 conserved quantities, which lack proper local densities. It has been hoped that the teleparallel equivalent of Einstein's GR (TEGR, aka GR${}_{||}$) could solve this gravitational energy-momentum localization problem. Meanwhile a new idea: quasilocal quantities, has come into favor. The earlier quasilocal investigations focused on energy-momentum. Recently we considered quasilocal angular momentum for the teleparallel theory and found that the popular expression (unlike our ``covariant-symplectic'' one) gives the correct result only in a certain frame. We now report that the center-of-mass moment, which has largely been neglected, gives an even stronger requirement. We found (independent of the frame gauge) that our ``covariant symplectic'' Hamiltonian-boundary-term quasilocal expression succeeds for all the quasilocal quantities, while the usual expression cannot give the desired center-of-mass moment. We also conclude, contrary to hopes, that the teleparallel formulation appears to have no advantage over GR with regard to localization.
We present a new finite action for Einstein gravity in which the Lagrangian is quadratic in the covariant derivative of a spinor field. Via a new spinor-curvature identity, it is related to the standard Einstein-Hilbert Lagrangian by a total differential term. The corresponding Hamiltonian, like the one associated with the Witten positive energy proof is fully four-covariant. It defines quasi-local energy-momentum and can be reduced to the one in our recent positive energy proof. (Fourth Prize, 1994 Gravity Research Foundation Essay.)
Two locally positive expressions for the gravitational Hamiltonian, one using 4-spinors the other special orthonormal frames, are reviewed. A new quadratic 3-spinor-curvature identity is used to obtain another positive expression for the Hamiltonian and thereby a localization of gravitational energy and positive energy proof. These new results provide a link between the other two methods. Localization and prospects for quasi-localization are discussed.
We discuss earlier unsuccessful attempts to formulate a positive gravitational energy proof in terms of the New Variables of Ashtekar. We also point out the difficulties of a Witten spinor type proof. We then use the special orthonormal frame gauge conditions to obtain a locally positive expression for the New Variables Hamiltonian and thereby a ``localization'' of gravitational energy as well as a positive energy proof.
We describe a class of spinor-curvature identities which exist for Riemannian or Riemann-Cartan geometries. Each identity relates an expression quadratic in the covariant derivative of a spinor field with an expression linear in the curvature plus an exact differential. Certain special cases in 3 and 4 dimensions which have been or could be used in applications to General Relativity are noted.