arXiv subjects

Michael Reiterer

Publications and source records attributed to Michael Reiterer.

16 recordsLinked to original sources

arXiv2020

Filtered expansions in general relativity II

This is the second of two papers in which we construct formal power series solutions in external parameters to the vacuum Einstein equations, implementing one bounce for the Belinskii-Khalatnikov-Lifshitz (BKL) proposal for spatially inhomogeneous spacetimes. Here we show that spatially inhomogeneous perturbations of spatially homogeneous elements are unobstructed. A spectral sequence for a filtered complex, and a homological contraction based on gauge-fixing, are used to do this.

math-ph↗

arXiv2020

Semiglobal non-oscillatory big bang singular spacetimes for the Einstein-scalar field system

We construct semiglobal singular spacetimes for the Einstein equations coupled to a massless scalar field. Consistent with the heuristic analysis of Belinskii, Khalatnikov, Lifshitz or BKL for this system, there are no oscillations due to the scalar field. (This is much simpler than the oscillatory BKL heuristics for the Einstein vacuum equations.) Prior results are due to Andersson and Rendall in the real analytic case, and Rodnianski and Speck in the smooth near-spatially-flat-FLRW case. Similar to Andersson and Rendall we give asymptotic data at the singularity, which we refer to as final data, but our construction is not limited to real analytic solutions. This paper is a test application of tools (a graded Lie algebra formulation of the Einstein equations and a filtration) intended for the more subtle vacuum case. We use homological algebra tools to construct a formal series solution, then symmetric hyperbolic energy estimates to construct a true solution well-approximated by truncations of the formal one. We conjecture that the image of the map from final data to initial data is an open set of anisotropic initial data.

math-ph↗

arXiv2019

A homotopy BV algebra for Yang-Mills and color-kinematics

Yang-Mills gauge theory on Minkowski space supports a Batalin-Vilkovisky-infinity algebra structure, all whose operations are local. To make this work, the axioms for a BV-infinity algebra are deformed by a quadratic element, here the Minkowski wave operator. This homotopy structure implies BCJ/color-kinematics duality; a cobar construction yields a strict algebraic structure whose Feynman expansion for Yang-Mills tree amplitudes complies with the duality. It comes with a `syntactic kinematic algebra'.

math-ph↗

arXiv2019

Filtered expansions in general relativity I

This is the first of two papers in which we construct formal power series solutions in external parameters to the vacuum Einstein equations, implementing one bounce for the Belinskii-Khalatnikov-Lifshitz (BKL) proposal for spatially inhomogeneous spacetimes. We use a graded Lie algebra, homological framework. A dedicated filtration encodes key features of the BKL proposal, and we use it to set up an unobstructed perturbative problem.

math-ph↗

arXiv2019

Scattering amplitude annihilators

Several second order differential operators are shown to annihilate the YM and GR tree scattering amplitudes. In particular we prove a conjecture of Loebbert, Mojaza and Plefka from their investigation of a hidden conformal symmetry in GR.

math-ph↗

arXiv2018

The graded Lie algebra of general relativity

We construct a graded Lie algebra $\mathcal{E}$ in which the Maurer-Cartan equation is equivalent to the vacuum Einstein equations. The gauge groupoid is the groupoid of rank 4 real vector bundles with a conformal inner product, over a 4-dimensional base manifold, and the graded Lie algebra construction is a functor out of this groupoid. As usual, each Maurer-Cartan element in $\mathcal{E}^1$ yields a differential on $\mathcal{E}$. Its first homology is linearized gravity about that element. We introduce a gauge-fixing algorithm that generates, for each gauge object $G$, a contraction to a much smaller complex whose modules are the kernels of linear, symmetric hyperbolic partial differential operators. This contraction opens the way to the application of homological algebra to the analysis of the vacuum Einstein equations. We view general relativity, at least at the perturbative level, as an instance of `homological PDE' at the crossroads of algebra and analysis.

math-ph↗

arXiv2018

Scattering amplitudes in YM and GR as minimal model brackets and their recursive characterization

Attached to both Yang-Mills and General Relativity about Minkowski spacetime are distinguished gauge independent objects known as the on-shell tree scattering amplitudes. We reinterpret and rigorously construct them as $L_\infty$ minimal model brackets. This is based on formulating YM and GR as differential graded Lie algebras. Their minimal model brackets are then given by a sum of trivalent (cubic) Feynman tree graphs. The amplitudes are gauge independent when all internal lines are off-shell, not merely up to $L_\infty$ isomorphism, and we include a homological algebra proof of this fact. Using the homological perturbation lemma, we construct homotopies (propagators) that are optimal in bringing out the factorization of the residues of the amplitudes. Using a variant of Hartogs extension for singular varieties, we give a rigorous account of a recursive characterization of the amplitudes via their residues independent of their original definition in terms of Feynman graphs (this does neither involve so-called BCFW shifts nor conditions at infinity under such shifts). Roughly, the amplitude with $N$ legs is the unique section of a sheaf on a variety of $N$ complex momenta whose residues along a finite list of irreducible codimension one subvarieties (prime divisors) factor into amplitudes with less than $N$ legs. The sheaf is a direct sum of rank one sheaves labeled by helicity signs. To emphasize that amplitudes are robust objects, we give a succinct list of properties that suffice for a dgLa so as to produce the YM and GR amplitudes respectively.

math-ph↗

arXiv2015

Finite codimension stability of some time-periodic hyperbolic equations (via compact resolvents)

We identify a class of time-periodic linear symmetric hyperbolic equations that are finite codimension stable, because an associated operator has compact resolvent, sufficiently far to the right in the complex plane. This paper is an attempt to capture abstractly the observation in numerical general relativity that some discretely self-similar spacetimes, such as Choptuik's critical spacetime, are finite codimension stable.

math.AP↗

arXiv2015

Filtered expansions in general relativity and one BKL-bounce

When the vacuum Einstein equations are formulated in terms of a frame, rather than a metric, can one perturb solutions with a degenerate frame into ones with a nondegenerate frame? In examples we point out that one can encounter issues already at the level of formal perturbative expansions; namely the cohomological, so-called space of obstructions is nonzero. In this paper we propose a perturbative expansion based on filtrations. We construct and prove properties of a specific filtration, intended to make mathematical sense of one BKL-bounce, a building block of a well-known but very heuristic conjecture due to Belinskii, Khalatnikov and Lifshitz (which would involve sticking together an infinite sequence of single bounces). It seems possible that now the space of obstructions is zero, but this question is left open.

gr-qc↗

arXiv2014

The graded Lie algebra of general relativity

We construct a graded Lie algebra in which a solution to the vacuum Einstein equations is any element of degree 1 whose bracket with itself is zero. Each solution generates a cochain complex, whose first cohomology is linearized gravity about that solution. We gauge-fix to get a smaller cochain complex with the same cohomologies (deformation retraction). The new complex is much smaller, it consists of the solution spaces of linear homogeneous wave equations (symmetric hyperbolic equations). The algorithm that produces these gauges and wave equations is both for linearized gravity and the full Einstein equations. The gauge groupoid is the groupoid of rank 2 complex vector bundles.

gr-qc↗

arXiv2014

3D incompressible Euler: Geometric formalism and a hypothetical self-similar flow

We give a geometric formulation of 3D incompressible Euler that contains the Eulerian and Lagrangian gauges as special cases. In the Lagrangian gauge, incompressible Euler is a real analytic ODE in Banach space; a short proof of this known result is given. We then describe (in a self-contained section) some basic properties of a hypothetical self-similar solution to 3D incompressible Euler.

math.AP↗

arXiv2012

Choptuik's critical spacetime exists

About twenty years ago, Choptuik studied numerically the gravitational collapse (Einstein field equations) of a massless scalar field in spherical symmetry, and found strong evidence for a universal, self-similar solution at the threshold of black hole formation. We prove rigorously the existence of a real analytic solution, that we interpret as the solution observed by Choptuik. Our construction covers an open neighborhood of the past light cone of the singularity. The proof is computer assisted. Starting from an explicit approximate solution, we show that nearby there is a true solution. The source code and a high precision data file (about 80 significant decimal digits, with rigorous error bounds) are included. We do not study perturbations.

gr-qc↗

arXiv2011

A class of gauges for the Einstein equations

A class of gauges for the Einstein vacuum equations is introduced, along with three symmetric hyperbolic systems. The first implies the local realizability of the gauge. The second is the dynamical subset of the field equations. The third is used to show that the constraints propagate. The gauges are for an orthonormal frame formalism, with first order, quadratically nonlinear equations. The unknowns are 16 frame components and 28 connection components. After gauge-fixing, a total of 33 remain.

gr-qc↗

arXiv2010

The BKL Conjectures for Spatially Homogeneous Spacetimes

We rigorously construct and control a generic class of spatially homogeneous (Bianchi VIII and Bianchi IX) vacuum spacetimes that exhibit the oscillatory BKL phenomenology. We investigate the causal structure of these spacetimes and show that there is a "particle horizon".

gr-qc↗

arXiv2009

A formalism for analyzing vacuum spacetimes

The Einstein vacuum equations in the formulation developed by Newman, Penrose [NP] and Friedrich [Fr] are expressed in terms of a Lie superbracket. Differential identities are derived from the super Jacobi identity. This perspective clarifies the covariance properties of the equations. The equations are intended as a tool for the analytic study of vacuum spacetimes.

gr-qc↗

arXiv2009

Strongly Focused Gravitational Waves

This paper contains a new proof of the formation of trapped spheres, in vacuum spacetimes, by the focusing of gravitational waves, from generic data. The first such result was obtained by Christodoulou [Chr]. We exploit the same physical mechanism, but give a logically independent construction of these spacetimes.

gr-qc↗