pith. sign in

arxiv: 1906.10563 · v1 · pith:H4K2MPU6new · submitted 2019-06-25 · 🧮 math.GT

Asymptotically Moebius maps and rigidity for the hyperbolic plane

Alessio Savini This is my paper

Pith reviewed 2026-05-25 15:46 UTC · model grok-4.3

classification 🧮 math.GT
keywords asymptotically Möbius mapscross ratioshyperbolic planeCAT(-1) spacesisometric embeddingsboundary at infinityrigidity
0
0 comments X

The pith

Sequences of asymptotically Möbius maps from the boundary of the hyperbolic plane can be corrected by isometries of the target to converge pointwise to a map induced by an isometric embedding.

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

The paper generalizes Bourdon's theorem on cross-ratio preserving embeddings to the case of sequences of maps. For maps from the boundary of the hyperbolic plane that only asymptotically preserve cross ratios, the result shows that a correcting sequence of isometries exists so the adjusted maps converge to one coming from an actual isometric embedding, provided the isometry group of the target acts transitively on boundary triples. A sympathetic reader would care because the argument turns approximate geometric invariance into exact rigidity for the two-dimensional hyperbolic case.

Core claim

Let φ_k : ∂∞H² → ∂∞X be a sequence of continuous maps which are asymptotically Möbius. Assume Isom(X) acts transitively on triples of distinct points of ∂∞X. Then there exists a sequence (g_k) in Isom(X) and a map φ_∞ induced by an isometric embedding of H² into X such that g_k φ_k converges pointwise to φ_∞.

What carries the argument

The asymptotically Möbius condition on sequences of maps (cross ratios converge to those of H²) together with transitivity of Isom(X) on boundary triples; this pair lets one extract a limit map that exactly preserves cross ratios.

If this is right

  • The pointwise limit φ_∞ exactly preserves cross ratios and is therefore induced by an isometric embedding of H² into X.
  • The result supplies a sequential version of rigidity that applies when maps preserve cross ratios only in the limit.
  • The transitivity hypothesis guarantees the existence of the correcting isometries g_k.
  • The conclusion is specific to source space H² among rank-one symmetric spaces.

Where Pith is reading between the lines

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

  • The same asymptotic-to-exact passage might be testable on other low-dimensional sources if a suitable transitivity hypothesis can be verified.
  • One could ask whether the transitivity assumption can be weakened by allowing more flexible normalizations than left composition with isometries.
  • The argument may connect to questions about stability of cross-ratio preservation under small perturbations in other CAT(-1) geometries.

Load-bearing premise

The isometry group of the target space X acts transitively on triples of distinct points on its boundary at infinity.

What would settle it

A CAT(-1) space X whose isometry group fails to act transitively on boundary triples, together with an explicit sequence of asymptotically Möbius maps from ∂∞H² that admits no correcting sequence g_k yielding a cross-ratio preserving limit.

read the original abstract

Let $S$ be a rank-one symmetric space of non-compact type and let $X$ be a $\text{CAT}(-1)$ space. A well-known result by Bourdon states that if a topological embedding $\varphi: \partial_\infty S \rightarrow \partial_\infty X$ respects cross ratios, that means $\text{cr}_S( \xi_0,\eta_0,\xi_1,\eta_1)=\text{cr}_X( \varphi(\xi_0),\varphi(\eta_0),\varphi(\xi_1),\varphi(\eta_1))$ for every $\xi_0,\eta_0,\xi_1,\eta_1 \in \partial_\infty S$, then $\varphi$ is induced by an isometric embedding of $S$ into $X$. We generalize this result when $S=\mathbb{H}^2$ is the real hyperbolic plane as it follows. Let $\varphi_k: \partial_\infty \mathbb{H}^2 \rightarrow \partial_\infty X$ be a sequence of continuous maps which are asymptotically Moebius, that means $\lim_{k \to \infty} \text{cr}_X(\varphi_k(\xi_0),\varphi_k(\eta_0),\varphi_k(\xi_1),\varphi_k(\eta_1))=\text{cr}_{\mathbb{H}^2}( \xi_0,\eta_0,\xi_1,\eta_1)$ for every $\xi_0,\eta_0,\xi_1,\eta_1 \in \partial_\infty \mathbb{H}^2$. Assume that the isometry group $\text{Isom}(X)$ acts transitively on triples of distinct points of $\partial_\infty X$. Then there must exists a sequence $(g_k)_{k \in \mathbb{N}}$, $g_k \in \text{Isom}(X)$ and a map $\varphi_\infty: \partial_\infty \mathbb{H}^2\rightarrow \partial_\infty X$ such that $\lim_{k \to \infty} g_k\varphi_k(\xi)=\varphi_\infty(\xi)$ for every $\xi \in \partial_\infty \mathbb{H}^2$ and $\varphi_\infty$ is induced by an isometric embedding of $\mathbb{H}^2$ into $X$.

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

2 major / 3 minor

Summary. The manuscript generalizes Bourdon's rigidity theorem for cross-ratio-preserving topological embeddings ∂∞S → ∂∞X (S a rank-one symmetric space) to the case S = H². It considers sequences of continuous maps φ_k : ∂∞H² → ∂∞X that are asymptotically Möbius, i.e., cr_X(φ_k(ξ0),φ_k(η0),φ_k(ξ1),φ_k(η1)) → cr_{H²}(ξ0,η0,ξ1,η1) for all quadruples. Under the additional hypothesis that Isom(X) acts transitively on distinct triples in ∂∞X, the claim is that there exist g_k ∈ Isom(X) such that g_k ∘ φ_k converges pointwise to a map φ_∞ induced by an isometric embedding H² ↪ X.

Significance. If the result is correct, it supplies a sequential/approximate version of boundary rigidity that may be useful for studying limits of maps or approximate homomorphisms in CAT(-1) geometry and rigidity theory. The transitivity hypothesis is a natural normalization device, and the asymptotic cross-ratio condition is a mild relaxation of exact preservation. The paper does not supply machine-checked proofs or parameter-free derivations, so the significance rests entirely on the correctness of the analytic argument.

major comments (2)
  1. [Abstract / Main Theorem] Abstract / statement of the main theorem: the argument necessarily applies Bourdon's theorem to the pointwise limit φ_∞. However, a pointwise limit of continuous maps S¹ → ∂∞X need not be continuous (hence need not be a topological embedding). The transitivity assumption permits normalization of three points but supplies no equicontinuity or uniform quasi-Möbius modulus for the sequence g_k φ_k; without such control the limit may fail to be continuous and Bourdon's theorem cannot be invoked directly.
  2. [Proof of main result] Proof section (presumably §3): the manuscript must show either that the asymptotic Möbius condition plus transitivity yields equicontinuity of the normalized sequence, or that cross-ratio preservation passes to the (possibly discontinuous) pointwise limit in a manner that still permits application of Bourdon. The abstract supplies no indication that either step is addressed.
minor comments (3)
  1. [Abstract] Abstract: 'Moebius' should be spelled 'Möbius' throughout.
  2. [Abstract] Abstract: grammatical error 'there must exists a sequence' should read 'there must exist a sequence'.
  3. [Abstract] Abstract: the final sentence is run-on; the clause 'and φ_∞ is induced by an isometric embedding' should be separated for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a potential gap in the exposition of the main argument. We address the two major comments below. The proof in Section 3 does establish the necessary equicontinuity, but we agree that the abstract and introduction should make this explicit.

read point-by-point responses

  1. Referee: [Abstract / Main Theorem] Abstract / statement of the main theorem: the argument necessarily applies Bourdon's theorem to the pointwise limit φ_∞. However, a pointwise limit of continuous maps S¹ → ∂∞X need not be continuous (hence need not be a topological embedding). The transitivity assumption permits normalization of three points but supplies no equicontinuity or uniform quasi-Möbius modulus for the sequence g_k φ_k; without such control the limit may fail to be continuous and Bourdon's theorem cannot be invoked directly.

    Authors: We agree that a pointwise limit of continuous maps need not be continuous in general. However, the proof of the main theorem shows that the asymptotic Möbius condition, together with transitivity of Isom(X) on boundary triples, produces a uniform modulus of continuity for the normalized maps g_k ∘ φ_k. Concretely, the asymptotic preservation of cross-ratios implies that if four points on the circle have cross-ratio close to 1, their images under g_k ∘ φ_k remain uniformly close after the normalization that fixes three points; this yields equicontinuity on the compact space ∂∞H². The pointwise limit φ_∞ is therefore continuous (in fact uniformly continuous) and is a topological embedding. We will revise the abstract and add a sentence in the introduction to state that the normalized sequence is equicontinuous. revision: partial

  2. Referee: [Proof of main result] Proof section (presumably §3): the manuscript must show either that the asymptotic Möbius condition plus transitivity yields equicontinuity of the normalized sequence, or that cross-ratio preservation passes to the (possibly discontinuous) pointwise limit in a manner that still permits application of Bourdon. The abstract supplies no indication that either step is addressed.

    Authors: Section 3 proceeds in two steps. First, after normalizing so that g_k φ_k sends a fixed triple to a fixed triple, the asymptotic cross-ratio condition is used to derive a uniform quasi-Möbius modulus independent of k; this is obtained by contradiction using the transitivity assumption and the fact that cross-ratios determine the topology on the boundary. Equicontinuity follows at once. Second, the pointwise limit φ_∞ therefore exists and is continuous; passing to the limit in the asymptotic equality shows that φ_∞ exactly preserves cross-ratios. Bourdon's theorem then applies directly to φ_∞. We will add a short paragraph at the beginning of Section 3 summarizing these two steps. revision: yes

Circularity Check

0 steps flagged

No circularity: external Bourdon theorem plus explicit transitivity assumption

full rationale

The derivation generalizes Bourdon's external theorem on cross-ratio-preserving embeddings to the asymptotic case for H². The statement explicitly invokes the transitivity assumption on Isom(X) and concludes existence of normalizing isometries g_k whose pointwise limit induces an isometric embedding. No step reduces a claimed prediction to a fitted input by construction, no self-citation chain bears the central load, and the argument does not rename or smuggle an ansatz from prior author work. The chain remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the definition of cross ratios in CAT(-1) spaces, the notion of asymptotically Möbius maps, and the transitivity assumption on Isom(X); these are standard domain assumptions rather than new postulates.

axioms (2)
  • domain assumption Cross ratios are well-defined and preserved under isometries in rank-one symmetric spaces and CAT(-1) spaces
    Invoked to define the asymptotically Möbius condition and the target cross ratio.
  • domain assumption Isom(X) acts transitively on triples of distinct points in ∂∞X
    Explicitly required in the theorem statement to guarantee the sequence g_k exists.

pith-pipeline@v0.9.0 · 5966 in / 1431 out tokens · 27652 ms · 2026-05-25T15:46:57.416333+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 1 internal anchor

  1. [1]

    Cross ratios on boundaries of symmetric spaces and Euclidean buildings

    J. Beyer, Cross ratios on boundaries of symmetric spaces and Euclidean buildings, preprint, https://arxiv.org/pdf/1701.09096.pdf

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Beyer, E

    J. Beyer, E. Fioravanti, M. Incerti-Medici, Cross-ratios, cube complexes and length spectrum rigidity, preprint, https://arxiv.org/pdf/1805.08478.pdf

    work page arXiv

  3. [3]

    Biswas, On Moebius and conformal maps between boundaries of (-1) spaces, Ann

    K. Biswas, On Moebius and conformal maps between boundaries of (-1) spaces, Ann. Inst. Fourier 65 (2015),1387--1422

    work page 2015

  4. [4]

    Biswas, Circumcenter extension of Moebius maps to (-1) spaces, preprint, https://arxiv.org/pdf/1709,09110.pdf

    K. Biswas, Circumcenter extension of Moebius maps to (-1) spaces, preprint, https://arxiv.org/pdf/1709,09110.pdf

    work page

  5. [5]

    Bonahon, The geometry of Teichmuller space via geodesic currents, Invent

    F. Bonahon, The geometry of Teichmuller space via geodesic currents, Invent. Math. 92 (1988), 139--162

    work page 1988

  6. [6]

    Bourdon, Actions quasi-convexes d'un groupe hyperbolique, flot géodésique, PhD thesis

    M. Bourdon, Actions quasi-convexes d'un groupe hyperbolique, flot géodésique, PhD thesis

    work page

  7. [7]

    Bourdon, Sur le birapport au bord des (-1) espaces, Inst

    M. Bourdon, Sur le birapport au bord des (-1) espaces, Inst. Hautes Etudies Sci. Publ. Math. 83 (1995), 95--104

    work page 1995

  8. [8]

    M. R. Bridson, A. Heafliger, Metric space of non-positive curvature, Springer-Verlag (1999)

    work page 1999

  9. [9]

    Burns, A

    K. Burns, A. Katok, Manifolds with non-positive curvature, Ergodic Theory Dynam. Systems 92 (1985), 139--162

    work page 1985

  10. [10]

    C. B. Croke, Rigidity for surfaces of non-positive curvature, Comment. Math. Helv. 65 (1990), 150--170

    work page 1990

  11. [11]

    Hamenstadt, Time preserving conjugacies of geodesic flows, Ergodic Theory Dynam

    U. Hamenstadt, Time preserving conjugacies of geodesic flows, Ergodic Theory Dynam. Systems 12 (1992), 67--74

    work page 1992

  12. [12]

    Labourie, Cross ratios, surface groups, PSL (n, ) and diffeomorphisms of the circle , Publ

    F. Labourie, Cross ratios, surface groups, PSL (n, ) and diffeomorphisms of the circle , Publ. Math. Inst. Hautes Etudes Sci. 106 (2007), 139--213

    work page 2007

  13. [13]

    G. D. Mostow, Quasiconformal mappings in n -space and the rigidity of hyperbolic space forms, Inst. Hautes Etudies Sci. Publ. Math. 34 (1968), 53--104

    work page 1968

  14. [14]

    Otal, Le spectre marqué des longeurs des surfaces à courbure nègative, Ann

    J.P. Otal, Le spectre marqué des longeurs des surfaces à courbure nègative, Ann. of Math. 131 (1990), 151--162

    work page 1990

  15. [15]

    J. P. Otal, Sur la géometrie symplectique de l'espace des géodésiques d'un variété à courbure négative, Rev. Mat. Iberoam. 8 (1992), 441--456

    work page 1992