A mass for ALF manifolds

Global Riemannian geometry, including pinching (53C20) Global differential geometry of Lorentz manifolds, manifolds with indefinite metrics (53C50) Applications of global differential geometry to the sciences (53C80)

Abstract: We prove positive mass theorems on ALF manifolds, i.e. complete noncompact manifolds that are asymptotic to a circle fibration over a Euclidean base, with fibers of asymptotically constant length.

Review text

This paper proves a positive mass theorem on manifolds which are asymptotic to a flat \(S^1\) fibration over the Euclidean space with fibers of constant length. More precisely, \((M^{m+1},g)\) is a Riemannian manifold of non-negative Ricci curvature. Outside a compact set, \(M\) is supposed to be diffeomorphic to the total space of a principal \(S^1\) fibration over \(\mathbb R^m\). A model metric \(h\) on this fibration is defined by lifting the Euclidean metric from the base using a connection \(1\)-form \(\eta\), such that the vector field \(T\) of rotation along the fibers has constant length \(L\). The curvature form \(d\eta\) is supposed to decay, together with its derivatives of order \(i\) for \(0\leq i\leq 2\), to the order \(-\tau-i-1\) for some \(\tau>\frac{m-2}{2}\). The metric \(g\) on \(M\) is assumed to be asymptotic to the model metric \(h\) in the following sense: for \(0\leq i\leq 3\), the covariant derivatives of order \(i\) (with respect to \(h\)) of the difference \(g-h\) must decay near infinity to the order \(-\tau-i\). The main result of the paper under review states that the quantity \[ \mu_g:=-\frac{1}{\omega_m L}\limsup_{R\to\infty}\int_{r=R} *_h\bigg(\text{div}_hg+d \operatorname{Tr}_h g -\frac{1}{2} \,dg(T,T)\bigg) \] does not depend on the model metric \(h\), is positive, and vanishes precisely when \((M,g)\) is the product \(\mathbb R^m\times S^1\) with its standard metric. A similar result is proved when \(M\) is spin by only assuming that the scalar curvature is non-negative. The proof relies on constructing harmonic forms asymptotic to the standard \(1\)-forms on the base. The mass is then expressed in terms of these harmonic forms. On the other hand, using a Bochner formula, Stokes formula and the non-negativity of the Ricci curvature, the author proves the non-negativity of the mass, with equality when the above harmonic forms are parallel. This last case implies immediately that the space is the standard \({\mathbb R}^m\times S^1\).

Recommendations

Cites work

Cited in

(25)

This page was built for publication: A mass for ALF manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391142)