Differential Geometry

AG-2026.04-2048

math.DG

Brane quantization and SYZ mirror symmetry

Kwokwai Chan, Naichung Conan Leung, Qin Li, Yat-Hin Suen, Yutung Yau

Coisotropic A-branes were introduced by Kapustin--Orlov to enlarge the Fukaya category of a symplectic manifold in a way that aligns with predictions from homological mirror symmetry. From a mathematical perspective, however, the categorical framework governing such branes remains largely undeveloped. On the other hand, Gukov--Witten's brane quantization suggests that a holomorphic deformation quantization of a holomorphic symplectic manifold $X$ arises from the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ of a canonical coisotropic A-brane $B_{cc}$, which naturally acts on the morphism space $Hom_A(B,B_{cc})$ with a Lagrangian A-brane $B$ that in turn gives precisely the geometric quantization of $B$. In this paper, we consider a holomorphic symplectic manifold $X$ which admits an SYZ fibration and apply SYZ mirror symmetry to study its brane quantization. Given any semi-affine, space-filling coisotropic A-brane $B_{cc}$ on $X$, we construct the mirror B-brane $\check{B}_{cc}$ on the mirror manifold $\check{X}$ by an SYZ transform. We then present a mathematical definition of the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ by constructing a distinguished non-formal holomorphic deformation quantization of $X$. Using a twisted family Toeplitz construction, we transform $Hom_A(B_{cc},B_{cc})$ to the mirror B-side and prove that this induces an isomorphism $Hom_A(B_{cc},B_{cc})\cong Hom_B(\check{B}_{cc},\check{B}_{cc})$ between the endomorphism algebras. Furthermore, taking any torus fiber of $X$ as the Lagrangian A-brane $B$, we fully realize Gukov--Witten's proposal, namely, there is a natural action of $Hom_A(B_{cc},B_{cc})$ on $Hom_A(B,B_{cc})$ which is precisely mirror to the natural action on the mirror B-side. This provides a mathematical framework which is compatible with Gukov--Witten's brane quantization proposal, SYZ mirror symmetry as well as family Floer theory.

AG-2026.04-1607

math.DG

On a Variant of the Penrose Conjecture

Sven Hirsch, Yipeng Wang

We give a counterexample to a recently conjectured variant of the Penrose inequality.

AG-2026.04-1482

math.DG

PINNs in More General Geometry

Edward Hirst

Neural architectures trained with losses inspired by differential conditions are the basis for PINN models. Since many constructions in differential geometry may be framed as minimisation of a differential functional, these functionals can be coded as loss functions to align the AI loss-minimisation goal with that of solving the geometric problem. This contribution to the Recent Progress in Computational String Geometry workshop proceedings introduces the PINN architecture defining principles, motivates how they are well suited for problems in differential geometry, and demonstrates their use via summaries of three works at this intersection.

AG-2026.04-1447

math.DG

The Hyperboloidal and Spacetime Positive Mass Theorem in All Dimensions

Sven Hirsch, Marcus Khuri, Martin Lesourd, Yiyue Zhang

Using the recent work of Brendle--Wang on the Riemannian positive mass theorem, we prove the spacetime positive mass theorem for asymptotically flat and asymptotically hyperboloidal initial data sets in arbitrary dimension $n$.

AG-2026.04-473

math.DG

Prolongation and Killing two-tensors

Michael Eastwood, Thomas Leistner

We present a systematic prolongation procedure and its implementation for Killing two-tensors, especially in the locally symmetric case. We use the resulting machinery to elucidate the natural quadratic mapping from Killing fields to Killing two-tensors on irreducible locally symmetric spaces of compact type.

AG-2026.04-404

math.DG

On the existence of toric ALE and ALF gravitational instantons

Hari K. Kunduri, James Lucietti

We establish existence and uniqueness results for asymptotically locally Euclidean (ALE) and asymptotically locally flat (ALF) gravitational instantons. In particular, we prove the existence of a unique, Ricci-flat, toric ALE and ALF gravitational instanton, for every admissible rod structure, that is smooth up to possible conical singularites. We also give an elementary proof that any toric ALE or ALF self-dual instanton is a multi-Eguchi-Hanson or multi-Taub-NUT solution.

AG-2026.04-819

math.DG

Complete noncompact G2-manifolds with ALC asymptotics

Lorenzo Foscolo, Mark Haskins, Johannes Nordström

We prove existence, uniqueness and structure results for complete noncompact 7-dimensional G2-holonomy metrics with ALC (asymptotically locally conical) asymptotics. We regard such spaces as G2-analogues of ALF gravitational instantons in 4-dimensional hyperkähler geometry. Our main results include the existence of a G2-analogue of the Atiyah-Hitchin metric in 4-dimensional hyperkähler geometry, the existence of a good moduli theory for ALC G2-holonomy metrics and rigidity results for ALC G2-metrics in terms of the symmetries of their asymptotic model. The analytic toolkit needed to prove all these results is a robust Fredholm theory for the natural geometric linear elliptic operators on ALC spaces. We provide a self-contained derivation of this Fredholm theory for arbitrary Riemannian manifolds with ALC asymptotics. Since our ALC Fredholm theory does not rely on imposing any holonomy reduction or curvature conditions it may also be of utility beyond the setting of ALC special holonomy metrics. As one such application of our general Fredholm theory we prove some Hodge-theoretic results on general ALC spaces.

AG-2026.04-315

math.DG

Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

Christian Lange, Jonas W. Peteranderl

We equip the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric and study its properties, in particular completeness and local compactness, for Lorentzian manifolds and in more general synthetic Lorentzian settings. For this purpose, we also generalize results on completeness properties of spacetimes due to Beem and Takahashi.

AG-2026.04-721

math.DG

A Conformally Invariant Dirac-type Equation on Compact Spin Manifolds: the Effect of the Geometry

Ali Maalaoui, Vittorio Martino

Given a closed Riemannian Spin manifold $(M,g)$ of dimension greater or equal than four, we consider a generalized conformally invariant equation involving the Dirac operator with a non-linearity of convolution type. We show that the Aubib-type inequality corresponding to the problem is always strict, unless $(M,g)$ is conformal to the round sphere. In particular, this result provides an existence result for a ground state to the conformal Dirac-Einstein problem in dimension four. We point out that aside from some perturbative or special cases, this presents the first general existence result for the conformal Dirac-Einstein equations in dimension four.

AG-2026.03-545

math.DG

Comparison theory for Lipschitz spacetimes

Mathias Braun, Marta Sálamo Candal

We prove a globally hyperbolic spacetime with locally Lipschitz continuous metric and timelike distributional Ricci curvature bounded from below obeys the timelike measure contraction property. The remarkable class of examples of spacetimes that are covered by this result includes impulsive gravity waves, thin shells, and matched spacetimes. As applications, we get new comparison theorems for Lipschitz spacetimes in sharp form: d'Alembert, timelike Brunn-Minkowski, and timelike Bishop-Gromov. Under appropriate nonbranching assumptions (conjectured to hold in even lower regularity), our results also yield the timelike curvature-dimension condition, a volume incompleteness theorem, as well as exact representation formulas and sharp comparison estimates for d'Alembertians of Lorentz distance functions from general spacelike submanifolds. Moreover, we establish the sharp timelike Bonnet--Myers inequality ad hoc using the localization technique from convex geometry. Alongside, we prove a timelike diameter estimate for spacetimes whose timelike Ricci curvature is positive up to a "small" deviation (in an $L^p$-sense). This adapts prior theorems for Riemannian manifolds by Petersen-Sprouse and Aubry to Lorentzian geometry, a transition the former two anticipated almost 30 years ago.

AG-2026.03-499

math.DG

Variations on a theme of MacDowell-Mansouri

P. D. Alvarez, K. Krasnov

Inspired by the MacDowell-Mansouri formulation of four-dimensional General Relativity, we study a class of four-dimensional gauge-theoretic functionals obtained from the Pontryagin density of a G-connection by inserting, under the trace, a matrix that breaks the gauge group G to a subgroup H. Concretely, we study the model with the pair (G,H) given by (SU(3), U(2)). We show that the critical points of the resulting functional are constant scalar curvature almost-Kahler 4-manifolds. On compact 4-manifolds, a stronger conclusion holds under the additional assumption that the scalar curvature is non-negative and the first Chern class is such that an Einstein metric can exist. In this case, results in the literature imply that the critical points are Kahler-Einstein 4-manifolds.

AG-2026.03-1040

math.DG

Higher spin Killing spinors on 3-dimensional manifolds

Yasushi Homma, Natsuki Imada, Soma Ohno

We define higher spin Killing spinors on Riemannian spin manifolds in arbitrary dimension and study them in detail in dimension three. We prove a rigidity result for 3-dimensional manifolds admitting higher spin Killing spinors and give expressions for higher spin Killing spinors on the 3-sphere and the 3-hyperbolic space explicitly. We also investigate the Killing spinor type equation on integral spin bundles.

AG-2026.03-1027

math.DG

On tt*-structures from $ADE$-type Stokes data

Tadashi Udagawa

Cecotti and Vafa introduced the topological anti-topological fusion (tt*)-equation, whose solutions describe massive deformations of supersymmetric conformal field theories. We provide a rigorous analytic formulation of the $ADE$ classification of tt*-structures. Under natural structural assumptions, a tt*-structure over $\mathbb{C}^*$ can be described via isomonodromic deformations with upper unitriangular real Stokes matrices. Two fundamental issues arise: the ambiguities of Stokes matrices, governed by an action of a group $\tilde{Br}_n$, which is generated by reordering operations, and the solvability of the associated Riemann-Hilbert problem. Our first main result shows that the classification reduces to admissible Stokes matrices modulo $\tilde{Br}_n$-action, and that the $\tilde{Br}_n$-orbit of a Stokes matrix determines a tt*-structure over $\mathbb{C}^*$. Our second main result establishes that upper unitriangular matrices whose symmetrizations coincide with Cartan matrices of type $A_n, D_n, E_6, E_7,$ or $E_8$ give rise to tt*-structures over $\mathbb{C}^*$. This provides a direct analytic realization of the $ADE$ classification and clarifies the interplay between Stokes phenomena, $\tilde{Br}_n$-symmetry, and positivity of Cartan-type matrices.

AG-2026.03-392

math.DG

Curvature inequalities and rigidity for constant mean curvature and spacetime constant mean curvature surfaces

Alejandro Peñuela Diaz

We establish curvature inequalities and rigidity results for surfaces satisfying constant mean curvature type conditions in both Riemannian and Lorentzian geometry. In the Riemannian setting we study constant mean curvature (CMC) surfaces in three-dimensional manifolds with scalar curvature bounds. Building on the Christodoulou-Yau inequality $H^2\leq 16π/ |Σ|$ (with $H$ the mean curvature and $|Σ|$ the area), we show that the associated rigidity phenomena persist under a weaker notion of stability controlling only the constant mode of the second variation, combined with an extrinsic curvature sign condition. This yields Euclidean rigidity without imposing intrinsic symmetry or near-roundness assumptions and extends to higher dimensions and to the hyperbolic and spherical settings. In the Lorentzian setting we consider spacetime constant mean curvature (STCMC) surfaces, a natural generalization of CMC surfaces. We introduce a stability theory for STCMC surfaces and prove the sharp inequality $|\vec{H}|^2\leq 16π/ |Σ|$ under the dominant energy condition. We also obtain rigidity for the equality case: under suitable geometric assumptions the surface is intrinsically round and the spacetime region it bounds is flat, with maximal globally hyperbolic development isometric to a causal diamond in Minkowski spacetime. Finally, we show that the canonical asymptotic STCMC foliations known in both the spacelike and null settings have leaves that are stable with respect to this notion of stability.

AG-2026.03-814

math.DG

On a noncommutative deformation of holomorphic line bundles on complex tori and the SYZ transform

Kazushi Kobayashi

By regarding a given $n$-dimensional complex torus $X^n$ as the trivial torus fibration $X^n \to \mathbb{R}^n/\mathbb{Z}^n$, we can obtain a mirror dual complexified symplectic torus $\check{X}^n$ based on the SYZ construction. In the middle 2000s, as a part of the study on noncommutative deformations of $X^n$, Kajiura examined the noncommutative complex torus $X_θ^n$ obtained via the (real) nonformal deformation quantization of $X^n \to \mathbb{R}^n/\mathbb{Z}^n$ by a Poisson bivector $θ$ defined along the fibers. In particular, he constructed the noncommutative deformations $L_θ \to X_θ^n$ of holomorphic line bundles on $X^n$ and a curved dg-category consisting of them. On the other hand, associated to this noncommutative deformation, we can construct a non-trivial deformation of the trivial holomorphic line bundle on $X^n$ by twisting it with a suitable isomorphism. In this paper, from this point of view, we extend the construction of $L_θ$ to the more general setting. Moreover, we also consider objects defined on a mirror partner of $X_θ^n$ which are mirror dual to such extended noncommutative objects.

AG-2026.03-050

math.DG

Ricci curvature and metric in causal spacetimes

Javier Lafuente-López

A viable spacetime is one that admits a complete timelike geodesic. It is shown that a causal diffeomorphism preserving the Ricci tensor between two spacetimes is necessarily a homothety, if one of them is viable.

AG-2026.03-042

math.DG

Mass-type invariants in the presence of a cosmological constant

Virginia Agostiniani, Stefano Borghini, Lorenzo Mazzieri

In this paper, we introduce new mass-type invariants for time-symmetric initial data in space-times obeying the Dominant Energy Condition. When the cosmological constant is positive, these invariants, unlike the total Hawking mass, turn out to be genuinely effective in providing new characterizations of de Sitter solution. From a theoretical standpoint, this opens a new perspective on how one might refine the rigidity statement originally proposed by Min-Oo in his well known conjecture, later refuted by the counterexamples of Brendle, Marques, and Neves.

AG-2026.02-375

math.DG

Topological variations in General Relativity: a rigorous perspective

Miltiadis Paschalis

Motivated by recent developments in the theory of gravitation, we revisit the idea of topological variations, originally introduced by Wheeler and Hawking, from a rigorous perspective. Starting from a localized version of the Einstein-Hilbert variational principle, we encode the key aspects of the variational procedure in the form of a topology on a suitable space of variational configurations with low Sobolev regularity. This structure is the final topology with respect to the admissible variational maps and naturally lends itself to generalizations. We rigorously introduce two distinct types of topological variations, corresponding to the infinitesimal addition of disconnected components and to infinitesimal surgeries, both motivated by related physical concepts. Using tools from the theory of Sobolev spaces and precise asymptotics, we establish dimensional obstructions for the continuity and differentiability of the Einstein-Hilbert action with respect to these variations, and show that in the extended variational framework the action does not admit critical points in dimension $n=4$, while higher dimensions are free of this problem. Finally, we demonstrate the non-trivial effect of higher order curvature terms on the critical dimension.

AG-2026.02-289

math.DG

Extensions of spacetime Bartnik data and estimates for the Bartnik mass outside of time-symmetry

Stephen McCormick, Markus Wolff

Bartnik's quasi-local mass is a functional on Bartnik data $(\mathbb S^2,γ,H,P,ω^\perp)$, consisting of a metric $γ$, scalar functions $H$ and $P$, and a 1-form $ω^\perp$ on the $2$-sphere $\mathbb S^2$. We construct initial data $(M,g,K)$ for the Einstein equations with boundary $Σ\cong\mathbb S^2$, and boundary conditions for $g$ and $K$ determined by Bartnik data with $H,P$ constant and $ω^\perp\equiv0$. Furthermore this initial data agrees with spherically symmetric initial data for a Schwarzschild spacetime outside of a compact set with controlled mass. As an application, we obtain estimates for the Bartnik mass for such Bartnik data, outside of the time-symmetric setting. We also construct initial data on the cylinder $\mathbb S^2\times[0,1]$ connecting this same class of Bartnik data to time-symmetric data so that estimates for the Bartnik mass outside of time-symmetry can be obtained from prior estimates for time-symmetric data.

AG-2026.02-748

math.DG

Capturing the Atiyah-Patodi-Singer index from the lattice

Shoto Aoki, Hajime Fujita, Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi

We construct a formulation of the Atiyah-Patodi-Singer index of Dirac operators in lattice gauge theory for domains with compact boundaries in a flat torus. The key idea is to exploit its equality to the spectral flow of the domain-wall fermion Dirac operators, which we generalize in this work to cases without product structure near the boundary. We prove that, for sufficiently small lattice spacings, this formulation correctly captures the continuum Atiyah-Patodi-Singer index.

AG-2026.02-746

math.DG

Neural and numerical methods for $\mathrm{G}_2$-structures on contact Calabi-Yau 7-manifolds

Elli Heyes, Edward Hirst, Henrique N. Sá Earp, Tomás S. R. Silva

A numerical framework for approximating $\mathrm{G}_2$-structure 3-forms on contact Calabi-Yau manifolds is presented. The approach proceeds in three stages: first, existing neural network models are employed to compute an approximate Ricci-flat metric on a Calabi-Yau threefold. Second, using this metric and the explicit construction of a $\mathrm{G}_2$-structure on the associated 7-dimensional Calabi-Yau link in the 9-sphere, numerical approximations of the 3-form are generated on a large set of sampled points. Finally, a dedicated neural architecture is trained to learn the 3-form and its induced Riemannian metric directly from data, validating the learned structure and its torsion via a numerical implementation of the exterior derivative, which may be of independent interest.

AG-2026.02-274

math.DG

Maximum capacity of Bartnik data and a generalization of static metrics

Jeffrey L. Jauregui

Inspired by R. Bartnik's mass minimization problem in general relativity, we investigate a dual problem of maximizing the capacity among asymptotically flat extensions (with nonnegative scalar curvature) of some fixed two-dimensional boundary data. Using the method of Lagrange multipliers on the constraint space of scalar-flat extensions, we derive the variational condition satisfied by a maximal capacity extension. The resulting equation is an inhomogeneous generalization of the well-known static equation, now coupled with the Baird--Eells stress-energy tensor for a harmonic function. We analyze these ``harmonic-static'' metrics in a local sense, proving they have constant scalar curvature and serve as critical points for a metric-dependent Dirichlet energy functional. We conclude with a number of open questions.

AG-2026.02-257

math.DG

The total geodesic curvature and the $(2+1)$-dimensional hyperbolic mass

Xiaokai He, Xiaoning Wu, Naqing Xie

We consider a Jordan domain diffeomorphic to a closed two-dimensional disk with a smooth boundary. Assuming the Gauss curvature of the domain has a negative lower bound, the Gauss-Bonnet formula provides an upper bound for the total geodesic curvature of the boundary curve. This bound, however, inherently depends on the interior geometry of the region. In this paper, we derive an upper bound for the total geodesic curvature expressed solely in terms of the boundary data. Notably, the proof is connected to the positivity of the hyperbolic Hamiltonian mass in the (2+1)-dimensional gravity theory.

AG-2026.02-685

math.DG

Towards resurgence of Joyce structures

Iván Tulli

Given a Joyce structure, we show that the associated $\mathbb{C}^*$-family of non-linear connections $\mathcal{A}^ε$ can be gauged to a standard form $\mathcal{A}^{ε,\text{st}}$ by a gauge transformation $\hat{g}$, formal in $ε$. We show that the corresponding infinitesimal gauge transformation $\dot{g}=\log(\hat{g})$ has a convergent Borel transform, provided $\dot{g}$ vanishes on the base of the Joyce structure. This establishes the first step in showing that such a $\dot{g}$ is resurgent. We also use $\hat{g}$ to produce formal twistor Darboux coordinates for the complex hyperkähler structure associated to the Joyce structure, and show a similar result about convergence of the Borel transform of the formal twistor Darboux coordinates.

AG-2026.02-186

math.DG

Positive mass theorems for manifolds with ALH toroidal ends

Gregory J. Galloway, Tin-Yau Tsang

In work with P. Chruściel, L. Nguyen and T.-T. Paetz [8], a positive mass theorem was obtained for asymptotically locally hyperbolic manifolds with boundary, having a toroidal end. The proof made use of properties of marginally outer trapped surfaces (MOTS). Here we present some new PMT results for such manifolds, but without boundary, which allow for other more general ends. The proofs, while still MOTS-based, involve a more elaborate technique (related to $μ$-bubbles) introduced in work of D. A. Lee, M. Lesourd, and R. Unger [20] for manifolds with an asymptotically flat end, and further developed in [23] for manifolds with an asymptotically hyperbolic end.

AG-2026.02-085

math.DG

A low-regularity Riemannian positive mass theorem for non-spin manifolds with distributional curvature

Eduardo Hafemann

This article establishes a low-regularity Riemannian positive mass theorem for non-spin manifolds whose metrics are only $C^0 \cap W_{\mathrm{loc}}^{1,n}$ and smooth outside a compact set. The main theorem asserts that asymptotically flat manifolds with nonnegative distributional scalar curvature have nonnegative ADM mass. The proof uses smooth approximations of the metric together with a Sobolev version of Friedrichs' Lemma, which yields improved convergence for commutators between differentiation and convolution operators. Rigidity is obtained for $C^0 \cap W_{\mathrm{loc}}^{1,p}$ metrics with $p>n$ via the comparison theory of $\sf{RCD}$-spaces and a rigidity theorem for compact manifolds with metrics of nonnegative distributional curvature by Jiang-Sheng-Zhang. The argument relies on either elementary techniques or generalisations of the standard argument. In essence, a version of the main theorem of Lee-LeFloch is presented in which the spin condition is removed under the assumption that the metric is smooth outside a compact set.

AG-2026.02-607

math.DG

Symmetries and Higher-Form Connections in Derived Differential Geometry

Severin Bunk, Lukas Müller, Joost Nuiten, Richard J. Szabo

We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks with sufficient deformation theory. That allows us to introduce the Atiyah $L_\infty$-algebroid of a principal $\infty$-bundle and establish its global sections as the $L_\infty$-algebra of the derived higher symmetry group of the bundle. We define the space of $p$-form connections on an $\infty$-bundle as the space of order $p$ splittings of its Atiyah $L_\infty$-algebroid. We demonstrate that our new concept of derived geometric $p$-form connections recovers the known notion of connections on higher U(1)-bundles defined via Čech-Deligne differential cocycles. We further relate the $L_\infty$-algebras of derived higher symmetries of higher U(1)-bundles and higher Courant algebroids. Some applications in higher gauge theory and in supergravity are mentioned.

AG-2026.01-456

math.DG

Infinitesimal rigidity of Hermitian gravitational instantons

Lars Andersson, Bernardo Araneda

We prove infinitesimal rigidity and integrability of the moduli space for Hermitian gravitational instantons. Together with the recent proof by Biquard, Gauduchon, and LeBrun of local rigidity for Hermitian instantons, this completes the picture of the moduli space of Hermitian gravitational instantons, both for the compact and non-compact cases. An important step in the proof is to show that provided certain boundary conditions hold, a curve of Riemannian metrics passing through a Hermitian non-Kähler Einstein metric is conformally Kähler to second perturbative order. This uses ideas of Wu and LeBrun.

AG-2026.01-390

math.DG

Conformal Einstein spaces and conformally covariant operators

Alfonso García-Parrado, Jónatan Herrera, Miguel Vadillo

In this article we give general neccessary and sufficient conditions to ensure that a pseudo-Riemannian manifold is conformal to an Einstein space. These conditions are algorithmic in \emph{the metric tensor} whenever the Weyl endomorphism is invertible. Our conditions depend in an essential manner on the $\mathcal{C}$-connection. We also show how to construct \emph{conformally covariant, pseudo-differential} operators which has an independent interest.

AG-2026.01-350

math.DG

Positive energy-momentum theorems for asymptotically AdS spin initial data sets with charge

Simon Raulot

For complete spin initial data sets with an asymptotically anti--de Sitter end, we introduce a charged energy--momentum defined as a linear functional arising from the Einstein--Maxwell constraints. Under a dominant energy condition adapted to the presence of a negative cosmological constant, we establish positive energy--momentum theorems, showing in particular that this functional is non--negative on a natural real cone. We place particular emphasis on the case where the manifold carries a compact inner boundary. In the time--symmetric setting, this yields a mass--charge inequality for asymptotically hyperbolic manifolds with charge.

AG-2026.01-329

math.DG

Surgery and total mean curvature

Georg Frenck, Bernhard Hanke, Sven Hirsch

We prove Gromov's conjecture on the total mean curvature of fill-ins in various cases. Our methods are based on surgery to reduce the statement to fill-ins of spheres, which can be treated by instances of the positive mass theorem. For spin fill-ins, where we permit the mean curvature to take negative values, we build on a classical surgery result of Lawson-Michelsohn and a recent positive mass theorem with creases by Kazaras-Khuri-Lin. For non-spin fill-ins of spin manifolds, where we assume the mean curvature to be non-negative, we develop a novel quantitative surgery process to reduce the general situation to a result of Shi-Wang-Wei. We also treat the case of fill-ins of non-spin manifolds, provided there is a fixed positive lower bound on the mean curvature.

AG-2026.01-317

math.DG

Möbius-Type Structures in Non-Orientable Singular Semi-Riemannian Manifolds

Nathalie E. Rieger

Our objective is to illuminate the global structure of non-orientable manifolds with signature-changing metrics. Using explicit constructions based on the topology of the Möbius strip, we produce examples of crosscap manifolds where the gluing junction serves as the locus of signature change. In another set of examples, we convert the Möbius strip into a singular signature-type changing manifold. For these resulting manifolds, we test whether the metric can be expressed as $\tilde{g}=g+fV^{\flat}\otimes V^{\flat}$, with $g$ a Lorentzian metric and $f$ a smooth interpolation function between the Lorentzian and Riemannian regions, separated by the signature change hypersurface $\mathcal{H}$. Our analysis reveals that the radical of the metric can transition from transverse to tangent at $\mathcal{H}$, pseudo-space orientability is obstructed by the Euler characteristic, and pseudo-time orientability may still hold. These examples illustrate subtle obstructions to applying standard transformation prescriptions for signature change and highlight novel phenomena in compact, non-orientable semi-Riemannian manifolds.

AG-2026.01-316

math.DG

Einstein and Yang-Mills implies conformal Yang-Mills

Samuel Blitz, A. Rod Gover, Jarosław Kopiński, Andrew Waldron

There exist conformally invariant, higher-derivative, variational analogs of the Yang-Mills condition for connections on vector bundles over a conformal manifold of even dimension greater than or equal to six. We give a compact formula for these analogs and prove that they are a strict weakening of the Yang-Mills condition with respect to an Einstein metric. We also show that the conformal Yang-Mills condition for the tractor connection of an even dimensional conformal manifold is equivalent to vanishing of its Fefferman-Graham obstruction tensor. This result uses that the tractor connection on a Poincaré-Einstein manifold is itself Yang-Mills.

AG-2026.01-182

math.DG

The Initial Value Problem for the Generalised Einstein Equations

Oskar Schiller

We discuss the initial value problem for the Einstein equations in Hitchin's generalised geometry for the case of closed divergence (which correspond to the equations of motion in the bosonic part of the NS-NS sector in type II ten-dimensional supergravity) and establish the existence of a maximal globally hyperbolic development (MGHD). The dynamical fields, defined on a manifold of dimension $n+1$, are the space-time metric, a scalar field known as the dilaton function, and a two-form known as the $B$-field. We develop a generalisation of the Lorenz gauge which, applied to the $B$-field (and combined with a suitable gauge condition breaking diffeomorphism invariance), renders the system a wave equation with principal symbol given by the (dynamical) metric. Given initial data, we construct a development satisfying the gauge conditions. We show that all other developments are (in the appropriate sense) related to this development by a diffeomorphism, establishing geometric uniqueness. The existence of the MGHD follows then by a famous result by Choquet-Bruhat and Geroch. In showing existence and geometric uniqueness of developments, we follow an approach developed in detail by Ringström for the Einstein equations coupled to a scalar field. In a preliminary section, we present a formulation which is disentangled from the specific assumptions made on the matter, so that adaptation to other systems is straightforward.

AG-2025.12-579

math.DG

Equivalence of the null energy condition to variable lower bounds on the timelike Ricci curvature for $C^2$-Lorentzian metrics

Melanie Graf, Yaver Gulusoy

The null energy or null convergence condition (NEC) is one of the fundamental assumptions necessary for many celebrated results from Lorentzian Geometry and Mathematical General Relativity. As such there have been several recent efforts to find a good generalization of this condition to the new setting of Lorentzian length spaces or metric measure spacetimes. One important property any such generalization should fulfill is consistency with the classical formulation for a class of spacetimes as large as possible. The purpose of this note is to show that the recent reformulation of the NEC by McCann as variable lower timelike Ricci curvature bounds (arXiv:2304.14341) remains equivalent to the classical NEC not just for smooth but even for $C^2$-metrics, where McCann's original proof needs to be modified.

AG-2025.12-493

math.DG

Horizons in noncompact fill-ins of nonnegative scalar curvature

Pengzi Miao, Sehong Park

Given a complete Riemannian metric of nonnegative scalar curvature on $Σ\times (-\infty, 0 ] $, where $Σ$ denotes a $2$-sphere, we exhibit conditions that imply the existence of a closed minimal surface homologous to the boundary.

AG-2025.12-450

math.DG

Some examples of use of transfinite induction in analysis

Nicola gigli

It is not uncommon in analysis that existence of extremal objects is obtained via an iterative procedure: we start from a given admissible object, then modify it, then modify again etc... If being extremal means maximimizing a real valued quantity and we are sure to approach the supremum fast enough, after a countable number of steps and a limiting procedure we are done. In this short note we want to advertise a slightly different line of thought, where rather than trying to approach the supremum fast enough, we: try to increase, if possible, the function to be maximized and, at the same time, index our recursive procedure over ordinals. Since there are no increasing functions from $ω_1$ to $\R$, the procedure must stop at some countable ordinal and existence is proved anyway. The advantage of this line of reasoning is that it can be helpful even in situations where it is not so evident how to measure `being maximal' via a real valued function. This is the case, for instance, for existence of a Maximal Globally Hyperbolic Development of an initial data set in General Relativity. Speaking of this particular example, we also show that such `real-valued quantification' of the size of a development is actually possible, thus existence of a maximal one can be obtained in a countable number of steps using the original argument in [2] together with the standard procedure depicted above. This provides a way alternative to the one given in [5] to `dezornify' the proof in [2].

AG-2025.12-132

math.DG

Conformal transformations of metric spaces and Lorentzian pre-length spaces

Miguel Manzano, Karim Mosani, Clemens Sämann, Omar Zoghlami

We introduce conformal transformations in the synthetic setting of metric spaces and Lorentzian (pre-)length spaces. Our main focus lies on the Lorentzian case, where, motivated by the need to extend classical notions to spaces of low regularity, we provide the first consistent notion of conformal length, and analyse its fundamental properties. We prove that the conformal time separation function $τ_Ω$ (and the causal structure it induces) yields a Lorentzian pre-length structure if the original space is intrinsic and strongly causal. This allows us to construct a notion of conformal transformation between spaces within this class, yielding an equivalence relation. As applications, we show that the conformal length functional agrees with the standard conformal length of (strongly causal) spacetimes. We also prove conformal invariance of angles and causality conditions, give a characterisation of global hyperbolicity via finiteness of $τ_Ω$ for all conformal factors, and establish the behaviour of the Lorentzian Hausdorff measure defined in [MS22a] under conformal changes. Moreover, we apply the same methods to the metric case, which is of interest in its own right. This is exemplified by proving an analog of the Nomizu--Ozeki theorem for metric length spaces, which has the advantage that the resulting complete space is conformally related to the original space.

AG-2025.11-1011

math.DG

On the rigidity of special and exceptional geometries with torsion a closed $3$-form

Georgios Papadopoulos

We demonstrate that all Riemannian manifolds $(M, g, H)$ that admit a connection $\hat\nabla$ with torsion a 3-form $H$, which is both closed $d H=0$ and $\hat\nabla$-covariantly constant, are locally isometric to a product $N\times G$, where $G$ is a semisimple group and $N$ is a Riemannian manifold with $ι_V H=0$ for all tangent vectors $V \in T_pN\subset T_pM$, $p\in M$. If $M$ is simply connected and complete, then by the de Rham theorem $M=N\times G$ globally. We use this to simplify the proof of similar results for strong KT, CYT and HKT manifolds that obey the above hypotheses and extend them to strong $G_2$ and $\mathrm{Spin}(7)$ manifolds with torsion. As an application, we describe the geometry of all complete and simply connected $G_2$ and $\mathrm{Spin}(7)$ manifolds whose torsion satisfies the above conditions. Compact, strong, 8-dimensional HKT manifolds, which are not hyper-Kähler, admit an either $\oplus^4 \mathfrak{u}(1)$ or a $\mathfrak{u}(1)\oplus \mathfrak{su}(2)$ locally free action, otherwise, they are group manifolds. We find that if these Lie algebra actions can be integrated to an appropriate free action of $T^4$ or $S(U(1)\times U(2))$ Lie groups that preserves the span of three complex structures, then these HKT manifolds are either locally isometric and tri-holomorphic to $\mathbb{R}\times S^3\times B^4$ or diffeomorphic to $SU(3)$, where $B^4= \mathbb{R}\times S^3$, $\mathbb{R}^4$ or $K_3$.

AG-2025.11-887

math.DG

Formal geometry and Tamarkin--Tsygan calculi of dg manifolds

Hsuan-Yi Liao, Mathieu Stiénon, Ping Xu

The main goal of this paper is to study the formal geometry of dg manifolds à la Fedosov. For any dg manifold $(\mathcal{M}, Q)$, we construct a Fedosov dg foliation (or dg Lie algebroid) $\mathcal{F}_Q \to \mathcal{N}_Q$. We establish homotopy contractions between their respective spaces of polyvector fields, differential forms, polydifferential operators, and polyjets. As a consequence, we prove that their respective Cartan calculi and noncommutative calculi, in the sense of Tamarkin--Tsygan, are isomorphic.

AG-2025.11-875

math.DG

A few comments on (hyper)kähler geometry

A. V. Smilga

In this note, we make two methodical observations. $\bullet$ We prove in a simple explicit way that a necessary and sufficient condition for a Kähler manifold to be hyperkähler is $h_{i\bar k} h_{j\bar l } Ω^{\bar k \bar l} \ =\ C Ω_{ij}$, where $h_{i\bar k}$ is a complex metric, $Ω$ is a symplectic matrix and $C$ is a positive constant. $\bullet$ The procedure of Kähler reduction includes two stages. On the first stage, a Kähler manifold of dimension $2n$ is reduced to a $(2n-1)$ - dimensional manifold, while on the second stage, one arrives at a Kähler manifold of dimension $2(n-1)$. We note that this second stage has the meaning of Hamiltonian reduction. We illustrate the procedure by discussing a simple toy model when $\mathbb{R}^3 \times S^1$ is reduced down to $S^2$. We elucidate also hyperkähler reduction of $\mathbb{R}^7 \times S^1$ down to the Taub-NUT metric.

AG-2025.11-313

math.DG

The equivalence of isocapacitary notions of mass

Luca Benatti

In this short note, we will prove the equivalence of the isocapacitary notions of mass. This family also includes G. Huisken's isoperimetric mass and J. L. Jauregui's isocapacitary mass.

AG-2025.11-815

math.DG

Deformations of Locally Conformal Spin(7) Instantons

Eyup Yalcinkaya

We explore the deformation theory of instantons on locally conformal (LC) $Spin(7)$ manifolds. These structures, characterized by a non-parallel fundamental 4-form $Φ$ satisfying $dΦ= θ\wedge Φ$, represent a significant, yet geometrically constrained, class of non-integrable $G$-structures. We analyze the infinitesimal deformation complex for $Spin(7)$-instantons in this setting. Our primary contribution is the reformulation of the linearized deformation equations -- comprising the linearized instanton condition and a gauge-fixing term -- using a $t$-parameter family of Dirac operators. We demonstrate that the $t$-dependent torsion terms arising from the Lee form $θ$ cancel precisely. This unexpected simplification reveals that the deformation space $\mathcal{H}^1$ is governed entirely by the Levi-Civita geometry, effectively reducing the torsion-full problem to a more classical, torsion-free (Levi-Civita) setting. Using a Lichnerowicz-type rigidity theorem, we establish a general condition for an (LC) $Spin(7)$-instanton to be rigid (i.e., $\mathcal{H}^1 = \{0\}$). We apply this theory to the flat instanton ($A=0$) on known compact homogeneous (LC) $Spin(7)$ manifolds and conclude that the flat instanton on these spaces is non-rigid, thus possessing a non-trivial moduli space.

AG-2025.11-219

math.DG

Completeness conditions for spacetimes with low-regularity metrics

Keita Takahashi

We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite compactness implies timelike Cauchy completeness and that timelike Cauchy completeness implies Condition A for globally hyperbolic Lorentzian length spaces. Furthermore, for globally hyperbolic $C^{1}$-spacetimes, we establish the equivalence of the three conditions assuming the causally non-branching and non-intertwining conditions, which in fact imply the continuity of the causal exponential map. These results can be regarded as a Hopf-Rinow type theorem for low-regularity Lorentzian geometry. The appendix presents examples of $C^{1}$-spacetimes -- where geodesic uniqueness may fail -- in which causal geodesics nevertheless behave well, illustrating the scope of our results.

AG-2025.11-772

math.DG

Killing (super)algebras for generalised spin manifolds

Andrew D. K. Beckett

We define the notion of a Killing (super)algebra for a connection on a spinor bundle associated to a generalised spin structure on a pseudo-Riemannian manifold of any signature. We are led naturally to include in the even subspace not only Killing vectors but also certain infinitesimal gauge transformations, and we show that the definition of the (super)algebra requires, in addition to the spinor connection and a Dirac current, a map to pair spinor fields into infinitesimal gauge transformations. We show that these (super)algebras are filtered subdeformations of (an analogue of) the Poincaré superalgebra extended by the \(R\)-symmetry algebra. By employing Spencer cohomology, we study such deformations from a purely algebraic point of view and, at least in the case of Lorentzian signature and high supersymmetry, identify the subclass of deformations to which the Killing superalgebras belong. Finally, we show that, with some caveats, one can reconstruct a supersymmetric background geometry from such a deformation as a homogeneous space on which the deformation is realised as a subalgebra of the Killing superalgebra.

AG-2025.11-172

math.DG

Limit curve theorems for incomplete metric spaces and the null distance on Lorentzian manifolds

Adam Rennie, Ben Whale

We prove a limit curve theorem for incomplete metric spaces. Our main application is to Sormani and Vegas' null distance, where our results give strong control on the Lorentzian lengths of limit curves. We also show that regular cosmological time functions and the surface function of a Cauchy surface in a globally hyperbolic manifold define such a null distance.

AG-2025.11-167

math.DG

Stability of Homogeneous minimal hypersurfaces in the Page space and $Y^{p,q}$ Sasaki-Einstein manifolds

Natalia Gherghel, Hari K. Kunduri

We investigate the stability of homogeneous minimal submanifolds in two families of closed Einstein manifolds, the Page space $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$ and the Sasaki-Einstein spaces $Y^{p,q}$, which are equipped with cohomogeneity-one Einstein metrics admitting the isometric action of $SU(2) \times U(1)$ and $U(1) \times U(1) \times SU(2)$ respectively. We determine all the homogeneous, minimal hypersurfaces and explicitly compute the spectrum of their associated stability operators and determine their index.

AG-2025.11-742

math.DG

Courant algebroid lifts and curved Courant algebroids

Filip Moučka, Roberto Rubio

We introduce the Courant algebroid lift, a new construction that takes a Courant algebroid together with a vector bundle connection and produces, when the connection is flat in the image of the anchor, a Courant algebroid. In general, this lift produces a Courant-like structure that we call a curved Courant algebroid. We start by establishing a hierarchy of Courant algebroid properties and their associated structures. In this setting, we introduce curved Courant algebroids, which we show to be related to connections with torsion and curved differential graded Lie algebras. We use this to provide a classification of exact curved Courant algebroids. We show that the Courant algebroid lift of an exact Courant algebroid yields a natural link between the Patterson-Walker metric and generalized geometry. By lifting non-exact Courant algebroids, we establish a relation of these lifts to Lie algebras, Poisson and special complex geometry. Finally, we show that Courant algebroid lifts provide a large class of examples of Courant algebroid actions.

AG-2025.11-715

math.DG

Notes on generalised spin structures

Andrew D. K. Beckett

We review some definitions and basic notions relating to generalised spin structures and introduce the notion of reducibility. We discuss connections on these structures, define a covariant Lie derivative for associated bundles and develop a covariant Cartan calculus. We introduce an extension of the Lie algebra of Killing vectors, the symmetry algebra, and show that it has a representation on sections of associated bundles. We discuss homogeneous generalised spin structures and provide a characterisation of them in terms of lifts of the isotropy representation.

AG-2025.11-075

math.DG

Stability and rigidity of axisymmetric marginally outer trapped two-spheres

Gregory J. Galloway, Abraão Mendes

In [7], H. Bray, S. Brendle, and A. Neves studied rigidity properties of area-minimizing two-spheres in Riemannian three-manifolds with uniformly positive scalar curvature. In [13], these results were extended to marginally outer trapped surfaces (MOTS) in general initial data sets $(M^3,g,K)$ under a natural energy condition. In the present work, we refine the latter results to the setting of axisymmetric MOTS in initial data sets admitting a nontrivial Killing vector field. Conditions for the stability of such MOTS, as well as a new foliation lemma by axisymmetric surfaces of constant outward null expansion, are obtained. Finally, we discuss some aspects of the rotating Nariai spacetimes and their relation to these results.

AG-2025.10-1131

math.DG

The Cauchy problem for gradient generalized Ricci solitons on a bundle gerbe

Severin Bunk, Miguel Pino, C. S. Shahbazi

We prove well-posedness of the analytic Cauchy problem for gradient generalized Ricci solitons on an abelian bundle gerbe and solve the initial data equations on every compact Riemann surface. Along the way, we provide a novel characterization of the self-similar solutions of the generalized Ricci flow by means of families of automorphisms of the underlying abelian bundle gerbe covering families of diffeomorphisms isotopic to the identity.

AG-2025.10-546

math.DG

On the generalized $m$-Kropina metrics

Ebtsam H. Taha

Generalized $m$-Kropina metrics appear naturally as a spacetime geometry compatible with Lorentz symmetry breaking, leading to useful applications in modified gravity and cosmology. We prove that a generalized $m$-Kropina metric $F$ is an almost rational Finsler metric. Thereby, we study the rationality of its Finslerian geometric objects in the directional variable $y$. For example, its geodesic spray coefficients are rational in $y$. Consequently, we prove that if $F$ is an Einstein metric with $m \notin \mathbb{Z}$, then it is Ricci-flat. Moreover, for $m \in 2 \mathbb{Z}$, if $F$ has isotropic mean Berwald curvature, or has relatively isotropic Landsberg curvature, or has almost vanishing $\mathbf{H}$-curvature, then $F$ is weakly Berwaldian, or $F$ is Landsbergian, or $\mathbf{H}=0$, respectively. We, hence, deduce under what conditions a generalized $m$-Kropina metric $F$ becomes an exact solution to either "Chen and Shen's Finslerian nonvcuum field equations"or "Pfeifer and Wohlfath's vacuum field equation". Finally, some examples of generalized $m$-Kropina metrics in dimension $4$, which has significant applications in modified gravity and cosmology, are provided.

AG-2025.10-193

math.DG

All toric Hermitian ALE gravitational instantons

Bernardo Araneda, James Lucietti

We prove that the only smooth, Ricci flat, ALE instanton with a toric Hermitian non-Kähler structure is the Eguchi-Hanson instanton. The proof is analogous to the classification of toric Hermitian ALF instantons by Biquard and Gauduchon, although we avoid the use of toric Kähler geometry and instead perform a direct global analysis of the Tod form of the metric in Weyl-Papapetrou coordinates. This supports a conjecture by Gibbons and Bando-Kasue-Nakajima which states that any Ricci flat ALE instanton is self-dual.

AG-2025.10-079

math.DG

Carrollian Lie Algebroids: Taming Singular Carrollian Geometries

Andrew James Bruce

Developments in Carrollian gravity and holography necessitate the use of singular Carroll vector fields, a feature that cannot be accommodated within standard Carrollian geometry. We introduce Carrollian Lie algebroids as a framework to study such singular Carrollian geometries. In this approach, we define the Carroll distribution as the image of the kernel of the degenerate metric under the anchor map. The Carroll distribution is, in general, a singular Stefan--Sussmann distribution that will fluctuate between rank-1 and rank-0, and so captures the notion of a singular Carroll vector field. As an example, we show that an invariant Carrollian structure on a principal bundle leads to a Carrollian structure on the associated Atiyah algebroid that will, in general, have a singular Carroll distribution. Mixed null-spacelike hypersurfaces, under some simplifying assumptions, also lead to examples of Carrollian Lie algebroids. Furthermore, we establish the existence of compatible connections on Carrollian Lie algebroids, and as a direct consequence, we conclude that Carrollian manifolds can always be equipped with compatible affine connections.

AG-2025.10-078

math.DG

Carrollian Lie Algebroids: Taming Singular Carrollian Geometries

Andrew James Bruce

Developments in Carrollian gravity and holography necessitate the use of singular Carroll vector fields, a feature that cannot be accommodated within standard Carrollian geometry. We introduce Carrollian Lie algebroids as a framework to study such singular Carrollian geometries. In this approach, we define the Carroll distribution as the image of the kernel of the degenerate metric under the anchor map. The Carroll distribution is, in general, a singular Stefan--Sussmann distribution that will fluctuate between rank-1 and rank-0, and so captures the notion of a singular Carroll vector field. As an example, we show that an invariant Carrollian structure on a principal bundle leads to a Carrollian structure on the associated Atiyah algebroid that will, in general, have a singular Carroll distribution. Mixed null-spacelike hypersurfaces, under some simplifying assumptions, also lead to examples of Carrollian Lie algebroids. Furthermore, we establish the existence of compatible connections on Carrollian Lie algebroids, and as a direct consequence, we conclude that Carrollian manifolds can always be equipped with compatible affine connections.

AG-2025.10-050

math.DG

Metric Convergence of Sequences of Static Spacetimes with the Null Distance

Brian Allen

How should one define metric space notions of convergence for sequences of spacetimes? Since a Lorentzian manifold does not define a metric space directly, the uniform convergence, Gromov-Hausdorff (GH) convergence, and Sormani-Wenger Intrinsic Flat (SWIF) convergence does not extend automatically. One approach is to define a metric space structure, which is compatible with the Lorentzian structure, so that the usual notions of convergence apply. This approach was taken by C. Sormani and C. Vega when defining the null distance. In this paper, we study sequences of static spacetimes equipped with the null distance under uniform, GH, and SWIF convergence, as well as Hölder bounds. We use the results of the Volume Above Distance Below (VADB) theorem of the author, R. Perales, and C. Sormani to prove an analog of the VADB theorem for sequences of static spacetimes with the null distance. We also give a conjecture of what the VADB theorem should be in the case of sequences of globally hyperbolic spacetimes with the null distance.

AG-2025.10-013

math.DG

A semi-symmetric metric connection, perfect fluid space-time and phantom barrier

Miroslav Maksimović, Milan Zlatanović, Marija Najdanović

We consider a concircularly semi-symmetric metric connection and its application. The Ricci tensors with respect to the concircularly semi-symmetric metric connection are symmetric, and they are used to define Einstein type manifolds. In this way, conditions under which a pseudo-Riemannian manifold is quasi-Einstein are obtained. On a Lorentzian manifold, a concircularly semi-symmetric metric connection with a unit timelike generator becomes a semi-symmetric metric $P$-connection, and a Lorentzian manifold becomes a GRW space-time. The scalar curvature of a perfect fluid space-time with that connection is not constant in the general case. By applying previously established results for quasi-Einstein manifolds, we examine the cases when the scalar curvature is constant. Furthermore, an application to the theory of relativity is presented, and the value of the equation of state is examined. It is ultimately shown that the equation of state in a perfect fluid space-time that satisfies Einstein field equation with cosmological constant and admits a unit timelike torse-forming vector represents a phantom barrier.

AG-2025.09-465

math.DG

On the geometry and uniqueness of asymptotically locally hyperbolic static vacuum black holes

Brian Harvie, Ye-Kai Wang

We establish an inequality relating the surface gravity and topology of a horizon in a $3$-dimensional asymptotically locally hyperbolic static space with the geometry at infinity. Equality is achieved only by the Kottler black holes, and this rigidity leads to several new static black hole uniqueness theorems for a negative cosmological constant. First, the ADS-Schwarzschild black hole with critical surface gravity $κ=\sqrt{-Λ}$ is unique. Second, the toroidal Kottler black holes are unique in the absence of spherical horizons. Third, the hyperbolic Kottler black holes with mass $m>0$ are unique *if* the generalized Penrose inequality holds for the corresponding class of static spaces. Building on work of Ge-Wang-Wu-Xia, we then use this fact to obtain uniqueness for static ALH graphs with hyperbolic infinities. This inequality follows from a generalization of the Minkowski inequality in ADS-Schwarzschild space due to Brendle-Hung-Wang. Using optimal coefficients for the sub-static Heintze-Karcher inequality, we construct a new monotone quantity under inverse mean curvature flow (IMCF) in static spaces with $Λ < 0$. Another fundamental tool developed in this paper is a regularity theorem for IMCF in asymptotically locally hyperbolic manifolds. Specifically, we prove that a weak solution of IMCF in an ALH 3-manifold with horizon boundary is eventually smooth. This extends the regularity theorem for a spherical infinity due to Shi and Zhu.

AG-2025.09-290

math.DG

Existence of uniform Temple charts and applications to null distance

Benjamin Meco, Anna Sakovich, Christina Sormani

In this paper, we prove that Temple's cylindrical future null coordinate charts can be constructed uniformly and we estimate the gradients of their optical functions. We then apply these charts to study a spacetime $(N,g)$ that has been converted into a definite metric space $(N,\hat{d}_τ)$, where $\hat{d}_τ$ is the null distance of Sormani and Vega defined using a locally anti-Lipschitz (in the sense of Chrusciel, Grant, and Minguzzi) generalized time function $τ$. In particular, in the case when $τ$ is Lipschitz we prove that $(N, \hat{d}_τ)$ is a rectifiable metric space, where the causal structure is locally encoded by $τ$ and $\hat{d}_τ$. As a consequence, applying a classical theorem of Hawking and following a technique developed by Sakovich and Sormani, we can prove a Lorentzian isometry theorem, generalizing our earlier result.

AG-2025.09-868

math.DG

Parallel torsion and $G_2, Spin(7)$ instantons

Stefan Ivanov, Alexander Petkov, Luis Ugarte

Instanton properties of the characteristic connection $\nabla$ on an integrable $G_2$ manifold as well as instanton condition of the torsion connection $\nabla$ on a $Spin(7)$ manifold are investigated. It is shown that for an integrable $G_2$ manifold with $\nabla$-parallel Lee form the curvature of the characteristic connection is a $G_2$ instanton exactly when the torsion 3-form is $\nabla$-parallel. It is observed that on a compact $Spin(7)$ manifold with $\nabla$ closed torsion 3-form the torsion connection is a $Spin(7)$ instanton if and only if the torsion 3-form is parallel with respect to the torsion connection.

AG-2025.09-121

math.DG

Positive Energy Theorems for Spin Initial Data with Charge

Simon Raulot

We establish positive energy theorems for complete spin initial data sets with charge in dimensions $n \geq 4$, under a dominant energy condition and assuming the existence of at least one asymptotically flat end. Our results, formulated in the purely electric case, extend the classical theorems of Gibbons--Hull~\cite{GibbonsHull}, Gibbons--Hawking--Horowitz--Perry~\cite{GibbonsHawkingHorowitzPerry}, and Bartnik--Chruściel~\cite{BartnikChrusciel}.

AG-2025.09-062

math.DG

Mass Lower Bounds for Asymptotically Locally Flat Manifolds

Marcus Khuri, Jian Wang

We establish positive mass type theorems for asymptotically locally flat (ALF) manifolds, which have asymptotic ends modeled on circle bundles over a Euclidean base with fibers of constant length. In particular for dimensions $n\leq 7$, the mass of AF manifolds is shown to be nonnegative under the assumption of nonnegative scalar curvature if a codimension-two coordinate sphere in the asymptotic end is trivial in homology, with zero mass achieved only for the product $\mathbb{R}^{n-1}\times S^1$. The same conclusions are obtained in dimension four for ALF manifolds admitting an almost free $U(1)$ action. Moreover, in this setting the mass is shown to be bounded below by a multiple of the degree of the circle bundle at infinity. This is the first such result illustrating how nontrivial topology of the end contributes to the mass.

AG-2025.08-627

math.DG

Spiraling conformal geodesics

Wojciech Kamiński

In this short note, we construct an example of spiraling conformal geodesic in Euclidean signature in dimension $3$, answering the question posed by Helmuth Friedrich and Paul Tod, if such objects exists. Our example is not real analytic, but similar constructions can lead also to real analytic metrics in arbitrary dimensions.

AG-2025.08-603

math.DG

Characteristic tensors for almost Finsler manifolds

James F. Davis, Benjamin R. Edwards, Alan Kostelecky

Almost Finsler manifolds and partial Finsler manifolds are introduced, extending the standard definition of a Finsler manifold to allow for a nontrivial slit containing points fixed under homogeneous scaling and for metrics where the fundamental tensor has nonpositive eigenvalues. The bipartite spaces offer examples of comparatively simple almost Finsler manifolds and partial Finsler manifolds with physics applications. Special cases are the $\bf{a}$ and $\bf{b}$ spaces, which have almost Finsler norms and partial Finsler norms formed from a Riemannian norm and a 1-form. The indicatrix union of the almost Finsler $\bf{a}$ manifolds equals the indicatrix union of Randers spaces. Characteristic tensors that vanish for bipartite spaces and $\bf{b}$ spaces are obtained and expressed using geometric quantities. These tensors are generalizations of the Matsumoto tensor, which vanishes on Randers and $\bf{a}$ spaces.

AG-2025.08-529

math.DG

The index of the cosmological horizon and the area-charge-inequality

Neilha Pinheiro

In this article, we investigate the index of the MOTS given by a spatial cross section of the cosmological horizon in the Kerr-Newman-de Sitter spacetime. We show that its index is at least one in the symmetrized sense for a small positive parameter a, such parameter defines the angular momentum. Assuming a lower bound for the mass, we prove that this MOTS has index one. Also, considering an upper bound for the mass, we show that its index is at least two in the symmetrized sense. Moreover, we establish an estimate relating the area and the charge of a MOTS with index one in a Cauchy data satisfying the dominant energy condition, which give us a connection between MOTS with index one and General Relativity.

AG-2025.08-480

math.DG

The Positive Mass Theorem for Creased Initial Data

Demetre Kazaras, Marcus Khuri, Michael Lin

We establish a spacetime positive mass theorem and rigidity statement for asymptotically flat spin initial data sets with a codimension one singularity controlled by a matching Bartnik data condition involving spacetime rotations, and discuss applications. This generalizes several previous works on the topic, including results of Miao, Tsang, and Shi-Tam.

AG-2025.08-420

math.DG

Lorentzian Cheeger-Gromov convergence and temporal functions

Saúl Burgos, José L. Flores, Miguel Sánchez

Uniqueness (up to isometries) and existence of limits are studied in the context of Cheeger-Gromov convergence of spacetimes. To address the non-compactness of the vector isometry group in the semi-Riemannian setting, standard pointed convergence is strengthened to anchored convergence, which in the Lorentzian case requires the convergence of a timelike direction. This allows one to construct a local isometry between neighborhoods of the basepoints, which can be extended globally under geodesic completeness or just inextensibility. In spacetimes, by using Cauchy temporal functions as both strengthening of anchors and tools to ``Wick rotate'' metrics, a special notion of convergence for globally hyperbolic spacetimes (including those with timelike boundaries) is introduced. After revisiting the tools related to time functions and studying their connections with Sormani-Vega null distance, the machinery of Riemannian Cheeger-Gromov theory becomes applicable. In particular, several results of independent interest are obtained, including local regularity of time functions up to rescaling, global and local characterizations of $h$-steep functions, independence of steepness and $h$-steepness for temporal functions, compatibility of both conditions for Cauchy temporal functions, and stability of the latter.

AG-2025.08-375

math.DG

On a Grassmann odd analogue of Carrollian Manifolds

Andrew James Bruce

We define a Grassmann odd analogue of a Carrollian manifold as a supermanifold of dimension $n|1$ with an even degenerate metric such that the kernel is generated by a non-singular odd vector field that is a supersymmetry generator. Alongside other results, we establish that the reduced manifold is a pseudo-Riemannian manifold, and show that compatible affine connections always exist, albeit they must carry torsion. As a physically relevant example, we examine an Inönü--Wigner contraction of the supertranslation algebra on standard superspace $\mathbb{R}^{4|4}$.

AG-2025.08-359

math.DG

Foliations by critical surfaces of the Hawking energy in asymptotically flat initial data sets

Alejandro Peñuela Diaz

Area-constrained critical surfaces for the Hawking quasi-local energy ("Hawking surfaces") provide a natural setting for that energy: they enjoy positivity and rigidity properties. We construct large-scale foliations at infinity by Hawking surfaces in asymptotically Schwarzschild initial data sets. Using a Lyapunov-Schmidt reduction within a Willmore-foliation framework, we prove existence and uniqueness of the foliation and study its coordinate center. Under the dominant energy condition, we show that along the leaves of the foliation, the Hawking energy is positive and converges to the ADM energy in the large-sphere limit; moreover, subject to an explicit integral constraint, it is monotone along the foliation. Under weaker assumptions we construct an on-center family of Hawking surfaces that, while not necessarily a foliation, still enjoys positivity and the large-sphere limit. Finally, we obtain a rigidity statement and verify that our hypotheses hold in a broad class of data, initial data sets with harmonic or York asymptotics, thereby demonstrating the robustness of Hawking surfaces as a quasi-local energy tool in dynamical spacetimes.

AG-2025.08-215

math.DG

Embedding Signature-Changing Manifolds: A Braneworld and Kaluza-Klein Perspective

N. E. Rieger

We investigate a class of semi-Riemannian manifolds characterized by smooth metric signature changes with a transverse radical. This class includes spacetimes relevant to cosmological models such as the Hartle-Hawking "no boundary" proposal, where a Riemannian manifold transitions smoothly into a Lorentzian spacetime without boundaries or singularities. For this class, we prove the existence of global isometric embeddings into higher-dimensional pseudo-Euclidean spaces. We then strengthen this result by demonstrating that a specific type of global isometric embedding, which we term an $\mathcal{H}$-global embedding, also exists into both Minkowski space and Misner space. For the canonical $n$-dimensional signature-changing model, we explicitly construct a full global isometric embedding into $(n+1)$-dimensional Minkowski and Misner spaces, a significantly stronger result than an $\mathcal{H}$-global embedding for this specific case. This embedding framework provides new geometric tools for studying signature change and braneworlds through the geometry of submanifolds embedded in a bulk, thus presenting a mathematically well-defined approach to these phenomena.

AG-2025.08-002

math.DG

Generalizing the Penrose cut-and-paste method: Null shells with pressure and energy flux

Miguel Manzano, Argam Ohanyan, Roland Steinbauer

The cut-and-paste method is a procedure for constructing null thin shells by matching two regions of the same spacetime across a null hypersurface. Originally proposed by Penrose, it has so far allowed to describe purely gravitational and null-dust shells in constant-curvature backgrounds. In this paper, we extend the cut-and-paste method to null shells with arbitrary gravitational/matter content. To that aim, we first derive a locally Lipschitz continuous form of the metric of the spacetime resulting from the most general matching of two constant-curvature spacetimes with totally geodesic null boundaries, and then obtain the coordinate transformation that turns this metric into the cut-and-paste form with a Dirac-delta term. The paper includes an example of a null shell with non-trivial energy density, energy flux and pressure in Minkowski space.

AG-2025.07-596

math.DG

Carrollian $\mathbb{R}^\times$-bundles III: The Hodge Star and Hodge--de Rham Laplacians

Andrew James Bruce

Carrollian $\mathbb{R}^\times$-bundles ($\mathbb{R}^\times := \mathbb{R}\setminus \{0\}$) offer a novel perspective on intrinsic Carrollian geometry using the powerful tools of principal bundles. Given a choice of principal connection, a canonical Lorentzian metric exists on the total space. This metric enables the development of Hodge theory on a Carrollian $\mathbb{R}^\times$-bundle; specifically, the Hodge star operator and Hodge--de Rham Laplacian are constructed. These constructions are obstructed on a Carrollian manifold due to the degenerate metric. The framework of Carrollian $\mathbb{R}^\times$-bundles bridges the gap between Carrollian geometry and (pseudo)-Riemannian geometry. As an example, the question of the Hodge--de Rham Laplacian on the event horizon of a Schwarzschild black hole is addressed. A Carrollian version of electromagnetism is also proposed.

AG-2025.07-489

math.DG

The canonical generalised Levi-Civita connection and its curvature

Vicente Cortés, Matas Mackevicius, Thomas Mohaupt, Oskar Schiller

Given a (semi-Riemannian) generalised metric $\mathcal G$ and a divergence operator $\mathrm{div}$ on an exact Courant algebroid $E$, we geometrically construct a canonical generalised Levi-Civita connection $D^{\mathcal G, \mathrm{div}}$ for these data. In this way we provide a resolution of the problem of non-uniqueness of generalised Levi-Civita connections. Since the generalised Riemann tensor of $D^{\mathcal G, \mathrm{div}}$ is an invariant of the pair $(\mathcal G, \mathrm{div})$, we no longer need to discard curvature components which depend on the choice of the generalised connection. As a main result we decompose the generalised Riemann curvature tensor of $D^{\mathcal G, \mathrm{div}}$ in terms of classical (non-generalised) geometric data. Based on this set of master formulas we derive a comprehensive curvature tool-kit for applications in generalised geometry. This includes decompositions for the full generalised Ricci tensor, the generalised Ricci tensor, and three generalised scalar-valued curvature invariants, two of which are new.

AG-2025.07-191

math.DG

Null Distance and Temporal Functions

Andrea Nigri

The notion of null distance was introduced by Sormani and Vega as part of a broader program to develop a theory of metric convergence adapted to Lorentzian geometry. Given a time function $τ$ on a spacetime $(M,g)$, the associated null distance $\hat{d}_τ$ is constructed from and closely related to the causal structure of $M$. While generally only a semi-metric, $\hat{d}_τ$ becomes a metric when $τ$ satisfies the local anti-Lipschitz condition. In this work, we focus on temporal functions, that is, differentiable functions whose gradient is everywhere past-directed timelike. Sormani and Vega showed that the class of $C^1$ temporal functions coincides with that of $C^1$ locally anti-Lipschitz time functions. When a temporal function $f$ is smooth, its level sets $M_t = f^{-1}(t)$ are spacelike hypersurfaces and thus Riemannian manifolds endowed with the induced metric $h_t$. Our main result establishes that, on any level set $M_t$ where the gradient $\nabla f$ has constant norm, the null distance $\hat{d}_f$ is bounded above by a constant multiple of the Riemannian distance $d_{h_t}$. Applying this result to a smooth regular cosmological time function $τ_g$ -- as introduced by Andersson, Galloway, and Howard -- we prove a theorem confirming a conjecture of Sakovich and Sormani (arXiv:2410.16800, 2025): if the diameters of the level sets $M_t = τ_g^{-1}(t)$ shrink to zero as $t \to 0$, then the spacetime exhibits a Big Bang singularity, as defined in their work.

AG-2025.07-184

math.DG

A Lorentzian splitting theorem for continuously differentiable metrics and weights

Mathias Braun, Nicola Gigli, Robert J. McCann, Argam Ohanyan, Clemens Sämann

We prove a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth setting with the concept of line-adapted curves introduced here. Our results extend the Lorentzian splitting theorem proved for smooth globally hyperbolic spacetimes by Galloway -- and variants of its weighted counterparts by Case and Woolgar--Wylie -- to this low regularity setting.

AG-2025.07-768

math.DG

Torsion parallel spinors on Lorentzian four-manifolds and supersymmetric evolution flows on bundle gerbes

C. S. Shahbazi

This dissertation is concerned with the geometric study of differential spinors on oriented and spin Lorentzian four-manifolds via the theory of spinorial polyforms. The main results and applications are directed towards the investigation of torsion parallel spinors and the globally hyperbolic evolution flow determined by the globally hyperbolic solutions of the four-dimensional supersymmetric NS-NS system. This differential system, which originates in supergravity and string theory, involves skew-torsion parallel spinors subject to a curvature condition and provides a natural gauge-theoretic interpretation of skew-symmetric torsion as the curvature of a connection on an abelian bundle gerbe - a natural categorification of the notion of principal circle bundle.

AG-2025.07-099

math.DG

Sharp lower bound for the charged Hawking mass in the electrostatic space

Benedito Leandro, Guilherme Sabo

We prove sharp lower bounds for the charged Hawking mass of stable surfaces in electrostatic space-times in various contexts. An upper bound for the genus of stable surfaces in the electrostatic system is provided. We also study the positivity for the charged Hawking mass of a minimal surface with index one in the electrostatic space-times. A criterion for a CMC surface in the Reissner-Nordstrom deSitter space to be stable is presented.

AG-2025.07-676

math.DG

Almost Calabi-Yau with torsion 6-manifolds and the instanton condition

Stefan Ivanov, Luis Ugarte

It is observed that on a compact almost complex Calabi-Yau with torsion (ACYT) 6-manifold with co-closed Lee form the curvature of the torsion connection is an $SU(3)$-instanton if and only if the torsion is parallel with respect to the torsion connection. The same conclusion holds for any (non necessarily compact) balanced ACYT 6-manifold. In particular, on a CYT 6-manifold the Strominger-Bismut connection is an $SU(3)$-instanton if and only if the torsion is parallel with respect to the Strominger-Bismut connection provided either the CYT 6-manifold is compact with co-closed Lee form or it is a balanced CYT 6-manifold.

AG-2025.06-1128

math.DG

Classification of Toda-type tt*-structures and $\mathbb{Z}_{n+1}$-fixed points

Tadashi Udagawa

We classify Toda-type tt*-structures in terms of the anti-symmetry condition. A Toda-type tt*-structure is a flat bundle whose flatness condition is the tt*-Toda equation (Guest-Its-Lin). We show that the Toda-type tt*-structure can be described as a fixed point of $e^{\sqrt{-1}\frac{2π}{n+1}}$-multiplication and this ``intrinsic'' description reduces the possibilities of the anti-symmetry condition to only two cases. We give an application to the relation between tt*-Toda equations and representation theory.

AG-2025.06-417

math.DG

The Volume-Renormalized Mass from a Hamiltonian Perspective

Mattias Dahl, Klaus Kroencke, Stephen McCormick

We demonstrate that the volume-renormalized mass for asymptotically hyperbolic manifolds recently introduced by the authors can be deduced from a reduced Hamiltonian perspective. In order to do this, we first use Michel's formalism of mass invariants to extend the definition of the volume-renormalized mass to initial data sets. We consider spacetimes that are foliated by asymptotically Poincaré--Einstein Riemannian manifolds in the spirit of the Milne model of cosmology and reduce the ADM Hamiltonian to an unconstrained Hamiltonian system, analogous to the work of Fischer and Moncrief for spatially compact spacetimes. We find that the reduced Hamiltonian in this case recovers the volume-renormalized mass. We then analyze the first and second variation of the reduced Hamiltonian and demonstrate that it is non-increasing over the evolution and constant only for self-similar spacetimes.

AG-2025.06-399

math.DG

Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry

Mathias Braun, Clemens Sämann

We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to the spacetime reconstruction problem from causal set theory. Lastly, we propose three notions of convergence of (isomorphism classes of) normalized bounded Lorentzian metric measure spaces, for which we prove several fundamental properties.

AG-2025.06-355

math.DG

Finslerian lightconvex boundaries: applications to causal simplicity and the space of cone geodesics $\mathcal{N}$

Jónatan Herrera, Miguel Sánchez

Our outcome is structured in the following sequence: (1) a general result for indefinite Finslerian manifolds with boundary $(M,L)$ showing the equivalence between local and infinitesimal (time, light or space) convexities for the boundary $\partial M$, (2) for any cone structure $(M,\mathcal{C})$ which is globally hyperbolic with timelike boundary, the equivalence among: (a) the boundary $\partial M$ is lightconvex, (b) the interior $\mathring{M}$ is causally simple and (c) the space of the cone (null) geodesics $\mathcal{N}$ of $(\mathring{M},\mathcal{C})$ is Hausdorff, (3) in this case, the manifold structure of $\mathcal{N}$ is obtained explicitly in terms of elements in $\partial M$ and a smooth Cauchy hypersurface $S$, (4) the known results and examples about Hausdorfness of $\mathcal{N}$ are revisited and extended, leading to the notion of {\em causally simple spacetime with $T_2$-lightspace} as a step in the causal ladder below global hyperbolicity. The results are significant for relativistic (Lorentz) spacetimes and the writing allows one either to be introduced in Finslerian technicalities or to skip them. In particular, asymptotically AdS spacetimes become examples where the $C^{1,1}$ conformal extensions at infinity yield totally lightgeodesic boundaries, and all the results above apply.

AG-2025.06-285

math.DG

On the geometry of synthetic null hypersurfaces

Fabio Cavalletti, Davide Manini, Andrea Mondino

This paper develops a synthetic framework for the geometric and analytic study of null (lightlike) hypersurfaces in non-smooth spacetimes. Drawing from optimal transport and recent advances in Lorentzian geometry and causality theory, we define a \emph{synthetic null hypersurface} as a triple $(H, G, \mathfrak{m})$: $H$ is a closed achronal set in a topological causal space, $G$ is a gauge function encoding affine parametrizations along null generators, and $\mathfrak{m}$ is a Radon measure serving as a synthetic analog of the rigged measure. This generalizes classical differential geometric structures to potentially singular spacetimes. A central object is the \emph{synthetic null energy condition} ($\mathsf{NC}^e(N)$), defined via the concavity of an entropy power functional along optimal transport, with parametrization given by the gauge $G$. This condition is invariant under changes of gauge and measure within natural equivalence classes. It agrees with the classical Null Energy Condition in the smooth setting and it applies to low-regularity spacetimes. A key property of ($\mathsf{NC}^e(N)$) is the stability under convergence of synthetic null hypersurfaces, inspired by measured Gromov--Hausdorff convergence. As a first application, we obtain a synthetic version of Hawking's area theorem. Moreover, we extend the celebrated Penrose's singularity theorem to continuous spacetimes and prove the existence of trapped regions in the general setting of topological causal spaces satisfying the synthetic ($\mathsf{NC}^e(N)$).

AG-2025.06-230

math.DG

Generalized cones admitting a curvature-dimension condition

Matteo Calisti, Christian Ketterer, Clemens Sämann

We study (generalized) cones over metric spaces, both in Riemannian and Lorentzian signature. In particular, we establish synthetic lower Ricci curvature bounds à la Lott-Villani-Sturm and Ohta in the metric measure case, and à la Cavalletti-Mondino in Lorentzian signature. Here, a generalized cone is a warped product of a one-dimensional base space, which will be positive or negative definite, over a fiber that is a metric space. We prove that Riemannian or Lorentzian generalized cones over $\mathsf{CD}$-spaces satisfy the (timelike) measure contraction property $\mathsf{(T)MCP}$ - a weaker version of a (timelike) curvature-dimension condition $\mathsf{(T)CD}$. Conversely, if the generalized cone is a $\mathsf{(T)CD}$-space, then the fiber is a $\mathsf{CD}$-space with the appropriate bounds on Ricci curvature and dimension. In proving these results we develop a novel and powerful two-dimensional localization technique, which we expect to be interesting in its own right and useful in other circumstances. We conclude by giving several applications including synthetic singularity and splitting theorems for generalized cones. The final application is that we propose a new definition for lower curvature bounds for metric and metric measure spaces via lower curvature bounds for generalized cones over the given space.

AG-2025.06-229

math.DG

A generalization of the ADM mass for asymptotically Euclidean manifolds of weak regularity

Stig Lundgren, Benjamin Meco

We propose a new definition of the ADM mass for asymptotically Euclidean manifolds inspired by the definition of mass for weakly regular asymptotically hyperbolic manifolds by Gicquaud and Sakovich. This version of the mass allows one to work with metrics of local Sobolev regularity $ W^{1,2}_\text{loc} \cap L^\infty $ and we show, under suitable asymptotic assumptions, that the mass is finite, invariant under a change of coordinates at infinity and that it agrees with the classical ADM mass in the smooth setting. We also provide an expression in terms of the Ricci tensor that agrees with the Ricci version of the ADM mass studied by Herzlich.

AG-2025.05-817

math.DG

Carrollian $\mathbb{R}^\times$-bundles: Connections and Beyond

Andrew James Bruce

We propose an approach to Carrollian geometry using principal $\mathbb{R}^\times$-bundles ($\mathbb{R}^\times := \matthbb{R} \setminus \{0\}$) equipped with a degenerate metric whose kernel is the module of vertical vector fields. The constructions allow for non-trivial bundles, and a large class of Carrollian manifolds can be analysed in this formalism. A key result in this is that once a principal connection has been selected, there is a canonical non-degenerate metric that can be leveraged to circumvent the difficulties associated with a degenerate metric. Within this framework, we examine the Levi-Civita connection and null geodesics.

AG-2025.05-789

math.DG

Area-charge inequality and local rigidity in charged initial data sets

Abraão Mendes

This paper investigates the geometric consequences of equality in area-charge inequalities for spherical minimal surfaces and, more generally, for marginally outer trapped surfaces (MOTS), within the framework of the Einstein-Maxwell equations. We show that, under appropriate energy and curvature conditions, saturation of the inequality $\mathcal{A} \geq 4π(\mathcal{Q}_{\rm E}^2 + \mathcal{Q}_{\rm M}^2)$ imposes a rigid geometric structure in a neighborhood of the surface. In particular, the electric and magnetic fields must be normal to the foliation, and the local geometry is isometric to a Riemannian product. We establish two main rigidity theorems: one in the time-symmetric case and another for initial data sets that are not necessarily time-symmetric. In both cases, equality in the area-charge bound leads to a precise characterization of the intrinsic and extrinsic geometry of the initial data near the critical surface.

AG-2025.05-630

math.DG

Conformal transformations of spacetimes without observer horizons

Leonardo García-Heveling, Abdelghani Zeghib

We prove that for a certain class of Lorentzian manifolds, namely causal spacetimes without observer horizons, conformal transformations can be classified into two types: escaping and non-escaping. This means that successive powers of a given conformal transformation will either send all points to infinity, or none. As an application, we classify the conformal transformations of Einstein's static universe. We also study the question of essentiality in this context, i.e. which conformal transformations are isometric for some metric in the conformal class.

AG-2025.05-984

math.DG

On the structure of compact strong HKT manifolds

Beatrice Brienza, Anna Fino, Gueo Grantcharov, Misha Verbitsky

We study the geometry of compact strong HKT and, more generally, compact BHE manifolds. We prove that any compact BHE manifold with full holonomy must be Kähler and we establish a similar result for strong HKT manifolds. Additionally, we demonstrate a rigidity theorem for strong HKT structures on solvmanifolds and we completely classify those with parallel Bismut torsion. Finally, we introduce the Ricci foliation for hypercomplex manifolds and analyze its properties for compact, simply connected, 8-dimensional strong HKT manifolds, proving that they are always Hopf fibrations over a compact $4$-dimensional orbifold.

AG-2025.05-436

math.DG

Lorentzian manifolds equipped with a concircularly semi-symmetric metric connection

Miroslav D. Maksimović, Milan Lj. Zlatanović, Milica R. Vučurović

Building upon previous works characterizing GRW space-times using concircular and torse-forming vectors, this paper investigates a Lorentzian manifold equipped with a concircularly semi-symmetric metric connection. We demonstrate that such a manifold reduces to a GRW space-time under specific conditions: when the generator of the observed connection is a unit timelike vector. Also, in that case, the mentioned connection becomes a semi-symmetric metric $P$-connection. The non-zero nature of the three curvature tensors and their corresponding Ricci tensors motivates an exploration of manifold symmetries. In this way, we derive necessary and sufficient conditions for the manifold to be Einstein and we prove that a perfect fluid space-time with a semi-symmetric metric $P$-connection is Ricci pseudo-symmetric manifold of constant type. Furthermore, we show that if this space-time satisfies the Einstein's field equations without the cosmological constant, the strong energy condition is violated.

AG-2025.04-841

math.DG

Quasi-Einstein structures and Hitchin's equations

Alex Colling, Maciej Dunajski

We prove (Theorem 1.1.) that a class of quasi-Einstein structures on closed manifolds must admit a Killing vector field. This extends the rigidity theorem obtained in \cite{DL23} for the extremal black hole horizons and completes the classification of compact quasi-Einstein surfaces in this class. We also explore special cases of the quasi-Einstein equations related to integrability and the Hitchin equations, as well as to Einstein-Weyl structures and Kazdan-Warner type PDEs. This leads to novel explicit examples of quasi-Einstein structures on (non-compact) surfaces and on $S^2 \times S^1$.

AG-2025.04-754

math.DG

The ladder of Finsler-type objects and their variational problems on spacetimes

Miguel Sánchez, Fidel F. Villaseñor

The space of anisotropic $r$-contravariant $s$-covariant $α$-homogeneous tensors on a manifold admits a functorial structure where vertical derivatives $\dot{\partial}$ and contractions $\imath_{\mathbb{C}}$ by the Liouville vector field $\mathbb{C}$ are operators which maintain $s+α$ constant. In (semi-)Finsler geometry, this structure is transmitted faithfully to connection-type elements yielding the following ladder: geodesic sprays / nonlinear connections / anisotropic connections / linear (Finslerian) connections. However, it is more loosely transmitted to metric-type ones: Finslerian Lagrangians / Legendre transformations / anisotropic metrics. We will study this structure in depth and apply it to discuss the recent variational proposals (Einstein-Hilbert, Einstein-Palatini, Einstein-Cartan) for generalizing Einstein equations to the Finsler setting.

AG-2025.04-1131

math.DG

Geometry of the moduli space of Hermitian-Einstein connections on manifolds with a dilaton

Georgios Papadopoulos

We demonstrate that the moduli space of Hermitian-Einstein connections $\text{M}^*_{HE}(M^{2n})$ of vector bundles over compact non-Gauduchon Hermitian manifolds $(M^{2n}, g, ω)$ that exhibit a dilaton field $Φ$ admit a strong Kähler with torsion structure provided a certain condition is imposed on their Lee form $θ$ and the dilaton. We find that the geometries that satisfy this condition include those that solve the string field equations or equivalently the gradient flow soliton type of equations. In addition, we demonstrate that if the underlying manifold $(M^{2n}, g, ω)$ admits a holomorphic and Killing vector field $X$ that leaves $Φ$ also invariant, then the moduli spaces $\text{M}^*_{HE}(M^{2n})$ admits an induced holomorphic and Killing vector field $α_X$. Furthermore, if $X$ is covariantly constant with respect to the compatible connection $\hat\nabla$ with torsion a 3-form on $(M^{2n}, g, ω)$, then $α_X$ is also covariantly constant with respect to the compatible connection $\hat D$ with torsion a 3-form on $\text{M}^*_{HE}(M^{2n})$ provided that $K^\flat\wedge X^\flat$ is a $(1,1)$-form with $K^\flat=θ+2dΦ$ and $Φ$ is invariant under both $X$ and $IX$, where $I$ is the complex structure of $M^{2n}$.

AG-2025.04-680

math.DG

Classification of Einstein spaces with Stackel metric of type (3.0)

V. V. Obukhov

The classification of the Einstein spaces with the Stackel metric of the (3.0) has been done. These spaces are invariant under the action of the three-parameter abelian group of motions and belong to the first type Bianchi spaces. Thus the classification of vacuum and electrovacuum Stackel spaces of all types is completed and the complete list of metrics of such spaces in privileged coordinate systems is given.

AG-2025.04-679

math.DG

Lorentzian homogeneous Ricci-flat metrics on almost abelian Lie groups

Yuichiro Sato, Takanao Tsuyuki

When the maximal isometry group of a four-dimensional spacetime acts simply transitively, such a Ricci-flat metric is uniquely determined to be the Petrov solution. This isometry group is almost abelian; that is, its Lie algebra contains an abelian ideal of codimension one. In this paper, we study Lorentzian left-invariant metrics on almost abelian Lie groups of dimension four or higher. In particular, we construct a Ricci-flat but non-flat metric that generalizes the Petrov solution to arbitrarily high dimensions. The generalized solution is geodesically complete and admits closed timelike curves.

AG-2025.04-665

math.DG

Proof of the Spacetime Penrose Inequality With Suboptimal Constant in the Asymptotically Flat and Asymptotically Hyperboloidal Regimes

Brian Allen, Edward Bryden, Demetre Kazaras, Marcus Khuri

We establish mass lower bounds of Penrose-type in the setting of $3$-dimensional initial data sets for the Einstein equations satisfying the dominant energy condition, which are either asymptotically flat or asymptotically hyperboloidal. More precisely, the lower bound consists of a universal constant multiplied by the square root of the minimal area required to enclose the outermost apparent horizon. Here the outermost apparent horizon may contain both marginally outer trapped (MOTS) and marginally inner trapped (MITS) components. The proof is based on the harmonic level set approach to the positive mass theorem, combined with the Jang equation and techniques arising from the stability argument of Dong-Song \cite{Dong-Song}. As a corollary, we also obtain a version of the Penrose inequality for 3-dimensional asymptotically hyperbolic Riemannian manifolds.

AG-2025.04-659

math.DG

Lorentzian Gromov-Hausdorff convergence and pre-compactness

Andrea Mondino, Clemens Sämann

The goal of the paper is to introduce a convergence à la Gromov-Hausdorff for Lorentzian spaces, building on $ε$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian counterpart of the celebrated Gromov's pre-compactness theorem for metric spaces, where controlled covers by balls are replaced by controlled covers by diamonds. This yields a geometric pre-compactness result for classes of globally hyperbolic spacetimes, satisfying a uniform doubling property on Cauchy hypersurfaces and a suitable control on the causality, and a curvature-driven pre-compactness result. The final part of the paper establishes several applications: we show that Chruściel-Grant approximations are an instance of the Lorentzian Gromov-Hausdorff convergence here introduced, we prove that timelike sectional curvature bounds are stable under such a convergence, we introduce timelike blow-up tangents and discuss connections with the main conjecture of causal set theory.

AG-2025.04-1062

math.DG

Deformations of Clarke-Oliveira's Instantons on Bryant-Salamon $Spin(7)$-Manifold

Tathagata Ghosh

In this paper we compute the deformations of Clarke-Oliveira's instantons on the Bryant-Salamon $Spin(7)$-Manifold. The Bryant-Salamon $Spin(7)$-Manifold -- the negative spinor bundle of $S^4$ -- is an asymptotically conical manifold where the link is the squashed $7$-sphere. We use the deformation theory developed by the author in a previous paper to calculate the deformations of Clarke-Oliveira's instantons and calculate the virtual dimensions of the moduli spaces.

AG-2025.04-618

math.DG

Initial data rigidity implies spacetime rigidity

Jonathan Glöckle

In this article, we revisit the initial data rigidity theorem of Eichmair, Galloway and Mendes (arxiv:2009.09527). The goal is to strengthen their result by showing that the initial data sets concerned carry a vector field that is lightlike and parallel in an ambient sense. This will be used in a second step to show that among the spacetimes satisfying the dominant energy condition there exists locally essentially one spacetime extending these initial data sets. This local uniqueness theorem also applies in the context of other initial data rigidity theorems. Notably, the one in the spin case due the author (arxiv:2304.02331) and a recent study of the mass zero case in the positive energy theorem due to Hirsch and Zhang (arxiv:2403.15984).

AG-2025.04-526

math.DG

A note on the Lorentzian splitting theorem

Gregory J. Galloway

We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike hypersurfaces in [1]. Our version strengthens a related result in [29] in the globally hyperbolic setting by removing a certain boundedness condition on the Ricci curvature.