Search arXivSearch

arXiv · 2605.12352

A Comparison Theorem For the Mass of ALE and ALF Toric 4-Manifolds

Abstract

We establish sharp lower bounds for the mass of asymptotically locally Euclidean (ALE) and asymptotically locally flat (ALF) toric 4-manifolds, in terms of equilibrium geometries consisting of gravitational instantons. More precisely, the mass of a complete ALE or ALF toric 4-manifold with nonnegative scalar curvature is bounded below by a sum comprised of the following quantities: the mass of the corresponding toric gravitational instanton having the same orbit space (rod) structure as the original ALE/ALF manifold, and an expression determined by the conical angle defects of totally geodesic 2-spheres within the instanton that serve as generators for its second homology. The inequality may be generalized to the situation in which the ALE/ALF manifold also possesses conical singularities as well as orbifold singularities, and it suggests a refined notion of `total mass' in which the result simply states that the total mass of the ALE/ALF manifold is not less than that of the corresponding gravitational instanton. Furthermore, we prove rigidity for these statements, namely the inequality is saturated only when the ALE/ALF manifold is Ricci flat and in fact agrees with the corresponding instanton. These results may be viewed in the context of positive mass theorems, providing an explanation of how positivity can fail in the ALE/ALF setting. Moreover, the main theorem may be interpreted as yielding a variational characterization of the relevant toric gravitational instantons.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Aghil Alaee, Marcus Khuri, Hari Kunduri. 2026-07-15. A Comparison Theorem For the Mass of ALE and ALF Toric 4-Manifolds. https://arxiv.org/abs/2605.12352

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Futaki invariant on Hopf manifolds

The Futaki invariant is a fundamental tool in Kähler geometry representing an obstruction to the existence of Kähler-Einstein metrics. Recently, it was generalized to compact complex manifolds. In this paper, we prove that it vanishes on Hopf manifolds.

math.DG

Remarks on potential functions of noncompact quasi-Einstein manifolds

In this article, we study the set of potential functions on noncompact quasi-Einstein manifolds. We show that the space of all positive potential functions on a three-dimensional noncompact quasi-Einstein manifold has dimension at most two, and that equality holds if and only if the manifold is isometric to a product $B\times\mathbb{R}$, where $B$ is a $λ$-Einstein surface or one of the examples obtained by L. Berard Bergery and described in Besse's book. Moreover, we prove that any asymptotically flat $n$-dimensional quasi-Einstein manifold with $λ=0$ is necessarily Ricci-flat.

math.DG

Adjusted connections on non-abelian bundle gerbes

Higher gauge theory for non-abelian structure 2-groups faces significant challenges when extending beyond the fake-flat sector, which suffers from limited applicability in physical models. A promising resolution involves equipping 2-groups with additional structure, known as adjustments. We present a comprehensive theory of adjusted connections on non-abelian bundle gerbes, classified by Saemann's adjusted version of non-abelian differential cohomology. This theory enables, in particular, a new coordinate-independent formulation of Tellez-Dominguez' lifting theorem, establishing a correspondence between adjusted connections on non-abelian bundle gerbes and connections on abelian bundle 2-gerbes.

math.DG