REVIEW 2 major objections 5 minor 2 cited by
Pseudo-Anosov flows on hyperbolic L-spaces
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For every even n, infinitely many hyperbolic L-spaces carry n pairwise distinct pseudo-Anosov flows, and hence have no taut foliations.
desk verdict First hyperbolic L-spaces with arbitrarily many orbit-inequivalent pseudo-Anosov flows; the construction is explicit and novel, with one diagrammatic FDTC computation as the main thing to check. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is Fried surgery applied to the suspension flow of a fibered hyperbolic link, which extends a pseudo-Anosov flow on a link complement to a flow on the Dehn-surgered manifold by collapsing each boundary torus along the surgery slope; the collapsed core is then a closed orbit whose number of prongs equals the intersection distance $\Delta(d_i,r_i)$ between the degeneracy slope and the surgery slope. The other load-bearing identity is the formula $d_i = q_i\mu_i' + k_i\lambda_i'$ relating the fractional Dehn twist coefficient of the fiber monodromy to the degeneracy slope, together with the computation $c_{B_0}(h) = -1/4$. The rotational symmetry of the chain link turns one surgery into $n$ homeomorphic ones, and the distinct maximal prong counts $\ell_0(M^{k+1}+24)$ of the distinguished core orbit certify orbit inequivalence. Negative Birkhoff sections from the same fibration, after orientation reversal, feed the contact-geometric part of the argument.
What would settle it
Independently compute the fractional Dehn twist coefficient of the monodromy $h$ at $B_0$, for instance by constructing an invariant train track or conjugating the explicit Dehn-twist word into a braid, and check whether $c_{B_0}(h) = -1/4$; equivalently, check whether the maximal prong counts $\ell_0(M^{k+1}+24)$ for $k=0,\ldots,n-1$ are indeed distinct for the stated surgery slopes.
Extended reading notes
Core claim
The central claim, Theorem 1.1, is that each even $n\geq 4$ admits infinitely many hyperbolic L-spaces of the form $L_n(r_0,\ldots,r_{n-1})$ with $r_i = M^{i+1}/4$ for odd $M>8n$, and each such manifold carries $n$ distinct pseudo-Anosov flows. The flows arise by Fried surgery from the suspension pseudo-Anosov flow of the fibered chain link $L_n'$, and the key computation is that the monodromy's fractional Dehn twist coefficient at the distinguished boundary component is $-1/4$ while it vanishes at the others. This yields degeneracy slopes $d_0 = \ell_0(-6\mu_0+\lambda_0)$ and $d_i=\ell_i\mu_i$ for $i\neq 0$. The rotational symmetry of the chain link gives $n$ homeomorphic copies of the same surgery, and on the $k$-th copy the core of the zeroth surgery torus has $\ell_0(M^{k+1}+24)$ prongs; since these counts are distinct for $k=0,\ldots,n-1$, the corresponding flows are pairwise orbit inequivalent. Long surgeries are hyperbolic L-spaces by standard results, and odd-order first homology rules out taut foliations.
Load-bearing premise
The load-bearing computation is that the monodromy of the fibered chain link has fractional Dehn twist coefficient exactly $-1/4$ at the distinguished boundary component; this value is established by passing to a quotient by an involution and reading arc images from diagrams, and if it were wrong the degeneracy slope, the prong counts, and the orbit inequivalence would not follow.
Editorial extensions
If this is right
- For each even $n\geq 4$ there are infinitely many hyperbolic L-spaces with $n$ pairwise orbit-inequivalent pseudo-Anosov flows; in particular these manifolds admit no taut foliations.
- Since these flows have no perfect fits, they are quasigeodesic, so these are hyperbolic manifolds without taut foliations that still carry quasigeodesic flows.
- The orientation-reversed manifolds carry $n$ universally tight contact structures whose lifts to any finite cover are pairwise non-contactomorphic.
- Large rational surgeries on any hyperbolic L-space knot yield a universally tight contact structure and a quasigeodesic pseudo-Anosov flow.
- An atoroidal rational homology 3-sphere has only finitely many pseudo-Anosov flows with positive Birkhoff sections, up to orbit equivalence by an isotopy.
Reading between the lines
- The same construction may work for other fibered hyperbolic links whose monodromy has a nonzero fractional Dehn twist coefficient at exactly one boundary component and whose symmetry group orbits that component; the chain link is one instance of a general recipe.
- Because the flows are distinguished by maximal prong count, a coarser invariant than the full orbit set, the rotated copies might admit further inequivalent flows or additional distinctions that the paper does not pursue.
- The paper's Theorem 1.1 is stated for even $n\geq 4$, and the proof uses an involution that pairs boundary components; extending the computation to odd $n$ or to larger symmetry groups would likely remove this restriction.
- The contact-structure conclusion suggests that hyperbolic L-spaces, which have no taut foliations, are nevertheless natural hosts for universally tight contact structures, so the dichotomy between foliations and contact geometry on such manifolds is less stark than it might appear.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for each even n ≥ 4 there are infinitely many quarter-integer Dehn surgeries on the n-component chain link L_n that are hyperbolic L-spaces and carry n pairwise orbit-inequivalent pseudo-Anosov flows. The flows are constructed by Fried surgery from a fibered link L'_n = -L_0 ∪ L_1 ∪ ... ∪ L_{n-1}, whose monodromy is an explicit product of Dehn twists. The key invariant distinguishing the flows is the maximal prong count of the surgery core γ_0, which is computed from the fractional Dehn twist coefficient c_{B_0}(h) = -1/4 and the bounds from Lemma 3.2. The authors then use standard L-space and hyperbolicity results to show the surgered manifolds have odd-order first homology, are hyperbolic and are L-spaces, hence have no taut foliations. They also show the flows have no perfect fits, hence are quasigeodesic, and, after passing to orientation-reversed manifolds, that they give rise to universally tight contact structures; using cylindrical contact homology and the Barthelmé–Frankel–Mann reconstruction theorem, they conclude the contact structures are pairwise non-contactomorphic in every finite cover.
Significance. The main theorem gives the first hyperbolic L-spaces with arbitrarily many pairwise inequivalent pseudo-Anosov flows and no taut foliations, answering strengthened forms of questions of Calegari and of Min and Nonino. The construction is explicit and the distinguishing invariant is robust: the maximal prong count of a singular orbit is a conjugacy invariant, and the paper supplies precise numerical bounds for all competing prong counts. The appendix, proving that large rational surgeries on L-space links are L-spaces, is a useful and essentially self-contained contribution. The overall architecture — Fried surgery, FDTC computations, Birkhoff sections, and cylindrical contact homology — is coherent and the derived contact-theoretic consequences are significant if the main flow-theoretic claim holds. The principal weakness is that a single, localized computation of c_{B_0}(h) is the load-bearing step for the orbit inequivalence result, and the proof of that computation is not fully documented in the version under review.
major comments (2)
- [Sec. 3, Proposition 3.1] The computation c_{B_0}(h) = -1/4 is load-bearing for Theorem 1.1. The proof passes to the quotient by the involution τ and asserts the chain of equivalences c_{B_0}(h) = -1/4 ⇔ c_{\bar{B}_0}(\bar{h}) = -1/2 ⇔ c_{\bar{B}_0}(\bar{h}^2) = -1 ⇔ c_{\bar{B}_0}(\bar{h}^2 ∘ D_δ) = 0, but the factor-2 relation between c_{B_0}(h) and c_{\bar{B}_0}(\bar{h}) is not justified, and the final verification that \bar{h}^2 ∘ D_δ sends α to the right and β to the left at \bar{B}_0 is only indicated through Figures 4–5, which are not reproduced in the text. Since Lemma 3.3 derives d_0 = ℓ_0(-6 μ_0 + λ_0) from this FDTC value, and Proposition 3.4 uses the resulting unique maximal prong count ℓ_0(M^{k+1} + 24) to prove orbit inequivalence, an error in this computation would invalidate the main theorem. Please provide a complete explicit verification — for instance the invariant train track computation mentioned in Remark 3.6 — or a detailed algebraic calculation of the images of α and β, and justify the stated equivalences.
- [Sec. 3, Proposition 3.4 and Theorem 1.6] The proof that the constructed flows remain orbit inequivalent in finite covers is asserted without an explicit justification. The paper states in the proof of Theorem 1.6 that the flows are distinguished by the maximal number of prongs and therefore their lifts to any finite cover are also orbit inequivalent. This relies on the fact that the prong count of a singular orbit is preserved under lifting to a finite cover, which is true but should be stated, since a singular orbit can have multiple lifts and a reader needs to know that each lift has the same number of prongs as its projection. Adding one sentence with this justification would make the finite-cover claim in Theorem 1.6 fully supported.
minor comments (5)
- [Sec. 3, proof of Theorem 1.6] There is a typo: the tuple in “-L_n(r_0, . . . , r_n)” should be “-L_n(r_0, . . . , r_{n-1})”.
- [Sec. 2.3] The distance notation Δ(d_i, r_i) := |d_i · r_i| would benefit from a brief explanation of the dot product convention for slopes, since d_i is sometimes a multicurve and sometimes a vector of intersection numbers.
- [Lemma 3.7] The sentence “each p_i is odd since it is coprime to q_i” is only true because every q_i is even; it would be clearer to say “each p_i is coprime to the even q_i, hence odd.”
- [Abstract and Introduction] The abstract says “for each n ∈ N,” but Theorem 1.1 is stated for even n ≥ 4. The consequence for arbitrary n follows by taking a larger even N and selecting n of the N flows, but the phrasing could be clarified to avoid appearing to state Theorem 1.1 for all n.
- [Figures] The proof of Proposition 3.1 relies heavily on Figures 3–5, but these figures are not included in the version under review; even if the final submission contains them, the argument should indicate what feature of the figures establishes the right/left veering behavior of the arcs.
Circularity Check
No circularity: the flows are constructed from an explicit monodromy computation, and the distinguishing prong-count invariant is computed rather than fitted.
full rationale
The paper's derivation chain is self-contained and non-circular. The main construction takes the explicit chain link L_n with fibered surface F and monodromy h; the degeneracy slopes d_i are computed from the fractional Dehn twist coefficients (Proposition 3.1) via the standard formula (2.1), and these computations depend only on the geometry of the monodromy, not on the desired conclusion. The orbit inequivalence in Proposition 3.4 is established by an honest invariant: the maximal prong count l_0(M^{k+1}+24) at the surgery core, which is shown to be strictly larger than every other prong count using the bounds of Lemma 3.2 and the choice M > 8n. The L-space and hyperbolicity assertions come from external theorems (Liu, Hodgson-Kerckhoff) and an appendix proof that relies on a published surgery exact triangle [BS21]; none of these citations assume the present theorem. The paper does cite the authors' prior work [Zun24] and [BS21] at several load-bearing points (e.g., Proposition 2.3, Appendix A), but these are independent, parameter-free prior theorems with stated assumptions that do not include the target results; they are not 'uniqueness' assertions used to forbid alternatives, nor ansatze smuggled in by citation. The one genuinely delicate point, the computation c_{B0}(h) = -1/4 in Proposition 3.1, is a diagrammatic check rather than an explicit algebraic calculation, and Remark 3.6 notes a train-track computation that would confirm the prong data; this is a potential correctness gap, not a circularity, since the FDTC is not defined in terms of the flows it is used to distinguish. Accordingly no circular step is present; score 0.
Assumptions & free parameters
free parameters (1)
- M =
odd integer > 8n, also > 4C' and > 4 max S_i
assumptions (8)
- domain assumption Transitive topological pseudo-Anosov flows are orbit equivalent to genuine pseudo-Anosov flows (Shannon [Sha21], Agol-Tsang [AT24]).
- domain assumption A pseudo-Anosov flow with no perfect fits is quasigeodesic (Fenley [Fen12, Theorem F]).
- domain assumption A pseudo-Anosov flow on an atoroidal manifold is determined up to orbit equivalence isotopic to the identity by its set of primitive free homotopy classes of closed orbits (Barthelmé-Frankel-Mann [BFM25]).
- domain assumption A positive Birkhoff section for a pseudo-Anosov flow gives a stable Hamiltonian structure and a contact form whose Reeb flow has prescribed orbit behavior (Zung [Zun24]).
- domain assumption Dehn surgery on a hyperbolic link is hyperbolic for all but finitely many slopes (Hodgson-Kerckhoff [HK05]).
- domain assumption The n-chain link L_n is an L-space link (Liu [Liu17]).
- domain assumption A closed atoroidal 3-manifold admits only finitely many tight contact structures up to isotopy (Colin-Giroux-Honda [CGH09]).
- domain assumption There exists a surgery exact triangle for rational surgeries in Heegaard Floer homology, adapted from [BS21, Proposition 4.3].
Cite this review
Pith. "Pith review of Pseudo-Anosov flows on hyperbolic L-spaces." pith.science (2026). https://pith.science/paper/U62DXNML
@misc{pith2026250521113,
author = {Pith},
title = {Pith review of: Pseudo-Anosov flows on hyperbolic L-spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/U62DXNML}},
note = {Machine review of arXiv:2505.21113}
}
abstract
We prove that for each $n\in\mathbb{N}$ there is a hyperbolic L-space with $n$ pseudo-Anosov flows, no two of which are orbit equivalent. These flows have no perfect fits and are thus quasigeodesic. In addition, our flows admit positive Birkhoff sections, which we argue implies that they give rise to $n$ universally tight contact structures whose lifts to any finite cover are non-contactomorphic. This argument involves cylindrical contact homology together with the work of Barthelm\'e, Frankel, and Mann on the reconstruction of pseudo-Anosov flows from their closed orbits. These results answer more general versions of questions posed by Calegari and by Min and Nonino.
Figures
Figures from the paper (2 more)
Forward citations
Cited by 2 Pith papers
-
Finiteness of pseudo-Anosov flows without perfect fits
A closed 3-manifold admits only finitely many pseudo-Anosov flows without perfect fits (and thus finitely many veering triangulations) up to isotopy.
-
Infinite ECH Capacities and Anosov Flows
ECH capacities are infinite for cotangent disk bundles over genus at least two surfaces, obstructing oriented Anosov Hamiltonian flows in dimension four.
Reference graph
Works this paper leans on
-
[1]
I. Agol and C. C. Tsang. Dynamics of veering triangulations: infinitesimal components of their flow graphs and applications. Algebr. Geom. Topol. , 24(6):3401--3453, 2024
work page 2024
-
[2]
F. B \'e guin, C. Bonatti, and B. Yu. Building A nosov flows on 3-manifolds. Geom. Topol. , 21(3):1837--1930, 2017
work page 1930
-
[3]
K. L. Baker, J. B. Etnyre, and J. Van Horn-Morris. Cabling, contact structures and mapping class monoids. J. Differential Geom. , 90(1):1--80, 2012
work page 2012
-
[4]
T. Barthelm\'e, S. Frankel, and K. Mann. Orbit equivalences of pseudo- A nosov flows. Invent. Math. , 240(3):1119--1192, 2025
work page 2025
- [5]
-
[6]
J. Bowden and K. Mann. C^0 stability of boundary actions and inequivalent A nosov flows. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 55(4):1003--1046, 2022
work page 2022
-
[7]
T. Barthelm\'e and K. Mann. Orbit equivalences of R -covered A nosov flows and hyperbolic-like actions on the line. Geom. Topol. , 28(2):867--899, 2024. Appendix written jointly with Jonathan Bowden
work page 2024
-
[8]
J. Bowden. Approximating C^0 -foliations by contact structures. Geom. Funct. Anal. , 26(5):1255--1296, 2016
work page 2016
Show all 33 references
-
[9]
Brunella
M. Brunella. Surfaces of section for expansive flows on three-manifolds. J. Math. Soc. Japan , 47(3):491--501, 1995
1995
-
[10]
J. A. Baldwin and S. Sivek. Framed instanton homology and concordance. J. Topol. , 14(4):1113--1175, 2021
2021
-
[11]
Colin, E
V. Colin, E. Giroux, and K. Honda. Finitude homotopique et isotopique des structures de contact tendues. Publ. Math. Inst. Hautes \'Etudes Sci. , (109):245--293, 2009
2009
-
[12]
Colin and K
V. Colin and K. Honda. Reeb vector fields and open book decompositions. J. Eur. Math. Soc. (JEMS) , 15(2):443--507, 2013
2013
-
[13]
Clay and T
A. Clay and T. Pinsky. Graph manifolds that admit arbitrarily many A nosov flows. Math. Ann. , 391(4):5375--5390, 2025
2025
-
[14]
S. Fenley. Ideal boundaries of pseudo- A nosov flows and uniform convergence groups with connections and applications to large scale geometry. Geom. Topol. , 16(1):1--110, 2012
2012
-
[15]
D. Fried. Transitive A nosov flows and pseudo- A nosov maps. Topology , 22(3):299--303, 1983
1983
-
[16]
Gorsky and A
E. Gorsky and A. N\'emethi. Links of plane curve singularities are L -space links. Algebr. Geom. Topol. , 16(4):1905--1912, 2016
1905
-
[17]
C. D. Hodgson and S. P. Kerckhoff. Universal bounds for hyperbolic D ehn surgery. Ann. of Math. (2) , 162(1):367--421, 2005
2005
-
[18]
Honda, W
K. Honda, W. H. Kazez, and G. Mati\'c. Right-veering diffeomorphisms of compact surfaces with boundary. II . Geom. Topol. , 12(4):2057--2094, 2008
2008
-
[19]
Hutchings and J
M. Hutchings and J. Nelson. Cylindrical contact homology for dynamically convex contact forms in three dimensions. J. Symplectic Geom. , 14(4):983--1012, 2016
2016
-
[20]
Hutchings and J
M. Hutchings and J. Nelson. S^1 -equivariant contact homology for hypertight contact forms. J. Topol. , 15(3):1455--1539, 2022
2022
-
[21]
H. Hofer. Pseudoholomorphic curves in symplectizations with applications to the W einstein conjecture in dimension three. Invent. Math. , 114(3):515--563, 1993
1993
-
[22]
Problems in low-dimensional topology. In R. Kirby, editor, Geometric topology ( A thens, GA , 1993) , volume 2 of AMS/IP Stud. Adv. Math. , pages 35--473. Amer. Math. Soc., Providence, RI, 1997
1993
-
[23]
W. H. Kazez and R. Roberts. C^0 approximations of foliations. Geom. Topol. , 21(6):3601--3657, 2017
2017
-
[24]
Y. Liu. L -space surgeries on links. Quantum Topol. , 8(3):505--570, 2017
2017
-
[25]
T. Massoni. Taut foliations and contact pairs in dimension three. arXiv:2405.15635, 2024
2024 arXiv
-
[26]
Min and I
H. Min and I. Nonino. Tight contact structures on a family of hyperbolic L -spaces. arXiv:2311.14103, 2023
2023 arXiv
-
[27]
L. Mosher. Dynamical systems and the homology norm of a 3 -manifold. I . E fficient intersection of surfaces and flows. Duke Math. J. , 65(3):449--500, 1992
1992
-
[28]
Y. Ni. Exceptional surgeries on hyperbolic fibered knots. arXiv:2007.11774, 2020
2007 arXiv
-
[29]
W. D. Neumann and A. W. Reid. Arithmetic of hyperbolic manifolds. In Topology '90 ( C olumbus, OH , 1990) , volume 1 of Ohio State Univ. Math. Res. Inst. Publ. , pages 273--310. de Gruyter, Berlin, 1992
1990
-
[30]
Ozsv\'ath and Z
P. Ozsv\'ath and Z. Szab\'o. Holomorphic disks and genus bounds. Geom. Topol. , 8:311--334, 2004
2004
-
[31]
Ostrowski
A. Ostrowski. Sur la d\'etermination des bornes inf\'erieures pour une classe des d\'eterminants. Bull. Sci. Math. , 61:19--32, 1937
1937
-
[32]
M. Shannon. Hyperbolic models for transitive topological A nosov flows in dimension three. arXiv:2108.12000, 2021
2021 arXiv
-
[33]
J. Zung. Pseudo- A nosov representatives of stable H amiltonian structures. arXiv:2410.02186, 2024
2024 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.