arxiv: 2605.12837 · v1 · submitted 2026-05-13 · 🧮 math.DS · math.GT

Recognition: no theorem link

Pseudo-Anosov flows and the geometry of Anosov-like group actions

Thomas Barthelm\'e , Kathryn Mann , Neige Paulet , Abdul Zalloum

Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:58 UTC · model grok-4.3

classification 🧮 math.DS math.GT

keywords pseudo-Anosov flowsAnosov-like actionsGromov-hyperbolic spacesorbit spaces3-manifoldsfundamental groupsword metricsbifoliated planes

0 comments

The pith

The action induced by a pseudo-Anosov flow on the orbit space is isometric on a Gromov-hyperbolic space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper demonstrates that pseudo-Anosov flows on closed 3-manifolds induce actions on their orbit spaces that can be realized as isometric actions on Gromov-hyperbolic spaces. This geometric interpretation applies to more general Anosov-like group actions on bifoliated planes as well. For flows that are not R-covered, the presence of weakly properly discontinuous elements in the action implies that elements of the fundamental group not corresponding to periodic orbits are generic with respect to any word metric from a finite generating set. The results provide new tools from geometric group theory to study these dynamical systems and their associated groups.

Core claim

We show that the action on its orbit space induced by a pseudo-Anosov flow on a closed 3-manifold (and more general Anosov-like actions) can be seen as an isometric action on a Gromov-hyperbolic space. When the flow is not R-covered, we show that this action admits elements that are weakly properly discontinuous and deduce that elements of π1(M) that do not represent a periodic orbit of the flow are generic for any word metric coming from a finite generating set. We also give a number of other geometric group-theoretic results for Anosov-like group actions on bifoliated planes.

What carries the argument

The orbit space equipped with a metric structure that makes the induced action by the fundamental group isometric and the space Gromov-hyperbolic.

If this is right

Elements of the group action are weakly properly discontinuous for non R-covered flows.
Elements in π1(M) not representing periodic orbits are generic in word metrics.
Several geometric group-theoretic results hold for Anosov-like actions on bifoliated planes.
Tools from hyperbolic geometry apply to the study of these flows and their orbit spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This framing may allow classification of certain 3-manifold groups via their actions on hyperbolic spaces.
Similar isometric structures could exist for other types of flows on higher-dimensional manifolds.
Genericity results might inform the study of random elements in fundamental groups and their dynamical properties.

Load-bearing premise

The orbit space of the pseudo-Anosov flow can be given a metric making the induced action isometric and the space Gromov-hyperbolic.

What would settle it

Constructing a specific pseudo-Anosov flow on a closed 3-manifold for which no such hyperbolic metric exists on the orbit space would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.12837 by Abdul Zalloum, Kathryn Mann, Neige Paulet, Thomas Barthelm\'e.

**Figure 1.** Figure 1: Case where both the distance in X and X+ between vi and vi+1 is 2. 3. Nonelementary graphs and actions In this section we show that, in the presence of a group acting with Anosov-like dynamics, the graph X+ is typically nonelemetary and the action is nonelementary as well. We further describe the isometries (which are necessarily elliptic or loxodromic) of X+ induced by such an action. To do this, we begi… view at source ↗

**Figure 2.** Figure 2: A perfect fit, a lozenge, and a chain of 3 lozenges. Definition 3.6 ((non)-corners). A point p ∈ P is called a corner if it is a corner of some lozenge, and a non-corner otherwise. A non-corner fixed point is a point p which is a noncorner, and fixed by some nontrivial g ∈ G. As an example, in the skew plane, each point p is the corner of exactly two lozenges, which lie in diagonal quadrants of p. We will … view at source ↗

**Figure 3.** Figure 3: A scalloped region Compactification. Fenley [Fen12] constructed a compactification of the orbit space of an Anosov flow by a “circle at infinity”; a variant on this construction can also be used to compactify any bifoliated plane (see [Bon26]). We will primarily use this as a way to keep track of the cyclic order of ends of leaves, and to constrain the dynamics of individual elements. We summarize the rele… view at source ↗

**Figure 4.** Figure 4: Dividing and non dividing prongs of a copy of R in Λ(F +) Remark 3.17. When p divides [x, y], it in fact forms a kind of “division” between the stable and/or unstable saturations of the quadrants containing x and y: if x is in Q1, then any leaf of F ± intersecting Q1 is disjoint from any leaf intersecting y. In particular, x and y are distance at least 2 in X+. We will often use the terminology p divides x… view at source ↗

**Figure 5.** Figure 5: Partially linked non-corner fixed points a and b In the figure, a and b may be singular or not, the important configuration specified by the technical statement in the lemma is that any additional rays of their leaves lie in the shaded blue regions. Proof. Let b + 2 ∈ ∂F +(b) be the point such that the interval (b + 2 , b−) is the connected component of ∂P ∖ ∂F(b) containing a − 1 , a− 2 . Consider I, J tw… view at source ↗

**Figure 6.** Figure 6: Intervals I and J Proof of Proposition 3.14. Let a, b be noncorner points as in Lemma 3.19, these exist by Proposition 3.7. Consider the saturation S = F +(F −(a)). It contains F +(a) and does not contain F +(b). Thus there exists a unique leaf l in ∂S that separates F +(a) from F +(b). There can be two distinct cases (see [PITH_FULL_IMAGE:figures/full_fig_p017_6.png] view at source ↗

**Figure 7.** Figure 7: Two configurations for a and b Now we will consider an element gm,k = (α mβ −m) k (α mβ m) k for some m and k large. More precisely, in case (1), consider V2 = (ξ2, a− 2 ) small enough so that it is separated from b by l1, and similarly choose U2 = (η2, b+) small enough so that it is separated from a by ln. In case (2), we take V2 to be sufficiently close to F −(a) so that at least two rays of F −(p) lie b… view at source ↗

**Figure 8.** Figure 8: Action of the element gm,k To simplify notation, we fix m and k large as above, and write g = gm,k. Note that in both case (1) and (2), U2 and V2 where chosen small enough so that they are separated by a leaf of both F + and F −. Since Fix(g) ∩ ∂P contains points in U2 and V2 and nowhere else, Lemma 3.18 implies that g acts freely. We now describe the axis of g. Suppose first we are in case (1). Recall tha… view at source ↗

**Figure 9.** Figure 9: Chain of lozenge crossing a prong singularity (left) and nonseparated leaves (right) □ Returning to the proof of the proposition, considering first case (1), suppose that C is some chain of lozenges that intersects both l1 and ln. By Claim 3.20, l1 and ln contain sides of lozenges in C. Since l1, . . . ln are nonseparated, they are sides of lozenges in a chain, fixed by some nontrivial element of G (this i… view at source ↗

**Figure 10.** Figure 10: Two types of loxodromic element of Lemma 3.24 Proof. Since g acts loxodromically on X+, it acts freely on P and therefore (by Axiom (A1)) has an axis A(g) in Λ +. Let l ∈ Λ +. Note that g n (l) must escape every compact as n → ±∞, as otherwise we would have that g n (l) converge to a union of non-separated leaves, and so either g would be in the stabilizer of a scalloped region, or some power of g would f… view at source ↗

**Figure 11.** Figure 11: One connected component of P \ S n∈Z g n (l1 ∪ ln) contains the attractor of h. analyze the situation of elements that act freely on P. If the axis of g in Λ + is a pseudo-line, then by Lemma 3.22, the asymptotic translation length of g is positive. If the axes A+(g) and A−(g) in Λ + and Λ − are both homeomorphic to R, then we can apply Theorem 3.5.2 from [BM25]. This theorem says that either P is trivial… view at source ↗

**Figure 12.** Figure 12: pk divides α and α ′ on A, but pn accumulating on l eventually cannot. Lemma 4.4 allows us to imitate the canonical decomposition A = ⊔[xi , yi ] where the [xi , yi ] are maximal intervals (in the case where there are nonseparated leaves, so xi nonseparated with yi−1) to obtain a similar canonical decomposition when A ∼= R but contains dividing prongs. Definition 4.5 (Block decomposition). Let A be the a… view at source ↗

**Figure 13.** Figure 13: The polygonal path γP intersecting the set of hyperbolically aligned leaves. Next we claim dX+ (v, w) ≤ 5d+(x, y). To prove this, suppose for contradiction there exists i such that γ has 5 vertices, v1, . . . , v5 between hi and hi+1, then no leaf of F − can intersect both v1 and v3 nor can there exists a leaf of F − intersecting both v3 and v5. Thus, {h1, . . . , hi , v3, hi+1, . . . hn} is an hyperbol… view at source ↗

**Figure 14.** Figure 14: If 5 vertices v1, . . . , v5 are between hi , hi+1 then {hi , v3, hi+1} are hyperbolically aligned By a similar argument, γ cannot have 3 or more vertices between x and h1 or hn and y. Hence, we deduce that |γ| = dX+ (v, w) ≤ 5(n + 1) = 5d+(x, y). Therefore, we showed that for all x, y ∈ P, d+(x, y) − 2 ≤ dX+ (f+(x), f+(y)) ≤ 5d+(x, y) [PITH_FULL_IMAGE:figures/full_fig_p032_14.png] view at source ↗

read the original abstract

We show that the action on its orbit space induced by a pseudo-Anosov flow on a closed $3$-manifold (and more general Anosov-like actions) can be seen as an isometric action on a Gromov-hyperbolic space. When the flow is not $\R$-covered, we show that this action admits elements that are weakly properly discontinuous and deduce that elements of $\pi_1(M)$ that do \emph{not} represent a periodic orbit of the flow are generic for any word metric coming from a finite generating set. We also give a number of other geometric group-theoretic results for Anosov-like group actions on bifoliated planes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper turns the orbit space of pseudo-Anosov flows into a Gromov-hyperbolic space with an isometric action, yielding genericity for non-periodic elements in the non-R-covered case.

read the letter

The punchline is that this paper equips the orbit space of a pseudo-Anosov flow with a path metric coming from the transverse foliations and flow lines, turning the induced action into an isometric action on a Gromov-hyperbolic space. For flows that are not R-covered, this leads to weak proper discontinuity and a genericity statement for pi1(M) elements that do not correspond to periodic orbits under any word metric. What the paper does well is give a clean geometric reinterpretation of these actions. The construction seems to use the standard expansion and contraction properties of pseudo-Anosov dynamics to verify hyperbolicity, and they extend the setup to more general Anosov-like actions on bifoliated planes. The additional results on geometric group theory for these actions are a nice bonus. The abstract and structure suggest the arguments build on established definitions without introducing new fitting or circular steps. The soft spots are minor at this stage. The main one is that the hyperbolicity of the metric needs careful verification to ensure the delta is uniform, but the stress-test indicates the logical steps from the flow hypotheses to the conclusions hold up without internal inconsistency. Since the full proofs are in the paper, a referee would want to check the details of the metric construction and the deduction of genericity, but nothing looks load-bearing flawed from what's described. This paper is aimed at people working in 3-manifold topology, especially those studying flows and their relation to hyperbolic geometry and group actions. A reader interested in Anosov flows or isometric actions on hyperbolic spaces would find the new framing useful and the genericity result potentially applicable. It deserves a serious referee because the claims are concrete and connect two areas in a way that could be checked and built upon. I would recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript shows that the orbit space of a pseudo-Anosov flow on a closed 3-manifold (and more general Anosov-like actions) admits a path metric derived from the transverse foliations and flow lines such that the induced action of π₁(M) is isometric and the space is Gromov-hyperbolic. For non-ℝ-covered flows the action contains weakly properly discontinuous elements; this is used to prove that elements of π₁(M) not representing periodic orbits are generic with respect to any word metric. Additional geometric-group-theoretic results are established for Anosov-like actions on bifoliated planes.

Significance. If the metric construction and hyperbolicity arguments hold, the paper supplies a new geometric model linking pseudo-Anosov dynamics to Gromov-hyperbolic spaces and geometric group theory. The genericity statement for non-periodic elements and the weak proper discontinuity results are concrete applications that could be useful for studying 3-manifold groups and their actions on planes. The work is grounded in standard definitions of pseudo-Anosov flows and hyperbolic geometry rather than ad-hoc parameters.

minor comments (3)

The construction of the path metric on the bifoliated plane (presumably in §3 or §4) would be clearer if an explicit formula or local coordinate expression were given alongside the description in terms of transverse foliations and flow lines.
In the statement of the genericity result for word metrics, the precise meaning of 'generic' (e.g., density in the Gromov boundary or positive density in balls) should be stated explicitly rather than left implicit.
A short comparison paragraph relating the new metric to existing constructions (e.g., the Handel-Miller or Fenley metrics on orbit spaces) would help readers situate the contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper constructs a path metric on the bifoliated plane (orbit space) from the given transverse foliations and flow lines of a pseudo-Anosov or Anosov-like action, then verifies Gromov hyperbolicity directly from the expansion/contraction rates already present in the definition of the flow. No equation or claim reduces an output to a fitted input, no uniqueness theorem is imported from the authors' prior work as an external fact, and no ansatz is smuggled via self-citation. The geometric conclusions follow from standard properties of pseudo-Anosov dynamics on closed 3-manifolds without redefining the inputs in terms of the claimed results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based only on the abstract, the central claims rest on standard domain assumptions about pseudo-Anosov flows and properties of Gromov-hyperbolic spaces; no free parameters or invented entities are mentioned.

axioms (1)

domain assumption Standard properties of pseudo-Anosov flows on closed 3-manifolds and Anosov-like actions
Invoked implicitly as the setting for the orbit space construction

pith-pipeline@v0.9.0 · 5418 in / 1312 out tokens · 45461 ms · 2026-05-14T18:58:26.729015+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[1]

D. V. Anosov and G. Sina i . Some smooth ergodic systems. With an appendix by G. A. Margulis . Uspekhi Matematicheskikh Nauk [N. S.] , 22(5(137)):107--172, 1967

work page 1967
[2]

Characterization of Anosov flows in dimension 3 by their weak foliations

Thierry Barbot. Characterization of Anosov flows in dimension 3 by their weak foliations . Ergodic Theory and Dynamical Systems , 15(2):247--270, 1995

work page 1995
[3]

Actions de groupes sur les 1-vari\'et\'es non s\'epar\'ees et feuilletages de codimension un

Thierry Barbot. Actions de groupes sur les 1-vari\'et\'es non s\'epar\'ees et feuilletages de codimension un. Ann. Fac. Sci. Toulouse Math. (6) , 7(4):559--597, 1998

work page 1998
[4]

Non-transitive pseudo- A nosov flows

Thomas Barthelmé, Christian Bonatti, and Kathryn Mann. Non-transitive pseudo- A nosov flows. 2026. arXiv:2411.03586 https://arxiv.org/pdf/2411.03586

work page arXiv 2026
[5]

Thomas Barthelm \'e and S \'e rgio R. Fenley. Counting periodic orbits of Anosov flows in free homotopy classes. Commentarii Mathematici Helvetici , 92(4):641--714, 2017

work page 2017
[6]

Orbit equivalence of pseudo- A nosov flows

Thomas Barthelm \'e , Steven Frankel, and Kathryn Mann. Orbit equivalence of pseudo- A nosov flows. Invent. Math. , 240(3):1119--1192, 2025

work page 2025
[7]

Orbit equivalences of $ R $ -covered Anosov flows and hyperbolic-like actions on the line

Thomas Barthelm \'e and Kathryn Mann. Orbit equivalences of $ R $ -covered Anosov flows and hyperbolic-like actions on the line. With an appendix written jointly with Jonathan Bowden . Geom. Topol. , 28(2):867--899, 2024

work page 2024
[8]

Pseudo- Anosov Flows : A Plane Approach , 2025

Thomas Barthelmé and Kathryn Mann. Pseudo- Anosov Flows : A Plane Approach , 2025. arXiv:2509.15375 https://arxiv.org/pdf/2509.15375

work page arXiv 2025
[9]

Action on the circle at infinity of foliations of R ^2

Christian Bonatti. Action on the circle at infinity of foliations of R ^2 . Enseign. Math. , 72(1-2):85--146, 2026

work page 2026
[10]

Periodic orbits for hyperbolic flows

Rufus Bowen. Periodic orbits for hyperbolic flows. Amer. J. Math. , 94:1--30, 1972

work page 1972
[11]

On bifoliated planes, their structure and group actions

Mauro Camargo. On bifoliated planes, their structure and group actions . PhD thesis, Cornell University, 2025. arXiv:2509.19961 https://arxiv.org/pdf/2509.19961

work page arXiv 2025
[12]

The P oisson boundary of hyperbolic groups without moment conditions

Kunal Chawla, Behrang Forghani, Joshua Frisch, and Giulio Tiozzo. The P oisson boundary of hyperbolic groups without moment conditions. Ann. Probab. , 53(5):1897--1918, 2025

work page 1918
[13]

Pseudo- A nosovs are exponentially generic in mapping class groups

Inhyeok Choi. Pseudo- A nosovs are exponentially generic in mapping class groups. Geometry & Topology , 28(4):1923--1955, 2024

work page 1923
[14]

Acylindrically hyperbolic groups and counting problems, 2025

Inhyeok Choi. Acylindrically hyperbolic groups and counting problems, 2025. arXiv:2504.20985 https://arxiv.org/pdf/2504.20985

work page arXiv 2025
[15]

S \'e rgio R. Fenley. Anosov flows in 3-manifolds. Annals of Mathematics. Second Series , 139(1):79--115, 1994

work page 1994
[16]

S \'e rgio R. Fenley. One sided branching in Anosov foliations. Commentarii Mathematici Helvetici , 70(1):248--266, December 1995

work page 1995
[17]

S \'e rgio R. Fenley. Pseudo- Anosov Flows and Incompressible Tori . Geometriae Dedicata , 99(1):61--102, June 2003

work page 2003
[18]

Ideal boundaries of pseudo- Anosov flows and uniform convergence groups with connections and applications to large scale geometry

S \'e rgio Fenley. Ideal boundaries of pseudo- Anosov flows and uniform convergence groups with connections and applications to large scale geometry. Geometry & Topology , 16(1):1--110, January 2012

work page 2012
[19]

Hyperbolicities in CAT (0) cube complexes

Anthony Genevois. Hyperbolicities in CAT (0) cube complexes. L’Enseignement Mathématique , 65(1):33–100, January 2020

work page 2020
[20]

Taylor, and Giulio Tiozzo

Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo. Counting loxodromics for hyperbolic actions. J. Topol. , 11(2):379--419, 2018

work page 2018
[21]

Taylor, and Giulio Tiozzo

Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo. Central limit theorems for counting measures in coarse negative curvature. Compositio Mathematica , 158(10):1980--2013, 2022

work page 1980
[22]

Mark F. Hagen. Weak hyperbolicity of cube complexes and quasi-arboreal groups. Journal of Topology , 7(2):385--418, 2014

work page 2014
[23]

Geometry of pseudocharacters

Jason Fox Manning. Geometry of pseudocharacters. Geom. Topol. , 9:1147--1185, 2005

work page 2005
[24]

J. F. Manning. Quasi-actions on trees and property (qfa). Journal of the London Mathematical Society , 73(01):84–108, February 2006

work page 2006
[25]

Random walks on weakly hyperbolic groups

Joseph Maher and Giulio Tiozzo. Random walks on weakly hyperbolic groups. J. Reine Angew. Math. , 742:187--239, 2018

work page 2018
[26]

Acylindrically hyperbolic groups

Denis Osin. Acylindrically hyperbolic groups. Transactions of the American Mathematical Society , 368(2):851--888, 2016. Article electronically published on May 22, 2015

work page 2016
[27]

Expansive flows and the fundamental group

Miguel Paternain. Expansive flows and the fundamental group. Bol. Soc. Brasil. Mat. (N.S.) , 24(2):179--199, 1993

work page 1993
[28]

Stable cylinders and fine structures for hyperbolic groups and curve graphs, 2025

Harry Petyt, Davide Spriano, and Abdul Zalloum. Stable cylinders and fine structures for hyperbolic groups and curve graphs, 2025. arXiv:2501.13600 https://arxiv.org/pdf/2501.13600

work page arXiv 2025
[29]

J. F. Plante and W. P. Thurston. Anosov flows and the fundamental group. Topology , 11:147--150, 1972

work page 1972
[30]

Constructing metric spaces from systems of walls, 2024

Harry Petyt and Abdul Zalloum. Constructing metric spaces from systems of walls, 2024. arXiv:2404.12057 https://arxiv.org/pdf/2404.12057

work page arXiv 2024