pith. sign in

arxiv: 2604.17804 · v1 · submitted 2026-04-20 · 🧮 math.DG

Weil--Petersson homeomorphisms, minimal lagrangian diffeomorphisms, and maximal surfaces in anti-de Sitter space

Farid Diaf , Alex Moriani , Rym Sma\"i , Graham Andrew Smith , Enrico Trebeschi This is my paper

Pith reviewed 2026-05-10 04:09 UTC · model grok-4.3

classification 🧮 math.DG
keywords Weil-Petersson homeomorphismsanti-de Sitter spacemaximal surfacesminimal Lagrangian diffeomorphismsTeichmüller theoryrenormalized areaBeltrami differential
0
0 comments X

The pith

A homeomorphism of the circle is Weil-Petersson exactly when its graph bounds a complete maximal surface of finite renormalized area in anti-de Sitter space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an if-and-only-if correspondence between Weil-Petersson homeomorphisms of the circle and the asymptotic boundaries of complete maximal spacelike surfaces in three-dimensional anti-de Sitter space that have finite renormalized area. This gives a geometric realization of the Weil-Petersson condition inside Lorentzian geometry. The same equivalence yields a characterization in Teichmüller theory: the homeomorphism is Weil-Petersson precisely when the Beltrami differential of its minimal Lagrangian extension to the hyperbolic plane is square-integrable. Two additional technical characterizations of these homeomorphisms are derived and used in the proofs.

Core claim

A homeomorphism φ from RP¹ to RP¹ is Weil-Petersson if and only if its graph, viewed as a curve in the boundary at infinity of AdS^{2,1}, is the asymptotic boundary of a complete maximal spacelike surface in AdS^{2,1} with finite renormalized area. Equivalently, the minimal Lagrangian extension of φ to the hyperbolic plane has square-integrable Beltrami differential.

What carries the argument

The graph of the homeomorphism as a curve at the boundary at infinity of AdS^{2,1}, together with the existence of a complete maximal spacelike surface having that curve as asymptotic boundary and finite renormalized area.

If this is right

  • Weil-Petersson homeomorphisms admit an equivalent description as those whose minimal Lagrangian extensions have square-integrable Beltrami differentials.
  • The Weil-Petersson condition can be studied through the existence and properties of complete maximal surfaces in AdS^{2,1}.
  • Two additional technical characterizations of Weil-Petersson homeomorphisms are obtained that are independent of the main equivalence.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The correspondence may allow techniques from Lorentzian geometry to be applied to questions in Teichmüller theory that were previously studied only in Riemannian settings.
  • One could test the equivalence numerically by constructing candidate maximal surfaces for explicit Weil-Petersson homeomorphisms and checking the renormalized area.
  • The result suggests possible generalizations to other classes of homeomorphisms or to higher-dimensional anti-de Sitter spaces.

Load-bearing premise

The standard definitions of Weil-Petersson homeomorphisms, minimal Lagrangian extensions, and renormalized area are assumed to be compatible with the geometric constructions used in the proofs.

What would settle it

A concrete counterexample would be either a Weil-Petersson homeomorphism whose corresponding maximal surface in AdS^{2,1} has infinite renormalized area or a non-Weil-Petersson homeomorphism whose graph bounds a complete maximal surface of finite renormalized area.

Figures

Figures reproduced from arXiv: 2604.17804 by Alex Moriani, Enrico Trebeschi, Farid Diaf, Graham Andrew Smith, Rym Sma\"i.

Figure 1
Figure 1. Figure 1: Homeomorphisms of RP1 identify with maximal spacelike sur￾faces in AdS2,1 , which in turn correspond to minimal lagrangian diffeo￾morphisms of H2 . It turns out that the geometric properties of the homeomorphism, the minimal la￾grangian diffeomorphism, and the maximal spacelike surface are closely tied to one an￾other. Indeed, in [BS10] Bonsante–Schlenker showed that the homeomorphism is quasi￾symmetric if… view at source ↗
Figure 2
Figure 2. Figure 2: Characterizations of the Weil–Petersson class and the implica￾tions between them. The implication indicated by the dashed arrow re￾quires the additional hypothesis of quasisymmetry, which is not required to prove the other implications. In particular, the graph can be followed in the clockwise direction, proving the equivalence of all five characteri￾zations, without the need for this hypothesis. opposed t… view at source ↗
Figure 3
Figure 3. Figure 3: Geodesics of AdS2,1 in the kleinian chart. 2.2. Real projective space. 2.2.1. The quotient model. We denote by RP1 the one-dimensional real projective space, that is, the space of lines in R 2 passing by the origin. The automorphism group of RP1 is the projective special linear group PSL(2,R). In particular, RP1 does not carry a canonical riemannian metric. Throughout the rest of this paper, we will make a… view at source ↗
Figure 4
Figure 4. Figure 4: A fundamental domain of the double cover of Ein1,1 . Pulling back ⟨·,·⟩mat through N yields (2.5) N ∗ ⟨·,·⟩mat = 1 2  dα1dα2 + dα2dα1  . This is a non-degenerate metric of signature (1,1) with causal structure as in Figure [???]. At all points, horizontal and vertical vectors are null, hence lightlike; vectors in the upper-right and lower-left quadrants are positive, hence spacelike; and vectors in the u… view at source ↗
Figure 5
Figure 5. Figure 5: A fundamental domain of N : R 2 → Ein1,1 . For all (L1,L2) ∈ RP1 × RP1 , N (L1,L2) is the projectivization of the matrix with image L1 and kernel L ⊥ 2 . It follows from (2.3) that the natural action of PSL(2,R) × PSL(2,R) on Ein1,1 is given in the matrix model by β(M,N) := (M · L1,N t · L2) [PITH_FULL_IMAGE:figures/full_fig_p013_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The causal structure of the rotated Penrose chart. In particular, an acausal curve is the graph of a monotone increasing function. Bearing in mind Section 2.2.2, in the matrix angle model RP1 × RP1 of Ein1,1 , the ro￾tated Penrose chart is simply obtained upon taking the affine charts separately in each of the two components. In particular, by (2.5), the metric of Ein1,1 in this chart is confor￾mally equiv… view at source ↗
Figure 7
Figure 7. Figure 7: Two acausal circles in the rotated Penrose chart. 2.4. Dyadic decompositions. 2.4.1. Dyadic decompositions. Throughout the sequel, we will make considerable use of dyadic decompositions of RP1 . These are defined as follows. We identify RP1 := R/πZ as in Section 2.2.1. We choose a base point x0 ∈ RP1 and, for every integer m ⩾ 0, we partition RP1 into 2m arcs of equal length Im,k := x0 + " kπ 2m , (k + 1)π… view at source ↗
Figure 8
Figure 8. Figure 8: Definition of βϕ(3I) and the L ∞ best linear estimator of ϕ over 3I. 3. Beta sums Our first new characterization of the Weil–Petersson class will be in terms of finiteness of what we will call the beta sum. This is the analogue on the present framework of the quantity studied in Section 4 of [Bis25]. Using techinical results proven by Bishop in [Bis22], we will show that a homeomorphism ϕ : RP1 → RP1 is We… view at source ↗
Figure 9
Figure 9. Figure 9: Uniqueness of the L ∞ best linear estimator. Proof. Consider the function E(a,b) := ∥f − (γx + δ)∥L∞(I) . Since this function is continuous and tends to infinity as (γ, δ) diverges, it attains a min￾imum value E0, say, at some point (γ1, δ1), say. This proves existence. We now prove uniqueness. Suppose the contrary, so that E also attains its minimum at some other point (γ2, δ2), say. Note that we may supp… view at source ↗
Figure 10
Figure 10. Figure 10: The “Carleson square” partition of the disk. More precisely, the partition used in this paper consists of the inner halves of all Carleson squares. We now require the following definitions. First, for every dyadic interval I ∈ D, we denote T (I) := ( reiθ [PITH_FULL_IMAGE:figures/full_fig_p021_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The definition of εϕ(I) [PITH_FULL_IMAGE:figures/full_fig_p024_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The definition of εϕ(I). Although not strictly necessary for what follows, it is useful to note that, provided εϕ(I) < 1, this quantity is always realized by some triplet (x, f±). Lemma 4.1.3. Let ϕ : RP1 → RP1 be a homeomorphism, and let D be a dyadic decomposition of RP1 . For every dyadic interval I ∈ D such that εϕ(I) < 1, there exists a triplet (x, f±) realizing εϕ(I). Proof. For each x ∈ I, define ε… view at source ↗
Figure 13
Figure 13. Figure 13: The quadratic and fractional linear majorants viewed in the rotated Penrose chart. 4.8. The fractional linear majorant. It now only remains to construct a fractional linear majorant of ϕ for ℓ(I) sufficiently small. Lemma 4.8.1. For ℓ(I) sufficiently small, the graph of ϕ lies below the graph of the unique fractional linear map f satisfying (4.22) f (x) = ϕ(x) +  P Q −R  , f ′ (x) = P Q2 and f ′′(x) = 2… view at source ↗
Figure 14
Figure 14. Figure 14: The fractional linear majorant viewed in the double cover of the matrix angle model. so that, over the interval [−4Q,Q[ ϕ˜ ⩽ ˜f . It remains only to show that the graph of ϕ does not meet the graph of f at any other point. Indeed, let ϕˆ : R → R be a lift of ϕ, let xˆ ∈ R be a lift of x, and let ˆf+ denote the unique lift of f satisfying ˆf+(xˆ) = ϕˆ(xˆ) + P Q −R ! . If the graph of ϕ does not meet the gr… view at source ↗
Figure 15
Figure 15. Figure 15: The diamond of p1 and p2. We now describe diamonds in AdS2,1 . We view the same points p1 and p2 as bound￾ary points of AdS2,1 , and, recalling the above mild abuse of convention, we denote by Dads(p1, p2) their diamond in AdS2,1 . In particular, (5.5) Dein(p1, p2) = ∂∞D ads(p1, p2) . We now work in the kleinian chart of AdS2,1 described in Section 2.1.4. Let D˜ ads(p1, p2), p˜1 and p˜2 denote the respect… view at source ↗
Figure 16
Figure 16. Figure 16: The diamond of two ideal points in the kleinian chart [PITH_FULL_IMAGE:figures/full_fig_p038_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: The limiting domain. Proof. For i ∈ {1,2}, let Pi , Hi , and Ei denote respectively the parabolic, hyperbolic, and elliptic elements used in the construction of Ti (Lemma 5.3.1). For each i, let P˜ i and H˜ i denote respectively the actions of Pi and Hi in the affine chart of RP1 [PITH_FULL_IMAGE:figures/full_fig_p042_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: S˜ I is pinched between two complete totally geodesic planes. Lemma 5.4.2. There exists C > 0 such that, for every dyadic interval I, S˜ I ⊆ X˜ I,C . Proof. Indeed, denote G0 := {(x, x) | x ∈ RP1 } , and let G˜ 0 denote its image in the kleinian chart. Thus G˜ 0 = {(y1,y2,0) | y 2 1 + y 2 2 = 1} . Let G± denote the graph of g±,I and let G˜ ± denote its image in the kleinian chart. Note that G± = {(x,g±,I(… view at source ↗
Figure 19
Figure 19. Figure 19: Another limiting domain. We now determine the Hausdorff limit of YI as ℓ(I) tends to zero. To this end, consider the six diamonds D∞,i := Dads (xi−1, xi+2),(xi+2, xi−1)  where, for each j, xj := arctan(i/3), and i varies over the index set I := {−3,−2,··· ,2}. For all i, let D˜∞,i denote the image of D∞,i in the kleinian chart. By Lemma 5.3.4, D˜ J subconverges towards D˜∞,i for some i in I as ℓ(I) tend… view at source ↗
read the original abstract

In this paper, we study the class of Weil--Petersson circle homeomorphisms from the point of view of three-dimensional anti-de Sitter space $\mathbf{AdS}^{2,1}$. We show that a homeomorphism $\varphi:\mathbf{RP}^1\to\mathbf{RP}^1$ is Weil--Petersson if and only if its graph, viewed as a curve in the boundary at infinity of $\mathbf{AdS}^{2,1}$, is the asymptotic boundary of a complete maximal spacelike surface in $\mathbf{AdS}^{2,1}$ with finite renormalized area. As an application, we obtain the following AdS-independent result in Teichm\"uller theory: a homeomorphism is Weil--Petersson if and only if its minimal lagrangian extension to $\mathbf{H}^2$ has square-integrable Beltrami differential. We also provide two further new technical characterizations, which we believe to be of independent interest, and which are essential for the proofs of our main results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that a homeomorphism φ: RP¹ → RP¹ is Weil-Petersson if and only if its graph, viewed as a curve in the boundary at infinity of AdS^{2,1}, is the asymptotic boundary of a complete maximal spacelike surface in AdS^{2,1} with finite renormalized area. As an application, it shows that a homeomorphism is Weil-Petersson if and only if its minimal Lagrangian extension to H² has square-integrable Beltrami differential. Two additional technical characterizations (one for minimal Lagrangian extensions and one for the renormalized area functional) are established and used to prove the main equivalences.

Significance. If the results hold, the work supplies a new geometric characterization of Weil-Petersson homeomorphisms via maximal surfaces in AdS^{2,1}, together with an AdS-independent statement in Teichmüller theory. The approach relies on independent geometric constructions in AdS space aligned with standard properties of Teichmüller theory rather than self-referential definitions, yielding mutually implying characterizations. This linkage between Lorentzian geometry and Teichmüller theory is of clear interest to both communities.

minor comments (2)
  1. The abstract states that two further technical characterizations are provided and are essential for the proofs, but does not name them. Adding a one-sentence description of each would improve readability for readers who consult only the abstract.
  2. Notation for the renormalized area functional and the Weil-Petersson class is introduced in the body; a brief reminder of the precise definitions (or a forward reference to the relevant section) in the statement of the main theorem would help readers track the compatibility assumptions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript, the assessment of its significance, and the recommendation for minor revision. No specific major comments were listed in the report, so we have no points to address point-by-point at this stage. We are prepared to incorporate any minor revisions the referee or editor may suggest and would welcome clarification if any such points exist.

Circularity Check

0 steps flagged

Derivation is self-contained via independent geometric constructions

full rationale

The paper derives the central if-and-only-if characterization by establishing two auxiliary technical results—one linking Weil-Petersson homeomorphisms to minimal Lagrangian extensions with square-integrable Beltrami differentials, and another relating these to maximal surfaces in AdS^{2,1} with finite renormalized area—then proving mutual implication through standard properties of Teichmüller theory and Lorentzian geometry. These steps rely on definitions and constructions that are externally verifiable and do not reduce to self-referential fits, renamings, or load-bearing self-citations; the arguments remain independent of the target equivalence.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background results in hyperbolic geometry, Teichmüller theory, and Lorentzian geometry of AdS space; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of the Weil-Petersson metric and quasiconformal mappings on the circle.
    Invoked implicitly when defining Weil-Petersson homeomorphisms.
  • standard math Existence and regularity properties of maximal spacelike surfaces in AdS^{2,1}.
    Used to relate the graph to the surface with finite renormalized area.

pith-pipeline@v0.9.0 · 5500 in / 1405 out tokens · 24719 ms · 2026-05-10T04:09:36.661911+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    3, 621–651

    [AM10] Spyridon Alexakis and Rafe Mazzeo, Renormalized area and properly embedded minimal surfaces in hyperbolic 3-manifolds, Communications in Mathematical Physics297 (2010), no. 3, 621–651. MR 2653898 [And83] Michael T. Anderson, Complete minimal hypersurfaces in hyperbolic n-manifolds , Commentarii Mathematici Helvetici 58 (1983), no. 2, 264–290. MR 70...

    work page 2010

  2. [2]

    Earle, Conformally natural extension of homeomorphisms of the circle, Acta Mathematica 157 (1986), no

    MR 4172323 [DE86] Adrien Douady and Cli fford J. Earle, Conformally natural extension of homeomorphisms of the circle, Acta Mathematica 157 (1986), no. 1-2, 23–48. MR 857678 [Dia25] Farid Diaf, Mean surfaces in half-pipe space and infinitesimal Teichmüller theory , J. Éc. Polytech., Math. 12 (2025), 1289–1343. [DS24] Farid Diaf and Andrea Seppi, The anti–...

    work page 1986

  3. [3]

    Series A

    MR 1758076 [Guo00] Hui Guo, Integrable Teichmüller spaces, Science in China. Series A. Mathematics43 (2000), no. 1, 47–58. MR 1766239 [GW99] C. Robin Graham and Edward Witten, Conformal anomaly of submanifold observables in AdS/CFT correspondence, Nuclear Physics. B. Theoretical, Phenomenological, and Experimental High Energy Physics. Quantum Field Theory...

    work page 2000

  4. [4]

    3, 799–817

    [Mar17] Vladimir Markovic, Harmonic maps and the Schoen conjecture , Journal of the American Mathe- matical Society 30 (2017), no. 3, 799–817. MR 3630088 [Mes07] Geo ffrey Mess, Lorentz spacetimes of constant curvature, Geometriae Dedicata 126 (2007), 3–45. MR 2328921 [Mor25] Alex Moriani, Polygonal surfaces in pseudo-hyperbolic spaces , Advances in Mathe...

    work page 2017

  5. [5]

    Schoen, The role of harmonic mappings in rigidity and deformation problems, Complex Geometry (Osaka, 1990), Lecture Notes in Pure and Appl

    MR 4947959 [Sch93] Richard M. Schoen, The role of harmonic mappings in rigidity and deformation problems, Complex Geometry (Osaka, 1990), Lecture Notes in Pure and Appl. Math., vol. 143, Dekker, New York, 1993, pp. 179–200. MR 1201611 [Sep19] Andrea Seppi, Maximal surfaces in anti–de Sitter space, width of convex hulls and quasiconformal extensions of qua...

    work page 1990

  6. [6]

    On complete maximal submanifolds in pseudo-hyperbolic space

    [She18] Yuliang Shen, Weil-Petersson Teichmüller space, American Journal of Mathematics 140 (2018), no. 4, 1041–1074. MR 3828040 [SM06] E. Sharon and D. Mumford, 2D-Shape Analysis Using Conformal Mapping, International Journal of Computer Vision 70 (2006), no. 1, 55–75. [SST23] Andrea Seppi, Graham Smith, and Jérémy Toulisse, On complete maximal submanifo...

    work page arXiv 2018

  7. [7]

    Takhtajan and Lee-Peng Teo, Weil-Petersson metric on the universal Teichmüller space , Memoirs of the American Mathematical Society 183 (2006), no

    [TT06] Leon A. Takhtajan and Lee-Peng Teo, Weil-Petersson metric on the universal Teichmüller space , Memoirs of the American Mathematical Society 183 (2006), no. 861, viii+119. MR 2251887 [Wan19] Yilin Wang, Equivalent descriptions of the Loewner energy, Inventiones Mathematicae218 (2019), no. 2, 573–621. MR 4011706 [Wan25] , Two optimization problems fo...

    work page 2006