REVIEW 2 major objections 5 minor 2 cited by
Finiteness of veering triangulations
T0 review · 2 major / 5 minor · reviewed 2026-07-14 · grok-4.5
Pith's one-line read A fixed closed 3-manifold admits only finitely many pseudo-Anosov flows without perfect fits, up to isotopy equivalence.
desk verdict Clean extension of the contact-geometry finiteness strategy that settles no-perfect-fits flows and veering triangulations, with the only real soft spots being two standard-but-unpublished external citations. 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
Boundary blow-up of a BAS pseudo-Anosov flow produces a flow on the drilled manifold that can be realized as the Reeb flow of a hypertight contact structure adapted to a fixed sutured boundary. Cylindrical contact homology then shows that the non-peripheral spectrum is an isotopy invariant of the contact structure, so Colin–Giroux–Honda finiteness of tight contact structures, combined with Li’s finiteness of singular-orbit configurations, implies finiteness of the original flows.
What would settle it
An infinite family of pairwise non-isotopic singular-orbit links (with their degeneracy slopes) realized by pseudo-Anosov flows without perfect fits on a single atoroidal closed 3-manifold would break the reduction and leave the finiteness claim open.
Extended reading notes
Core claim
On any closed 3-manifold there are only finitely many pseudo-Anosov flows without perfect fits, up to isotopy equivalence. Equivalently, a fixed compact orientable 3-manifold with torus boundary admits only finitely many veering triangulations up to isotopy. The result extends to the larger class of BAS flows (those admitting a Birkhoff section whose negative boundaries lie only on singular orbits) on atoroidal manifolds.
Load-bearing premise
The argument needs that, on a fixed atoroidal 3-manifold, only finitely many isotopy classes of singular orbits and degeneracy curves can arise for any pseudo-Anosov flow.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that a fixed closed 3-manifold admits only finitely many pseudo-Anosov flows without perfect fits up to isotopy equivalence (Theorem 1.2), and deduces finiteness of veering triangulations on a fixed compact 3-manifold with torus boundary (Theorem 1.3). The argument introduces the class of BAS flows (those admitting a Birkhoff section whose negative boundaries lie only on singular orbits) and shows, for atoroidal manifolds, that there are only finitely many such flows (Theorem 5.1). After drilling singular orbits one constructs, via a boundary blow-up and a stable-Hamiltonian structure that is then diffused to a contact form, a hypertight adapted contact structure on the drilled manifold whose non-peripheral primitive spectrum and Lefschetz-index sums recover those of the original flow (Proposition 4.1). Colin–Giroux–Honda finiteness of tight contact structures without Giroux torsion, Li’s finiteness of singular orbits and degeneracy curves, and the spectrum uniqueness theorem of Barthelmé–Frankel–Mann then close the count. The no-perfect-fits case is known to be BAS and to live only on atoroidal manifolds, so the main theorems follow.
Significance. The result settles a natural and previously open special case of the Finiteness Conjecture for pseudo-Anosov flows and immediately yields the corresponding finiteness statement for veering triangulations. The technical contribution is a clean reduction from BAS dynamics to hypertight contact structures on the drilled manifold, extending earlier contact-geometric finiteness results (BM24, Zun25, BSZ25, CP25a) beyond Reeb or positive-Birkhoff-section settings. The construction (homology-cone lemma, stable-Hamiltonian blow-up, diffusion, boundary modification) is carefully written and of independent interest for relating pseudo-Anosov and Reeb dynamics. Dependence on two external results still in preparation (Li; the full Agol–Guéritaud–Schleimer–Segerman correspondence) is real but already flagged by the authors; once those appear the theorems become unconditional.
major comments (2)
- Theorem 2.4 (Li, “in preparation”) is load-bearing for the reduction from closed-manifold flows to contact structures on the drilled manifold (see the proof of Theorem 5.1 and the deduction of Theorem 1.2). Until that preprint is public, the main theorems remain conditional on an external finiteness statement whose proof strategy is only sketched via Gabai’s Kneser normal form. The manuscript should either include a self-contained argument for the special case needed here or clearly mark Theorems 1.2 and 5.1 as conditional.
- Theorem 5.3 (the Agol–Guéritaud–Schleimer–Segerman correspondence) is cited to a collection of forthcoming papers (SS20, SS24, FSS25, SS23, SS). The deduction of Theorem 1.3 from Theorem 1.2 relies on the full strength of that correspondence (including the “no perfect fits relative to C” formulation and the ladderpole–degeneracy identification). A short appendix or reference to a stable arXiv version would make the veering-triangulation statement unconditional.
minor comments (5)
- Page 1, footnote 1: the reference to Marty [Mar25] for the equivalence between Anosov Reeb flows and positive Birkhoff sections is useful; a one-sentence reminder of the precise statement would help readers who have not yet seen that paper.
- Definition 2.9 and Lemma 2.12: the insistence on primitivity is well-motivated for Lefschetz-index bookkeeping, but a short remark that the non-primitive multiples are recovered automatically from the spectrum uniqueness theorem would clarify why the definition does not lose information.
- Figure 5 and Figure 6: the slope diagrams are helpful, yet the labels “s1”, “–p/q”, “–m/n” become dense; a single consistent colour or line-style convention across both figures would improve readability.
- Section 6.1, Conjecture 6.1: the proposed orbit-space characterisation of BAS is attractive; a brief indication of which of the two families listed in Remark 6.2 is expected to be the harder case would orient future work.
- Typographical: “arbritrarily” (p. 1), “homotopy classrγs” (p. 6), “M ˝psq” spacing inconsistencies, and occasional missing spaces after commas in citations should be cleaned in copy-editing.
Circularity Check
Minor uniqueness import from overlapping-author prior work (BFM25); core Reeb-matching construction and Lefschetz comparison are independent and non-circular.
-
uniqueness imported from authors
[Thm 2.2 / Cor 2.11, invoked in proof of Thm 5.1]
"Theorem 2.2([ BFM25]).Let φ be a pseudo-Anosov flow with no transverse tori. Then Pp(φ) uniquely determines the isotopy equivalence class ofφ. ... Corollary 2.11.Let φ be a pseudo-Anosov flow with no almost transverse tori. Then sing(φ) and P°(φ°) uniquely determine the isotopy equivalence class ofφ. ... Since M is atoroidal, Corollary 2.11 applies to show that all the ψi are isotopically equivalent"
Finiteness of flows is obtained from finiteness of spectra only by importing the uniqueness theorem of BFM25 (overlapping author Barthelmé) as if it were an external mathematical fact that forces isotopic equivalence once spectra match. The present paper proves spectrum matching for the constructed Reeb flows, but the final identification of flows relies on this prior uniqueness result by the same circle of authors.
full rationale
The paper's derivation is a standard reduction: for +BAS flows (which include no-perfect-fits by Ex. 2.15) one builds, via blow-up + diffusion + boundary modification (Prop. 4.1, Lemmas 4.4–4.7), a hypertight adapted contact form on the drilled manifold whose primitive non-peripheral spectrum and Lefschetz-index sums recover those of the boundary blow-up (explicitly compared in Lemma 2.12). CGH09 then yields finitely many such contact structures (hence finitely many spectra); BFM25 spectrum uniqueness closes to finitely many flows (Thm. 5.1). The matching of spectra is proven by direct orbit-by-orbit and index comparison, not assumed by definition. The only mild circularity pattern is the load-bearing invocation of spectrum uniqueness from BFM25 (overlapping author), treated as an external fact. All other self-citations (Zun25 blow-up, BM24) supply independent tools whose proofs are external to this manuscript. No self-definitional loop, no fitted-parameter-as-prediction, and no renaming of a known pattern. Li (in prep) and the veering correspondence are external dependencies already flagged by the reader; they do not create internal circularity. Score 2 reflects one non-central uniqueness import; the new content stands independently.
Assumptions & free parameters
assumptions (5)
- domain assumption Colin-Giroux-Honda finiteness of tight contact structures without Giroux torsion (CGH09)
- domain assumption Li's finiteness of isotopy classes of singular orbits and degeneracy curves on atoroidal 3-manifolds
- domain assumption Spectrum uniqueness for transitive pseudo-Anosov flows without transverse tori (BFM25)
- domain assumption Agol-Guéritaud / Schleimer-Segerman correspondence between veering triangulations and pseudo-Anosov flows without perfect fits
- domain assumption Existence of a Birkhoff section with all negative boundaries on singular orbits for flows without perfect fits (Tsa24)
invented entities (2)
-
BAS (positive Birkhoff section away from singularities) pseudo-Anosov flow
independent evidence
-
Boundary blow-up of a pseudo-Anosov flow
independent evidence
Cite this review
Pith. "Pith review of Finiteness of veering triangulations." pith.science (2026). https://pith.science/paper/MLPSPETZ
@misc{pith2026260710398,
author = {Pith},
title = {Pith review of: Finiteness of veering triangulations},
year = {2026},
howpublished = {\url{https://pith.science/paper/MLPSPETZ}},
note = {Machine review of arXiv:2607.10398}
}
abstract
We show that a finite volume cusped hyperbolic 3-manifold admits at most finitely many veering triangulations, and in fact this number is bounded above by the number of Giroux torsion free tight contact structures. This resolves Kirby problem K3 3.21e. More generally, for any 3-manifold $M$ and any link $L$, we show finiteness for the family of pseudo-Anosov flows which admits a \emph{strictly positive Birkhoff section relative to $L$}. Combined with work of Li, this implies that a fixed closed $3$-manifold admits at most finitely many pseudo-Anosov flows without perfect fits. This resolves Kirby problem K3 3.21d.
Figures
Figures from the paper (4 more)
Forward citations
Cited by 2 Pith papers
-
Uniqueness of gluings and virtual finiteness of pseudo-Anosov flows on graph manifolds
On any graph manifold, all transitive pseudo-Anosov flows have at most finitely many orbit-equivalence classes after lifting to a single finite cover, and a new complete bar code invariant decides when glued flows are...
-
Finiteness of singular orbits of pseudo-Anosov flows
For any closed atoroidal 3-manifold M, only finitely many isotopy classes of links occur as singular orbits of pseudo-Anosov flows on M.
Reviewed July 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.