pith. sign in

arxiv: 2604.01100 · v3 · submitted 2026-04-01 · 🧮 math.DS

Extremal distributions of partially hyperbolic systems: the Lipschitz threshold

Martin Leguil , Disheng Xu , Jiesong Zhang This is my paper

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

classification 🧮 math.DS
keywords partially hyperbolic diffeomorphismsextremal distributionsLipschitz regularityrigidity3-manifoldsvolume-preservingu-Gibbs measuresjoint integrability
0
0 comments X

The pith

If the extremal distribution E^s ⊕ E^u is Lipschitz, then it is automatically C^∞ for C^∞ volume-preserving partially hyperbolic diffeomorphisms on closed 3-manifolds.

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

The paper establishes a sharp regularity threshold for the sum of the stable and unstable bundles in these systems. For C^∞ volume-preserving partially hyperbolic diffeomorphisms on closed 3-manifolds, Lipschitz continuity of this extremal distribution forces it to be C^∞ smooth. This extends a known rigidity result from conservative Anosov flows to the partially hyperbolic setting. The gain leads to applications on integrability conditions and smooth classifications of such maps.

Core claim

We prove a sharp phase transition in the regularity of the extremal distribution E^s ⊕ E^u for C^∞ volume-preserving partially hyperbolic diffeomorphisms on closed 3-manifolds: if E^s ⊕ E^u is Lipschitz, then it is automatically C^∞. This extends the rigidity phenomenon established by Foulon--Hasselblatt for conservative Anosov flows in dimension 3 to the partially hyperbolic setting.

What carries the argument

The extremal distribution E^s ⊕ E^u, whose regularity jumps from Lipschitz to C^∞ under the volume-preserving and three-dimensional assumptions.

If this is right

  • The regularity gain applies directly to rigidity problems for these diffeomorphisms.
  • It connects the ℓ-integrability condition to joint integrability, producing rigidity results for u-Gibbs measures.
  • Several C^∞ classification results hold for partially hyperbolic diffeomorphisms on 3-manifolds under various assumptions.

Where Pith is reading between the lines

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

  • Low dimension and volume preservation appear essential for forcing this regularity jump, so similar thresholds might be testable in other settings.
  • Numerical checks for Lipschitz continuity of the bundles could suffice to conclude smoothness in these maps.
  • The result may simplify proofs of rigidity by reducing the needed regularity assumption to Lipschitz.
  • pith_inferences

Load-bearing premise

The diffeomorphisms are volume-preserving, C^∞, and partially hyperbolic on closed 3-manifolds, allowing low-dimensional control of bundle geometry.

What would settle it

A C^∞ volume-preserving partially hyperbolic diffeomorphism on a closed 3-manifold whose extremal distribution E^s ⊕ E^u is Lipschitz but not C^1 would disprove the claim.

read the original abstract

We prove a sharp phase transition in the regularity of the extremal distribution $E^s \oplus E^u$ for $C^\infty$ volume-preserving partially hyperbolic diffeomorphisms on closed $3$-manifolds: if $E^s \oplus E^u$ is Lipschitz, then it is automatically $C^\infty$. This extends the rigidity phenomenon established by Foulon--Hasselblatt for conservative Anosov flows in dimension $3$ to the partially hyperbolic setting. This gain in regularity has several applications to rigidity problems. In particular, we study the relationship between the $\ell$-integrability condition introduced by Eskin--Potrie--Zhang and joint integrability in the conservative setting, yielding rigidity results for $u$-Gibbs measures. We also obtain several $C^\infty$ classification results for partially hyperbolic diffeomorphisms on $3$-manifolds under various assumptions.

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 paper proves a sharp phase transition for the regularity of the extremal distribution E^s ⊕ E^u in C^∞ volume-preserving partially hyperbolic diffeomorphisms on closed 3-manifolds: Lipschitz regularity of this distribution implies it is automatically C^∞. The argument reduces bundle geometry to one-dimensional leaves using the low dimension, upgrades Lipschitz to C^1 via hyperbolic estimates, and bootstraps to C^∞ using diffeomorphism smoothness and invariance. Volume preservation is used to control u-Gibbs measures and integrability. Applications include relations between ℓ-integrability and joint integrability, rigidity for u-Gibbs measures, and several C^∞ classification results. This extends the Foulon-Hasselblatt phenomenon from conservative Anosov flows to the partially hyperbolic setting.

Significance. If the result holds, it establishes a clean Lipschitz threshold for regularity in 3D partially hyperbolic dynamics, providing a useful rigidity tool. The low-dimensional reduction and bootstrap are technically efficient, and the applications to u-Gibbs measures and classification theorems add concrete value. The extension of the Foulon-Hasselblatt rigidity is a natural and worthwhile contribution to the field.

minor comments (2)
  1. [Abstract] The abstract introduces the ℓ-integrability condition of Eskin-Potrie-Zhang without a one-sentence reminder of its definition; adding this would improve readability for readers outside the immediate subfield.
  2. [Introduction] In the statement of the main theorem, explicitly listing the volume-preserving hypothesis alongside the C^∞ and partial hyperbolicity assumptions would make the hypotheses self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and thorough report, which accurately captures the main result and its applications. We are pleased by the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by reducing bundle geometry in the 3D volume-preserving setting, applying standard hyperbolic estimates to upgrade Lipschitz regularity of E^s ⊕ E^u to C^1, and bootstrapping to C^∞ via the given C^∞ diffeomorphism and invariance. This extends the external Foulon-Hasselblatt result without any self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The argument remains independent of the target conclusion by construction and uses only dimension-specific controls and prior external theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard domain assumptions of smooth dynamics on 3-manifolds; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption Diffeomorphisms are C^∞, volume-preserving, and partially hyperbolic on closed 3-manifolds.
    This is the precise setting in which the regularity threshold is asserted.

pith-pipeline@v0.9.0 · 5448 in / 1162 out tokens · 61349 ms · 2026-05-13T21:51:58.557371+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

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

  1. [1]

    Allout and K

    S. Allout and K. Moghaddamfar. On partially hyperbolic diffeomorphisms in dimension three via a notion of autonomous dynamics.Bull. Soc. Math. France, 151(4):613–646, 2023

    work page 2023

  2. [2]

    Alvarez, S

    S. Alvarez, S. Crovisier, M. Leguil, D. Obata, and B. Santiago. Uniqueness ofu-Gibbs measures for jointly integrable anosov diffeomorphisms ofT 3.In preparation, 2026

    work page 2026

  3. [3]

    Alvarez, M

    S. Alvarez, M. Leguil, D. Obata, and B. Santiago. Rigidity ofu-Gibbs measures near conservative Anosov diffeomorphisms onT 3.J. Eur. Math. Soc. (JEMS), published online first, 2024

    work page 2024

  4. [4]

    A. Avez. Anosov diffeomorphisms. InTopological Dynamics (Symposium, Colorado State Univ., Ft. Collins, Colo., 1967), pages 17–51. W. A. Benjamin, Inc., New York-Amsterdam, 1968

    work page 1967

  5. [5]

    Avila, S

    A. Avila, S. Crovisier, A. Eskin, R. Potrie, A. Wilkinson, and Z. Zhang.uu-states for Anosov diffeomorphisms ofT 3.In preparation, 2026

    work page 2026

  6. [6]

    Avila, S

    A. Avila, S. Crovisier, and A. Wilkinson. Minimality of strong foliations of Anosov and partially hyperbolic diffeomorphisms, 2025

    work page 2025

  7. [7]

    Avila, M

    A. Avila, M. Viana, and A. Wilkinson. Absolute continuity, Lyapunov exponents and rigidity I: geodesic flows.J. Eur. Math. Soc. (JEMS), 17(6):1435–1462, 2015

    work page 2015

  8. [8]

    Avila, M

    A. Avila, M. Viana, and A. Wilkinson. Absolute continuity, Lyapunov exponents, and rigidity II: systems with compact center leaves.Ergodic Theory Dynam. Systems, 42(2):437–490, 2022

    work page 2022

  9. [9]

    Baraviera and C

    A. Baraviera and C. Bonatti. Removing zero Lyapunov exponents.Ergodic Theory Dynam. Systems, 23(6):1655–1670, 2003

    work page 2003

  10. [10]

    Barthelm´ e, S.R

    T. Barthelm´ e, S.R. Fenley, and R. Potrie. Collapsed Anosov flows and self orbit equivalences.Comment. Math. Helv., 98(4):771–875, 2023

    work page 2023

  11. [11]

    Benoist, P

    Y. Benoist, P. Foulon, and F. Labourie. Flots d’Anosov ` a distributions stable et instable diff´ erentiables.J. Amer. Math. Soc., 5(1):33–74, 1992

    work page 1992

  12. [12]

    Benoist and F

    Y. Benoist and F. Labourie. Sur les diff´ eomorphismes d’Anosov affines ` a feuilletages stable et instable diff´ erentiables.Invent. Math., 111(2):285–308, 1993

    work page 1993

  13. [13]

    Benoist and J.F

    Y. Benoist and J.F. Quint. Mesures stationnaires et ferm´ es invariants des espaces homog` enes.Ann. of Math. (2), 174(2):1111–1162, 2011

    work page 2011

  14. [14]

    Bonatti, L

    C. Bonatti, L. J. D´ ıaz, and M. Viana.Dynamics beyond uniform hyperbolicity, volume 102 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 2005. A global geometric and probabilistic perspective, Mathematical Physics, III

    work page 2005

  15. [15]

    Bonatti, A

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

    work page 2020

  16. [16]

    Bonatti, A

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

    work page 2016

  17. [17]

    Bonatti, K

    C. Bonatti, K. Parwani, and R. Potrie. Anomalous partially hyperbolic diffeomorphisms I: Dynamically coherent examples.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(6):1387–1402, 2016

    work page 2016

  18. [18]

    Bonatti and A

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

    work page 2005

  19. [19]

    Bonatti and J

    C. Bonatti and J. Zhang. Transitive partially hyperbolic diffeomorphisms with one-dimensional neutral center.Sci. China Math., 63(9):1647–1670, 2020

    work page 2020

  20. [20]

    M. Brin, D. Burago, and S. Ivanov. On partially hyperbolic diffeomorphisms of 3-manifolds with commutative fundamental group. InModern dynamical systems and applications, pages 307–312. Cambridge Univ. Press, Cambridge, 2004

    work page 2004

  21. [21]

    Brown and F

    A. Brown and F. Rodriguez Hertz. Measure rigidity for random dynamics on surfaces and related skew products.J. Amer. Math. Soc., 30(4):1055–1132, 2017

    work page 2017

  22. [22]

    Burns, F.R

    K. Burns, F.R. Hertz, M. J. Hertz, A. Talitskaya, and R. Ures. Density of accessibility for partially hyperbolic diffeomorphisms with one-dimensional center.Discrete Contin. Dyn. Syst., 22(1-2):75–88, 2008

    work page 2008

  23. [23]

    Carrasco, E

    P. Carrasco, E. Pujals, and F. Rodriguez-Hertz. Classification of partially hyperbolic diffeomorphisms under some rigid conditions.Ergodic Theory Dynam. Systems, 41(9):2770–2781, 2021

    work page 2021

  24. [24]

    P. D. Carrasco, F. Rodriguez-Hertz, J. Rodriguez-Hertz, and R. Ures. Partially hyperbolic dynamics in dimension three.Ergodic Theory Dynam. Systems, 38(8):2801–2837, 2018

    work page 2018

  25. [25]

    Crovisier and R

    S. Crovisier and R. Potrie. Robust transitivity versus trapping regions for partially hyperbolic diffeomor- phisms.In preparation, 2026

    work page 2026

  26. [26]

    Damjanovi´ c, A

    D. Damjanovi´ c, A. Wilkinson, and D. Xu. Pathology and asymmetry: centralizer rigidity for partially hyperbolic diffeomorphisms.Duke Math. J., 170(17):3815–3890, 2021. 28 MARTIN LEGUIL, DISHENG XU, AND JIESONG ZHANG

    work page 2021

  27. [27]

    DeWitt and A

    J. DeWitt and A. Gogolev. Dominated splitting from constant periodic data and global rigidity of Anosov automorphisms.Geom. Funct. Anal., 34(5):1370–1398, 2024

    work page 2024

  28. [28]

    Eskin and E

    A. Eskin and E. Lindenstrauss. Random walks on locally homogeneous spaces.preprint, 1(2):6, 2018

    work page 2018

  29. [29]

    Eskin and M

    A. Eskin and M. Mirzakhani. Invariant and stationary measures for the SL(2,R) action on moduli space. Publ. Math. Inst. Hautes ´Etudes Sci., 127:95–324, 2018

    work page 2018

  30. [30]

    Eskin, R

    A. Eskin, R. Potrie, and Z. Zhang. Geometric properties of partially hyperbolic measures and applications to measure rigidity.arXiv:2302.12981, 2023

    work page arXiv 2023

  31. [31]

    Fenley and R

    S.R. Fenley and R. Potrie. Partially hyperbolic diffeormorphisms, ergodicity, and transverse foliations in dimension 3.arXiv:2510.15176, 2025

    work page arXiv 2025

  32. [32]

    Foulon and B

    P. Foulon and B. Hasselblatt. Zygmund strong foliations.Israel J. Math., 138:157–169, 2003

    work page 2003

  33. [33]

    Foulon and B

    P. Foulon and B. Hasselblatt. Contact Anosov flows on hyperbolic 3-manifolds.Geom. Topol., 17(2):1225– 1252, 2013

    work page 2013

  34. [34]

    Gan and Y

    S. Gan and Y. Shi. Rigidity of center Lyapunov exponents andsu-integrability.Comment. Math. Helv., 95(3):569–592, 2020

    work page 2020

  35. [35]

    Geiges.An introduction to contact topology, volume 109 ofCambridge Studies in Advanced Mathematics

    H. Geiges.An introduction to contact topology, volume 109 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2008

    work page 2008

  36. [36]

    ´E. Ghys. Flots d’Anosov dont les feuilletages stables sont diff´ erentiables.Ann. Sci. ´Ecole Norm. Sup. (4), 20(2):251–270, 1987

    work page 1987

  37. [37]

    ´E. Ghys. Codimension one Anosov flows and suspensions. InDynamical systems, Valparaiso 1986, volume 1331 ofLecture Notes in Math., pages 59–72. Springer, Berlin, 1988

    work page 1986

  38. [38]

    ´E. Ghys. Rigidit´ e diff´ erentiable des groupes fuchsiens.Inst. Hautes´Etudes Sci. Publ. Math., (78):163–185, 1993

    work page 1993

  39. [39]

    A. Gogolev. How typical are pathological foliations in partially hyperbolic dynamics: an example.Israel J. Math., 187:493–507, 2012

    work page 2012

  40. [40]

    Gogolev, B

    A. Gogolev, B. Kalinin, and V. Sadovskaya. Center foliation rigidity for partially hyperbolic toral diffeomor- phisms.Math. Ann., 387(3-4):1579–1602, 2023

    work page 2023

  41. [41]

    Gogolev, M

    A. Gogolev, M. Leguil, and F.R. Hertz. Smooth rigidity for 3-dimensional dissipative Anosov flows. arXiv:2510.23872, 2025

    work page arXiv 2025

  42. [42]

    Gogolev, P

    A. Gogolev, P. Ontaneda, and Federico R. Hertz. New partially hyperbolic dynamical systems I.Acta Math., 215(2):363–393, 2015

    work page 2015

  43. [43]

    Hammerlindl

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

    work page 2017

  44. [44]

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

    work page 1977

  45. [45]

    Hurder and A

    S. Hurder and A. Katok. Differentiability, rigidity and Godbillon-Vey classes for Anosov flows.Inst. Hautes ´Etudes Sci. Publ. Math., (72):5–61, 1990

    work page 1990

  46. [46]

    Journ´ e

    J.-L. Journ´ e. A regularity lemma for functions of several variables.Rev. Mat. Iberoamericana, 4(2):187–193, 1988

    work page 1988

  47. [47]

    B. Kalinin. Livˇ sic theorem for matrix cocycles.Ann. of Math. (2), 173(2):1025–1042, 2011

    work page 2011

  48. [48]

    Kalinin and V

    B. Kalinin and V. Sadovskaya. Global rigidity for totally nonsymplectic AnosovZ k actions.Geom. Topol., 10:929–954, 2006

    work page 2006

  49. [49]

    Rigidity of strong and weak foliations

    B. Kalinin and V. Sadovskaya. Rigidity of strong and weak foliations. Preprint, arXiv:2509.13986 [math.DS] (2025), 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  50. [50]

    Katok and J

    A. Katok and J. Lewis. Local rigidity for certain groups of toral automorphisms.Isr. J. Math., 75(2-3):203– 241, 1991

    work page 1991

  51. [51]

    A. Katz. Measure rigidity of Anosov flows via the factorization method.Geom. Funct. Anal., 33(2):468–540, 2023

    work page 2023

  52. [52]

    Ledrappier and L.-S

    F. Ledrappier and L.-S. Young. The metric entropy of diffeomorphisms. I. Characterization of measures satisfying Pesin’s entropy formula.Ann. of Math. (2), 122(3):509–539, 1985

    work page 1985

  53. [53]

    A. O. Lopes and P. Thieullen. Sub-actions for Anosov diffeomorphisms.Ast´ erisque, (287):xix, 135–146, 2003. Geometric methods in dynamics. II

    work page 2003

  54. [54]

    J. Milnor. Fubini foiled: Katok’s paradoxical example in measure theory.Math. Intelligencer, 19(2):30–32, 1997

    work page 1997

  55. [55]

    Mion-Mouton

    M. Mion-Mouton. Partially hyperbolic diffeomorphisms and Lagrangian contact structures.Ergodic Theory Dynam. Systems, 42(8):2583–2629, 2022

    work page 2022

  56. [56]

    J. F. Plante. Anosov flows.Amer. J. Math., 94:729–754, 1972

    work page 1972

  57. [57]

    R. Potrie. Partial hyperbolicity and foliations inT 3.J. Mod. Dyn., 9:81–121, 2015

    work page 2015

  58. [58]

    C. Pugh, M. Shub, and A. Wilkinson. H¨ older foliations.Duke Math. J., 86(3):517–546, 1997

    work page 1997

  59. [59]

    Rodriguez Hertz, J

    F. Rodriguez Hertz, J. Rodriguez Hertz, and R. Ures. A survey of partially hyperbolic dynamics. InPartially hyperbolic dynamics, laminations, and Teichm¨ uller flow, volume 51 ofFields Inst. Commun., pages 35–87. Amer. Math. Soc., Providence, RI, 2007

    work page 2007

  60. [60]

    Rodriguez Hertz, M

    F. Rodriguez Hertz, M. A. Rodriguez Hertz, and R. Ures. Accessibility and stable ergodicity for partially hyperbolic diffeomorphisms with 1D-center bundle.Invent. Math., 172(2):353–381, 2008. THE LIPSCHITZ THRESHOLD 29

    work page 2008

  61. [61]

    D. Ruelle. An inequality for the entropy of differentiable maps.Bol. Soc. Brasil. Mat., 9(1):83–87, 1978

    work page 1978

  62. [62]

    S. J. Schreiber. On growth rates of subadditive functions for semiflows.J. Differential Equations, 148(2):334– 350, 1998

    work page 1998

  63. [63]

    S. Simi´ c. Lipschitz distributions and Anosov flows.Proc. Am. Math. Soc., 124(6):1869–1877, 1996

    work page 1996

  64. [64]

    M. Tsujii. Exponential mixing for generic volume-preserving Anosov flows in dimension three.J. Math. Soc. Japan, 70(2):757–821, 2018

    work page 2018

  65. [65]

    Tsujii and Z

    M. Tsujii and Z. Zhang. Smooth mixing Anosov flows in dimension three are exponentially mixing.Ann. of Math. (2), 197(1):65–158, 2023

    work page 2023

  66. [66]

    Wilkinson

    A. Wilkinson. The cohomological equation for partially hyperbolic diffeomorphisms.Ast´ erisque, (358):75– 165, 2013

    work page 2013

  67. [67]

    Xu and J

    D. Xu and J. Zhang. Invariant distributions of partially hyperbolic systems: fractal graphs, excessive regu- larity, and rigidity.arXiv:2411.19665, 2024. ´Ecole polytechnique, CMLS, Route de Saclay, 91128 Palaiseau Cedex, France Email address:martin.leguil@polytechnique.edu School of Science, Great Bay University and Great bay institute for advanced study...

    work page arXiv 2024