pith. sign in

arxiv: 2607.01672 · v1 · pith:VGMFHHF6new · submitted 2026-07-02 · 🧮 math.GT

Constructing depth one laminations transverse to pseudo-Anosov flows

Junzhi Huang , Samuel J. Taylor This is my paper

Pith reviewed 2026-07-03 03:21 UTC · model grok-4.3

classification 🧮 math.GT
keywords depth one laminationspseudo-Anosov flowshomological characterizationfoliation cones3-manifoldsatoroidal manifoldstransverse surfaces
0
0 comments X

The pith

A homological condition determines when an almost transverse surface completes to a depth one lamination transverse to a pseudo-Anosov flow.

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

The paper gives a homological characterization of when a closed surface S, already almost transverse to a pseudo-Anosov flow on a closed atoroidal 3-manifold, can be completed to an almost transverse depth one lamination or foliation with S as its set of compact leaves. This test works in the first cohomology of the complement of S. When the condition holds and the relevant cone is nonempty, that cone of classes positive on the flow's closed orbits becomes a full foliation cone in the complement. A reader would care because the result turns an existence question about geometric objects into a check on algebraic positivity conditions.

Core claim

Given a pseudo-Anosov flow on a closed atoroidal 3-manifold and a closed surface almost transverse to the flow, there exists a homological characterization of when the surface can be completed to an almost transverse depth one lamination or foliation whose compact leaves are exactly that surface. As a direct consequence, the cone of cohomology classes in the complement that are positive on the closed orbits of the flow is an entire foliation cone of the complement whenever the cone is nonempty.

What carries the argument

The homological characterization in the first cohomology of the complement, which identifies precisely which classes allow the surface to extend while keeping the lamination almost transverse and of depth one.

If this is right

  • When the homological condition holds, the positive cone on closed orbits equals a foliation cone of the complement.
  • Existence of the depth one lamination is equivalent to the surface satisfying a specific positivity requirement in cohomology.
  • The cone conclusion applies directly once the initial transversality assumption is met.
  • The characterization gives an algebraic criterion that replaces direct geometric construction of the lamination.

Where Pith is reading between the lines

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

  • The result may reduce the search for certain laminations to linear programming over cohomology.
  • It could link the dynamics of pseudo-Anosov flows more tightly to the existence of taut foliations in the complement.
  • The same cone structure might appear in other settings where transversality to a flow is already given.

Load-bearing premise

The given surface must already be almost transverse to the pseudo-Anosov flow on the closed atoroidal 3-manifold.

What would settle it

Find a closed atoroidal 3-manifold, a pseudo-Anosov flow, and an almost transverse surface where the stated homological positivity condition holds but no completing depth one lamination exists, or where such a lamination exists but the homological condition fails.

Figures

Figures reproduced from arXiv: 2607.01672 by Junzhi Huang, Samuel J. Taylor.

Figure 1
Figure 1. Figure 1: Figure from [LMT25a] showing a dynamic blowup of a 3-pronged singular orbit and its transverse cross section. There is a single blowup annulus in this example. An almost pseudo-Anosov flow also has a pair of stable and unstable foliations. The two foliations are transverse except along the blowup annuli, and these annuli are contained in leaves of each foliation. If an almost pseudo-Anosov flow φ 7 is obta… view at source ↗
Figure 2
Figure 2. Figure 2: An illustration of a taut ideal tetrahedron with coorien￾tations of the faces. Tips of the truncated tetrahedron are shown in color, with two upward tips in purple and two downward tips in green. share three ideal points on their boundaries. This defines a space with an ideal triangulation τr. Since the action of π1pM0q on P preserves maximal rectangles, it induces a covering simplicial action on the geome… view at source ↗
Figure 3
Figure 3. Figure 3: Two tetrahedra rectangles sharing three ideal points on their boundaries give rise to a gluing between their tetrahedra along a face. The triangulation τ is taut in the sense of [Lac00], which means that around every edge the angles sum up to 2π. Hence, the 2-skeleton τ p2q is naturally a cooriented branched surface, branching along the edges. See [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The local branching near an edge b of τ . The two π￾angles are along the tetrahedra above and below e. no perfect fit rectangles. For a similar statement, which implies the lemma for nonsingular points, see [Tsa23, Lemma 2.13]. Lemma 2.1. Each nontrivial g P π1pMq fixes at most one point of P. Proof. First, note that P itself has no perfect fit rectangles. This was observed in [LMT25b, Section 5.3.1], but … view at source ↗
Figure 5
Figure 5. Figure 5: Correspondence between prong curves and ladders. 2.4. The dual graph and branch cycles. The dual graph Γ of the veering tri￾angulation τ can be realized as an embedded 4-valence directed graph in M˚, with the orientation on each edge determined by the coorientation of the face of τ p2q it crosses. By the combinatorics of a taut triangulation, every vertex has two incoming edges and two outgoing edges. An o… view at source ↗
Figure 6
Figure 6. Figure 6: An annulus move to remove two adjacent ladderpole com￾ponents. Figure reproduced from [LMT25b] [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The branched surface τ p2q can be embedded into the branched surface fibered neighborhood W transverse to the fibers. Collapsing the fibers in W produces τ , and collapsing rectangles in τ produces τ p2q . of the inclusion τ p2q ãÑ W, which embeds τ transverse to the fibers, together with the map W ↠ τ p2q that collapses the fibers is near the identity; see [FO84, Section 1]. Since τ p2q is transverse to t… view at source ↗
Figure 8
Figure 8. Figure 8: A possible shape of a component of Y where BY has one mixed (outer) component and one totally short (inner) component. of the ‘fiber branched surface’ in Section 4 of [Oer84]. Technically, to follow the description in these references verbatim, one should first double M˚ S˚ along B˘M˚ S˚, apply the collapsing map, then restrict back to M˚ S˚, but the end result is the same. The sectors of B1 are in bijecti… view at source ↗
Figure 9
Figure 9. Figure 9: Constructing B and B1 in M˚ S˚. This is a local picture in W with the I-fibers drawn in darker gray. The flow direction is upward. The carried surface S˚ is blue, WI is shaded green, and B1 is red on the left. The right figure indicates the modification of WI (see Theorem 3.1) and the construction of B Ă M˚zzS˚ from B1 , with B drawn in red. We next modify B1 to obtain a branched surface that is properly e… view at source ↗
Figure 10
Figure 10. Figure 10: A sequence of tetrahedra rectangles that corresponds to a branch cycle. Corollary 4.3. Each directed cycle of ΓzzS is homotopic in MzzS to a closed orbit of φ, and each closed orbit of φ in MzzS is homotopic in MzzS to a directed cycle of ΓzzS. In particular, the class i ˚η is nonnegative on directed cycles of ΓzzS. Proof. As before, we set N “ MzzS. Let γ be a directed cycle of ΓzzS. First, assume that a… view at source ↗
Figure 11
Figure 11. Figure 11: Two possible ways in which ˚Σ2 (in blue) can intersect a boundary annulus A (in orange) of C. First, this is true for each individual A because ˚Σ2 is embedded. If A X BΣ2 is a collection of arcs, then the arcs are carried by τω|A and therefore have the same coorientation (see [PITH_FULL_IMAGE:figures/full_fig_p021_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Steps for determining the blowup and extending ˚Σ2 [PITH_FULL_IMAGE:figures/full_fig_p022_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Extending ˚Σ2 using a meridian disk of C. The result is capping off the bounday on thick annuli (red) and producing vertical boundary on thin annuli (blue). Step 4. After finishing Steps 1-3, we obtained a surface ˚Σ3 embedded in N with the relative boundary B˚Σ3∖BN coming from both Step 2 and Step 3. We recall that any relative boundary component coming from Step 2 is a fiber on BUωzzS connecting S ` and… view at source ↗
Figure 14
Figure 14. Figure 14: Adding disks to Y to obtain Y ` the sign of a point q is positive if the coorientation of q matches with the boundary orientation on BY `, and is negative otherwise. After embedding Y ` in NI as a cross section, we have BY ` Ď M˚ S˚. By Theo￾rem 4.4 and the construction, rQs represents the restriction of η on BY `. Therefore, we can find a cooriented arc system Ξ in Y ` with BΞ “ Q and with compatible coo… view at source ↗
read the original abstract

Given a pseudo-Anosov flow $\phi$ on a closed atoroidal $3$--manifold $M$ and a closed surface $S$ almost transverse to $\phi$, we give a homological characterization of when $S$ can be completed to an almost transverse depth one lamination or foliation whose set of compact leaves is $S$. As a consequence, we show that the cone of classes in $H^1(M\backslash \!\! \backslash S)$ that are positive on the closed orbits of $\phi$, when nonempty, is an entire foliation cone of $M\backslash \!\! \backslash S$.

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

0 major / 2 minor

Summary. The manuscript gives a homological characterization, under the standing hypothesis that a closed surface S is already almost transverse to a pseudo-Anosov flow φ on a closed atoroidal 3-manifold M, of the condition under which S can be completed to an almost transverse depth-one lamination (or foliation) whose compact leaves are precisely S. As a corollary it shows that, when nonempty, the cone of classes in H¹(M ackslashackslash S) that are positive on the closed orbits of φ coincides with an entire foliation cone of M ackslashackslash S.

Significance. The result supplies an explicit homological test for the existence of depth-one laminations transverse to a given pseudo-Anosov flow and identifies a natural cone in the cohomology of the complement as a foliation cone. If the proofs are correct, this supplies a practical criterion that may be used in the study of taut foliations, lamination theory, and the dynamics of pseudo-Anosov flows on atoroidal 3-manifolds.

minor comments (2)
  1. The notation M \backslash\!\!\backslash S appears in the abstract and should be defined once in the introduction or in a preliminary section; the double backslash is nonstandard and risks confusion with ordinary complement notation.
  2. The statement of the main theorem (presumably Theorem A or the result in §3) should explicitly restate the standing hypothesis that S is almost transverse to φ, so that the theorem is self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive summary, and recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity detected; result is conditional on external transversality hypothesis

full rationale

The paper states a homological characterization of when a given almost transverse surface S can be completed to a depth-one lamination, together with a corollary about foliation cones. Both claims are explicitly conditioned on the hypothesis that S is already almost transverse to the pseudo-Anosov flow on a closed atoroidal 3-manifold. No equations, self-citations, fitted parameters, or ansatzes appear in the provided abstract or description that would reduce the claimed characterization or corollary to the input data by construction. The derivation chain is therefore self-contained against the stated assumptions and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the given information.

pith-pipeline@v0.9.1-grok · 5629 in / 1157 out tokens · 25416 ms · 2026-07-03T03:21:05.800799+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages

  1. [1]

    Pseudo-Anosov flows: a plane approach, arXiv:2509.15375

    Thomas Barthelm \'e and Kathryn Mann. Pseudo-Anosov flows: a plane approach . arXiv preprint arXiv:2509.15375 , 2025

    work page arXiv 2025

  2. [2]

    Surfaces of section for expansive flows on three-manifolds

    Marco Brunella. Surfaces of section for expansive flows on three-manifolds. Journal of the Mathematical Society of Japan , 47(3):491--501, 1995

    1995

  3. [3]

    Foliation cones

    John Cantwell and Lawrence Conlon. Foliation cones. Geometry and Topology Monographs , 2:35--86, 1999

    1999

  4. [4]

    Cones of foliations almost without holonomy

    John Cantwell and Lawrence Conlon. Cones of foliations almost without holonomy. Advanced Studies in Pure Mathematics 72, 2017 , Geometry, Dynamics, and Foliations:301--348, 2013

    2017

  5. [5]

    Hyperbolic geometry and homotopic homeomorphisms of surfaces

    John Cantwell and Lawrence Conlon. Hyperbolic geometry and homotopic homeomorphisms of surfaces. Geometriae Dedicata , 177:27--42, 2013

    2013

  6. [6]

    John Cantwell, Lawrence Conlon, and Sergio R. Fenley. Endperiodic automorphisms of surfaces and foliations. Ergodic Theory and Dynamical Systems , pages 66--219, 2019

    2019

  7. [7]

    End-periodic homeomorphisms and volumes of mapping tori

    Elizabeth Field, Heejoung Kim, Christopher Leininger, and Marissa Loving. End-periodic homeomorphisms and volumes of mapping tori. Journal of Topology , 16(1):57--105, 2023

    2023

  8. [8]

    Fenley and Lee Mosher

    S \'e rgio R. Fenley and Lee Mosher. Quasigeodesic flows in hyperbolic 3-manifolds. Topology , 40(3):503--537, 2001

    2001

  9. [9]

    Incompressible surfaces via branched surfaces

    William Floyd and Ulrich Oertel. Incompressible surfaces via branched surfaces. Topology , 23(1):117--125, 1984

    1984

  10. [10]

    Transitive A nosov flows and pseudo- A nosov maps

    David Fried. Transitive A nosov flows and pseudo- A nosov maps. Topology , 22(3):299--303, 1983

    1983

  11. [11]

    3 - M anifolds , volume No

    John Hempel. 3 - M anifolds , volume No. 86 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1976

    1976

  12. [12]

    Junzhi Huang and Samuel J. Taylor. Pseudo-Anosov flows, hyperbolic geometry, and the curve graph , 2026. arXiv preprint arXiv:2602.11595

    work page arXiv 2026

  13. [13]

    Taut ideal triangulations of 3--manifolds

    Marc Lackenby. Taut ideal triangulations of 3--manifolds. Geom. Topol. , 4(1):369--395, 2000

    2000

  14. [14]

    Michael P. Landry. Veering triangulations and the T hurston norm: homology to isotopy. Advances in Mathematics , 396:108102, 2022

    2022

  15. [15]

    Michael P. Landry. Stable loops and almost transverse surfaces. Groups Geom. Dyn. , 17(1):35--75, 2023

    2023

  16. [16]

    Landry, Yair N

    Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. Flows, growth rates, and the veering polynomial. Ergodic Theory and Dynamical Systems , 43(9):3026--3107, 2023

    2023

  17. [17]

    Landry, Yair N

    Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. A polynomial invariant for veering triangulations. Journal of the European Mathematical Society , 6(2):731--788, 2024

    2024

  18. [18]

    Landry, Yair N

    Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. Endperiodic maps via pseudo- A nosov flows. Geom. Topol., to appear , 2025

    2025

  19. [19]

    Transverse surfaces and pseudo-Anosov flows

    Michael P Landry, Yair N Minsky, and Samuel J Taylor. Transverse surfaces and pseudo-Anosov flows . Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , (0), 2025

    2025

  20. [20]

    Landry, Yair N

    Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor. Simultaneous universal circles. J. Topol. , to appear, 2025

    2025

  21. [21]

    Correction to ` E quivariant spectral decomposition for flows with a Z -action'

    Lee Mosher. Correction to ` E quivariant spectral decomposition for flows with a Z -action'. Ergodic Theory and Dynamical Systems , 10(4):787--791, 1990

    1990

  22. [22]

    Dynamical systems and the homology norm of a 3 -manifold I : efficient intersection of surfaces and flows

    Lee Mosher. Dynamical systems and the homology norm of a 3 -manifold I : efficient intersection of surfaces and flows. Duke Math. J. , 65(3):449--500, 03 1992

    1992

  23. [23]

    Dynamical systems and the homology norm of a 3-manifold II

    Lee Mosher. Dynamical systems and the homology norm of a 3-manifold II . Invent. Math. , 107(1):243--281, 1992

    1992

  24. [24]

    Incompressible branched surfaces

    Ulrich Oertel. Incompressible branched surfaces. Inventiones mathematicae , 76(3):385--410, 1984

    1984

  25. [25]

    Homology branched surfaces: T hurston's norm on H _2 ( M ^3)

    Ulrich Oertel. Homology branched surfaces: T hurston's norm on H _2 ( M ^3) . Low-dimensional topology and Kleinian groups , pages 253--272, 1986

    1986

  26. [26]

    A norm for the homology of 3-manifolds

    William P Thurston. A norm for the homology of 3-manifolds. Mem. Amer. Math. Soc. , 59(339):99--130, 1986

    1986

  27. [27]

    Constructing B irkhoff sections for pseudo- A nosov flows with controlled complexity

    Chi Cheuk Tsang. Constructing B irkhoff sections for pseudo- A nosov flows with controlled complexity. Ergodic Theory and Dynamical Systems , pages 1--53, 2023

    2023