Partial section III: for Anosov flows

Th\'eo Marty

Partial section III: for Anosov flows

T0 review · 1 major / 0 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read Anosov flows admit partial cross-sections in a cohomology class exactly when a homology condition holds, and only finitely many exist in each class.

desk verdict This note applies the series' general characterization of partial cross-sections to Anosov flows, yielding a homology criterion, a finiteness result, and the claim that such flows on hyperbolic 3-manifolds are homologically full. read the letter →

arxiv 2605.30956 v1 pith:H6R27VPY submitted 2026-05-29 math.DS

Théo Marty This is my paper · ORCID

classification math.DS

keywords Anosovflowspartialcross-sectionshomologycriterionhyperbolicmanifoldshomologicallyfullcohomologyclasses

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

The paper derives consequences for Anosov flows from a prior characterization of partial cross-sections. It supplies a homology criterion that decides existence of a partial cross-section in any given cohomology class. The same setup shows there are at most finitely many such sections inside any single class. These statements together imply that every Anosov flow on a three-dimensional hyperbolic manifold is homologically full. A reader would care because the criterion converts a dynamical question into a check on algebraic invariants.

What carries the argument

the homology criterion that determines existence of a partial cross-section inside a given cohomology class

What would settle it

An explicit Anosov flow on a three-dimensional hyperbolic manifold that fails to be homologically full would refute the deduction.

Watch

Extended reading notes

Core claim

For Anosov flows a partial cross-section exists in a prescribed cohomology class if and only if the class meets a homology criterion; moreover only finitely many partial cross-sections can occupy any one class. As a direct consequence every Anosov flow on a three-dimensional hyperbolic manifold is homologically full.

Load-bearing premise

The earlier characterization of partial cross-sections for general flows, used to deduce the Anosov statements, is free of gaps.

Editorial extensions

If this is right

Existence of a partial cross-section reduces to a concrete homology test on the cohomology class.
Each cohomology class contains only finitely many partial cross-sections.
Every Anosov flow on a three-dimensional hyperbolic manifold must be homologically full.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The finiteness result may allow enumeration or classification of partial cross-sections up to homology in low-dimensional cases.
If the prior general-flow characterization extends to other flow classes, the homology criterion would apply more broadly.
The link to Fried's global cross-section work suggests possible comparisons between partial and global sections in the same homology setting.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that this paper derives a homology criterion and a finiteness statement for partial cross-sections of Anosov flows from the general results in the earlier papers of the series, and concludes that Anosov flows on hyperbolic 3-manifolds are homologically full.

What stands out is the clean deduction for the 3-manifold case. The homology criterion gives an algebraic way to test for the existence of a partial section in a cohomology class, and the finiteness result limits how many there can be in that class. This seems like a useful organization tool within the subfield.

The paper does a reasonable job of spelling out these consequences without claiming more than the series supports. It references Fried's work on global cross-sections as the spirit of the approach.

The soft spot is that all the heavy lifting is in the prior papers. The abstract presents these as deductions, so any issue with the characterization of partial cross-sections for general flows would carry over directly here. Without seeing the full proofs or even the definitions of the homology criterion in this context, it's hard to assess how robust the finiteness argument is. The 3-manifold deduction also relies on the general case plus properties of hyperbolic manifolds.

This paper is aimed at researchers already following the series on partial sections for flows. Someone working on Anosov flows or 3-manifold dynamics might find the homology test and the homologically full statement useful for their own work. It is not a standalone result but an incremental step.

I would recommend sending it to peer review as a companion piece to the series, provided the earlier papers hold up. It is focused enough that a referee could check the deductions without too much trouble.

Referee Report

1 major / 0 minor

Summary. The manuscript, the third in a series, applies the characterization of partial cross-sections for general flows obtained in prior papers to Anosov flows. It claims a homology criterion for the existence of a partial cross-section in a given cohomology class, asserts that there are at most finitely many partial cross-sections in that class, and deduces that every Anosov flow on a 3-dimensional hyperbolic manifold is homologically full.

Significance. If the prior characterizations are valid, the results supply a homology-based existence criterion and a finiteness theorem for partial sections of Anosov flows, extending Fried's framework, together with a concrete consequence for homological fullness on hyperbolic 3-manifolds that may inform the study of their orbit structure and homology.

major comments (1)

[Abstract] Abstract: the homology criterion, the finiteness statement, and the 3-manifold deduction are presented solely as applications of the general-flow characterization from the preceding papers in the series; the manuscript contains no independent verification, reproduction of key steps, or self-contained arguments supporting these claims.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the homology criterion, the finiteness statement, and the 3-manifold deduction are presented solely as applications of the general-flow characterization from the preceding papers in the series; the manuscript contains no independent verification, reproduction of key steps, or self-contained arguments supporting these claims.

Authors: This manuscript is the third paper in a series. The general characterization of partial cross-sections for arbitrary flows was established in the preceding papers, and the present work applies those results to Anosov flows in order to deduce the homology criterion, the finiteness statement, and the consequence for homological fullness on 3-dimensional hyperbolic manifolds. The arguments are therefore presented as direct applications without independent verification or reproduction of the general steps, which is consistent with the paper's stated purpose. We agree that the abstract would benefit from explicitly noting this dependence on the prior papers and will revise it accordingly. revision: yes

Circularity Check

1 steps flagged · score 4.0 of 10

Finiteness and 3-manifold claims rest on prior-series characterizations of partial cross-sections

self citation load bearing [Abstract]
"In the previous papers in the series, we characterized partial cross-sections for general flows, in the spirit of Fried's work on global cross-sections. In this paper, we deduce several consequences for Anosov flows. We provide a homology criterion for the existence of a partial cross-section in a given cohomology class. Additionally, there are at most finitely many partial cross-sections in that cohomology class. We deduce that on a 3-dimensional hyperbolic manifold, any Anosov flow is homologically full."

The finiteness statement and the 3-manifold deduction are obtained by applying the general-flow characterization from the preceding papers in the series by the same author. No independent proof of that characterization appears here; the Anosov conclusions rest directly on the self-cited prior results.

full rationale

The paper's abstract states that it deduces consequences for Anosov flows from the characterization of partial cross-sections obtained in previous papers of the series by the same author. The homology criterion is presented as new, but the finiteness statement and the deduction that every Anosov flow on a 3-dimensional hyperbolic manifold is homologically full are explicitly applications of that prior characterization. This is a load-bearing self-citation for key claims, yet the manuscript still contains independent content, so the circularity is partial rather than total reduction of the derivation to its own inputs.

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

The abstract invokes results from the preceding papers in the series as the foundation for the Anosov consequences; no new free parameters, ad-hoc axioms, or invented entities are visible in the provided text.

assumptions (1)

domain assumption Characterization of partial cross-sections for general flows obtained in prior papers of the series
The homology criterion and finiteness statements for Anosov flows are deduced from that earlier characterization.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Partial section III: for Anosov flows." pith.science (2026). https://pith.science/paper/H6R27VPY

@misc{pith2026260530956,
  author       = {Pith},
  title        = {Pith review of: Partial section III: for Anosov flows},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H6R27VPY}},
  note         = {Machine review of arXiv:2605.30956}
}

read the original abstract

In the previous papers in the series, we characterized partial cross-sections for general flows, in the spirit of Fried's work on global cross-sections. In this paper, we deduce several consequences for Anosov flows. We provide a homology criterion for the existence of a partial cross-section in a given cohomology class. Additionally, there are at most finitely many partial cross-sections in that cohomology class. We deduce that on a 3-dimensional hyperbolic manifold, any Anosov flow is homologically full.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 4 canonical work pages

[1]

Building Anosov flows on 3-manifolds.Geometry & Topology, 21(3):1837–1930,

[BBY17] Fran¸ cois B´ eguin, Christian Bonatti, and Bin Yu. Building Anosov flows on 3-manifolds.Geometry & Topology, 21(3):1837–1930,

1930
[2]

Landry, Yair N

[LMT24] Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. Transverse surfaces and pseudo-anosov flows.arXiv:2406.17717,

work page arXiv
[3]

Skewed Anosov flows are orbit equivalent to Reeb-Anosov flows in dimension 3

[Mar23] Th´ eo Marty. Skewed Anosov flows are orbit equivalent to Reeb-Anosov flows in dimension 3.arXiv preprint arXiv:2301.00842,

work page Pith review arXiv
[4]

Partial section I:α-recurrence and equivariant Lyapunov maps.arXiv preprint arXiv:2512.04994,

[Mar25a] Th´ eo Marty. Partial section I:α-recurrence and equivariant Lyapunov maps.arXiv preprint arXiv:2512.04994,

work page arXiv
[5]

Partial section II: classification for general flows.arXiv preprint arXiv:2512.05504,

[Mar25c] Th´ eo Marty. Partial section II: classification for general flows.arXiv preprint arXiv:2512.05504,

work page arXiv

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.

[1] [1]

Building Anosov flows on 3-manifolds.Geometry & Topology, 21(3):1837–1930,

[BBY17] Fran¸ cois B´ eguin, Christian Bonatti, and Bin Yu. Building Anosov flows on 3-manifolds.Geometry & Topology, 21(3):1837–1930,

1930

[2] [2]

Landry, Yair N

[LMT24] Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. Transverse surfaces and pseudo-anosov flows.arXiv:2406.17717,

work page arXiv

[3] [3]

Skewed Anosov flows are orbit equivalent to Reeb-Anosov flows in dimension 3

[Mar23] Th´ eo Marty. Skewed Anosov flows are orbit equivalent to Reeb-Anosov flows in dimension 3.arXiv preprint arXiv:2301.00842,

work page Pith review arXiv

[4] [4]

Partial section I:α-recurrence and equivariant Lyapunov maps.arXiv preprint arXiv:2512.04994,

[Mar25a] Th´ eo Marty. Partial section I:α-recurrence and equivariant Lyapunov maps.arXiv preprint arXiv:2512.04994,

work page arXiv

[5] [5]

Partial section II: classification for general flows.arXiv preprint arXiv:2512.05504,

[Mar25c] Th´ eo Marty. Partial section II: classification for general flows.arXiv preprint arXiv:2512.05504,

work page arXiv