Pith. sign in

REVIEW 3 major objections 7 minor 63 references

Foliated Plateau problems, geometric rigidity and equidistribution of closed $k$-surfaces

T0 review · 3 major / 7 minor · reviewed 2026-08-08 · deepseek-v4-flash

Pith's one-line read Counting closed constant-curvature surfaces by area, at the rate measured by an area-entropy functional, determines whether a negatively curved 3-manifold is hyperbolic.

desk verdict A transparent survey of the Alvarez–Lowe–Smith k-surface rigidity program, valuable as an entry point, but the decisive full-support equidistribution step is deferred to [3] and not sketched. read the letter →

arxiv 2502.07626 v1 pith:X7PCDH2R submitted 2025-02-11 math.DG math.DS

classification math.DGmath.DS MSC 53C4237D4053C2453C20
keywords k-surfacesconstantextrinsiccurvaturefoliatedPlateauproblemareaentropymarkedspectrumnegativerigidityequidistributionquasi-Fuchsiansurfacesubgroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper surveys a program in which surfaces with constant extrinsic curvature $k$ ($0

What carries the argument

The central object is the $k$-surface: an immersed surface whose shape operator has determinant $\kappa_{\rm ext}=k$, with $0<k<1$. Because each oriented Jordan curve in the ideal boundary spans a unique $k$-disc (the asymptotic Plateau problem), and because round circles span $k$-discs that foliate the unit tangent bundle $T^1X$, the problem becomes a foliated Plateau problem with a natural $\mathrm{PSL}_2(\mathbb{R})$-action on frame bundles. On this phase space, the relevant invariant objects are conformal currents, $\mathrm{PSL}_2(\mathbb{R})$-bi-invariant measures, and laminar measures, and Ratner's theorem gives the key dichotomy: the only ergodic laminar measures are the fully supported one and those coming from closed Fuchsian $k$-surfaces. The Kahn-Markovi\'c sequence of almost-Fuchsian subgroups then supplies the measure with full support, which is what converts the observation that curvature is $-1$ on quasi-Fuchsian tangent planes into the conclusion that curvature is $-1$ everywhere.

What would settle it

Find a closed hyperbolic 3-manifold $(M,h_0)$ and a non-isometric smooth metric $h$ with $\operatorname{sect}_h\le -1$ for which a direct computation of $\operatorname{Ent}_k(M,h)$ gives $(1-k)/(2\pi)$; this would disprove the equality case of Theorem 4.4. A more local check is to examine the accumulation points of the Kahn-Markovi\'c laminar measures: if any open subset of $T^1X$ is missed by the limiting measure, the step that forces sectional curvature $-1$ on all tangent planes fails.

Watch

Extended reading notes

Core claim

The central claim is that closed $k$-surfaces are abundant and geometrically informative enough to play the role of closed geodesics in dimension three. For a closed hyperbolic 3-manifold $(M,h_0)$, every Riemannian metric $h$ with $\operatorname{sect}_h \le -1$ and every $k\in(0,1)$ satisfy the chain $H(M,h)^2/(2\pi) \ge \operatorname{Ent}_k(M,h) \ge \operatorname{Ent}_k(M,h_0) = (1-k)/(2\pi)$, with equality $\operatorname{Ent}_k(M,h)=\operatorname{Ent}_k(M,h_0)$ if and only if $h$ and $h_0$ are isometric; and the equality of marked area spectra $\operatorname{MAS}_{k,h}=\operatorname{MAS}_{k,h_0}$ also holds if and only if $h$ and $h_0$ are isometric. The proof strategy is equidistribution: a sequence of almost-Fuchsian surface subgroups produced by Kahn-Markovi\'c methods has the property that the associated $k$-surface measures converge to a laminar measure of full support on the unit tangent bundle, so the sectional curvature, observed to be $-1$ on every quasi-Fuchsian tangent plane, is forced to be $-1$ everywhere.

Load-bearing premise

The entire rigidity argument rests on the deferred claim, proven in the companion paper, that the almost-Fuchsian sequence's $k$-surface measures converge to a laminar measure with full support on the unit tangent bundle; if that measure only filled the union of the quasi-Fuchsian surfaces, the proof would establish curvature $-1$ only on those tangent planes and could not conclude the metric is hyperbolic.

Editorial extensions

If this is right

  • Among all negatively curved metrics on a fixed closed 3-manifold, the hyperbolic metric is the unique one whose closed quasi-Fuchsian $k$-surfaces grow at the slowest possible area rate, namely $(1-k)/(2\pi)$.
  • The marked area spectrum of $k$-surfaces is a complete metric invariant for the hyperbolic metric, so the census of surface areas determines the ambient geometry up to isometry.
  • The $k$-surface foliation of the unit tangent bundle is topologically independent of the negatively curved metric, giving a canonical surface-level rigidity theorem in the style of Gromov's geodesic rigidity.
  • Closed $k$-surfaces are, on average, no larger in variable negative curvature than in constant curvature $-1$, and any exact equality in this comparison forces constant curvature.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is a thermodynamical formalism for $k$-surfaces in which a H\"older potential on $T^1M$ has a pressure defined by counting closed quasi-Fuchsian $k$-surfaces; the rigidity of area and energy spectra suggests such a pressure would encode the metric.
  • Because uniqueness of the asymptotic Plateau problem fails for minimal surfaces, extending this equidistribution route to minimal surfaces would require a different mechanism, so the $k$-surface framework may be the more robust two-dimensional analogue for rigidity questions.
  • The boundary rigidity question posed in Section 5.3 has a local testable version: for metrics $h$ close to hyperbolic on a ball, equality of the marked boundary area data should force $h$ to be hyperbolic, and one could try to prove this by linearizing the map $h\mapsto\operatorname{MAS}_{k,h,\partial B}$.
  • If the full-support equidistribution theorem were to hold in higher dimensions for appropriate analogues of $k$-surfaces, the same argument would produce higher-dimensional entropy rigidity results.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper is a survey note in differential geometry and dynamical systems. It reviews recent work on the asymptotic Plateau problem for k-surfaces (constant extrinsic curvature) in closed negatively curved 3-manifolds, the resulting lamination of the unit tangent bundle, and the use of equidistribution of closed quasi-Fuchsian k-surfaces to prove rigidity statements. The main results presented are Theorem 4.4, an area-entropy inequality H(M,h)^2/(2π) ≥ Ent_k(M,h) ≥ Ent_k(M,h0) = (1-k)/(2π) with equality rigidity, and Theorem 4.5, the rigidity of the hyperbolic marked area spectrum. Both theorems are quoted from the author's joint paper [3], and a proof sketch for Theorem 4.5 is given in Section 4.3.4.

Significance. If the results of [3] are correct, this survey fills a useful role by collecting the main statements and proof ideas of a new area: the dynamics of k-surfaces as a two-dimensional analogue of the geodesic flow. The note is clearly structured and carefully distinguishes background material from theorems quoted from [3]. Its value lies in exposition rather than new results. The proof sketch of Theorem 4.5 is not self-contained; it depends crucially on Theorem 4.11, whose proof is deferred. The survey also leaves the equality case of Theorem 4.4 unsketched. These are fixable presentation issues, but they affect the completeness of the account.

major comments (3)
  1. [Definition 4.3, Section 4.2.2] The displayed formula for the area entropy, liminf_{A→∞} (1/A) log(A) log N(A), is inconsistent with the stated value in Theorem 4.4. Using Kahn-Marković's counting, log N(A) ∼ ((1-k)/(2π)) A log A for the hyperbolic metric, so the displayed expression tends to infinity. The intended normalization must be 1/(A log A) times log N(A), or an equivalent correction. As written, the definition is mathematically wrong and should be fixed.
  2. [Section 4.3.4, proof of Theorem 4.5] The argument that sectional curvature is identically -1 rests on Theorem 4.11, the existence of a Kahn-Marković sequence whose associated k-surface measures converge to a full-support laminar measure. The proof of Theorem 4.11 is deferred to [3]. Without this full-support statement, the equality of marked area spectra only yields sect_h = -1 on the tangent planes of the quasi-Fuchsian surfaces in the given sequence, which is not enough to conclude that h is hyperbolic. Thus the proof sketch, as presented, cannot be verified from the note alone.
  3. [Theorem 4.4, equality case] The note proves the entropy inequalities and observes that equality of areas implies (12), but it does not sketch how equality in Ent_k(M,h) = Ent_k(M,h0) forces equality of areas and then applies the equidistribution argument. Since the equality rigidity is one of the two central claims, a survey presenting this result should at least outline this step or explicitly state that the proof is omitted.
minor comments (7)
  1. [Theorem 2.4] The word 'isometrc' should be 'isometric'.
  2. [Section 2.3.2] The word 'relevent' should be 'relevant'.
  3. [Section 3.4.3, proof of Theorem 3.17] The phrase 'which bounds two discs Ω′ ⊂ Dc′ and Ω′ ⊂ Dc′' appears to contain a typo; the two discs should likely be labeled Ω_1 ⊂ D_c and Ω_2 ⊂ D_c'.
  4. [Section 4.2.2] The phrase 'variable curvature ≥ -1' is confusing; the standing assumption is sect_h ≤ -1, so the phrase should say 'curvature bounded above by -1' or similar.
  5. [Section 4.3.1] The phrase 'do not depend of the metric h' should be 'do not depend on the metric h'.
  6. [Section 5.2] The word 'Fax' should be 'Fix'.
  7. [Sections 2.4.5 and 2.3.2] The name 'Hämenstadt' should be spelled 'Hamenstädt' consistently.

Circularity Check

2 steps flagged · score 4.0 of 10

The note's central rigidity theorems are announced from the author's joint paper [3], and the decisive full-support equidistribution statement is deferred to [3]; in-text, the proof only forces curvature -1 on quasi-Fuchsian tangent planes.

  1. self citation load bearing [Section 4.3.3, Theorem 4.11, used in Section 4.3.4 to prove Theorem 4.5]
    "The proof of this theorem may be found in [ 3] and consists in showing that the k-surfaces representing Kahn-Marković’s surfaces obtained on [ 33] do not accumulate in closed surfaces. The result follows from the dichotomy for PSL 2(R)-invariant measures in T 1M (Theorem 4.7)."

    Theorem 4.11 is the only statement that upgrades the equality of marked area spectra to equality of metrics: Section 4.3.4 obtains sigma = -1 mu-hat_{k,h}(partial-infty Gamma_n)-almost everywhere on each quasi-Fuchsian surface, and the passage to sigma = -1 everywhere uses exactly the total support of the limiting measure mu-hat_infty. That total-support statement is not proved here; the quoted sentence defers it to [3], a paper sharing the present author. Without [3]'s proof, the in-text argument only shows sect_h = -1 on tangent planes of the Kahn-Marković surfaces, which does not imply h is hyperbolic.

  2. self citation load bearing [Section 4.2.2, Theorem 4.4 equality case, and Section 4.2.3, Theorem 4.5]
    "The following rigidity theorem was proven in [ 3]. It is an analogue of Hamen-städt’s result (Theorem 2.5). ... We will only prove Theorem 4.5."

    The equality case of Theorem 4.4, the paper's central geometric-counting theorem, is announced but not derived; Section 4.3.4 states that only Theorem 4.5 will be proven. Theorem 4.5 is itself attributed to [3] rather than proven from scratch, and its sketched proof depends on Theorem 4.11, also from [3]. Thus the equality rigidity in both main theorems is carried by a chain of self-citations to the author's joint prior work rather than by a self-contained derivation in this text.

full rationale

The paper is transparently an expository survey of the author's joint work: it announces Theorems 4.4 and 4.5 as results of [3] and gives a proof sketch for Theorem 4.5. I found no definitional circularity, no fitted parameter dressed as a prediction, and no renaming of a known result. The lower-bound inequality Ent_k(M,h) >= Ent_k(M,h0) is derived from Gauss-Bonnet and Kahn-Marković counting and is not circular. The circularity-relevant structure is the dependence of the equality cases on Theorem 4.11, whose proof is deferred to [3]. Within the text, Section 4.3.4 proves only that equality of the marked area spectra forces sectional curvature -1 on the tangent planes of quasi-Fuchsian k-surfaces; the final step to all tangent planes requires full support of the limiting laminar measure, which is precisely the unproved content of Theorem 4.11. Because the decisive step is a self-citation to the author's own prior paper rather than an independently checkable argument, a score of 4 is appropriate. The underlying results are genuine research theorems rather than definitions or fitted identities, so a higher circularity score would be disproportionate.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The ledger records external theorems and assumptions the survey depends on. k is a domain parameter, not a fitted constant. No new entities are postulated beyond those already in the cited literature.

free parameters (1)
  • k = any value in (0,1)
    The prescribed extrinsic curvature of k-surfaces. It is a fixed input of the theory, not fitted to data, and the statements are uniform in k, so it is not a hidden tuning parameter.
assumptions (6)
  • domain assumption The base manifold (M,h0) is a closed hyperbolic 3-manifold and competing metrics satisfy sect_h ≤ -1.
    Section 2.1 fixes this setting; all rigidity statements compare arbitrary negatively curved metrics of curvature at most -1 to the hyperbolic one.
  • standard math Ratner's classification of PSL2(R)-invariant measures on PSL2(C).
    Used in the proof of Theorem 4.7 to classify ergodic conformal currents on round circles, which underpins the equidistribution dichotomy in Section 4.3.2.
  • standard math Kahn-Marković's existence and topological counting theorems for quasi-Fuchsian subgroups.
    Theorems 4.1 and 4.2 provide the abundant surface subgroups whose k-surface representatives are counted in Section 4.2.
  • standard math Labourie's compactness theorem and the uniqueness of the asymptotic Plateau problem for k-surfaces.
    Theorems 3.5 and 3.3 are prerequisites for the lamination and foliation structure in Sections 3.3 and 3.4.
  • standard math Theorem 4.11, the existence of a Kahn-Marković sequence whose k-surface measures converge to a fully supported laminar measure.
    Quoted from the author's companion paper [3]; the proof is not given in this note and it is the key step in the rigidity argument of Section 4.3.4.
  • standard math Mostow rigidity theorem: any hyperbolic metric on M is isometric to h0.
    Used in the final step of Theorem 4.5 in Section 4.3.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Foliated Plateau problems, geometric rigidity and equidistribution of closed $k$-surfaces." pith.science (2026). https://pith.science/paper/X7PCDH2R

@misc{pith2026250207626,
  author       = {Pith},
  title        = {Pith review of: Foliated Plateau problems, geometric rigidity and equidistribution of closed $k$-surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X7PCDH2R}},
  note         = {Machine review of arXiv:2502.07626}
}
read the original abstract

In this note, we survey recent advances in the study of dynamical properties of the space of surfaces with constant curvature in three-dimensional manifolds of negative sectional curvature. We interpret this space as a two-dimensional analogue of the geodesic flow and explore the extent to which the thermodynamic properties of the latter can be generalized to the surface setting. Additionally, we apply this theory to derive geometric rigidity results, including the rigidity of the hyperbolic marked area spectrum.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

63 extracted references · 61 canonical work pages

  1. [3]

    Alvarez, B

    S. Alvarez, B. Lowe, and G. Smith. Foliated Plateau probl ems and asymptotic counting of surface subgroups. to appear in Ann. Sci. École Norm. Sup. , 2024

  2. [1]

    L. Ahlfors. Lectures on quasiconformal mappings . The Wadsworth & Brooks/Cole Math- ematics Series. Wadsworth & Brooks/Cole Advanced Books & So ftware, Monterey, CA,

  3. [2]

    Alexakis, T

    S. Alexakis, T. Balehowsky, and A. Nachman. Determining a Riemannian metric from minimal areas. Adv. Math. , 366:107025, 71, 2020. 27

  4. [4]

    Rigidity of the hyperbolic marked energy spectrum and entropy for $k$-surfaces

    S. Alvarez, B. Lowe, and G. Smith. Rigidity of the hyperbo lic marked energy spectrum and entropy for k-surfaces. Preprint, [arXiv:2412.14389] , 2024

  5. [5]

    Alvarez and G

    S. Alvarez and G. Smith. Prescription de courbure des feu illes des laminations: retour sur un théorème de Candel. Ann. Inst. Fourier (Grenoble) , 71(6):2549–2593, 2021

  6. [6]

    Anderson

    M. Anderson. Complete minimal hypersurfaces in hyperbo lic n-manifolds. Comment. Math. Helv., 58(2):264–290, 1983

  7. [7]

    D. V. Anosov. Geodesic flows on closed Riemannian manifol ds of negative curvature. Trudy Mat. Inst. Steklov. , 90:209, 1967

  8. [8]

    Aronszajn

    N. Aronszajn. A unique continuation theorem for solutio ns of elliptic partial differential equations or inequalities of second order. J. Math. Pures Appl. (9) , 36:235–249, 1957

Show all 63 references
  1. [9]

    Bader, D

    U. Bader, D. Fisher, N. Miller, and M. Stover. Arithmetic ity, superrigidity, and totally geodesic submanifolds. Ann. of Math. (2) , 193(3):837–861, 2021

  2. [10]

    Basilio, C

    B. Basilio, C. Lee, and J. Malionek. Totally geodesic su rfaces in hyperbolic 3-manifolds: Algorithms and examples. Preprint, [arXiv:2403.12397] , 2024

  3. [11]

    Benoist, P

    Y. Benoist, P. Foulon, and F. Labourie. Flots d’Anosov à distributions stable et instable différentiables. J. Amer. Math. Soc. , 5(1):33–74, 1992

  4. [12]

    Bergeron

    N. Bergeron. La conjecture des sous-groupes de surface s (d’après Jeremy Kahn et Vladimir Marković). Number 352, pages Exp. No. 1055, x, 429–458. 2013 . Séminaire Bourbaki. Vol. 2011/2012. Exposés 1043–1058

  5. [13]

    Besson, G

    G. Besson, G. Courtois, and S. Gallot. Entropies et rigi dités des espaces localement symétriques de courbure strictement négative. Geom. Funct. Anal. , 5(5):731–799, 1995

  6. [14]

    F. Bonahon. Geodesic laminations with transverse Höld er distributions. Ann. Sci. École Norm. Sup. (4) , 30(2):205–240, 1997

  7. [15]

    R. Bowen. The equidistribution of closed geodesics. Amer. J. Math. , 94:413–423, 1972

  8. [16]

    R. Bowen. Periodic orbits for hyperbolic flows. Amer. J. Math. , 94:1–30, 1972

  9. [17]

    Burns and A

    K. Burns and A. Katok. Manifolds with nonpositive curva ture. Ergodic Theory Dynam. Systems, 5(2):307–317, 1985

  10. [18]

    Calegari, F

    D. Calegari, F. Marques, and A. Neves. Counting minimal surfaces in negatively curved 3-manifolds. Duke Math. J. , 171(8):1615–1648, 2022

  11. [19]

    A. Candel. Uniformization of surface laminations. Ann. Sci. École Norm. Sup. (4) , 26(4):489–516, 1993

  12. [20]

    Cekić, C

    M. Cekić, C. Guillarmou, and T. Lefeuvre. Local lens rig idity for manifolds of Anosov type. Anal. PDE (to appear) , 2024

  13. [21]

    Einsiedler

    M. Einsiedler. Ratner’s theorem for SL(2 , R)-invariant measures. Preprint, [arXiv:0603483], 2006

  14. [22]

    M. Gromov. Foliated Plateau problem. I. Minimal variet ies. Geom. Funct. Anal. , 1(1):14– 79, 1991

  15. [23]

    M. Gromov. Foliated Plateau problem. II. Harmonic maps of foliations. Geom. Funct. Anal., 1(3):253–320, 1991

  16. [24]

    M. Gromov. Three remarks on geodesic dynamics and funda mental group. Enseign. Math. (2), 46(3-4):391–402, 2000

  17. [25]

    Guillarmou and T

    C. Guillarmou and T. Lefeuvre. The marked length spectr um of Anosov manifolds. Ann. of Math. (2) , 190(1):321–344, 2019

  18. [26]

    Guillemin and D

    V. Guillemin and D. Kazhdan. Some inverse spectral resu lts for negatively curved 2- manifolds. Topology, 19(3):301–312, 1980

  19. [27]

    Hamenstädt

    U. Hamenstädt. Cocycles, Hausdorff measures and cross r atios. Ergodic Theory Dynam. Systems, 17(5):1061–1081, 1997

  20. [28]

    Hamenstädt

    U. Hamenstädt. Cocycles, symplectic structures and in tersection. Geom. Funct. Anal. , 9(1):90–140, 1999

  21. [29]

    Hamenstädt

    U. Hamenstädt. Incompressible surfaces in rank one loc ally symmetric spaces. Geom. Funct. Anal., 25(3):815–859, 2015

  22. [30]

    Huang, B

    Z. Huang, B. Lowe, and A. Seppi. Uniqueness and non-uniq ueness for the asymptotic plateau problem in hyperbolic space. Preprint, [arXiv:2309.00599] , 2023

  23. [31]

    J. Kahn, F. Labourie, and S. Mozes. Surface groups in uni form lattices of some semi-simple groups. Acta Math. , 232:79–220, 2024

  24. [32]

    Kahn and V

    J. Kahn and V. Marković. Counting essential surfaces in a closed hyperbolic three-manifold. Geom. Topol., 16(1):601–624, 2012

  25. [33]

    Kahn and V

    J. Kahn and V. Marković. Immersing almost geodesic surf aces in a closed hyperbolic three manifold. Ann. of Math. (2) , 175(3):1127–1190, 2012. 28

  26. [34]

    J. Kahn, V. Markovic, and I. Smilga. Geometrically and t opologically random surfaces in a closed hyperbolic three manifold. Preprint, [arXiv:2309.02847]

  27. [35]

    F. Kassel. Groupes de surface dans les réseaux des group es de lie semi-simples (d’après J. Kahn, V. Markovic, U. Hamenstädt, F. Labourie et S. Mozes. Séminaire Bourbaki, exposé 1181, Astérisque, (438):Exp. No. 1179, 425–457, 2021

  28. [36]

    A. Katok. Entropy and closed geodesics. Ergodic Theory Dynam. Systems , 2(3-4):339–365, 1982

  29. [37]

    A. Katok. Four applications of conformal equivalence t o geometry and dynamics. Ergodic Theory Dynam. Systems , 8 ∗:139–152, 1988

  30. [38]

    Labourie

    F. Labourie. Problèmes de Monge-Ampère, courbes holom orphes et laminations. Geom. Funct. Anal., 7(3):496–534, 1997

  31. [39]

    Labourie

    F. Labourie. Un lemme de Morse pour les surfaces convexe s. Invent. Math., 141(2):239–297, 2000

  32. [40]

    Labourie

    F. Labourie. The phase space of k-surfaces. In Rigidity in dynamics and geometry (Cam- bridge, 2000) , pages 295–307. Springer, Berlin, 2002

  33. [41]

    Labourie

    F. Labourie. Random k-surfaces. Ann. of Math. (2) , 161(1):105–140, 2005

  34. [42]

    Labourie

    F. Labourie. Asymptotic counting of minimal surfaces a nd of surface groups in hyperbolic 3-manifolds. Séminaire Bourbaki, exposé 1179 Astérisque , (430):Exp. No. 1179, 425–457, 2021

  35. [43]

    Ledrappier

    F. Ledrappier. Harmonic measures and Bowen-Margulis m easures. Israel J. Math. , 71(3):275–287, 1990

  36. [44]

    Ledrappier

    F. Ledrappier. Structure au bord des variétés à courbur e négative. In Séminaire de Théorie Spectrale et Géométrie, No. 13, Année 1994–1995 , volume 13 of Sémin. Théor. Spectr. Géom., pages 97–122. Univ. Grenoble I, Saint-Martin-d’Hères, 19 95

  37. [45]

    A. N. Livšic. Certain properties of the homology of Y -systems. Mat. Zametki , 10:555–564, 1971

  38. [46]

    B. Lowe. Deformations of totally geodesic foliations a nd minimal surfaces in negatively curved 3-manifolds. Geom. Funct. Anal. , 31(4):895–929, 2021

  39. [47]

    Maclachlan and A

    C. Maclachlan and A. Reid. The arithmetic of hyperbolic 3-manifolds , volume 219 of Grad- uate Texts in Mathematics . Springer-Verlag, New York, 2003

  40. [48]

    G. A. Margulis. Certain applications of ergodic theory to the investigation of manifolds of negative curvature. Funkcional. Anal. i Priložen. , 3(4):89–90, 1969

  41. [49]

    G. A. Margulis. Certain measures that are connected wit h U-flows on compact manifolds. Funkcional. Anal. i Priložen. , 4(1):62–76, 1970

  42. [50]

    Marques and A

    F. Marques and A. Neves. Conformal currents and the entr opy of negatively curved three- manifolds. Preprint, [arXiv:2405.16302] , 2024

  43. [51]

    Mohammadi and G.A

    A. Mohammadi and G.A. Margulis. Arithmeticity of hyper bolic 3-manifolds containing infinitely many totally geodesic surfaces. Ergodic Theory Dynam. Systems , 42(3):1188– 1219, 2022

  44. [52]

    G. D. Mostow. Quasi-conformal mappings in n-space and the rigidity of hyperbolic space forms. Inst. Hautes Études Sci. Publ. Math. , (34):53–104, 1968

  45. [53]

    J.-P. Otal. Le spectre marqué des longueurs des surface s à courbure négative. Ann. of Math. (2) , 131(1):151–162, 1990

  46. [54]

    Paulin, M

    F. Paulin, M. Pollicott, and B. Schapira. Equilibrium s tates in negative curvature. Astérisque, (373):viii+281, 2015

  47. [55]

    M. Ratner. Raghunathan’s topological conjecture and d istributions of unipotent flows. Duke Math. J. , 63(1):235–280, 1991

  48. [56]

    A. Reid. Totally geodesic surfaces in hyperbolic 3-man ifolds. Proc. Edinburgh Math. Soc. (2), 34(1):77–88, 1991

  49. [57]

    Rosenberg and J

    H. Rosenberg and J. Spruck. On the existence of convex hy persurfaces of constant Gauss curvature in hyperbolic space. J. Differential Geom. , 40(2):379–409, 1994

  50. [58]

    G. Smith. On the asymptotic Plateau problem in Cartan–H adamard manifolds. Preprint, [arXiv:2107.14670], 2021

  51. [59]

    G. Smith. Möbius structures, hyperbolic ends and k-surfaces in hyperbolic space. In In the tradition of Thurston II (Ohshika, K. Papadopoulos, A., ed , Springer-Verlag. 2022

  52. [60]

    G. Smith. Quaternions, Monge–Ampère structures and k-surfaces. In Surveys in Geometry, Vol. II , Springer-Verlag. 2024

  53. [61]

    Uhlenbeck

    K. Uhlenbeck. Closed minimal surfaces in hyperbolic 3- manifolds. In Seminar on minimal submanifolds, volume 103 of Ann. of Math. Stud. , pages 147–168. Princeton Univ. Press, Princeton, NJ, 1983. 29

  54. [62]

    H. Wen. Simple Riemannian surfaces are scattering rigi d. Geom. Topol., 19(4):2329–2357, 2015. Sébastien Alvarez CMAT, Facultad de Ciencias, Universidad de la República Igua 4225 esq. Mataojo. Montevideo, Uruguay. email: salvarez@cmat.edu.uy

  55. [1987]

    Earle, Jr., Reprint o f the 1966 original

    With the assistance of Clifford J. Earle, Jr., Reprint o f the 1966 original

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.