REVIEW 3 major objections 6 minor 41 references
Margulis Measures on Expanding Foliations: Construction and Rigidity
T0 review · 3 major / 6 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper builds leaf-by-leaf reference measures for any expanding foliation with homogeneous growth, and proves every measure of maximal F-entropy must be conditionally equivalent to them on almost every leaf.
desk verdict The weak Margulis construction is a plausible new tool, but the proof of the central Theorem 3.2 has a real gap at Lemma 3.7, and the applications section has an admitted circularity and an impossible Lyapunov assumption. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the family Γ(D) of weak Margulis measures on an F-disk D, defined as limit points of (f^{-n})_*(vol_F|_{f^n(D)}). The load-bearing identity is the Gibbs property ν(I) ≍ L e^{-n0(I)H_F} / e^{-n0(D)H_F}, which relates the measure of any subdisk to the time n0 it takes to grow to unit length. The homogeneous exponential growth condition, |f^n(D)|_F ≍ C_G e^{nH_F} for all unit-size disks, is what makes this comparison uniform across leaves and scales; measurability of the function e^{-n0(·)H_F} replaces any measurable selection of sections.
What would settle it
Construct an expanding foliation that is minimal but lacks homogeneous exponential growth — for instance, a skew product over a base where expansion rates vary from leaf to leaf — and compute Γ(D) directly: if the Gibbs inequalities fail or two ergodic F-MMEs have non-equivalent conditional measures, the main theorem is false. Alternatively, in the 3-nilmanifold example, independently verify the quasi-isometry of the unstable foliation, removing the circularity noted in Remark 6.5.
Extended reading notes
Core claim
The central claim is Theorem 3.2: for a C^{1+α} diffeomorphism preserving an expanding foliation F with homogeneous exponential growth, any ergodic measure of maximal F-entropy has conditional measures equivalent to the reference measures Γ(F_A(x)) on almost every leaf, with density ratio bounded by a constant independent of x. The reference measures are weak-* limit points of pullbacks of normalized leafwise Lebesgue measure under backward iteration, and they satisfy a Gibbs property controlled by the time n0 at which a leaf disk first reaches length one. The paper also proves a rigidity theorem: when a measure of maximal F-entropy is a Gibbs F-state, the log-Jacobian along the leaves solve
Load-bearing premise
The construction and theorem collapse unless every leaf disk of length between 1 and K_f grows in length exactly like e^{nH_F} up to a uniform constant, for all iterates, with no exceptional leaves or scales.
Editorial extensions
If this is right
- All ergodic measures of maximal F-entropy in the homogeneous-growth setting have leafwise conditional measures that are uniformly equivalent to a single canonical reference class, so their supports consist of entire F-leaves.
- If such a measure is also a Gibbs F-state, the log-Jacobian along F is cohomologous to the constant H_F, giving concrete periodic-point Jacobian constraints.
- The construction applies to co-dimension one Anosov diffeomorphisms, derived-from-Anosov diffeomorphisms on the 3-torus, partially hyperbolic diffeomorphisms on 3-nilmanifolds, and C^1-perturbations of time-one maps of geodesic flows on negative-curvature surfaces.
- For C∞ volume-preserving perturbations of time-one geodesic-flow maps whose stable and unstable Lyapunov exponents equal the topological entropy, the diffeomorphism is the time-one map of a smooth flow, smoothly conjugate to an algebraic flow.
Reading between the lines
- If homogeneous exponential growth turns out to be automatic for every minimal expanding foliation, as the paper suspects, then the equivalence theorem would give a canonical conditional-measure structure for all such foliations without any extra hypothesis; checking this could be done by verifying quasi-isometry of leaf embeddings in candidate examples.
- The measurable solution to the cohomological equation might be promotable to a continuous solution whenever the F-MME is fully supported, following existing techniques for partially hyperbolic cohomological equations; this would strengthen the rigidity conclusion in the geodesic-flow perturbation setting.
- The construction relies essentially on one-dimensional leaves, where ordering and the integer n0 are natural; a higher-dimensional version would need a different normalisation, perhaps replacing lengths by leafwise volumes and n0 by a covering-time, and the current proof does not indicate how that would work.
- In the 3-nilmanifold application, the paper's Remark 6.5 flags that the verification of HEG uses a quasi-isometry whose proof is circular; an independent proof of quasi-isometry for those unstable foliations would make that part of the theorem unconditional.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a condition called homogeneous exponential growth (HEG) for a one-dimensional expanding foliation F preserved by a C^1 diffeomorphism f, and constructs a family of 'weak Margulis measures' Γ(D) on F-disks as weak-* limit points of pullbacks of normalized leaf volume. Theorem 2.5 establishes their invariance, Gibbs bounds, uniform equivalence on overlaps, and conformal Jacobian estimates. The central Theorem 3.2 asserts that for any ergodic measure of maximal F-entropy, the conditional measures on the atoms of a measurable foliation partition are boundedly equivalent to the corresponding weak Margulis measures. Under the additional assumption that the F-MME is a Gibbs F-state, Theorem 4.1 derives a measurable solution to the cohomological equation for the leaf Jacobian. The paper also proves a transversal holonomy theorem and applies the framework to codimension-one Anosov diffeomorphisms, derived-from-Anosov diffeomorphisms on T^3, partially hyperbolic diffeomorphisms on 3-nilmanifolds, and perturbations of the time-one map of geodesic flows, culminating in rigidity results including Theorem 7.12.
Significance. If the central results are correct, the paper gives a canonical reference measure class for all measures of maximal F-entropy in the HEG setting, with explicit uniform Radon-Nikodym bounds. This is a natural and potentially very useful extension of the classical Margulis construction beyond uniform hyperbolicity. The HEG condition is transparent, the geometric construction of Γ(D) is elegant, and many estimates are explicit. The applications are broad and ambitious, and the paper is generally well structured. However, the proof of the main theorem has a serious gap, and two of the applications contain load-bearing problems, one of which is explicitly admitted to be circular. These issues must be repaired before the claims can be regarded as established.
major comments (3)
- [§3.2, Lemma 3.7] The step 'By the uniqueness of the disintegration, for almost every y∈F_A(x)∩f^{-1}(F_A(f(x))), one has d f_*(µ_x)/dµ_{f(x)}(y)=c_1' is not justified. The two conditional measures correspond to two different measurable partitions, f(F_A) and F_A. On the overlap F_A(f(x))∩f(F_A(x)), the Radon-Nikodym derivative is generally a cocycle and need not be constant; constancy is a Markov/Parry-type property that is not proved and is not shown to follow from the F-MME or HEG hypotheses at this point. Equation (3.5), and therefore the conclusion that f(x)∈B∞, depends on this constancy. Since Lemma 3.8 and the contradiction with Lemma 3.4 rely on the f-invariance of B∞, this gap affects the proof of µ_x≺ν and hence Theorem 3.2. This is the central mechanism of the paper and needs a complete proof.
- [§6.2.2, Proposition 6.4 and Remark 6.5] The authors explicitly state that the proof of Proposition 6.4 is circular, because the semi-conjugacy h:M→T^2 was constructed using the quasi-isometry result from [14], which is exactly what Proposition 6.4 is supposed to establish. Since Proposition 6.4 is then used to prove HEG for the unstable foliation of partially hyperbolic diffeomorphisms on 3-nilmanifolds, Theorem 6.6 is not established as written. If [14] already contains a quasi-isometry theorem for the unstable foliation, the paper should cite it directly and derive HEG from it; otherwise an independent proof is needed. As written, this application rests on an acknowledged circularity.
- [§7.2, Theorem 7.12] Assumptions (1) and (2) are impossible as stated. For any partially hyperbolic diffeomorphism in a small C^1 neighborhood of g^1, the strong stable Lyapunov exponent is negative and the strong unstable exponent is positive for every invariant measure, while h_top(f)>0. Thus λ_s(m)=λ_u(m)=h_top(f) cannot hold for volume-preserving m, and λ_s(µ_MME)=λ_u(µ_MME)=h_top(f) cannot hold for any invariant measure. The theorem is therefore vacuous. If the intended hypothesis is λ_u(m)=h_top(f) and λ_c(m)=0 (or the analogue for µ_MME), the statement must be corrected, and the role of λ_s in the proof of absolute continuity of F^cs must be reexamined.
minor comments (6)
- [§2.2, Lemma 2.9] In the proof, the numerator uses e^{(n-n0(D))H_F} but should use e^{(n-n0(I))H_F}; the denominator uses e^{-(n-n0(I))H_F} but should use e^{-(n-n0(D))H_F}. The final estimate is correct, but the intermediate lines are misleading.
- [§7.1, Lemma 7.4] Equation (7.1) compares |f^n(D1)|_u with itself; the right-hand side should be |f^n(D2)|_u.
- [§2.2, after Lemma 2.9] The text refers to 'Lemma 2.7' and 'Proposition 2.9' when it means Lemma 2.9; the numbering is inconsistent.
- [§4.1, definition of ϕ] In the displayed definition of ϕ(x), the limit should be as n→∞, not n→0.
- [§4.2, Lemma 4.3] The notation ildeϕ and ilde eϕ is used inconsistently in the proof; the same symbol should denote the same function throughout.
- [§7.2, proof of Theorem 7.12] The phrase 'the last inequality is due to Theorem 7.2' should read 'the last equality'.
Circularity Check
Self-admitted circular reasoning in the 3-nilmanifold application (Remark 6.5); the central weak-Margulis construction is not circular.
-
other
[Section 6.2.2, Remark 6.5 (justifying Proposition 6.4 and Theorem 6.6)]
"Here the proof is in fact a circular reasoning. In [14] it was first proven that F^u_f is quasi isometric, and therefore f has a global product structure. The semi-conjugacy h:M→T^2 was built using this fact."
Proposition 6.4 uses the semi-conjugacy h (from [37, Section 8]/[14, Corollary 1.2]) to prove that h is a quasi-isometry on unstable leaves; Theorem 6.6 then derives homogeneous exponential growth for F^u from this quasi-isometry. But the quoted remark admits h itself was constructed using the quasi-isometry of F^u proved in [14]. Hence the proof of Proposition 6.4 assumes the quasi-isometry it is supposed to establish, and the HEG verification for 3-nilmanifolds inherits this circular dependency. This is an application-level circularity, not a defect in the conditional construction of Sections 2–4.
full rationale
The weak Margulis construction (Section 2) is not circular: Γ(D) is defined as weak-* limits of pushed-forward leafwise Lebesgue measures, and the Gibbs/conformal properties are direct consequences of the homogeneous-growth assumption (Definition 2.1, eq. (2.2)); no fitted parameter is relabeled as a prediction. Theorem 3.2 is a substantive conditional statement: assuming an ergodic F-MME exists, it derives equivalence of its conditional measures to Γ from entropy comparisons. The proof contains a serious unsupported step in Lemma 3.7: the constancy of d f_*µ_x/dµ_{f(x)} is asserted from 'uniqueness of the disintegration' although F_A and f(F_A) are different partitions, so the density is a cocycle and need not be constant. I flag this as a non-circular correctness gap: it is load-bearing for the f-invariance of B∞ and hence for the contradiction in Lemma 3.8, but it is not a reduction of the conclusion to the assumptions. The explicit circularity in the paper is the admitted Remark 6.5: the proof of Proposition 6.4 relies on the very quasi-isometry from [14] that was used to build the semi-conjugacy h, and Theorem 6.6 depends on Proposition 6.4. Because this affects an application (HEG for 3-nilmanifolds) rather than the central conditional theorems, and because it is openly acknowledged, the overall circularity score is moderate (4), not severe.
Assumptions & free parameters
free parameters (2)
- H_F =
equal to h_top^F(f) by Lemma 2.3
- C_G =
>1, arbitrary
assumptions (6)
- domain assumption Homogeneous exponential growth (Definition 2.1)
- domain assumption Expanding foliation condition (2.1): 1<λ<m(Df|TF)≤||Df|TF||<K_f
- domain assumption C^{1+α} regularity of f (Remark 3.3)
- domain assumption Existence of measures of maximal F-entropy
- domain assumption Transversal foliation eF is not expanding (Definition 5.2)
- ad hoc to paper Lyapunov coincidence λ_s(m)=λ_u(m)=h_top(f) in Theorem 7.12
invented entities (1)
-
Weak Margulis measures Γ(D)
Cite this review
Pith. "Pith review of Margulis Measures on Expanding Foliations: Construction and Rigidity." pith.science (2026). https://pith.science/paper/VDS5FKOH
@misc{pith2026260713556,
author = {Pith},
title = {Pith review of: Margulis Measures on Expanding Foliations: Construction and Rigidity},
year = {2026},
howpublished = {\url{https://pith.science/paper/VDS5FKOH}},
note = {Machine review of arXiv:2607.13556}
}
abstract
Given a diffeomorphism preserving a one-dimensional expanding foliation $\mathcal F$ with homogeneous exponential growth, we construct a family of reference measures on each leaf of the foliation with controlled Jacobian and a Gibbs property. We then prove that for any measure of maximal $u$-entropy, its conditional measures on each leaf must be equivalent to the reference measures. When the measure of maximal $u$-entropy is a Gibbs $\mathcal F$-state (i.e., when the reference measures are equivalent to the leafwise Lebesgue measure), we prove that the log-Jacobian of $f$ must be cohomologous to a constant via a measurable function. We provide several applications, including the strong and center foliations of Anosov diffeomorphisms, factor over Anosov diffeomorphisms, and perturbations of the time-one map of geodesic flows on surfaces with negative curvature.
Reference graph
Works this paper leans on
-
[14]
Hammerlindl
A. Hammerlindl. Partial hyperbolicity on 3-dimensional nilmanifolds.Discrete Con- tin. Dyn. Syst.33 (2013), no. 8, 3641–3669
2013
-
[1]
Avila, M
A. Avila, M. Viana, and A. Wilkinson. Absolute continuity, Lyapunov exponents and rigidity I: geodesic flows.J. Eur. Math. Soc. (JEMS)17 (2015), no. 6, 1435–1462
2015
-
[2]
R. Bowen. Equilibrium states and the ergodic theory of Anosov diffeomorphisms. Lecture Notes in Math., Vol. 470. Springer-Verlag, Berlin-New York, 1975, i+108 pp
1975
-
[3]
Burns and A
K. Burns and A. Wilkinson. On the ergodicity of partially hyperbolic systems. Annals of Math., 171 (2010), 451–489
2010
-
[4]
Buzzi, T
J. Buzzi, T. Fisher, and A. Tahzibi. A dichotomy for measures of maximal entropy near time-one maps of transitive Anosov flowsAnn. Sci. ´Ec. Norm. Sup´ er.(4) 55 (2022), no. 4, 969–1002
2022
-
[5]
Climenhaga, Y
V. Climenhaga, Y. Pesin, and A. Zelerowicz. Equilibrium states in dynamical systems via geometric measure theory.Bull. Amer. Math. Soc. (N.S.)56 (2019), no. 4, 569– 610
2019
-
[6]
Climenhaga, Y
V. Climenhaga, Y. Pesin, and A. Zelerowicz. Equilibrium measures for some partially hyperbolic systems.J. Mod. Dyn.16 (2020), 155–205
2020
-
[7]
S. Crovisier and M. Poletti. Invariance principle and non-compact center foliations Available at https://arxiv.org/pdf/2210.14989
Show all 41 references
-
[8]
De Simoi, M
J. De Simoi, M. Leguil, K. Vinhage, and Y. Yang. Entropy rigidity for 3D conservative Anosov flows and dispersing billiardsGeom. Funct. Anal.30 (2020), no. 5, 1337–1369
2020
-
[9]
Evans and R
L. Evans and R. Gariepy. Measure theory and fine properties of functions.Stud. Adv. Math.CRC Press, Boca Raton, FL, 1992, viii+268 pp
1992
-
[10]
J. Franks. Anosov diffeomorphisms. InGlobal Analysis(Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968), pages 61–93. Amer. Math. Soc., 1970
1968
-
[11]
Fisher, R
T. Fisher, R. Potrie, and M. Sambarino. Dynamical coherence of partially hyperbolic diffeomorphisms of tori isotopic to Anosov.Math. Z., 278 (2014), 149–168
2014
-
[12]
Gogolev and Y
A. Gogolev and Y. Shi. Joint integrability and spectral rigidity for Anosov diffeomor- phisms.Proc. Lond. Math. Soc.,(3) 127 (2023), no. 6, 1693–1748
2023
-
[13]
Grayson, C
M. Grayson, C. Pugh and M. Shub. Stably ergodic diffeomorphisms.Ann. of Math. 140 (1994), 295–329
1994
-
[15]
Hammerlindl and R
A. Hammerlindl and R. Potrie. Pointwise partial hyperbolicity in three-dimensional nilmanifolds.J. Lond. Math. Soc., 89 (2014), 853–875. 42 J ´ER ˆOME BUZZI, YI SHI, F AN YANG AND JIAGANG YANG
2014
-
[16]
Hammerlindl and R
A. Hammerlindl and R. Potrie. Partial hyperbolicity and classification: a survey. Ergodic Theory Dynam. Systems38 (2018), no. 2, 401–443
2018
-
[17]
Himmelberg
C. Himmelberg. Measurable relations.Fund. Math.87 (1974), 53–72
1974
-
[18]
Hirsch, C
M. Hirsch, C. Pugh and M. Shub. Invariant Foliations.Lecture Notes in Math.Vol
-
[19]
H. Hu, Y. Hua and W. Wu. Unstable entropies and variational principle for partially hyperbolic diffeomorphisms.Adv. Math.321 (2017), 31–68
2017
-
[20]
Y. Hua, R. Saghin and Z. Xia. Topological entropy and partially hyperbolic diffeo- morphisms.Ergodic Theory Dynam. Systems28 (2008), no. 3, 843–862
2008
-
[21]
T. Humbert. Unstable entropy for Anosov diffeomorphisms on the 3-torus. Available at arXiv:2509.09520
-
[22]
Katok and A
A. Katok and A. Kononenko. Cocycle’s stability for partially hyperbolic systems. Math. Res. Lett., 3 (1996), 191–210
1996
-
[23]
Ledrappier and L.-S
F. Ledrappier and L.-S. Young. The metric entropy of diffeomorphisms. I. Character- ization of measures satisfying Pesin’s entropy formula.Ann. of Math.(2) 122 (1985), no. 3, 509–539
1985
-
[24]
G. Liao, M. Viana, and J. Yang. The entropy conjecture for diffeomorphisms away from tangencies.J. Eur. Math. Soc.15 (2013), 2043–2060
2013
-
[25]
Ma ˜ m´ e
R. Ma ˜ m´ e. Contributions to the stability conjecture.Topology17 (1978), no. 4, 383– 396
1978
-
[26]
A. Manning. There are no new Anosov diffeomorphisms on tori.Amer. J. Math.96 (1974), 422–429
1974
-
[27]
Margulis
G.A. Margulis. On some aspects of the theory of Anosov systems. Springer Monogr. Math. Springer-Verlag, Berlin, 2004, vi+139 pp
2004
-
[28]
K. Parwani. On 3-manifolds that support partially hyperbolic diffeomorphisms.Non- linearity23 (2010), no. 3, 589–606
2010
-
[29]
J. F. Plante. Foliations with measure preserving holonomy.Ann. of Math.(2) 102 (1975), no. 2, 327–361
1975
-
[30]
R. Potrie. Partial hyperbolicity and foliations inT 3.J. Mod. Dyn., 9 (2015), 81–121
2015
-
[31]
Rodriguez-Hertz, M
F. Rodriguez-Hertz, M. A. Rodriguez-Hertz, A. Tahzibi and R. Ures. Maximizing measures for partially hyperbolic systems with compact center leaves.Ergod. Th. & Dynam. Sys.32 (2012), 825–839
2012
-
[32]
V. A. Rokhlin. Lectures on the entropy theory of measure-preserving transformations. Russ. Math. Surveys,22:5, 1–52, 1967
1967
-
[33]
Saghin and J
R. Saghin and J. Yang. Continuity of topological entropy for perturbation of time-one maps of hyperbolic flowsIsrael J. Math.215 (2016), no. 2, 857–875
2016
-
[34]
Saghin and J
R. Saghin and J. Yang. Lyapunov exponents and rigidity of Anosov automorphisms and skew products.Adv. Math.355 (2019), 106764, 45 pp
2019
-
[35]
Sina ˘ ı
Ja. Sina ˘ ı. Gibbs measures in ergodic theory.(Russian)Uspehi Mat. Nauk27 (1972), no. 4(166), 21–64
1972
-
[36]
R. Ures, M. Viana, and J. Yang. Maximal measures of diffeomorphisms on circle fiber bundles.J. London Math. Soc.(2) 103 (2021), 1016–1034
2021
-
[37]
R. Ures, M. Viana, F. Yang, and J. Yang. Thermodynamicalu-formalism I: measures of maximalu-entropy for maps that factor over Anosov.Ergodic Theory Dynam. Systems44 (2024), no. 1, 290–333
2024
-
[38]
R. Ures, M. Viana, F. Yang, and J. Yang. Maximal transverse measures of expanding foliations.Comm. Math. Phys.405 (2024), no. 5, Paper No. 121, 40 pp
2024
-
[39]
Wilkinson
A. Wilkinson. The cohomological equation for partially hyperbolic diffeomorphisms. Asterisque, 358 (2013), 75–165
2013
-
[40]
J. Yang. Entropy along expanding foliations.Adv. Math.389 (2021), Paper No. 107893, 39 pp
2021
-
[583]
Springer-Verlag, Berlin-New York, 1977
1977
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.