Pith. sign in

REVIEW 2 major objections 5 minor 8 references

Singularity of Cannon-Thurston maps

T0 review · 2 major / 5 minor · reviewed 2026-07-13 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Pushforwards of natural surface measures under Cannon-Thurston maps are singular to natural measures on the 3-sphere at infinity.

desk verdict Clean geometric proof that CT pushforwards of full surface measures are singular to 3-manifold measures, via a positive-vs-zero time-near-fiber dichotomy; effective rates sit on a companion paper but the main claim does not. read the letter →

arxiv 2607.08923 v1 pith:2AJ2KXXE submitted 2026-07-07 math.GT math.GR

Vaibhav Gadre , Joseph Maher , Catherine Pfaff , Caglar Uyanik This is my paper · ORCID
classification math.GTmath.GR MSC 57M5037D4060B1530F40
keywords Cannon-Thurstonmapfiberedhyperbolic3-manifoldmeasuresingularityhittingmeasuresgeodesicflowpseudo-Anosovmonodromyrandomwalksongroups
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

In a closed hyperbolic 3-manifold that fibers over the circle, the inclusion of a fiber surface lifts to an exponentially distorted embedding of the hyperbolic plane into hyperbolic 3-space. Cannon and Thurston showed that this inclusion still extends continuously to a surjective, finite-to-one map from the circle at infinity to the 2-sphere at infinity. This paper proves that many natural probability measures living on that circle become singular when pushed forward by the Cannon-Thurston map: they are mutually singular to the usual Lebesgue measure on the 2-sphere and to the hitting measures of geometric random walks on the 3-manifold group. The argument works by comparing how typical geodesics behave. A geodesic sampled from a pushed-forward surface measure spends a definite positive proportion of its time near a fixed fiber, while a geodesic sampled from a natural 3-manifold measure spends an asymptotically vanishing proportion of its time near that fiber. For Lebesgue measure and for hitting measures coming from geometric surface-group walks the authors also give effective exponential rates. The result therefore supplies a geometric, geodesic-based explanation of measure singularity that covers both classical Lebesgue measures and a wide class of random-walk measures in a single framework.

What carries the argument

Comparison of geodesic statistics: for a pushed-forward surface measure almost every geodesic spends asymptotic proportion at least ε>0 of its length inside an R-neighborhood of the base fiber, while for a 3-manifold measure the same proportion tends to zero. The comparison is realized by lifting geodesics to the Cannon-Thurston pseudo-metric on the product of the surface cover with the real line and using ladders over laminations together with height functions that produce quasigeodesics.

What would settle it

Exhibit a single full surface measure whose push-forward under a Cannon-Thurston map is absolutely continuous with respect to Lebesgue measure on the 2-sphere, or produce an explicit geodesic that is typical for both a pushed-forward surface measure and a 3-manifold measure yet spends both a positive proportion and a vanishing proportion of time near the fiber.

Watch

Extended reading notes

Core claim

Pushforwards under the Cannon-Thurston map of any full surface measure (Lebesgue or the hitting measure of a non-elementary full random walk on the surface group) are mutually singular to every 3-manifold measure (Lebesgue or the hitting measure of a geometric random walk on the 3-manifold group). The singularity is detected by the asymptotic proportion of time that typical geodesics spend in a tubular neighborhood of a fixed fiber.

Load-bearing premise

The argument for the effective rates and several comparison steps relies on a family of specially constructed quasigeodesics (defined by a height function on the unit tangent bundle) that remain uniformly quasigeodesic and whose vertical projections are coarsely distance-non-increasing; those properties are proved only in a companion paper.

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

2 major / 5 minor

Summary. The paper proves that for a closed fibered hyperbolic 3-manifold M with fiber S, the Cannon–Thurston map ι : S^{1}_∞ o S^{2}_∞ pushes forward any full surface measure (Lebesgue or non-elementary full hitting measure on π_{1}(S)) to a measure on S^{2}_∞ that is mutually singular to any 3-manifold measure (Lebesgue or geometric hitting measure on π_{1}(M)). The argument proceeds by comparing asymptotic statistics of typical geodesics: under the pushforward, almost every geodesic in H^{3} spends a definite positive proportion of time in an R-neighborhood of the base fiber S_{0} (Theorem 6), while under a 3-manifold measure the proportion vanishes (Theorem 8). For geometric surface measures an effective lower bound of the form 1 - K e^{-α k^R} is obtained (Theorem 7). The non-effective singularity is self-contained; the effective rates invoke a companion construction of height-function quasigeodesics.

Significance. The result unifies and extends several earlier singularity statements (Tukia for Lebesgue–Lebesgue, Blachère–Haïssinsky–Mathieu for surface hitting measures versus Lebesgue on the sphere, and more recent conformal-measure rigidity of Kim–Oh and Kim–Zimmer) by a single geometric criterion based on geodesic recurrence to the fiber. The approach via ergodicity of the geodesic flow, linear progress of random walks, ladder separation (Propositions 15–21), and projection estimates for loxodromic axes (Propositions 41–45) is transparent and adaptable. The effective rates, once the companion quasigeodesics are accepted, give quantitative control that is new. The paper therefore supplies both a conceptual clarification and a concrete technical advance for the measure theory of Cannon–Thurston maps.

major comments (2)
  1. The non-effective singularity (Theorems 4, 6, 8) is complete and self-contained within the manuscript; the only external dependence is the classical Cannon–Thurston construction and standard ergodicity/linear-progress results. No load-bearing gap was found for these statements.
  2. Theorem 7 and the linear-progress comparisons of Section 4 rest on the existence and coarse distance-non-increasing property of the height-function paths (Theorem 54 and Proposition 55), which are proved only in the companion paper [GMPU25]. While the companion is cited and the properties are stated precisely, the effective claims cannot be verified from the present text alone. The authors should either include a self-contained sketch of the key estimates or make the dependence more explicit in the statements of Theorems 7 and 56–62.
minor comments (5)
  1. Section 1.2 and the discussion surrounding Figure 1: the comparison with earlier quasigeodesic constructions (McMullen, Hamenstädt, Mitra, Kapovich–Sardar) is helpful, but a one-sentence statement of which property fails for those constructions would make the necessity of the new height function clearer.
  2. Proposition 45: the constants Q and c are said to depend only on the fixed axis α; it would be useful to record that they are independent of the points x, y, as this is used repeatedly in the ergodic arguments of Sections 3.2–3.3.
  3. Definition 53: the floor functions and the two log terms are written with a slightly non-standard layout; a displayed equation with clearer parentheses would improve readability.
  4. A few typographical inconsistencies appear (e.g., “fSh” versus “eSh”, occasional missing spaces after commas in multi-line displays). A light copy-edit pass would remove them.
  5. The reference list is thorough; adding the arXiv identifier for the companion [GMPU25] once it is public would help readers.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: main singularity theorems rest on ergodicity and elementary projections; companion quasigeodesics used only for secondary effective rates.

  1. self citation load bearing [Section 1.2 and opening of Section 4 (invoking Theorem 54 / Proposition 55)]
    "In Section 4, we prove the effective bounds in Theorem 7, by assuming the main result of [GMPU25, Section 3]. ... we give detailed proofs of the singularity results and their effective versions, assuming the existence of quasigeodesics with the desired properties, stated precisely in Theorem 54 and Proposition 55. As verifying these properties is somewhat technical, we give the details in a separate paper [GMPU25]."

    The effective proportion bounds of Theorem 7 (and the linear-progress comparisons that feed them) rest on a geometric construction whose verification is deferred to a companion paper by the same authors. While this is not load-bearing for the primary non-effective singularity (Theorems 4/6/8), it is a self-citation that supplies an essential technical ingredient for the secondary effective statements; the construction is not re-derived or independently verified inside the present manuscript.

full rationale

The central claim (Theorem 4 via Theorems 6 and 8) derives mutual singularity from distinct asymptotic statistics of typical geodesics: positive proportion near the base fiber for surface measures (via geodesic-flow ergodicity or double ergodicity of random-walk actions, plus fixed-axis projection comparisons in Propositions 41–45) versus vanishing proportion for 3-manifold measures (via Oh–Pan mixing or Local CLT plus exponential tails). These steps use only classical tools and do not reduce by construction to any input definition or fit. The sole self-citation of note is to the companion [GMPU25] for the existence and coarse non-increasing property of height-function quasigeodesics (Theorem 54 / Proposition 55); that material is invoked exclusively for the effective rates of Theorem 7 and linear-progress comparisons in Section 4, which are not required for the main singularity. No self-definitional loop, fitted-parameter-as-prediction, uniqueness-from-authors, ansatz-smuggling, or renaming of a known pattern appears. The derivation is therefore self-contained against external benchmarks for its primary results.

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

The paper works entirely inside standard hyperbolic geometry and random-walk theory on hyperbolic groups. The only external black box is the quasigeodesic construction of the companion paper; all other ingredients (ergodicity, linear progress, ladder quasiconvexity) are classical or proved in the text. No free parameters are fitted to data; constants such as stretch factor k and hyperbolicity δ are determined by the given pseudo-Anosov and the metrics.

assumptions (5)
  • domain assumption Cannon-Thurston map exists and is continuous, surjective, finite-to-one for fibered hyperbolic 3-manifolds (CT07).
    Invoked from the first paragraph; the entire comparison of measures lives on this map.
  • standard math Geodesic flow on the unit tangent bundle of a closed hyperbolic manifold is ergodic with respect to Liouville measure (Hopf).
    Used for Lebesgue cases of Theorems 6 and 8 (Proposition 28).
  • standard math Non-elementary random walks on hyperbolic groups converge to the boundary and make linear progress with exponential tails (Kai94, MT18, Gou22, BMSS23).
    Used throughout Section 3.3 and 4.2 for hitting-measure statements.
  • domain assumption Ladders over geodesics are quasiconvex in the Cannon-Thurston metric (Mitra 98).
    Theorem 14; used to control projections of axes.
  • ad hoc to paper The height-function paths of Definition 53 are unparametrized quasigeodesics and the vertical projection is coarsely distance-non-increasing (GMPU25, Thm 54 & Prop 55).
    Black-box assumption for all effective rates in Section 4; proved only in the companion paper.
invented entities (1)
  • height function h_ heta on T^{1}(S) \ extended laminations
    purpose: Produces explicit quasigeodesics in the Cannon-Thurston metric whose height records distance to the invariant laminations, enabling effective time-near-fiber estimates.
    Defined in Definition 53; its quasigeodesic property is the main new technical device, but existence is deferred to the companion paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Singularity of Cannon-Thurston maps." pith.science (2026). https://pith.science/paper/2AJ2KXXE

@misc{pith2026260708923,
  author       = {Pith},
  title        = {Pith review of: Singularity of Cannon-Thurston maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2AJ2KXXE}},
  note         = {Machine review of arXiv:2607.08923}
}
read the original abstract

In a closed fibered hyperbolic 3-manifold M ,the inclusion of a fiber S, with S and M lifted to the universal covers, gives an exponentially distorted embedding of the hyperbolic plane into hyperbolic 3-space. Nevertheless, Cannon and Thurston showed that there is a map from the circle at infinity of the hyperbolic plane to the 2-sphere at infinity of hyperbolic 3-space. The Cannon-Thurston map is surjective, finite-to-one, and gives a space-filling curve. Here we use properties of geodesics to prove that many natural measures on the circle when pushed forward by the Cannon-Thurston map become singular with respect to many natural measures on the 2-sphere. The circle measures we consider are the Lebesgue measure and stationary measures that arise from fully supported random walks on the surface group. The measures on the sphere we consider are the Lebesgue measure and stationary measures that arise from geometric random walks on the 3- manifold group. We obtain the singularity of measures from the following properties of typical geodesics. We prove that a hyperbolic geodesic sampled with respect to a pushforward measure asymptotically spends a definite proportion of its time close to a fiber. On the other hand, we show that a hyperbolic geodesic sampled with respect to a natural measure on the sphere spends an asymptotically negligible proportion of its time close to a fiber. For a more restricted class of circle measures, namely the Lebesgue measure and stationary measures from geometric random walks on the surface group, we also prove an effective result for the proportion of time spent close to a fiber.

Figures

Figures reproduced from arXiv: 2607.08923 by the authors.

Figure 1
Figure 1. Two quasigeodesics in the upper half space model of [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Rescaling arising from the vertical flow in the Cannon-Thurston metric. [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗
Figure 3
Figure 3. Ladders over leaves are quasi-isometric to [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Notation for the complements of the leaves [PITH_FULL_IMAGE:figures/full_fig_p033_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 1 linked inside Pith

  1. [1]

    [Aga85] Stephen Agard,Remarks on the boundary mapping for a Fuchsian group, Ann. Acad. Sci. Fenn. Ser. A I Math.10(1985), 1–13. MR802463 [BBF15] Mladen Bestvina, Ken Bromberg, and Koji Fujiwara,Constructing group actions on quasi-trees and applications to mapping class groups, Publ. Math. Inst. Hautes ´Etudes Sci.122(2015), 1–64. MR3415065 [BCM12] Jeffrey...

    1985

  2. [2]

    MR1744486 [BHM11] S´ ebastien Blach` ere, Peter Ha¨ ıssinsky, and Pierre Mathieu,Harmonic measures versus quasicon- formal measures for hyperbolic groups, Ann. Sci. ´Ec. Norm. Sup´ er. (4)44(2011), no. 4, 683–721. MR2919980 [BMSS23] Adrien Boulanger, Pierre Mathieu, Cagri Sert, and Alessandro Sisto,Large deviations for random walks on Gromov-hyperbolic sp...

    2011

  3. [3]

    MR964685 [CG06] Danny Calegari and David Gabai,Shrinkwrapping and the taming of hyperbolic 3-manifolds, J. Amer. Math. Soc.19(2006), no. 2, 385–446. MR2188131 [CT07] James W. Cannon and William P. Thurston,Group invariant Peano curves, Geom. Topol.11 (2007), 1315–1355. MR2326947 52 [DKN09] Bertrand Deroin, Victor Kleptsyn, and Andr´ es Navas,On the questi...

    2006

  4. [4]

    Dyn.18(2024), no

    MR2723325 [GH24] Vaibhav Gadre and Sebastian Hensel,Linear progress in fibres, Groups Geom. Dyn.18(2024), no. 3, 1099–1129. MR4760271 [GMPU25] Vaibhav Gadre, Joseph Maher, Catherine Pfaff, and Caglar Uyanik,Quasigeodesics in the Cannon-Thurston metric(2025), available athttps://arxiv.org/abs/2510.04350. [Gou22] S´ ebastien Gou¨ ezel,Exponential bounds for...

    arXiv 2024

  5. [5]

    Kim and Hee Oh,Conformal measure rigidity for representations via self-joinings, Adv

    MR1792613 [KO24] Dongryul M. Kim and Hee Oh,Conformal measure rigidity for representations via self-joinings, Adv. Math.458(2024), Paper No. 109992,

    2024

  6. [6]

    Kim and Andrew Zimmer,Rigidity for Patterson–Sullivan systems with applications to random walks and entropy rigidity(2025), available at2505.16556

    MR4783431 [KZ25] Dongryul M. Kim and Andrew Zimmer,Rigidity for Patterson–Sullivan systems with applications to random walks and entropy rigidity(2025), available at2505.16556. [LL10] Gregory F. Lawler and Vlada Limic,Random walk: a modern introduction, Cambridge Studies in Advanced Mathematics, vol. 123, Cambridge University Press, Cambridge,

    arXiv 2025

  7. [7]

    MR2677157 [Mah12] Joseph Maher,Exponential decay in the mapping class group, J. Lond. Math. Soc. (2)86(2012), no. 2, 366–386. MR2980916 [McM01] Curtis T. McMullen,Local connectivity, Kleinian groups and geodesics on the blowup of the torus, Invent. Math.146(2001), no. 1, 35–91. MR1859018 [Min10] Yair Minsky,The classification of Kleinian surface groups. I...

    2012

  8. [8]

    Thurston,Hyperbolic structures on 3-manifolds, II: surface groups and 3-manifolds which fiber over the circle, Collected works of William P

    MR2007488 [Thu22] William P. Thurston,Hyperbolic structures on 3-manifolds, II: surface groups and 3-manifolds which fiber over the circle, Collected works of William P. Thurston with commentary. Vol. II. 3-manifolds, complexity and geometric group theory, 2022, pp. 79–110. August 1986 preprint, January 1998 eprint. MR4556467 [Tuk89] P. Tukia,A rigidity t...

    2022

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.