Polyhedral surfaces in anti-de Sitter (2+1)-spacetimes

Basic Information

• Paper ID: 2510.09313
• Title: Polyhedral surfaces in anti-de Sitter (2+1)-spacetimes
• Author: Roman Prosanov
• Classification: math.GT (Geometric Topology), math.DG (Differential Geometry), math.MG (Metric Geometry)
• Publication Date: October 10, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.09313

Abstract

This paper proves that given a Fuchsian representation $\rho_\circ: \pi_1S \rightarrow \text{PSL}(2,\mathbb{R})$, where $S$ is a closed oriented surface of genus $\geq 2$, any hyperbolic cone metric with cone angles $>2\pi$ can be isometrically embedded as a future-convex bent Cauchy surface in a globally hyperbolic maximal compact anti-de Sitter (2+1)-spacetime whose left representation is $\rho_\circ$. Furthermore, the authors prove that such spacetimes and embeddings are unique when $d$ is sufficiently small.

Research Background and Motivation

Research Questions

This paper investigates an Alexandrov-Weyl type problem in anti-de Sitter geometry, specifically: given half-holomorphic data and the intrinsic metric of a polyhedral Cauchy surface, can one uniquely determine the GHMC anti-de Sitter (2+1)-spacetime?

Significance

1. (2+1)-dimensional gravity theory: (2+1)-dimensional gravity serves as an important testing ground for quantum gravity theory, particularly after Witten's discovery of its Chern-Simons reformulation
2. Geometric structure theory: Anti-de Sitter geometry is the Lorentz counterpart of hyperbolic geometry and has deep connections with Teichmüller theory
3. Generalization of classical problems: This is a natural extension of the classical Alexandrov-Weyl problem to Lorentz geometry

Limitations of Existing Methods

• The smooth case has been resolved by Tamburelli and Chen-Schlenker
• The polyhedral case requires entirely new techniques that cannot directly apply methods from the smooth case
• It requires handling bent surfaces rather than strictly polyhedral surfaces

Research Motivation

1. Complete the polyhedral version of the Alexandrov-Weyl problem in anti-de Sitter geometry
2. Demonstrate the importance of projective geometric properties of anti-de Sitter spacetimes
3. Utilize geometric transformation techniques to connect different geometric structures

Core Contributions

1. Main Theorem: Proves that any concave hyperbolic cone metric can be realized as a future-convex bent Cauchy surface in a GHMC anti-de Sitter spacetime
2. Uniqueness Results: Establishes uniqueness in a strong neighborhood of metrics that are "sufficiently small"
3. Geometric Transformation Techniques: Develops geometric transformation methods from Minkowski geometry to anti-de Sitter geometry
4. Blowup Construction: Constructs a blowup of the deformation space, extending known Minkowski results to the anti-de Sitter case

Detailed Methodology

Problem Setup

Given:

• A closed oriented surface $S$ of genus $k \geq 2$
• A finite nonempty set $V \subset S$
• A Fuchsian representation $\rho_\circ: \pi_1S \rightarrow G = \text{PSL}(2,\mathbb{R})$
• A concave hyperbolic cone metric $d$ on $(S,V)$

Prove: There exists a GHMC anti-de Sitter (2+1)-spacetime $\Omega$ and a future-convex bent isometric embedding $(S,d) \rightarrow \Omega$.

Model Architecture

1. Space Parameterization

• GHMC anti-de Sitter spacetime space: By Mess theory, parameterized as $T \times T$ (product of Teichmüller spaces)
• Bent surface space: $P_-^s = P_-^s(\rho_\circ, V)$, parameterizing future-convex bent surfaces
• Cone metric space: $D_-^s = D_-^s(S,V)$, parameterizing concave hyperbolic cone metrics

2. Intrinsic Metric Map

Define a continuous map: $I_-^s: P_-^s \rightarrow D_-^s$ that maps bent surfaces to their intrinsic metrics.

3. Blowup Construction

• Construct $P_\vee^s := P_-^s \cup S(P_0^s)$, where $S(P_0^s)$ is the spherification of the Minkowski case
• Construct the corresponding metric space blowup $D_\vee^s := D_-^s \cup S(D_0^s)$
• Obtain the extended map $I_\vee^s: P_\vee^s \rightarrow D_\vee^s$

Technical Innovations

1. Geometric Transformation Method

Utilize transformations in projective geometry: $g_t = \text{diag}(1/t, 1/t, 1/t, 1) \in \text{PGL}(4,\mathbb{R})$ As $t \to 0$, $g_t(\text{AdS}^3, G_-)$ converges to $(\mathbb{R}^{2,1}, G_0)$.

2. Cosmological Time Technique

Use the cosmological time function $\text{ct}_\rho: \Omega_\rho \rightarrow \mathbb{R}_{>0}$ to control the position of surfaces and convergence properties.

3. Blowup Topology

Blowup the space $P_-^s$ at completely degenerate configurations, obtaining a manifold with boundary $P_\vee^s$, whose boundary is homeomorphic to $S(P_0^s)$.

Experimental Setup

Theoretical Verification Framework

This paper is a pure mathematical theory work verified through rigorous mathematical proofs rather than numerical experiments.

Key Lemma Verification

1. Lemma A1: The differential of $I_\vee^s$ on $\partial P_\vee^s$ is nondegenerate
2. Lemma A2: The map $I_\vee^s$ is a proper map

Construction Verification

Verification through concrete geometric construction and topological analysis:

• Manifold structure of the blowup space
• Continuity and smoothness of the map
• Establishment of convergence properties

Experimental Results

Main Results

Theorem A (Main Result)

Let $S$ be a closed oriented surface of genus $\geq 2$, $V \subset S$ a finite nonempty set, $\rho_\circ: \pi_1S \rightarrow G$ a Fuchsian representation, and $d$ a concave hyperbolic cone metric on $(S,V)$. Then there exist:

1. A GHMC anti-de Sitter (2+1)-spacetime $\Omega \cong S \times \mathbb{R}$ whose left representation is $\rho_\circ$
2. A future-convex bent isometric embedding $(S,d) \rightarrow \Omega$

Moreover, there exists a nonempty open set $U = U(\rho_\circ) \subset D_-^s$ such that the realization is unique.

Technical Results

Map Properties

• Surjectivity: $I_\vee^s$ is surjective
• Local Uniqueness: Local uniqueness established near the boundary
• Properness: $I_\vee^s$ is a proper map, ensuring compactness

Convergence Analysis

Through refined analysis of cosmological time, the following are established:

• Holomorphic convergence: $\rho_i \to \rho_\circ$ as metrics approach the boundary
• Marked point convergence: Convergence under appropriate conditions

Related Work

Classical Alexandrov-Weyl Problem

• Weyl (1916): Original problem in Euclidean space
• Alexandrov (1942): Polyhedral version and generalized convex body theory
• Nirenberg (1952): Smooth realization part
• Pogorelov: Rigidity part

Hyperbolic Generalizations

• Labourie: Realization of smooth hyperbolic manifolds
• Schlenker: Rigidity in the smooth case
• Prosanov: Polyhedral hyperbolic manifolds (prior work by the paper's author)

Developments in Lorentz Geometry

• Anti-de Sitter case:
  • Tamburelli: Smooth realization
  • Chen-Schlenker: Smooth rigidity
  • This paper: Polyhedral case
• Minkowski case: Complete resolution by Fillastre-Prosanov

Conclusions and Discussion

Main Conclusions

1. Completely resolves the polyhedral version of the Alexandrov-Weyl problem in anti-de Sitter geometry
2. Establishes geometric transformation as a powerful tool for connecting different geometries
3. Proves uniqueness in the "strong neighborhood" sense

Limitations

1. Scope of Uniqueness: Uniqueness is established only in a "strong neighborhood" of metrics, not globally
2. Technical Constraints: Requires $\rho_\circ$ to be fixed; cannot simultaneously vary both representations
3. Genus Restriction: Requires surface genus $\geq 2$, excluding the torus case

Future Directions

1. Two-sided Problem: Handle the case where two convex Cauchy surfaces are simultaneously given
2. de Sitter Case: Extension to de Sitter geometry
3. Higher-dimensional Generalizations: Consider analogous problems in higher dimensions

In-Depth Evaluation

Strengths

1. Technical Innovation: Novel application of geometric transformation methods, connecting Minkowski and anti-de Sitter geometries
2. Completeness: Provides a complete solution to the problem, including both existence and uniqueness
3. Methodological Contribution: New application of blowup techniques in geometric problems
4. Theoretical Depth: Deep utilization of Teichmüller theory, geodesic laminations, and cosmological time

Weaknesses

1. Limitations of Uniqueness: The concept of "strong neighborhood," while natural, is weaker than global uniqueness
2. Technical Complexity: The proof is extremely technical, requiring extensive background knowledge
3. Limited Applicability: As a pure mathematics theory, practical applications are limited

Impact

1. Academic Value: Completes the solution of an important geometric problem with significant contributions to geometric topology
2. Methodological Impact: Geometric transformation techniques may find applications in other geometric problems
3. Theoretical Completeness: Forms a complete theoretical system together with Fillastre-Prosanov's work on the Minkowski case

Applicable Scenarios

1. Theoretical Geometry: Provides tools for studying Lorentz geometry and spacetime structures
2. Mathematical Physics: Potential applications in (2+1)-dimensional gravity theory
3. Geometric Analysis: Provides methodological guidance for related geometric realization problems

References

This paper cites 77 important references, covering:

• Classical literature on the Alexandrov-Weyl problem
• Teichmüller theory and hyperbolic geometry
• Lorentz geometry and spacetime theory
• Geometric transformations and projective geometry
• The author's series of works in related fields

Overall Assessment: This is a high-quality mathematical theory paper that completely resolves an important geometric realization problem in anti-de Sitter geometry. Although highly technical, the methods are innovative and the results are complete, making significant contributions to both geometric topology and mathematical physics.