pith. sign in

arxiv: 1907.04755 · v1 · pith:4EGGD7UDnew · submitted 2019-07-10 · 🧮 math.DS

Ergodicity and partial hyperbolicity on Seifert manifolds

Andy Hammerlindl , Jana Rodriguez Hertz , Raul Ures This is my paper

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

classification 🧮 math.DS
keywords ergodicitypartial hyperbolicitySeifert manifoldsdiffeomorphisms3-manifoldsvolume-preserving mapsdynamical systems
0
0 comments X

The pith

Conservative partially hyperbolic diffeomorphisms isotopic to the identity on Seifert 3-manifolds are ergodic.

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

The paper proves that any volume-preserving partially hyperbolic diffeomorphism on a Seifert 3-manifold that can be continuously deformed to the identity map must be ergodic. This means the dynamics admit no invariant measurable sets whose volume is positive yet strictly less than the total volume. Ergodicity implies that time averages equal space averages for almost every starting point, a strong form of statistical regularity. The result applies to a broad family of 3-manifolds that includes the 3-sphere and many circle bundles over surfaces. The isotopy-to-identity condition is essential to the argument and limits the maps under consideration.

Core claim

We show that conservative partially hyperbolic diffeomorphisms isotopic to the identity on Seifert 3-manifolds are ergodic.

What carries the argument

The combination of volume preservation (conservativeness), partial hyperbolicity, and isotopy to the identity on a Seifert 3-manifold, which together force the absence of non-trivial invariant sets.

If this is right

  • Such maps have no invariant measurable sets of intermediate volume.
  • Time averages of continuous observables coincide with space averages for almost every orbit.
  • The conclusion applies uniformly to all Seifert 3-manifolds, including the 3-sphere and lens spaces.
  • The isotopy condition restricts the possible homotopy classes of the maps that satisfy the ergodicity conclusion.

Where Pith is reading between the lines

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

  • The same structural hypotheses might be used to obtain ergodicity on other classes of 3-manifolds that admit circle foliations.
  • Relaxing the isotopy-to-identity assumption could produce examples that fail to be ergodic, clarifying the necessity of that condition.
  • The result suggests that partial hyperbolicity plus volume preservation may be sufficient for ergodicity once the topology of the manifold is suitably restricted.

Load-bearing premise

The diffeomorphism must be volume-preserving, partially hyperbolic, and isotopic to the identity on a Seifert manifold.

What would settle it

An explicit construction of a conservative partially hyperbolic diffeomorphism on a Seifert 3-manifold that is isotopic to the identity yet possesses a non-trivial invariant set of positive but incomplete measure.

read the original abstract

We show that conservative partially hyperbolic diffeomorphism isotopic to the identity on Seifert 3-manifolds are 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 / 1 minor

Summary. The manuscript claims to prove that any conservative (volume-preserving) partially hyperbolic diffeomorphism isotopic to the identity on a Seifert 3-manifold is ergodic, by reducing the dynamics to the geometry of the Seifert fibration and controlling the disintegration of the invariant measure along fibers and base using partial hyperbolicity.

Significance. If the result holds, it would extend the known ergodicity results for partially hyperbolic systems from tori and other special 3-manifolds to the broader class of Seifert manifolds, providing a structural theorem under the three explicit hypotheses (conservativeness, partial hyperbolicity, isotopy to the identity). The approach via fibration geometry offers a concrete method that could apply to related questions in 3-manifold dynamics.

minor comments (1)
  1. The abstract states the main theorem but the provided text does not include the detailed proof steps, error estimates, or verification of the disintegration argument, making independent assessment of the derivation difficult.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing its potential significance in extending ergodicity results for partially hyperbolic diffeomorphisms to Seifert 3-manifolds. The recommendation of 'uncertain' is noted, and we provide the following responses to the report as presented.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a theorem that conservative partially hyperbolic diffeomorphisms isotopic to the identity on Seifert 3-manifolds are ergodic. This is a direct mathematical proof deriving the conclusion from the given structural hypotheses (volume preservation, partial hyperbolicity, isotopy to identity) and the geometry of the Seifert fibration, using disintegration of measures along fibers. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the argument is self-contained against external dynamical systems results and does not rename known patterns or smuggle ansatzes via prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard definitions of Seifert manifolds, partial hyperbolicity, conservativeness, and isotopy to the identity, together with whatever background theorems in 3-manifold dynamics are invoked in the proof.

axioms (2)
  • domain assumption Seifert 3-manifolds admit the standard circle-bundle structure and associated foliations used in partial hyperbolicity arguments
    The result is stated specifically for this class of manifolds, so their topological properties are presupposed.
  • standard math Partial hyperbolicity and conservativeness are defined via the usual splitting of the tangent bundle and volume preservation
    These are the standard definitions in the field.

pith-pipeline@v0.9.0 · 5530 in / 1222 out tokens · 17600 ms · 2026-05-24T23:19:23.175717+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    Theorem 1.1. Let f : M → M be a C2 conservative partially hyperbolic diffeomorphism on a 3-dimensional Seifert manifold M such that f is isotopic to the identity. Then, f is accessible, hence ergodic.

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

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

  1. [1]

    $C^1$ density of stable ergodicity

    A. Avila, S. Crovisier, and A. Wilkinson, C 1 density of stable ergodicity , arXiv:1709.04983, 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  2. [2]

    Partially hyperbolic diffeomorphisms homotopic to the identity on 3-manifolds

    T . Barthelmé, S. Fenley, S. Frankel, R. Potrie, Partially hyperbolic diffeomor- phisms homotopic to identity in dimension 3 , In Preparation (announcement in arXiv:1801.00214)

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    Bonatti, A

    C. Bonatti, A. Gogolev, A. Hammerlindl, R. Potrie, Anomolous partially hyperbolic systems III: abundance and incoherence, preprint, 2017, arXiv:1706.04962

    work page arXiv 2017

  4. [4]

    Bonatti, L

    C. Bonatti, L. Díaz, and R. Ures, Minimality of strong stable and unstable folia- tions for partially hyperbolic diffeomorphisms , J. Inst. Math. Jussieu, Vol. 1, 513– 541, 2002

    work page 2002

  5. [5]

    Bonatti, and A

    C. Bonatti, and A. Wilkinson, Transitive partially hyperbolic diffeomorphisms on 3- manifolds. Topology, vol. 44, 475-508, 2005

    work page 2005

  6. [6]

    M. Brin, D. Burago, S. Ivanov, On partially hyperbolic diffeomorphisms of 3- manifolds with commutative fundamental group, Modern Dynamical Systems and Applications, B. Hasselblatt, M. Brin and Y. Pesin, eds, Cambridge Univ. Press, New York (2004), 307–312

    work page 2004

  7. [7]

    Brin, and Y

    M. Brin, and Y. Pesin, Partially hyperbolic dynamical systems. Izv. Akad. Nauk SSSR Ser. Mat., Vol. 38, 170–212, 1974

    work page 1974

  8. [8]

    Brittenham, Essential laminations in Seifert fibered spaces, Topology, Vol

    M. Brittenham, Essential laminations in Seifert fibered spaces, Topology, Vol. 32, 61–85, 1993

    work page 1993

  9. [9]

    Brunella, Expansive flows on Seifert manifolds and on torus bundles , Bol

    M. Brunella, Expansive flows on Seifert manifolds and on torus bundles , Bol. Soc. Bras. Mat., Vol. 24, 89–104, 1993

    work page 1993

  10. [10]

    Burns and A

    K. Burns and A. Wilkinson, On the ergodicity of partially hyperbolic systems, Ann. of Math., Vol. 140, 295–329, 1994

    work page 1994

  11. [11]

    Carrasco, F

    P . Carrasco, F . Rodriguez Hertz, J. Rodriguez Hertz, and R. Ures, Partially hyper- bolic dynamics in dimension three. Ergodic Theory Dynam. Systems, Vol. 38 , no. 8, 2801–2837, 2018

    work page 2018

  12. [12]

    B. Farb, D. Margalit, A primer on mapping class groups. Princeton Mathematical Series, 49. Princeton University Press, Princeton, NJ, 2012. xiv+472 pp

    work page 2012

  13. [13]

    Fenley, Regulating flows, topology of foliations and rigidity , Trans

    S. Fenley, Regulating flows, topology of foliations and rigidity , Trans. Amer. Math. Soc. Vol. 357, 4957–5000, 2005

    work page 2005

  14. [14]

    Fenley, Rigidity of pseudo-Anosov flows transverse to R-covered foliations, Com- ment

    S. Fenley, Rigidity of pseudo-Anosov flows transverse to R-covered foliations, Com- ment. Mat. Helv., Vol. 88, 643–676, 2013

    work page 2013

  15. [15]

    Fenley, R

    S. Fenley, R. Potrie, Ergodicity of partially hyperbolic diffeomorphisms in hyper- bolic 3-manifolds, arXiv:1809.02284, 2018

    work page arXiv 2018

  16. [16]

    Franks, Anosov diffeomorphisms, Global Anal

    J. Franks, Anosov diffeomorphisms, Global Anal. Proc. Symp. Pure Math. 14 (1970) 61–93. 18 ANDY HAMMERLINDL, JANA RODRIGUEZ HERTZ, AND RAÚL URES

    work page 1970

  17. [17]

    S. Gan, Y. Shi, Rigidity of center Lyapunov exponents and su-integrability , preprint, 2019

    work page 2019

  18. [18]

    Ghys, Groups acting on the circle, L ’Enseignement Mathématique, Vol

    É. Ghys, Groups acting on the circle, L ’Enseignement Mathématique, Vol. 47, 329– 407, 2001

    work page 2001

  19. [19]

    Grayson, C

    M. Grayson, C. Pugh, and M. Shub, Stably ergodic diffeomorphisms , Ann. of Math., Vol. 140, 295–329, 1994

    work page 1994

  20. [20]

    Hammerlindl, Ergodic components of partially hyperbolic systems, Comment

    A. Hammerlindl, Ergodic components of partially hyperbolic systems, Comment. Math. Helv. 92 (2017), 131–184

    work page 2017

  21. [21]

    Hammerlindl, R

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

    work page 2018

  22. [22]

    Hammerlindl, and R

    A. Hammerlindl, and R. Ures, Ergodicity and partial hyperbolicity on the 3-torus. Commun. Contemp. Math., Vol. 16 , no. 4, 1350038, 22 pp, 2014

    work page 2014

  23. [23]

    Haefliger, Variétés feuilletés, (French) Ann

    A. Haefliger, Variétés feuilletés, (French) Ann. Scuola Norm. Sup. Pisa (3), 16 (1962), 367–397

    work page 1962

  24. [24]

    Hector, U

    G. Hector, U. Hirsch, Introduction to the geometry of foliations. Part B. Foliations of codimension one. Aspects of Mathematics, E3. Friedr. Vieweg & Sohn, Braun- schweig, 1983. x+298 pp. ISBN: 3-528-08568-1

    work page 1983

  25. [25]

    M. R. Herman, Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations, Publ. Math. Inst. Hautes Études Sci., Vol. 49, 5–233, 1979

    work page 1979

  26. [26]

    Hirsch, C

    M. Hirsch, C. Pugh, and M. Shub, Invariant manifolds. Lecture Notes in Mathe- matics, Vol. 583. Springer-Verlag, Berlin-New York, 1977

    work page 1977

  27. [27]

    Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms

    A. Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms. Inst. Hautes Études Sci. Publ. Math. No. 51 (1980), 137–173

    work page 1980

  28. [28]

    Mann, Rigidity and flexibility of group actions on the circle

    K. Mann, Rigidity and flexibility of group actions on the circle. Handbook of group actions. Vol. IV , 705–752, Adv. Lect. Math. (ALM), 41, Int. Press, Somerville, MA, 2018

    work page 2018

  29. [29]

    Mendes,On Anosov Diffeomorphisms on the plane, Proc

    P . Mendes,On Anosov Diffeomorphisms on the plane, Proc. Amer. Math. Soc., Vol. 63, 231–235, 1977

    work page 1977

  30. [30]

    Milnor, On the existence of a connection with curvature zero , Comm

    J. Milnor, On the existence of a connection with curvature zero , Comm. Math. Helv., Vol. 32, 215–223, 1958

    work page 1958

  31. [31]

    Rodriguez Hertz, J

    F . Rodriguez Hertz, J. Rodriguez Hertz, and R. Ures, Partial hyperbolicity and er- godicity in dimension three, J. Mod. Dyn., Vol. 2, 187–208, 2008

    work page 2008

  32. [32]

    Rodriguez Hertz, J

    F . Rodriguez Hertz, J. Rodriguez Hertz and R. Ures,Some results on the integrabil- ity of the center bundle for partially hyperbolic diffeomorphisms , Partially hyper- bolic dynamics, laminations, and Teichmüller flow, Fields Inst. Commun., Vol. 51, Amer. Math. Soc., Providence, RI, 103–109, 2007

    work page 2007

  33. [33]

    Rodriguez Hertz, J

    F . Rodriguez Hertz, J. Rodriguez Hertz and R. Ures, Accessibility and stable er- godicity for partially hyperbolic diffeomorphisms with 1D-center bundle , Invent. Math., Vol. 172, 353–381, 2008

    work page 2008

  34. [34]

    Rodriguez Hertz, J

    F . Rodriguez Hertz, J. Rodriguez Hertz, and R. Ures,Tori with hyperbolic dynamics in 3-manifolds, J. Mod. Dyn., Vol. 5, 185-202, 2011

    work page 2011

  35. [35]

    Rodriguez Hertz, J

    F . Rodriguez Hertz, J. Rodriguez Hertz, R. and Ures,Center-unstable foliations do not have compact leaves. Math. Res. Lett. 23 (2016), no. 6, 1819–1832

    work page 2016

  36. [36]

    Saghin, and J

    R. Saghin, and J. Yang, personal communication

    work page

  37. [37]

    Zhang, Partially hyperbolic diffeomorphisms with one-dimensional neutral center on 3-manifolds, preprint, 2017, arXiv:1701.06176

    J. Zhang, Partially hyperbolic diffeomorphisms with one-dimensional neutral center on 3-manifolds, preprint, 2017, arXiv:1701.06176. ERGODICITY AND PARTIAL HYPERBOLICITY ON SEIFERT MANIFOLDS 19 SCHOOL OF MATHEMATICAL SCIENCIES , M ONASH UNIVERSITY , V ICTORIA 3800 A US- TRALIA E-mail address: andy.hammerlindl@monash.edu DEPARTMENT OF MATHEMATICS , SOUTHER...

    work page arXiv 2017