pith. sign in

arxiv: 2303.14525 · v3 · submitted 2023-03-25 · 🧮 math.GT · math.DG· math.DS

Transverse minimal foliations on unit tangent bundles and applications

Sergio R. Fenley , Rafael Potrie This is my paper

Pith reviewed 2026-05-24 09:23 UTC · model grok-4.3

classification 🧮 math.GT math.DGmath.DS
keywords minimal foliationstransverse foliationsunit tangent bundlesAnosov foliationsReeb surfacespartially hyperbolic diffeomorphismsergodicity
0
0 comments X

The pith

Two transverse minimal foliations on the unit tangent bundle of a surface either intersect in an Anosov foliation or contain a Reeb surface.

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

The paper proves a dichotomy theorem for pairs of transverse minimal foliations on the unit tangent bundle M of a surface. Either the foliations produce an Anosov foliation through their intersection or a Reeb surface appears in that intersection. A sympathetic reader would care because this rules out Reeb surfaces in partially hyperbolic contexts, allowing the conclusion that certain partially hyperbolic diffeomorphisms are collapsed Anosov flows. It further shows that all volume-preserving partially hyperbolic diffeomorphisms on these bundles are ergodic.

Core claim

If F1 and F2 are two transverse minimal foliations on M = T^1S then either they intersect in an Anosov foliation or there exists a Reeb-surface in the intersection foliation. The existence of a Reeb surface is incompatible with partially hyperbolic foliations so certain partially hyperbolic diffeomorphisms in unit tangent bundles are collapsed Anosov flows. Every volume preserving partially hyperbolic diffeomorphism of a unit tangent bundle is ergodic.

What carries the argument

The intersection foliation formed by two transverse minimal foliations on the unit tangent bundle, which must be either Anosov or contain a Reeb surface.

If this is right

  • Certain partially hyperbolic diffeomorphisms on unit tangent bundles must be collapsed Anosov flows.
  • Every volume preserving partially hyperbolic diffeomorphism on a unit tangent bundle is ergodic.
  • Reeb surfaces are incompatible with partially hyperbolic foliations on these manifolds.

Where Pith is reading between the lines

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

  • This dichotomy may help classify all minimal foliations on 3-manifolds that arise as unit tangent bundles.
  • Partially hyperbolic systems on these spaces are more rigid than previously known.

Load-bearing premise

That a Reeb surface cannot exist within a partially hyperbolic foliation.

What would settle it

Construction of two transverse minimal foliations on some unit tangent bundle whose intersection is neither an Anosov foliation nor contains a Reeb surface, or a non-ergodic volume-preserving partially hyperbolic diffeomorphism on such a bundle.

Figures

Figures reproduced from arXiv: 2303.14525 by Rafael Potrie, Sergio R. Fenley.

Figure 1
Figure 1. Figure 1: A Reeb surface and its lift to the universal cover. We remark that minimality is definitely necessary as one can easily obtain coun￾terexamples by blowing up weak stable and weak unstable foliations of Anosov flows. We also remark that as a step towards showing this result, we obtain that in general the leaves of the one-dimensional subfoliation land in their corresponding leaves in the universal cover, me… view at source ↗
Figure 2
Figure 2. Figure 2: The set DεpIq for I “ rξ, ηs is the complement of the union of H`pℓq and BC pℓq. If ε is very small, than C is very large. We can parametrize leaves of Fp ws by BH2 as these are of the form H2 ˆ tξu with ξ P BH2 . We denote by Lξ “ H2 ˆ tξu. We call ξ the non-marker point of Lξ and denote this as αpLξq “ ξ. Given ε ą 0 and an interval I Ă BH2 we define the set (see figure 2) [PITH_FULL_IMAGE:figures/full_… view at source ↗
Figure 3
Figure 3. Figure 3: The limit set of r1 is the interval I1 with endpoints a, b. g1, g2 are geodesic rays with ideal points in the interior of I1. The segments vn are segments in r1 which limit to ra, bs. The points zk are in r2 and have to connect outside the vn to one of g1 or g2 in Dnk . So the intersections with (say) g1 limit to an arbitrary point in the interior of I1. We refer to [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: An example where the negative ray of c lands and the positive ray of c accumulates in an interval which is not a point. compact connected and non empty subsets of BH2 . (See figure 4.) Now we define a fundamental property to be analyzed in this article: Definition 3.3. Given c P Gp we say that the positive ray lands (resp. the negative ray lands) if B `Φpcq is a point (resp B ´Φpcq is a point). For notatio… view at source ↗
Figure 5
Figure 5. Figure 5: Intersection in more than one connected component forces non￾Hausdorff leaf space of the induced one dimensional foliation. Proof. Assume first that LXE is not connected, therefore, there are leaves c1, c2 P GL which belong to E. Assume that the leaf space LL of GL is Hausdorff, this means that there exists a transversal to GL joining c1 and c2. This transversal is a transversal to FĂ2 intersecting E twice… view at source ↗
Figure 6
Figure 6. Figure 6: A depiction of the objects in the proof of Lemma 4.9. In addition Lemma 4.4, applied to F2, implies that αpEtq is contained in It . For small t ą 0, αpEtq is contained in the interior of I. Notice that αpEtq varies continuously with t. We fix some small t0 ą 0. Now fix a t1 with 0 ă t1 ă t0 and so that Et1 is invariant under some deck transformation γ which has a fixed point outside I (such leaves are dens… view at source ↗
Figure 7
Figure 7. Figure 7: A depiction of part of the argument of the proof of Theorem 4.1. Recall that c ` 0 is a ray which lands in αpLq. All of the following arguments will be in the fixed leaf L. Let Dt be the component of L ´ ct which does not contain c0 “ c, in particular Dt is an open set in L which has boundary (in L) equal to ct . Notice that if s ą t ą 0, then Ds Ă Dt , and in particular that cs is contained in Dt . Wherea… view at source ↗
Figure 8
Figure 8. Figure 8: A depiction of the cases that τ ptq, αptq cross. In (a) we depict the case that the limit set of c ´ t is It, in (b) the case that the limit set is Jt. For simplicity of viewing we depict BH2 in a line segment, concentrating on what is happening near αpLq. The remaining case is that for any t ą 0, then BΦLpc ´ t q “ Jt . We could have considered also t ă 0, and the remaining case is that also BΦLpc ´ t q “… view at source ↗
Figure 9
Figure 9. Figure 9: The shadow of a set from a point x P L is the set of points in S 1 pLq blocked by this set. To have small visual measure means that if an arc of GL is very far from x then its shadow has to be very small (independently of its length). Before we proceed with the proof let us explore some of its consequences. In [FP3, Lemma 5.9] the following is proved. We include a short proof for completeness. Proposition … view at source ↗
Figure 10
Figure 10. Figure 10: Depiction of a leaf L so that every leaf of GL is a bubble leaf. The painted regions are the closed bubble regions and their complement is the open bubble region. From now on in this lemma, assume that every leaf of GL belongs to some bubble region. If there is a unique bubble region, then it is an open bubble region since there cannot be a maximal element. We next prove that not every bubble is closed. L… view at source ↗
Figure 11
Figure 11. Figure 11: If no ray lands in αpLq the leaf space cannot be Hausdorff. D` c , γpD` c q, γ2 pD` c q are pairwise disjoint. It now follows that c, γ2 c cannot intersect a common transversal. (See figure 11.) □ 6.2. Construction of the Anosov foliation. To complete the proof that the foliation G is an Anosov foliation we need to show that for every L P Fr i and ξ P BH2 ztαpLqu there is a leaf c P GL such that BΦpcq “ t… view at source ↗
Figure 12
Figure 12. Figure 12: The intersection of the transverse tori with the weak stable and weak unstable of the geodesic flow. ‚ there are exactly two cylinder leaves S1, S2 of S and U1, U2 of U and corre￾spond to the periodic orbits of the flow in Tℓ , ‚ each leaf S P SztS1, S2u intersects either U1 or U2 in two connected compo￾nents which are infinite lines and bound a Reeb band. ‚ each leaf U P SztU1, U2u intersects either S1 o… view at source ↗
Figure 13
Figure 13. Figure 13: The horizontal lines represent the cylinders U1 and U2 (and their translations up by deck transformations) and the red curves represent the cylinders S1 and S2 (and their translations up by deck transformations). The figure depicts how the leaves intersect and each intersection corresponds to a circle in the leaf. la [PITH_FULL_IMAGE:figures/full_fig_p036_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: In the left one can see the lift of one of the cylinders (U2) and the intersected foliation lifted to this cover. In the right one sees the same for the other cylinder (U1). Tℓ ˆ r0, 1s. This lift has the property that it intersects every leaf in some regions which are bounded by two curves at bounded distance and landing at given points of BH2 independent of the leaf L. ‚ Inside each of the regions of in… view at source ↗
Figure 15
Figure 15. Figure 15: Diagram on how the cylinders of each foliation can intersect in order to obtain a pair of non-uniformly equivalent foliations intersecting transversally [PITH_FULL_IMAGE:figures/full_fig_p037_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: In the left a diagram of the foliations in the cylinder leaves when crossing the tori. In the right, a depiction of the foliation interpolating both foliations of a leaf that accumulates in both cylinders in the different directions. instance figure 14 for a depiction of the leaves in some specific examples). However, it is always the case that in these regions there is a pair of non￾separated leaves at b… view at source ↗
Figure 17
Figure 17. Figure 17: The interior of a non-Hausdorff bigon may not be trivially foliated if it is not γ-invariant for some γ P π1pMq. We note that existence of a Reeb surface is equivalent to having a non-Hausdorff bigon invariant under some deck transformation γ ‰ id. Here we show [PITH_FULL_IMAGE:figures/full_fig_p038_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Forbiden returns of a good half region according to Lemma 8.5. Then, γL cannot intersect the interior of V. Proof. We assume by contradiction that γL intersects the interior of V. Let L 1 be the fixed point by γ in I1 and similarly E1 the fixed point of γ in I2. Note that since γ is atracting on I1 then either L 1 “ L or L 1 belongs to the same connected component of I1ztLu as γL and since γ is expanding … view at source ↗
Figure 19
Figure 19. Figure 19: The ideal points of a non-Hausdorff bigon B. In this section we will make the following abuses of notation for simplicity: ‚ If L P Fr i and ℓ P GL when we say that points or sets are separated by ℓ in L (or in different connected components of Lzℓ), we may include points that are in LYS 1 pLq where S 1 pLq is the circle compactification that identifies via Φ with BH2 . So, we will for instance say that a… view at source ↗
Figure 20
Figure 20. Figure 20: How do the non-marker points move on the other foliation as one considers the leaf associated to a transversal of GL. 9.2. Creating new bigons. As one can see in the examples of [MatTs] it is possible that some bigons do not have continuations beyond one half interval of the leaf space. Thus, to show that there are bigons in every leaf, we need to construct new bigons (i.e. which do not come from varying … view at source ↗
read the original abstract

We show that if $\mathcal{F}_1$ and $\mathcal{F}_2$ are two transverse minimal foliations on $M = T^1S$ then either they intersect in an Anosov foliation or there exists a Reeb-surface in the intersection foliation. The existence of a Reeb surface is incompatible with partially hyperbolic foliations so we deduce from this that certain partially hyperbolic diffeomorphisms in unit tangent bundles are collapsed Anosov flows. We also conclude that every volume preserving partially hyperbolic diffeomorphism of a unit tangent bundle is ergodic.

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 proves that if F1 and F2 are transverse minimal foliations on the unit tangent bundle M = T^1 S of a closed surface S, then their intersection foliation is either Anosov or contains a Reeb surface. The proof proceeds by case analysis of leaf intersections and recurrence under the minimality assumption. This dichotomy is then applied to show that the existence of a Reeb surface is incompatible with partial hyperbolicity (via violation of the cone criterion or dominated splitting), implying that certain partially hyperbolic diffeomorphisms on these bundles are collapsed Anosov flows. As a corollary, every volume-preserving partially hyperbolic diffeomorphism of a unit tangent bundle is ergodic.

Significance. If the dichotomy holds, the result supplies a structural classification of intersections of minimal foliations on 3-manifolds that directly yields new ergodicity theorems for partially hyperbolic systems. The exhaustion of cases via recurrence properties and the explicit verification that Reeb surfaces obstruct the cone-field criterion for partial hyperbolicity are strengths that make the applications to collapsed Anosov flows and ergodicity falsifiable and checkable within the manuscript's scope.

minor comments (2)
  1. [§1] The statement of the main dichotomy (abstract and §1) would benefit from an explicit reminder that minimality of both foliations is used to guarantee that every leaf is dense, which is invoked in the recurrence arguments.
  2. Notation for the intersection foliation (denoted variously as F1 ∩ F2 or the 1-dimensional foliation generated by the transverse pair) should be fixed consistently in the statements of Theorems A and B.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript proves a dichotomy theorem for intersections of two transverse minimal foliations on the unit tangent bundle via exhaustive case analysis of leaf intersections, recurrence, and minimality. It then verifies incompatibility of Reeb surfaces with partial hyperbolicity using the cone criterion and dominated splitting. No quoted steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the chain from dichotomy to applications on collapsed Anosov flows and ergodicity is independent and relies on external foliation theory without internal reduction.

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 extracted from the full manuscript.

pith-pipeline@v0.9.0 · 5617 in / 1091 out tokens · 45678 ms · 2026-05-24T09:23:50.203952+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

31 extracted references · 31 canonical work pages · 1 internal anchor

  1. [1]

    Barbot, S

    T. Barbot, S. Fenley, Orbital equivalence classes of finite coverings of geodesic flows, arXiv:2205.02495

    work page arXiv

  2. [2]

    Barthelm\'e, S

    T. Barthelm\'e, S. Fenley, S. Frankel, R. Potrie, Partially hyperbolic diffeomorphisms homotopic to identity in dimension 3, Part I: The dynamically coherent case, to appear in Ann. Sci. ENS

    work page

  3. [3]

    Barthelm\'e, S

    T. Barthelm\'e, S. Fenley, S. Frankel, R. Potrie, Partially hyperbolic diffeomorphisms homotopic to identity in dimension 3, Part II: Branching foliations. to appear in Geom. Top

    work page

  4. [4]

    Barthel\'e, S

    T. Barthel\'e, S. Fenley, S. Frankel, R. Potrie, Dynamical incoherence for a large class of partially hyperbolic diffeomorphisms. Ergodic Theory and Dyn. Sys. 41 (2021), no. 11, 3227--3243

    work page 2021

  5. [5]

    Barthelm\'e, S

    T. Barthelm\'e, S. Fenley, R. Potrie, Collapsed Anosov flows and self orbit equivalences, to appear in Commentarii Math. Helv

    work page

  6. [6]

    Bonatti, J

    C. Bonatti, J. Bowden, R. Potrie, Some remarks on projectively Anosov flows in hyperbolic 3-manifolds. 2018 MATRIX annals, 359?369, MATRIX Book Ser., 3, Springer, Cham, (2020)

    work page 2018

  7. [7]

    Bonatti, A

    C. Bonatti, A. Gogolev, R. Potrie, Anomalous partially hyperbolic diffeomorphisms II: stably ergodic examples. Invent. Math. 206 (2016), no. 3, 801--836

    work page 2016

  8. [8]

    Bonatti, A

    C. Bonatti, A. Gogolev, A. Hammerlindl, R. Potrie, Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherence. Geom.Topol. 24 4 (2020) 1751--1790

    work page 2020

  9. [9]

    Bonatti, A

    C. Bonatti, A. Wilkinson, Transitive partially hyperbolic diffeomorphisms on 3-manifolds, Topology 44 (2005), no. 3, 475--508

    work page 2005

  10. [10]

    Boyer, Y

    S. Boyer, Y. Hu, Taut foliations in branched cyclic covers and left orderable groups, Transactions of the AMS 372 11 (2019) 7921--7957

    work page 2019

  11. [11]

    Bridson, A

    M. Bridson, A. Haefliger, Metric spaces of non-positive curvature. Grundlehren der mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences), 319. Springer-Verlag, Berlin, 1999. xxii+643 pp

    work page 1999

  12. [12]

    Brittenham, Essential laminations in Seifert fibered spaces, Topology, 32 (1993) 61--85

    M. Brittenham, Essential laminations in Seifert fibered spaces, Topology, 32 (1993) 61--85

    work page 1993

  13. [13]

    Burago, S

    D. Burago, S. Ivanov, Partially hyperbolic diffeomorphisms of 3-manifolds with abelian fundamental groups. J. Mod. Dyn. 2 (2008), no. 4, 541--580

    work page 2008

  14. [14]

    Calegari, Foliations and the Geometry of 3-Manifolds, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2007

    D. Calegari, Foliations and the Geometry of 3-Manifolds, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2007

    work page 2007

  15. [15]

    Fenley, Anosov flows in 3-manifolds

    S. Fenley, Anosov flows in 3-manifolds. Ann. of Math. (2) 139 (1994), no. 1, 79--115

    work page 1994

  16. [16]

    Fenley, Foliations, topology and geometry of 3 -manifolds: R -covered foliations and transverse pseudo-Anosov flows

    S. Fenley, Foliations, topology and geometry of 3 -manifolds: R -covered foliations and transverse pseudo-Anosov flows. Comm. Math. Helv. 77 (2002), no. 3, 415-490

    work page 2002

  17. [17]

    Fenley, R

    S. Fenley, R. Potrie, Minimality of the action on the universal circle of uniform foliations, Groups, Geometry and Dynamics 15 (2021), no. 4, 1489--1521

    work page 2021

  18. [18]

    Fenley, R

    S. Fenley, R. Potrie, Ergodicity of partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds, Adv. Math. 401 (2022), Paper No. 108315, 45 pp

    work page 2022

  19. [19]

    Fenley, R

    S. Fenley, R. Potrie, Partial hyperbolicity and pseudo-Anosov dynamics, arXiv:2102.02156

    work page arXiv

  20. [20]

    Fenley, R

    S. Fenley, R. Potrie, Accessibility and ergodicity for collapsed Anosov flows, arXiv:2103.14630

    work page arXiv

  21. [21]

    Fenley, R

    S. Fenley, R. Potrie, Transverse foliations with leafwise quasigeodesic intersection, in preparation

    work page

  22. [22]

    Ghys, Flots d'Anosov sur les 3-vari\'et\'es fibr\'ees en cercles, Ergodic Theory Dynam

    E. Ghys, Flots d'Anosov sur les 3-vari\'et\'es fibr\'ees en cercles, Ergodic Theory Dynam. Systems 4 (1984), no. 1, 67--80

    work page 1984

  23. [23]

    Hammerlindl, R

    A. Hammerlindl, R. Potrie, M. Shannon, Seifert manifolds admitting partially hyperbolic diffeomorphisms. J. Mod. Dyn. 12 (2018) 193--222

    work page 2018

  24. [24]

    Inaba and S

    T. Inaba and S. Matsumoto, Nonsingular expansive flows on 3-manifolds and foliations with circle prong singularities, Japan. J. Math. (N.S.) 16 (1990), no. 2, 329--340

    work page 1990

  25. [25]

    Levitt, Foliations and laminations on hyperbolic surfaces, Topology 22 2 (1983) pp

    G. Levitt, Foliations and laminations on hyperbolic surfaces, Topology 22 2 (1983) pp. 119--135

    work page 1983

  26. [26]

    Martinchich, Global stability of discretized Anosov flows, to appear in J

    S. Martinchich, Global stability of discretized Anosov flows, to appear in J. Mod. Dyn. arXiv:2204.03825

    work page arXiv

  27. [27]

    Matsumoto, Some remarks on foliated S^1 -bundles, Invent

    S. Matsumoto, Some remarks on foliated S^1 -bundles, Invent. Math. 90 (1987), no. 2, 343--358

    work page 1987

  28. [28]

    Matsumoto, T

    S. Matsumoto, T. Tsuboi, Transverse intersections of foliations in three manifolds, Monographie de l'Enseignement Math\'ematique 38 (2001) 503--525

    work page 2001

  29. [29]

    Moise, Geometric topology in dimensions 2 and 3, Springer Verlag, New York (1977)

    E. Moise, Geometric topology in dimensions 2 and 3, Springer Verlag, New York (1977)

    work page 1977

  30. [30]

    Paternain, Expansive flows and the fundamental group, Bol

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

    work page 1993

  31. [31]

    Three-manifolds, Foliations and Circles, I

    W. Thurston, Three manifolds, foliations and circles, I, arXiv:math/9712268

    work page internal anchor Pith review Pith/arXiv arXiv