{"id":"b0936672-a343-495b-863d-163875cf2d01","arxiv_id":"1909.02324","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Boundary actions of negatively curved manifold groups are C0-topologically stable, and the technique yields hyperbolic 3-manifolds with arbitrarily many topologically inequivalent Anosov flows.","lead":"The paper proves that the natural action of a negatively curved manifold's fundamental group on its boundary sphere is topologically stable, so nearby actions are always factors of it, and uses this to build hyperbolic 3-manifolds carrying arbitrarily many inequivalent Anosov flows. A generalist might read it because it resolves a question from Kirby's problem list and establishes a new, low-regularity rigidity principle for group actions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Isotopy count in Theorem 1.3 rests on unproved assertion that C(k) lifts have C∞-close holonomies and isotopic horizontal lifts; if isotopy fails, the surgered manifolds differ.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the sketched isotopy of horizontal lifts in the proof of Theorem 1.3. The central claim of the paper includes the construction of hyperbolic 3-manifolds with arbitrarily many inequivalent Anosov flows, and this rests on the assertion that the Dehn-surgered manifolds are diffeomorphic for a number of lifts growing linearly in k. The proof as written does not establish the isotopy, and the tension between 'small family' and 'linear growth' is real. However, I agree with the reader that the main theorems are plausible and largely well-supported; the issue is a missing detail rather than a demonstration of falsity. In particular, a deck-transformation argument might resolve the isotopy completely, in which case the concern would be expositional. Thus the reader's CONDITIONAL verdict is appropriate and I do not change it. The concrete test I propose would settle whether the isotopy claim is true via deck transformations or whether it genuinely needs a separate argument.","tokens_in":36617,"tokens_out":35746,"duration_ms":345162,"concrete_test":"Independently determine whether the horizontal lifts of c for two lifts र̂_x and र̂_{x'} with rot(c)=0 are isotopic via a deck transformation of the k-fold cover M (a rotation of the S1 fiber), which is isotopic to the identity. If this is the case, the isotopy assertion is true for all k solutions without any C∞-closeness assumption, and the concern is expositional. If not, compute the C0 distance in Hom(π1T1, Homeo(S1)) between र̂_x and र̂_0 for x=⌊k/3⌋: the rotation on α1 differs by angle 2π(5x mod k)/k ≥ 2π/3, showing the representations are not close; then check explicitly whether the period orbits are isotopic in M. This settles whether the count of diffeomorphic surgered manifolds is valid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.3 (Section 6, 'Set-up and standing assumptions'), the authors restrict to lifts र̂_ρ obtained by rotating α1 and β1 by 2πr1/k and 2πr2/k with (r1,r2)=(5x,−3x) mod k, so that the filling curve c=wα1^3β1^5 keeps rotation number 0. They then assert that 'when k is large, we may choose r1 and r2 to vary by only a small family of rotations, so that the holonomies of the lifted representations, which differ by rigid rotation of 2πri/k, remain C∞ close to each other in Hom(π1Σ, Di€f(S1)). This will give us some number C(k) of lifts of c which are sufficiently close to each other to be isotopic, where C(k) grows linearly in k.' This is the only argument that the Dehn-surgered manifolds are diffeomorphic for all chosen lifts. The assertion is not proved and is questionable in two ways. First, if the family is small enough for the rotations to be C∞-close (say |x|≤εk), the number of lifts is only O(εk); to get a specific constant like k/3 the rotations are O(1) and the representations are not close. The paper needs C(k)→∞, so a small family with ε>0 would suffice, but the text does not state this tradeoff. Second, C∞-closeness of holonomies is not obviously sufficient for the horizontal lifts of c (periodic orbits of the lifted Anosov flows) to be isotopic; isotopy of closed orbits under a changing flow is a dynamical statement that is neither proved nor cited. If the horizontal lifts are not isotopic, the manifolds obtained by slope −p surgery on different Kx may be non-diffeomorphic, and the conclusion that a single hyperbolic manifold supports C(k) inequivalent flows would not follow. The passage is the weakest link in the proof of Theorem 1.3.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a C0 (compact-open) topological stability theorem for the boundary action of the fundamental group of a closed, orientable negatively curved manifold on its visual boundary sphere: every sufficiently nearby representation is a topological factor of the standard boundary action (Theorem 1.1). The proof proceeds by constructing, for each nearby representation, a quasi-geodesic foliation on the suspended bundle and deriving a continuous, equivariant, surjective endpoint map. The same techniques are adapted to prove a global rigidity result for slithering actions of 3-manifold groups arising from skew-Anosov flows (Theorem 1.2), yielding a new proof of Mann's earlier theorem on global C0 rigidity of geometric surface group actions on S1 (Theorem 5.12). As a further application, the paper constructs hyperbolic 3-manifolds admitting arbitrarily many pairwise topologically inequivalent Anosov flows (Theorem 1.3), addressing Problem 3.53(C) from Kirby's list, by Dehn surgery on fiberwise covers of the unit tangent bundle of a hyperbolic surface along a carefully chosen asymmetric filling geodesic.","tokens_in":37005,"tokens_out":4513,"duration_ms":48257,"significance":"If the proofs are correct, the paper makes substantial contributions. Theorem 1.1 is a strong C0 stability statement for boundary actions in variable negative curvature, going beyond previous Lipschitz-topology results. Theorem 1.2 gives a global rigidity theorem for slithering actions of skew-Anosov flows and a new proof of a known theorem of Mann. Theorem 1.3 resolves a long-standing question of Christy from Kirby's problem list, producing the first hyperbolic 3-manifolds supporting arbitrarily many inequivalent Anosov flows. The constructions are explicit and the paper gives clear geometric intuition. The main arguments are detailed and rely on standard tools from hyperbolic geometry, foliation theory, and Anosov flow theory. However, as detailed below, the proof of Theorem 1.3 contains a load-bearing gap concerning the isotopy of horizontal lifts, and Lemma 6.3(2) leaves a nontrivial combinatorial argument as an exercise.","major_comments":[{"comment":"The assertion that one can choose C(k) lifts of ρ with C∞-close holonomies and pairwise isotopic horizontal lifts of the filling geodesic c is not proved. The text states: 'when k is large, we may choose r1 and r2 to vary by only a small family of rotations, so that the holonomies ... remain C∞ close ... This will give us some number C(k) of lifts of c which are sufficiently close to each other to be isotopic, where C(k) grows linearly in k.' This is load-bearing because the conclusion that the Dehn-surgered manifolds are diffeomorphic for all chosen lifts depends on the horizontal lifts being isotopic; if isotopy fails, the surgered manifolds may differ and the desired collection of inequivalent flows on a single manifold is not obtained. Two specific issues arise. First, the tradeoff between the size of the rotation family and the growth of C(k) is not quantified: a family of rotations of size O(εk) gives only O(εk) lifts, while taking r1,r2 of size O(k) (e.g., to obtain a fixed proportion such as k/3) makes the holonomies not close in any reasonable sense. Since the theorem only needs C(k)→∞, a small family with ε>0 would suffice, but this is not stated and the linear growth claim is left vague. Second, C∞-closeness of holonomies is not obviously sufficient to conclude that the horizontal lifts of c are isotopic as periodic orbits; isotopy of closed orbits under a continuously varying family of Anosov flows is a dynamical statement that is neither proved nor cited. The proof should either provide a detailed argument (e.g., using structural stability or a shadowing/continuity argument for the lifts) or explicitly state and prove the needed isotopy lemma.","section":"Section 6, 'Set-up and standing assumptions' (proof of Theorem 1.3)"},{"comment":"The proof of asymmetry of the filling curve c leaves the key graph-automorphism argument as 'an elementary exercise.' Specifically, after establishing that the two large complementary regions must be preserved, the text asserts that the inequalities ni>m_{i-1}+1 and mi>n_i+1 ensure that the 'grids' of quadrilaterals have no nontrivial symmetries and cannot be permuted, and concludes inductively that each complementary region is fixed. This is a nontrivial combinatorial claim, and it is load-bearing: Lemma 6.5 and Lemma 6.6(2) rely on it to conclude that a finite-order homeomorphism preserving K is homotopic to the identity, which in turn is essential for the proof of inequivalence of the constructed flows. The authors should provide a complete proof of the graph-automorphism rigidity, or at least a detailed sketch sufficient for the reader to verify the induction without filling in a substantial gap.","section":"Lemma 6.3(2)"}],"minor_comments":[{"comment":"The manuscript contains unresolved placeholders '??' in cross-references and a section heading: 'Section 5.5. Fiberwise covers of the geodesic flow. ??', 'Recall from Section ??' in Remark 6.1, and 'Recall from Section ??' in the proof of Theorem 1.3. These should be filled in before publication, as the reader cannot verify the claims that depend on the missing material.","section":"Throughout (Section 5.5, Remark 6.1, Section 6)"},{"comment":"There are several typographical errors: 'contstruction' appears in the introduction ('See [20] for a general contstruction of contact Anosov flows'), and 'Bonnati' should be 'Bonatti' in the reference to Beguin–Bonatti–Yu.","section":"Introduction and Section 6"},{"comment":"In the final paragraph of the proof of Lemma 3.1, the assertion that the averaging trick on the ordered real line produces a homeomorphism and that 'it is easy to verify that its inverse is also continuous' is somewhat compressed. A few more sentences explaining the bijectivity and continuity of the inverse would help the reader.","section":"Lemma 3.1, surface case"},{"comment":"The final step of the proof, where the orbit-space map is promoted to a topological equivalence using Barbot's averaging trick, is only sketched. Since this is a secondary result, a reference to the precise statements in [2, Theorem 3.4] and [25, Lemmas 4.3, 4.4] is given, but the exposition would benefit from a brief indication of how the averaging argument applies.","section":"Proof of Theorem 1.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is strong and likely correct in its main theorems (1.1 and 1.2), but the application Theorem 1.3 has a genuine gap in the isotopy-counting step that must be addressed. In addition, the unresolved '??' placeholders indicate the manuscript may not be in final form. I recommend major revision rather than rejection, as the gap is fixable and the paper's core ideas are valuable. The referee should ask the authors to either prove the isotopy assertion in Section 6 or weaken the statement of Theorem 1.3 accordingly, and to complete Lemma 6.3(2)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read this carefully, especially Section 6. Main takeaway: it is a good paper. Theorem 1.1 is a genuine strengthening of Kapovich-Kim-Lee for boundary actions, and the proof via leafwise quasi-geodesics and endpoint maps is original. Theorem 1.2 is a nice global rigidity statement, and the application to Mann's earlier theorem is clean. The Christy problem answer is plausible and, if correct, a significant structural result for Anosov flows on hyperbolic 3-manifolds. The stress-test note about the isotopy count in Theorem 1.3 worried me too, but on reading the actual construction I think the concern is not fatal. The lifts are chosen so that 3r1 + 5r2 is congruent to 0 mod k, which means the holonomy of c is exactly the same element for all choices, not merely close. Hence the horizontal lifts of c are not just isotopic; they are literally the same curves in the k-fold cover. So the C-infinity-closeness of the full representations is not needed for the isotopy step. The paper should say that directly; instead it vaguely claims that close holonomies give isotopic lifts, which invites exactly the objection the stress-test raised. That is a real exposition gap, but the mathematical point holds. The other soft spot is the count C(k). The text says grows linearly in k, but the size of a family of rotations that is C-infinity-close with small fixed diameter is epsilon k, which is linear for any fixed epsilon. The authors should spell this out: fix epsilon > 0, take |x| <= epsilon k, then the rotations are O(epsilon)-close while the count is about 2 epsilon k. As stated, it reads as if they want a specific constant like k/3, which would not be close. A one-sentence clarification fixes it. Minor issues: several unresolved placeholder references, especially in Section 5.5 and Remark 6.1, and Lemma 6.3(2) leaves a graph-automorphism check as an exercise. These are cosmetic but should be cleaned up. The core arguments, including Lemma 3.1, the endpoint map continuity, and the surgery contradiction via rotation numbers, are presented in enough detail for an expert to check. Verdict: this deserves a serious referee, not a desk reject. I would ask the authors to rewrite the C(k)/isotopy passage, but I would not be surprised if the main results survive intact. I would bring it to a reading group and cite Theorem 1.1 if I continue working on rigidity of group actions.","headline":"The main theorems are strong and likely correct; the flagged soft spot in Theorem 1.3 is real but mostly an exposition problem, not a load-bearing flaw.","tokens_in":750,"tokens_out":733,"would_cite":true,"duration_ms":123379,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D20","37D40","37C85","57M50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that small continuous perturbations of the boundary action of a negatively curved manifold's fundamental group are always topological factors of that action, and uses this to build hyperbolic 3-manifolds with arbitrarily…","keywords":["boundary actions","topological stability","semi-conjugacy","Anosov flows","skew-Anosov flows","slitherings","Dehn surgery","hyperbolic 3-manifolds"],"falsifier":"In the $k$-fold fiberwise cover of the unit tangent bundle, take two lifts from the family that differ by the allowed rotations and compare the fiber winding numbers of their horizontal lifts of the filling geodesic; if the winding numbers differ for any such pair, the lifts are not freely homotopic, so the Dehn-surgered manifolds are not the same and the claimed number of inequivalent flows on a single manifold would not follow.","tokens_in":36399,"feed_emoji":"🌀","tokens_out":13524,"duration_ms":115755,"temperature":0.7,"pith_summary":"The paper establishes a $C^0$ topological stability theorem for the natural action of the fundamental group of a closed negatively curved manifold on its boundary sphere at infinity: every representation into the homeomorphism group of the sphere that is sufficiently close to this boundary action is a topological factor of it, with a semi-conjugacy that can be chosen arbitrarily close to the identity. A surface-specialized version gives a global rigidity statement: for the slithering actions associated to skew-Anosov flows on 3-manifolds, the entire connected component of the action in the representation space consists of weakly conjugate representations. The authors then convert this rigidity into a construction of hyperbolic 3-manifolds supporting arbitrarily many pairwise topologically inequivalent Anosov flows, resolving a long-standing problem-list question and giving concrete volume-preserving contact examples. The same quasi-geodesic straightening technique also reproves the topological stability of geodesic flows in negative curvature.","feed_headline":"For any N, one hyperbolic 3-manifold hosts N Anosov flows","feed_subtitle":"Nearby boundary actions become topological factors; Dehn surgery builds the inequivalent flows.","key_machinery":"The argument is carried by a leafwise immersion $f_\\rho$ from the suspension bundle of a nearby representation into the unit tangent bundle of the universal cover, sending horizontal leaves to $C^1$ submanifolds whose tangent distribution is uniformly close to the weak-stable distribution. Intersecting these images with unstable leaves pulls back an oriented uniform quasi-geodesic foliation, whose positive and negative endpoint maps are continuous and equivariant. A uniform convergence group argument shows the positive endpoint map is constant on each horizontal leaf, so it descends to the semi-conjugacy between the nearby representation and the boundary action. In the circle case the same construction yields a homeomorphism, and straightening quasi-geodesics along strong unstable leaves produces the monotone map that defines weak conjugacy.","core_discovery":"The central claim is that $C^0$-small perturbations of a boundary action remain topologically constrained: they are factors of the original action, not merely nearby in the representation space. In dimension two the factor map can be chosen to be a homeomorphism, which upgrades local rigidity to the global statement that the connected component of a skew-Anosov slithering action—the circle action induced by the associated equivariant fibration of the universal cover—is a single weak conjugacy class, meaning all nearby actions are intertwined by a monotone degree-one circle map. For flows, the same framework shows that Dehn surgery along lifts of an asymmetric filling geodesic to fiberwise covers of the unit tangent bundle produces linearly many (in the covering degree) topologically inequivalent skew-Anosov flows on one hyperbolic manifold.","pith_inferences":["The count of roughly $k/3$ inequivalent flows is probably not optimal; a finer analysis of the isotopy classes of horizontal lifts under larger allowed rotations could yield more inequivalent flows for the same covering degree.","The proof of the boundary stability theorem uses smooth Riemannian data, so a purely coarse-geometric version would be needed to extend the statement to hyperbolic groups whose boundary is a sphere, a direction the authors explicitly leave open.","The examples of non-conjugate nearby actions suggest that the entire germ of non-injectivity of the semi-conjugacy may be understood through monotone or Peano-curve-type collapsing maps, which would give a classification of all $C^0$-small factors near a boundary action."],"forward_implications":["For any compact orientable negatively curved manifold, every sufficiently $C^0$-close representation of its fundamental group in $\\mathrm{Homeo}(S^{n-1})$ is a topological factor of the boundary action, with the factor map close to the identity.","For a skew-Anosov flow on a closed 3-manifold, the connected component of its slithering action in $\\mathrm{Hom}(\\pi_1 M, \\mathrm{Homeo}^+(S^1))$ consists entirely of weakly conjugate representations.","For every positive integer $N$, some closed hyperbolic 3-manifold admits $N$ topologically inequivalent Anosov flows, and these can be chosen skew and contact.","The quasi-geodesic straightening proof also gives an alternative route to the topological stability of geodesic flows on negatively curved manifolds."],"supporting_citations":[{"why":"Supplies the uniform convergence group property used to force the positive endpoint map to be constant on each horizontal leaf.","marker":"[9]"},{"why":"Gives the standard theorem that quasi-geodesics in hyperbolic spaces stay within bounded distance of geodesics, the basis for the endpoint maps.","marker":"[10]"},{"why":"Provides the local-to-global principle that turns locally quasi-geodesic curves into uniform global quasi-geodesics.","marker":"[15]"},{"why":"Establishes the structure of skew-Anosov flows, their slitherings, and the minimality and homotopy properties used in Sections 5 and 6.","marker":"[2]"},{"why":"Shows Dehn surgery on skew-Anosov flows remains skew-Anosov and relates freely homotopic periodic orbits, used in the inequivalence argument.","marker":"[17]"},{"why":"Defines slitherings and the universal circle, the tool that identifies leafwise boundaries and carries the circle endpoint maps.","marker":"[47]"},{"why":"States the global $C^0$ rigidity of geometric surface group actions on the circle that is reproved and generalized by Theorem 1.2.","marker":"[38]"},{"why":"Provides the Dehn-surgery construction for Anosov flows along periodic orbits that builds the flows of Theorem 1.3.","marker":"[24, 28]"}],"fun_headline_variants":["Any N Anosov flows on one hyperbolic 3-manifold","One hyperbolic 3-manifold, arbitrarily many Anosov flows","Hyperbolic 3-manifold hosts N inequivalent flows","C0 stability yields N Anosov flows on one manifold"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction of many inequivalent flows on a single hyperbolic manifold rests on the unproved assertion that, for large covering degree, the chosen family of lifts has horizontal lifts of the fixed filling geodesic that are all isotopic; if those lifts are not isotopic, the Dehn-surgered manifolds may differ and the claimed count of inequivalent flows on one manifold would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Any N Anosov flows on one hyperbolic 3-manifold","One hyperbolic 3-manifold, arbitrarily many Anosov flows","Hyperbolic 3-manifold hosts N inequivalent flows","C0 stability yields N Anosov flows on one manifold"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001379,"raw_usage":{"total_tokens":5528,"prompt_tokens":830,"completion_tokens":4698,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":446,"completion_tokens_details":{"reasoning_tokens":4623}},"tokens_in":446,"tokens_out":4698,"duration_ms":38873,"temperature":1.0,"reasoning_tokens":4623,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:53:29.255672+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the $k$-fold fiberwise cover of the unit tangent bundle, take two lifts from the family that differ by the allowed rotations and compare the fiber winding numbers of their horizontal lifts of the filling geodesic; if the winding numbers differ for any such pair, the lifts are not freely homotopic, so the Dehn-surgered manifolds are not the same and the claimed number of inequivalent flows on a single manifold would not follow.","supporting_citations":[{"cited_title":"Convergence groups and configuration spaces","cited_arxiv_id":null,"evidence_quote":"Supplies the uniform convergence group property used to force the positive endpoint map to be constant on each horizontal leaf."},{"cited_title":"Bridson and Andr´ e Haefliger","cited_arxiv_id":null,"evidence_quote":"Gives the standard theorem that quasi-geodesics in hyperbolic spaces stay within bounded distance of geodesics, the basis for the endpoint maps."},{"cited_title":"Quasi-g´ eod´ esiques et quasi-isom´ etries dans les espaces hyperboliques","cited_arxiv_id":null,"evidence_quote":"Provides the local-to-global principle that turns locally quasi-geodesic curves into uniform global quasi-geodesics."},{"cited_title":"Caract´ erisation des flots d’Anosov en dimension 3 par leurs feuilletages faibles","cited_arxiv_id":null,"evidence_quote":"Establishes the structure of skew-Anosov flows, their slitherings, and the minimality and homotopy properties used in Sections 5 and 6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows Dehn surgery on skew-Anosov flows remains skew-Anosov and relates freely homotopic periodic orbits, used in the inequivalence argument."},{"cited_title":"Three manifolds, foliations and circles i","cited_arxiv_id":null,"evidence_quote":"Defines slitherings and the universal circle, the tool that identifies leafwise boundaries and carries the circle endpoint maps."},{"cited_title":"Spaces of surface group representations","cited_arxiv_id":null,"evidence_quote":"States the global $C^0$ rigidity of geometric surface group actions on the circle that is reproved and generalized by Theorem 1.2."}],"review_version":1}