2025/10/11 by Hirsch, Sven, Huang, Lan-Hsuan
#Differential Geometry (math.DG) #FOS: Mathematics #FOS: Physical sciences #General Relativity and Quantum Cosmology (gr-qc)
paper · doi:10.48550/arxiv.2510.10306
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.