The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity
Theorem 1.1 (principal): under those hypotheses with the full enclosing-area infimum, sharp; no maximality, compact topology or connectedness assumption. Equality on the stated horizon subclass identifies the original data as a spacelike hypersurface in Schwarzschild-anti-de Sitter with the same mass. Companions: the maximal case with possibly disconnected boundary, and a local inequality for small maximal vacuum conformal perturbations of Schwarzschild-anti-de Sitter using the horizon's own area. Not shown: higher dimensions, toroidal or higher-genus conformal infinity (the Lee-Neves regime), or timelikeness of the mass as a conclusion.
Exact FrontierDelta
Scope and record
Occurred: Oct 5, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity · Anti-de Sitter Penrose inequality
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity parent of this event
This event attributed to Unreleased internal OpenAI model
Theorem 1.1 (principal): under those hypotheses with the full enclosing-area infimum, sharp; no maximality, compact topology or connectedness assumption. Equality on the stated horizon subclass identifies the original data as a spacelike hypersurface in Schwarzschild-anti-de Sitter with the same mass. Companions: the maximal case with possibly disconnected boundary, and a local inequality for small maximal vacuum conformal perturbations of Schwarzschild-anti-de Sitter using the horizon's own area. Not shown: higher dimensions, toroidal or higher-genus conformal infinity (the Lee-Neves regime), or timelikeness of the mass as a conclusion. parent of this event
The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity evidence for this event
Companion: A local Penrose inequality for conformal perturbations of Schwarzschild-anti-de Sitter data evidence for this event
Companion: The Penrose inequality for maximal asymptotically hyperbolic initial data evidence for this event
VibeMathed record: The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity evidence for this event
Act on this frontier