Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Monotonicity of Causal Killing Vectors and Geometry of ADM Mass Minimizers

Sven Hirsch, Lan-Hsuan Huang

TL;DR

This work introduces a new monotonicity formula for the Lorentzian length of a causal Killing vector via $\eta = -\boldsymbol{g}(\mathbf{Y},\mathbf{Y})$ and leverages it to prove two central results: (i) the equality case of the positive mass theorem forces the initial data to embed in a pp-wave, and (ii) positive Bartnik mass minimizers embed into strongly stationary vacuum spacetimes, confirming Bartnik's stationary vacuum conjecture in this regime. The authors develop a variational framework with a $\varphi$-modified constraint operator and Bartnik boundary data to control ADM mass under perturbations, and they establish a strong maximum principle and uniform stationarity to distinguish null and timelike Killing fields. They then connect these geometric-analytic tools to the Bartnik mass program, showing that minimizers with $E>|P|$ yield vacuum stationary embeddings, while the $E=|P|$ case yields pp-wave structures. The results unify monotonicity, elliptic-regularity, and Lagrange-multiplier techniques to resolve equality and minimization questions in general dimensions, with consequences for ergoregions and quasi-local mass. Overall, the paper advances understanding of when ADM mass minimizers arise from stationary or pp-wave spacetimes and provides a robust toolkit for analyzing Killing fields in asymptotically flat settings.

Abstract

We address two problems concerning the ADM mass-minimizing initial data sets. First, we show that the equality case of the positive mass theorem embeds into a pp-wave spacetime. Second, we show that positive Bartnik mass minimizers embed into strongly stationary vacuum spacetimes, thereby confirming the Bartnik stationary vacuum conjecture. A key ingredient is a new monotonicity formula for the Lorentzian length of a causal Killing vector field, which, among other applications, yields a strong maximum principle for the length.

Monotonicity of Causal Killing Vectors and Geometry of ADM Mass Minimizers

TL;DR

This work introduces a new monotonicity formula for the Lorentzian length of a causal Killing vector via and leverages it to prove two central results: (i) the equality case of the positive mass theorem forces the initial data to embed in a pp-wave, and (ii) positive Bartnik mass minimizers embed into strongly stationary vacuum spacetimes, confirming Bartnik's stationary vacuum conjecture in this regime. The authors develop a variational framework with a -modified constraint operator and Bartnik boundary data to control ADM mass under perturbations, and they establish a strong maximum principle and uniform stationarity to distinguish null and timelike Killing fields. They then connect these geometric-analytic tools to the Bartnik mass program, showing that minimizers with yield vacuum stationary embeddings, while the case yields pp-wave structures. The results unify monotonicity, elliptic-regularity, and Lagrange-multiplier techniques to resolve equality and minimization questions in general dimensions, with consequences for ergoregions and quasi-local mass. Overall, the paper advances understanding of when ADM mass minimizers arise from stationary or pp-wave spacetimes and provides a robust toolkit for analyzing Killing fields in asymptotically flat settings.

Abstract

We address two problems concerning the ADM mass-minimizing initial data sets. First, we show that the equality case of the positive mass theorem embeds into a pp-wave spacetime. Second, we show that positive Bartnik mass minimizers embed into strongly stationary vacuum spacetimes, thereby confirming the Bartnik stationary vacuum conjecture. A key ingredient is a new monotonicity formula for the Lorentzian length of a causal Killing vector field, which, among other applications, yields a strong maximum principle for the length.

Paper Structure

This paper contains 12 sections, 35 theorems, 146 equations.

Table of Contents

  1. Introduction
  2. Monotonicity Formulas
  3. Uniform Stationarity
  4. The Strong Maximum Principle
  5. First Variation and Spacelike Lapse–Shift Pairs
  6. Proofs of Theorems \ref{['Th:equality']} and \ref{['Th:Bartnik']}
  7. Null Killing Vectors
  8. Preliminaries on Initial Data Sets
  9. Einstein constraint operators and dominant energy condition
  10. Asymptotically flat initial data sets
  11. Degenerate elliptic equations
  12. Local Surjectivity

Key Result

Theorem 1

Let $(\mathbf N, \boldsymbol g)$ be a spacetime admitting a future-directed causal Killing vector field $\mathbf Y$ satisfying $\mathop{\mathrm{Ric}}\nolimits_{\boldsymbol g}(\mathbf Y, \mathbf Y) \le 0$. Let $U$ be spacelike hypersurface in $\mathbf N$ with the future-directed unit normal $\mathbf where $\nabla$ is the gradient with respect to the induced metric $g$ on $U$. Then $M(t)$ is non-in

Theorems & Definitions (75)

  • Theorem 1: Monotonicity formula
  • Theorem 2: Uniform stationarity
  • Lemma 3: Regularity of the null set
  • Theorem 4: Strong maximum principle
  • Theorem 5: Equality case of the positive mass theorem
  • Theorem 6
  • Conjecture : Bartnik's Stationary Vacuum Conjecture, 1989
  • Theorem 7
  • Lemma 2.1
  • proof
  • ...and 65 more