pith. sign in

arxiv: 2509.07818 · v2 · submitted 2025-09-09 · 🧮 math.GT · math.DS· math.GR

On fixed points of pseudo-Anosov maps

Tarik Aougab , David Futer , Samuel J. Taylor This is my paper

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

classification 🧮 math.GT math.DSmath.GR
keywords pseudo-Anosov homeomorphismsfixed pointsTeichmuller translation lengthstrong irreducibilitymapping toriHeegaard Floer homology
0
0 comments X

The pith

For strongly irreducible pseudo-Anosov homeomorphisms of surfaces, the log of the number of fixed points is coarsely equal to the Teichmuller translation length.

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

The paper supplies a formula that estimates the number of fixed points of a pseudo-Anosov homeomorphism on a surface. When the homeomorphism meets the additional condition of strong irreducibility, this formula shows that the logarithm of the fixed-point count is coarsely comparable to the Teichmuller translation length. The relation produces concrete applications, such as an inequality that links the hyperbolic volume of the associated mapping torus to the rank of its Heegaard Floer homology.

Core claim

We give a formula to estimate the number of fixed points of a pseudo-Anosov homeomorphism of a surface. When the homeomorphism satisfies strong irreducibility, the log of the number of fixed points is coarsely equal to the Teichmuller translation length. We also discuss several applications, including an inequality relating the hyperbolic volume of a mapping torus to the rank of its Heegaard Floer homology.

What carries the argument

The strong irreducibility condition on the pseudo-Anosov homeomorphism, which lets the fixed-point count be controlled directly by the Teichmuller translation length.

If this is right

  • The formula supplies an explicit way to bound or compute fixed points from the translation length alone.
  • It produces an inequality between the hyperbolic volume of a mapping torus and the rank of its Heegaard Floer homology.
  • The same comparison may be used to relate other topological invariants of the mapping torus to its dynamical data.

Where Pith is reading between the lines

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

  • The estimate could simplify numerical checks of fixed-point counts for irreducible maps on surfaces with known translation lengths.
  • Without strong irreducibility the coarse equality may require different constants or may fail entirely, suggesting a natural next case to classify.

Load-bearing premise

The pseudo-Anosov homeomorphism must satisfy the additional condition of strong irreducibility.

What would settle it

A concrete counterexample would be a strongly irreducible pseudo-Anosov map on a surface whose number of fixed points differs from the exponential of its Teichmuller translation length by an arbitrarily large factor.

Figures

Figures reproduced from arXiv: 2509.07818 by David Futer, Samuel J. Taylor, Tarik Aougab.

Figure 1
Figure 1. Figure 1: A maximal rectangle and its associated ideal tetrahedron [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Overlapping rectangles in the proof of Lemma 3.2. σr X frpσq because Rr is a singularity-free rectangle. Hence the fixed point x P R must be the projection of one of the ipσ, fpσqq fixed points in Rr constructed above. □ To apply the Fundamental Lemma for bounding fixed points from below, we will need an upper bound on the degrees of singularity-free rectangles. The next lemma characterizes the only case w… view at source ↗
Figure 3
Figure 3. Figure 3: The subsurface W Ă X is q–compatible and the image shows Wq Ă XrW . Open circles are punctures of S, while closed dots are singularities of S that are punctured in S˚. The solid black intervals are saddle connections whose concatenation forms BqW. This figure is a reproduction of [30, [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
read the original abstract

We give a formula to estimate the number of fixed points of a pseudo-Anosov homeomorphism of a surface. When the homeomorphism satisfies a mild property called strong irreducibility, the log of the number of fixed points is coarsely equal to the Teichmuller translation length. We also discuss several applications, including an inequality relating the hyperbolic volume of a mapping torus to the rank of its Heegaard Floer homology.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a formula for estimating the number of fixed points of a pseudo-Anosov homeomorphism of a surface. Under the additional hypothesis of strong irreducibility, it establishes that the logarithm of this number is coarsely comparable to the Teichmüller translation length of the map, with the comparison constants independent of the particular homeomorphism. Applications are discussed, including an inequality relating the hyperbolic volume of the associated mapping torus to the rank of its Heegaard Floer homology.

Significance. If the estimates and coarse comparison hold, the result would supply a concrete link between fixed-point data and Teichmüller geometry for pseudo-Anosov maps satisfying the stated irreducibility condition. This could be useful for bounding invariants in 3-manifold topology, particularly in relating geometric volume to homological ranks via mapping tori. The parameter-free nature of the coarse equality (when it applies) would be a strength.

major comments (2)
  1. [Abstract] The abstract states the formula for fixed-point estimation and the coarse equality but supplies no derivation, error terms, or verification steps. The full manuscript must make explicit how the estimate follows from the hypotheses on the pseudo-Anosov map and the strong-irreducibility condition; without this the central claim cannot be assessed for correctness.
  2. [Section introducing strong irreducibility] The strong-irreducibility hypothesis is described as mild yet is load-bearing for the coarse equality. The paper should clarify in the relevant section whether this condition is satisfied by a dense set of mapping classes or whether it imposes a genuine restriction that affects the scope of the applications to mapping-torus volumes.
minor comments (2)
  1. Define all notation (e.g., Teichmüller translation length, strong irreducibility) at first use and ensure consistency between the abstract and the body.
  2. [Applications section] The applications to Heegaard Floer rank and volume should include a precise statement of the resulting inequality, including any dependence on the surface genus or other parameters.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our results and for the constructive comments on clarity. We address each major comment below and will revise the manuscript to improve the exposition while preserving the scope of the theorems.

read point-by-point responses

  1. Referee: [Abstract] The abstract states the formula for fixed-point estimation and the coarse equality but supplies no derivation, error terms, or verification steps. The full manuscript must make explicit how the estimate follows from the hypotheses on the pseudo-Anosov map and the strong-irreducibility condition; without this the central claim cannot be assessed for correctness.

    Authors: The abstract is a concise overview; the derivation of the fixed-point estimate from the pseudo-Anosov action on the curve complex, together with the uniform constants under strong irreducibility, is carried out in full in Sections 3 and 4. We will add a short proof sketch to the introduction and include a sentence in the abstract indicating that the estimate is obtained by combining the Lefschetz fixed-point formula with the translation-length comparison. revision: yes

  2. Referee: [Section introducing strong irreducibility] The strong-irreducibility hypothesis is described as mild yet is load-bearing for the coarse equality. The paper should clarify in the relevant section whether this condition is satisfied by a dense set of mapping classes or whether it imposes a genuine restriction that affects the scope of the applications to mapping-torus volumes.

    Authors: We will expand the relevant section to note that strong irreducibility holds on a dense open set of mapping classes (its complement is a lower-dimensional subvariety defined by reducible or periodic behavior). Because the volume–Heegaard Floer inequality is proved for all such maps and the set is dense, the applications to mapping-torus volumes remain valid for a broad and topologically representative class; we will add a brief paragraph making this explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a formula for estimating fixed points of pseudo-Anosov homeomorphisms and, under the explicit additional hypothesis of strong irreducibility, a coarse equality between log of that count and Teichmüller translation length. This relation is presented as a derived consequence of the dynamics and Teichmüller theory rather than a tautology, a fit to the same data used to define the length, or a reduction via self-citation chain. Strong irreducibility is introduced as a mild extra condition needed for the estimate, not smuggled in or used to forbid alternatives by fiat. No load-bearing step reduces by the paper's own equations to its inputs; the central claim retains independent content from external benchmarks in mapping class group dynamics and hyperbolic geometry. Applications to mapping tori are consequences, not the core derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the result appears to rest on standard facts about Teichmuller space and pseudo-Anosov dynamics already present in the literature.

pith-pipeline@v0.9.0 · 5594 in / 1076 out tokens · 33005 ms · 2026-05-18T18:13:05.088387+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 2 internal anchors

  1. [1]

    Math., vol

    Ian Agol,Ideal triangulations of pseudo-Anosov mapping tori, Topology and geometry in dimension three, Contemp. Math., vol. 560, Amer. Math. Soc., Providence, RI, 2011, pp. 1–17. MR 2866919

    work page 2011

  2. [2]

    Ian Agol and Chi Cheuk Tsang,Dynamics of veering triangulations: infinitesimal components of their flow graphs and applications, Algebr. Geom. Topol.24(2024), no. 6, 3401–3453. MR 4812222

    work page 2024

  3. [3]

    Topol.17(2013), no

    Tarik Aougab,Uniform hyperbolicity of the graphs of curves, Geom. Topol.17(2013), no. 5, 2855–2875. MR 3190300

    work page 2013

  4. [4]

    Taylor, and Richard C

    Tarik Aougab, Samuel J. Taylor, and Richard C. H. Webb,Effective Masur–Minsky distance formulas and applications to hyperbolic 3-manifolds, Preprint, available at https://drive. google.com/file/d/1YjPI9WhzaNdnVJDClI5VldfbMkJnuXjH/view, 2018. 48 TARIK AOUGAB, DAVID FUTER, AND SAMUEL J. TAYLOR

    work page 2018

  5. [5]

    1, 109–140

    Mladen Bestvina and Michael Handel,Train-tracks for surface homeomorphisms, Topology34 (1995), no. 1, 109–140. MR 1308491

    work page 1995

  6. [6]

    Birman and Mark E

    Joan S. Birman and Mark E. Kidwell,Fixed points of pseudo-Anosov diffeomorphisms of surfaces, Adv. in Math.46(1982), no. 2, 217–220. MR 679909

    work page 1982

  7. [7]

    Brian H Bowditch,Atoroidal surface bundles over surfaces, Geometric and Functional Analysis 19(2009), 943–988

    work page 2009

  8. [8]

    Bowditch,Uniform hyperbolicity of the curve graphs, Pacific J

    Brian H. Bowditch,Uniform hyperbolicity of the curve graphs, Pacific J. Math.269(2014), no. 2, 269–280. MR 3238474

    work page 2014

  9. [9]

    Brock,Weil-Petersson translation distance and volumes of mapping tori, Comm

    Jeffrey F. Brock,Weil-Petersson translation distance and volumes of mapping tori, Comm. Anal. Geom.11(2003), no. 5, 987–999. MR 2032506

    work page 2003

  10. [10]

    Young-Eun Choi and Kasra Rafi,Comparison between Teichm¨ uller and Lipschitz metrics, J. Lond. Math. Soc. (2)76(2007), no. 3, 739–756. MR 2377122

    work page 2007

  11. [11]

    Matt Clay, Kasra Rafi, and Saul Schleimer,Uniform hyperbolicity of the curve graph via surgery sequences, Algebr. Geom. Topol.14(2014), no. 6, 3325–3344. MR 3302964

    work page 2014

  12. [12]

    Topol.13(2009), no

    Andrew Cotton-Clay,Symplectic Floer homology of area-preserving surface diffeomorphisms, Geom. Topol.13(2009), no. 5, 2619–2674. MR 2529943

    work page 2009

  13. [13]

    Matthew Gentry Durham,The augmented marking complex of a surface, J. Lond. Math. Soc. (2)94(2016), no. 3, 933–969. MR 3614935

    work page 2016

  14. [14]

    David Futer,There are no periodic Wright maps, arXiv:2509.05222

    work page arXiv

  15. [15]

    Paolo Ghiggini and Gilberto Spano,Knot Floer homology of fibred knots and Floer homology of surface diffeomorphisms, arXiv:2201.12411

    work page arXiv

  16. [16]

    Topol.9(2016), no

    Fran¸ cois Gu´ eritaud,Veering triangulations and Cannon-Thurston maps, J. Topol.9(2016), no. 3, 957–983. MR 3551845

    work page 2016

  17. [17]

    Leininger, and Witsarut Pho-On,A universal Cannon-Thurston map and the surviving curve complex, Trans

    Funda G¨ ultepe, Christopher J. Leininger, and Witsarut Pho-On,A universal Cannon-Thurston map and the surviving curve complex, Trans. Amer. Math. Soc. Ser. B9(2022), 99–143. MR 4383231

    work page 2022

  18. [18]

    Sebastian Hensel, Piotr Przytycki, and Richard C. H. Webb,1-slim triangles and uniform hyperbolicity for arc graphs and curve graphs, J. Eur. Math. Soc. (JEMS)17(2015), no. 4, 755–762. MR 3336835

    work page 2015

  19. [19]

    Atoroidal surface bundles

    Autumn E. Kent and Christopher J. Leininger,Atoroidal surface bundles, arXiv:2405.12067

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    Topol.22(2018), no

    Sadayoshi Kojima and Greg McShane,Normalized entropy versus volume for pseudo-Anosovs, Geom. Topol.22(2018), no. 4, 2403–2426. MR 3784525

    work page 2018

  21. [21]

    Michael C Kopreski,Multiarc and curve graphs are hierarchically hyperbolic, arXiv:2311.04356

    work page arXiv

  22. [22]

    Leininger and Alan W

    Christopher J. Leininger and Alan W. Reid,Pseudo-Anosov homeomorphisms not arising from branched covers, Groups Geom. Dyn.14(2020), no. 1, 151–175. MR 4077659

    work page 2020

  23. [23]

    Francesco Lin and Michael Lipnowski,The Seiberg-Witten equations and the length spectrum of hyperbolic three-manifolds, J. Amer. Math. Soc.35(2022), no. 1, 233–293. MR 4322393

    work page 2022

  24. [24]

    Yi Liu,Entropy versus volume via Heegaard diagrams, arXiv:2312.1425

    work page arXiv

  25. [25]

    Systems30(2010), no

    J´ erˆ ome Los,Infinite sequence of fixed-point free pseudo-Anosov homeomorphisms, Ergodic Theory Dynam. Systems30(2010), no. 6, 1739–1755. MR 2736893

    work page 2010

  26. [26]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky,Geometry of the complex of curves. I. Hyperbolicity, Invent. Math.138(1999), no. 1, 103–149. MR 1714338

    work page 1999

  27. [27]

    ,Geometry of the complex of curves. II. Hierarchical structure, Geom. Funct. Anal.10 (2000), no. 4, 902–974. MR 1791145

    work page 2000

  28. [28]

    Yair Minsky,The classification of Kleinian surface groups. I. Models and bounds, Ann. of Math. (2)171(2010), no. 1, 1–107. MR 2630036

    work page 2010

  29. [29]

    Minsky and Samuel J

    Yair N. Minsky and Samuel J. Taylor,Fibered faces, veering triangulations, and the arc complex, Geom. Funct. Anal.27(2017), no. 6, 1450–1496. MR 3737367

    work page 2017

  30. [30]

    Dyn.18(2024), no

    ,Subsurface distances for hyperbolic 3-manifolds fibering over the circle, Groups Geom. Dyn.18(2024), no. 3, 963–1006. MR 4760268

    work page 2024

  31. [31]

    Knot Floer homology and fixed points

    Yi Ni,Knot Floer homology and fixed points, arXiv:2201.10546. ON FIXED POINTS OF PSEUDO-ANOSOV MAPS 49

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    J.6 (2023), no

    ,A note on knot Floer homology and fixed points of monodromy, Peking Math. J.6 (2023), no. 2, 635–643. MR 4619603

    work page 2023

  33. [33]

    7, American Mathematical Society, Providence, RI; Soci´ et´ e Math´ ematique de France, Paris, 2001, Translated from the 1996 French original by Leslie D

    Jean-Pierre Otal,The hyperbolization theorem for fibered 3-manifolds, SMF/AMS Texts and Monographs, vol. 7, American Mathematical Society, Providence, RI; Soci´ et´ e Math´ ematique de France, Paris, 2001, Translated from the 1996 French original by Leslie D. Kay. MR 1855976

    work page 2001

  34. [34]

    Math.186 (2004), no

    Peter Ozsv´ ath and Zolt´ an Szab´ o,Holomorphic disks and knot invariants, Adv. Math.186 (2004), no. 1, 58–116. MR 2065507

    work page 2004

  35. [35]

    ,Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. (2)159(2004), no. 3, 1159–1245. MR 2113020

    work page 2004

  36. [36]

    ,Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. (2)159(2004), no. 3, 1027–1158. MR 2113019

    work page 2004

  37. [37]

    Proc., vol

    ,An introduction to Heegaard Floer homology, Floer homology, gauge theory, and low- dimensional topology, Clay Math. Proc., vol. 5, Amer. Math. Soc., Providence, RI, 2006, pp. 3–27. MR 2249247

    work page 2006

  38. [38]

    Taylor,Constructing endperiodic loxodromics of infinite-type arc graphs, Math

    Priyam Patel and Samuel J. Taylor,Constructing endperiodic loxodromics of infinite-type arc graphs, Math. Z.310(2025), no. 4, Paper No. 82, 12. MR 4917177

    work page 2025

  39. [39]

    Andrew Putman,A note on the connectivity of certain complexes associated to surfaces, Enseign. Math. (2)54(2008), no. 3-4, 287–301. MR 2478089

    work page 2008

  40. [40]

    Topol.9(2005), 179–202

    Kasra Rafi,A characterization of short curves of a Teichm¨ uller geodesic, Geom. Topol.9(2005), 179–202. MR 2115672

    work page 2005

  41. [41]

    ,A combinatorial model for the Teichm¨ uller metric, Geom. Funct. Anal.17(2007), no. 3, 936–959. MR 2346280

    work page 2007

  42. [42]

    Topol.18(2014), no

    ,Hyperbolicity in Teichm¨ uller space, Geom. Topol.18(2014), no. 5, 3025–3053. MR 3285228

    work page 2014

  43. [43]

    MR 2704683

    Jacob Andrew Rasmussen,Floer homology and knot complements, ProQuest LLC, Ann Arbor, MI, 2003, Thesis (Ph.D.)–Harvard University. MR 2704683

    work page 2003

  44. [44]

    Saul Schleimer,Strongly irreducible surface automorphisms, Topology and geometry of manifolds (Athens, GA, 2001), Proc. Sympos. Pure Math., vol. 71, Amer. Math. Soc., Providence, RI, 2003, pp. 287–296. MR 2024639

    work page 2001

  45. [45]

    Taylor,Largest projections for random walks and shortest curves in random mapping tori, Math

    Alessandro Sisto and Samuel J. Taylor,Largest projections for random walks and shortest curves in random mapping tori, Math. Res. Lett.26(2019), no. 1, 293–321. MR 3963985

    work page 2019

  46. [46]

    Thurston,On the geometry and dynamics of diffeomorphisms of surfaces, Bull

    William P. Thurston,On the geometry and dynamics of diffeomorphisms of surfaces, Bull. Amer. Math. Soc. (N.S.)19(1988), no. 2, 417–431. MR 956596

    work page 1988

  47. [47]

    Vokes,Hierarchical hyperbolicity of graphs of multicurves, Algebr

    Kate M. Vokes,Hierarchical hyperbolicity of graphs of multicurves, Algebr. Geom. Topol.22 (2022), no. 1, 113–151. MR 4413817

    work page 2022

  48. [48]

    Richard C. H. Webb,Uniform bounds for bounded geodesic image theorems, J. Reine Angew. Math.709(2015), 219–228. MR 3430880 Department of Mathematics, Haverford College Email address:taougab@haverford.edu Department of Mathematics, Temple University Email address:dfuter@temple.edu Department of Mathematics, Temple University Email address:samuel.taylor@temple.edu

    work page 2015