{"id":"aea7a78a-5c04-487b-b992-7468ebd134ee","arxiv_id":"2607.08923","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Pushforwards of full surface measures under Cannon-Thurston maps are mutually singular to 3-manifold measures, via distinct asymptotic time spent by typical geodesics near the base fiber.","lead":"The paper proves that natural measures on the circle, pushed forward by the Cannon-Thurston map of a fibered hyperbolic 3-manifold, are singular to natural measures on the sphere. It does so by showing that typical geodesics for the two classes of measures spend different asymptotic proportions of time near a fiber.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the companion paper as the sole external dependency and correctly notes that it affects only the effective statements. The load-bearing core of the paper—the mutual singularity of full surface measures and 3-manifold measures—rests on standard ergodic and random-walk tools that are fully developed inside the manuscript. Because that core is independent of the quasigeodesic construction, the ACCEPT verdict for the main theorems stands without adjustment. The concrete test above is a low-cost sanity check on the only non-standard geometric comparison used on the surface side; a positive outcome would further raise already-high confidence.","tokens_in":43390,"tokens_out":415,"duration_ms":4653,"concrete_test":"Independently verify that the projection comparison of Proposition 45 holds for a concrete closed geodesic (e.g., a shortest non-separating curve on a once-punctured torus bundle) by direct computation of nearest-point projections in the Cannon–Thurston metric; if the linear lower bound fails for that axis, the surface-side argument of Lemma 47 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The non-effective singularity (Theorem 4 via Theorems 6 and 8) is self-contained: surface-side positive proportion uses only ergodicity of the geodesic flow (or double ergodicity of the random-walk action) together with the elementary projection comparison for a fixed loxodromic axis (Propositions 41–45); 3-manifold-side vanishing uses Oh–Pan mixing for Lebesgue and the Local CLT plus exponential tails for geometric random walks. The companion quasigeodesics (Theorem 54 / Proposition 55) are invoked only for the effective rates of Theorem 7 and the linear-progress comparisons of Section 4; they are not required for the main mutual-singularity claim. No internal inconsistency or hidden assumption that would invalidate Theorems 6 and 8 was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves that for a closed fibered hyperbolic 3-manifold M with fiber S, the Cannon–Thurston map ι : S^{1}_∞ \to 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.","tokens_in":43612,"tokens_out":1016,"duration_ms":8156,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"The reference list is thorough; adding the arXiv identifier for the companion [GMPU25] once it is public would help readers.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The main singularity theorem is solid and of genuine interest to the geometric-group-theory and Kleinian-groups communities. The only substantive caveat is the dependence of the effective rates on an as-yet-unpublished companion; once that paper is available (or a sketch is added), the manuscript is ready for acceptance. Fit for a top geometry/topology journal is good."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The main result is solid and new: pushforwards of any full surface measure (Lebesgue or non-elementary full hitting measure) under the Cannon-Thurston map are mutually singular to any 3-manifold measure (Lebesgue or geometric hitting). They get it from a clean dichotomy on typical geodesics—surface-side ones spend asymptotic proportion ≥ ε > 0 near the base fiber, 3-manifold-side ones spend proportion 0—and that criterion is the real organizing idea.\n\nWhat works well is the non-effective half. Surface positive proportion uses only ergodicity (or double ergodicity for random walks) plus elementary projection comparisons for a fixed loxodromic axis (Props 41–45). Vanishing on the 3-manifold side uses Oh–Pan mixing for Lebesgue and Local CLT + exponential tails for geometric walks. Ladder separation (Props 15–21) is carefully done. No free parameters, no circularity, and the citations to Tukia, BHM11, Kim–Oh, etc., correctly locate the novelty: the unified geometric argument that also covers non-geometric full measures.\n\nThe soft spot is real but limited. Effective rates (Thm 7) and the linear-progress comparisons in §4 invoke the height-function quasigeodesics and the coarse distance-non-increasing property from the companion [GMPU25]. Those are black-boxed here. If that construction fails, the rates collapse; the main singularity theorems do not. Stress-test is right on this point.\n\nThis is for people who work on CT maps, random walks on hyperbolic groups, or measure rigidity for surface subgroups. The math is careful, the dichotomy is useful, and a serious referee should see it. I would accept for peer review; the companion dependency is a revision item, not a desk-reject item. Worth engaging if you care about these measures.","headline":"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.","tokens_in":44183,"tokens_out":496,"would_cite":true,"duration_ms":5916,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57M50","37D40","60B15","30F40"],"pacs":[],"model":"grok-4.5","headline":"Pushforwards of natural surface measures under Cannon-Thurston maps are singular to natural measures on the 3-sphere at infinity.","keywords":["Cannon-Thurston map","fibered hyperbolic 3-manifold","measure singularity","hitting measures","geodesic flow","pseudo-Anosov monodromy","random walks on groups"],"falsifier":"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.","tokens_in":44292,"feed_emoji":"◎","tokens_out":773,"duration_ms":6677,"temperature":0.7,"pith_summary":"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.","feed_headline":"Cannon-Thurston pushforwards are singular to sphere measures","feed_subtitle":"Typical geodesics from surface measures hug a fiber; those from 3-manifold measures do not.","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Cannon-Thurston pushforwards of surface measures are singular","Surface measures push singular under Cannon-Thurston maps","Geodesics near fibers detect Cannon-Thurston singularity","Typical surface geodesics hug fibers; sphere ones do not","Cannon-Thurston maps send circle measures singular to sphere"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Cannon-Thurston pushforwards of surface measures are singular","Surface measures push singular under Cannon-Thurston maps","Geodesics near fibers detect Cannon-Thurston singularity","Typical surface geodesics hug fibers; sphere ones do not","Cannon-Thurston maps send circle measures singular to sphere"]},"model":"grok-4.5","effort":"low","cost_usd":0.008104,"raw_usage":{"total_tokens":1992,"prompt_tokens":866,"num_sources_used":0,"completion_tokens":88,"cost_in_usd_ticks":81040000,"prompt_tokens_details":{"text_tokens":866,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1038,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":866,"tokens_out":88,"duration_ms":38017,"temperature":1.0,"reasoning_tokens":1038,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T06:47:44.042105+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}