REVIEW 3 major objections 5 minor 28 references
Equidistribution of currents under Anosov group actions
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read For B-Anosov group actions, all generic subvarieties and every smooth form converge to a Schubert-weighted Gibbs current on the flag limit set.
desk verdict New equidistribution results worth a serious look, but the load-bearing proofs are in chapters the review copy doesn't include, and one visible counting estimate has an exponent slip. 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
Carrying the argument is a map η from Γ ∪ ∂∞Γ to the space of currents: γ↦γ_*[S] (or γ_*[ψ]) and ξ↦Σ_w a_w [Th_w(f(ξ))], with f the boundary identification with the flag-limit set Λ. Equidistribution reduces to showing the weighted averages of η converge to the boundary integral against the Gibbs measure. For smooth forms η is continuous, via quantitative asymptotics of smooth currents under C*-actions; for subvarieties the discontinuity is handled by proving the 'bad' elements — those with inverses near f^{-1}(Λ_S) — grow slowly relative to Γ under β. A redressing theorem passes to uniformly separated loxodromic elements.
What would settle it
Compute the averaged currents for a concrete non-generic subvariety of a Schottky-type B-Anosov subgroup acting on P^1×P^1: if they converge to a limit other than the Schubert-weighted Gibbs integral, or fail to converge, that would show the genericity condition is not merely technical. Alternatively, numerically compare the weak limit for a smooth form with known class against the integral of Schubert thickenings over the limit set; a mismatch would refute the smooth-form theorem.
Extended reading notes
Core claim
Let Γ be a non-elementary B-Anosov subgroup of a complex semisimple Lie group G acting on the full flag manifold F=G/B, β a hyperbolic length function with critical exponent s0, and (s_j) a sequence decreasing to s0 with Gibbs measure μ_F on the flag-limit set Λ⊂F. The paper proves that for every Λ-generic k-dimensional subvariety S with class [S]=Σ_w a_w[X_w], the weighted averages (1/P(s_j)) Σ_γ e^{-s_j β(γ)} [γ(S)] converge weakly to ∫_Λ Σ_w a_w [Th_w(λ)] dμ_F(λ). The same limit holds for every smooth closed (n−k,n−k)-form, with coefficients from its Poincaré dual and no genericity condition. These limits, the Gibbs currents, are the boundary Gibbs measure integrated against currents of i
Load-bearing premise
The load-bearing premise is the Chapter 6 estimate that the set of 'bad' group elements — those whose inverses are t-close to the exceptional set f^{-1}(Λ_S) — grows slowly compared with the whole group under the length function β; if that estimate fails, the subvariety theorem loses control of the discontinuity of the current-valued map.
Editorial extensions
If this is right
- In the k=0 case, Theorem 4 contains Theorem 2: every Λ-generic point of F equidistributes to the Gibbs measure on the flag-limit set.
- For Zariski dense Anosov subgroups the genericity hypothesis is automatic, so every proper subvariety of F equidistributes, with the limiting current determined solely by its homology class.
- The smooth-form theorem requires no genericity condition, so the equidistribution statement covers every cohomology class of every bidegree on F.
- The suspension-flow result of Chapter 9 extends an Axiom A-type hyperbolicity from the limit set to the whole product F×F, interpreting the dynamics as a Morse–Smale flow.
Reading between the lines
- The paper notes that similar results should hold for general P-Anosov subgroups acting on partial flag manifolds; if that carries through, the limiting-current formula would describe equidistribution for all flag types, with Schubert classes of the relevant partial flag variety.
- The quantitative continuity behind the smooth-form theorem suggests that one might extract effective rates of convergence — perhaps exponential along the group — rather than the weak limit alone; the C*-action estimates in Chapter 7 point in that direction.
- The wedge products of Gibbs currents constructed in Chapter 8 yield new Γ-invariant measures supported on intersections of thickenings; extending holomorphic-dynamics intuition, these could define a stratified family of invariant subsets, analogous to the small and big Julia sets, but the paper leaves that interpretation open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper constructs a Patterson–Sullivan-type averaging for currents on full flag manifolds F = G/B under B-Anosov subgroup actions, with the goal of proving two main equidistribution theorems (Theorems 4 and 5). The main claims assert that the averaged pushforwards of integration currents over Λ-generic subvarieties, and of all smooth closed forms, converge weakly to a 'Gibbs current': an integral over the flag limit set of Schubert-weighted integration currents against a Gibbs measure. The visible portion (Introduction through Chapter 3) develops the Gromov-hyperbolic counting machinery, current-theoretic tools, and the construction of Gibbs measures. The ultimate proofs of the main theorems are deferred to Chapters 6 and 7, which are not visible in the submitted text.
Significance. If correct, the paper would establish a novel and far-reaching extension of Patterson–Sullivan theory to positive-dimensional currents on flag manifolds, with natural connections to holomorphic dynamics, the theory of Anosov subgroups, and equidistribution in homogeneous spaces. The visible first third is rigorous and well-written: definitions are precise, lemmas are proven, and the counting propositions in §3.5 are nontrivial and credible. The paper also offers auxiliary results—such as the bi-Hölder property of boundary maps in Appendix C and the quantitative Harvey–Lawson theorem in Chapter 7—that are of independent interest. The central Gibbs-current construction is new and well-motivated by the stratification analogy with Green currents.
major comments (3)
- [§3.5.4.2, Proposition 3.57] The algebra after defining M_t(P)=t^{α s0} #I_t is inconsistent: from (96), limsup #I_t t^{s0} = limsup M_t(P) t^{(1-α)s0}, which yields M(P) only when α=1 and diverges when α>1. As written, the conclusion limsup #I_t t^{s0} ≤ C M(P)^{1/α} does not follow. Since this proposition feeds the slow-growth estimate for Theorem 4, the exponent must be corrected and the proof rerun.
- [Introduction; Chapters 6 and 7] The two load-bearing components for Theorems 4 and 5 are not verifiable from the visible portion: the Chapter 6 'bad element' slow-growth estimate and the quantitative Harvey–Lawson theorem (Theorem 7.6) used for continuity of η. The Introduction explicitly states Chapter 6 is delicate and necessary to handle discontinuity at Λ_S; Theorem 5 has no genericity cushion and depends entirely on Theorem 7.6. The submitted text must include these proofs or precise statements before the main claims can be accepted.
- [§3.5.3, Theorem 3.50] Theorem 3.50 relies on a uniform passage to the limit in Propositions 3.48–3.49; the proof is compressed because the bad-part bound depends on N while the good-part estimate uses a modulus of continuity. The text should spell out how the error terms are controlled as s→s0+ and the role of the divergence of P(s).
minor comments (5)
- [Introduction, Remark 1] The sentence 'the Γ-orbit of every point ζ in Γ = Γ ∪ ∂∞Γ equidistributes to µ' uses Γ for the compactification without defining the notation; please clarify.
- [Chapter 2, §2.1.6] In Lemma 2.3, the statement and proof would be clearer if the convention for positivity of currents and the local Kähler form are specified more explicitly.
- [Chapter 3, §3.5.1.2] The notation Γ_N = {β ≤ N} is used in Proposition 3.44 and later but not distinguished from the annuli A_n; a brief notational note would help.
- [Chapter 1, §1.4.3] Theorem 1.47 is attributed to Mineyev and Nica–Špakula, but the proof is not included; a precise reference to the published proofs is advisable.
- [Abstract] Minor grammatical issue: 'we prove that the same equidistribution result (but without any genericity assumptions) for currents' should likely read 'we prove the same equidistribution result ... for currents'. Also state explicitly that the limit is a Gibbs current.
Circularity Check
No circularity: the Gibbs current is defined independently of the averaged current sums, and the proofs use independent counting and Harvey-Lawson estimates.
full rationale
The central claim is that the current-valued Patterson-Sullivan sums (1/P(s_j))Σ_γ e^{-s_jβ(γ)} γ_*JSK converge to the current ∫_Λ Σ_w a_w JTh_w(λ)K dμ_F(λ), where μ_F is a fixed push-forward of a Gibbs measure on ∂∞Γ and the coefficients a_w are fixed by the homology/Poincaré duality expansion (equations (2)-(3)). The target current is not defined as the limit of the left-hand sums; it is constructed from Schubert thickening classes and the boundary Gibbs measure. The k=0 case is not a tautology either: Theorem 2 asserts equidistribution of every Λ-generic point, and the underlying boundary universality theorem (Theorem 3.50) is proved by independent counting estimates (Propositions 3.44-3.57). The mechanisms invoked for the current-level result - continuity of η via the quantitative Harvey-Lawson theorem (Theorem 7.6, Corollary 5.20) and the slow growth of the bad elements in Chapter 6 - are independent, falsifiable ingredients rather than definitions of the conclusion. Self-citations such as [DK22], [KLP17] and [KMG] provide background or are proved in the book's appendices; none is a uniqueness theorem used to force the claimed limit by construction. The paper even reports examples of failure for non-generic subvarieties, confirming the statement is not vacuous. The visible algebra in Proposition 3.57 (comparing t^{αs0}#I_t with #I_t t^{s0}) is a proof-gap or correctness risk, not an input-output identity, and therefore does not affect the circularity assessment.
Assumptions & free parameters
free parameters (2)
- hyperbolic length function β =
free input: e.g. word metric, d_F(x, γx), Green metric
- PS sequence (s_j) =
any sequence s_j → s0+ for which the weak limit exists
assumptions (5)
- standard math Existence of Γ-invariant ε-strongly hyperbolic metrics on hyperbolic groups (Theorem 1.47, citing Mineyev [Min07] and Nica-Špakula [Nv16])
- domain assumption Redressing theorem (Theorem 1.78, Appendix A, joint with Martinez-Granado): every γ ∈ Γ can be replaced by γ◦g, g in a fixed finite set E, so that fixed points are uniformly separated
- domain assumption B-Anosov subgroups admit an equivariant boundary map / flag-limit set f: ∂∞Γ → Λ ⊂ G/B, and this map is bi-Hölder (existence from [KLP17], [GW12]; bi-Hölder proven in Appendix C, supplementing Tsouvalas' Hölder result)
- standard math Divergence type and ergodicity: nonelementary quasiconvex-cocompact actions satisfy P(s0) = ∞ and have atom-free, ergodic limit measures (Theorem 3.8 from [Coo93]/[DSU17]; Theorem 3.14)
- domain assumption Quantitative Harvey-Lawson asymptotics of smooth currents under C*-actions (Theorem 7.6, 'a quantitative version' of [HL00, HL01])
invented entities (1)
-
Gibbs current: ∫_Λ Σ_w a_w JTh_w(λ)K dμ_F(λ)
Cite this review
Pith. "Pith review of Equidistribution of currents under Anosov group actions." pith.science (2026). https://pith.science/paper/OOS4EIQT
@misc{pith2026260722920,
author = {Pith},
title = {Pith review of: Equidistribution of currents under Anosov group actions},
year = {2026},
howpublished = {\url{https://pith.science/paper/OOS4EIQT}},
note = {Machine review of arXiv:2607.22920}
}
read the original abstract
We study the behavior of currents on flag-manifolds under actions of Anosov subgroups of complex semisimple Lie groups G. Given a current T of bidimension (k, k) on the full flag-manifold F = G/B, we average it under the group action via a construction analogous to the construction of Patterson-Sullivan measures. We show that under certain genericity conditions (in the case of currents of integration over subvarieties), the limiting current is a Gibbs current, i.e. is given by integration (with respect to a Gibbs measure) over the flag-limit set of suitable multiples of currents of integration along Schubert varieties based at the limit points of the group. We prove that the same equidistribution result (but without any genericity assumptions) for currents defined by smooth forms on F. We also prove a form of Axiom A property for the suspension flow of the group action on F.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[1]
Math.91(1995), no
[AMS95] Herbert Abels, Gregory Margulis, and Gregory Soifer,Semigroups containing proximal linear maps, Israel J. Math.91(1995), no. 1-3, 1–30. MR 1348303 [BB05] Anders Björner and Francesco Brenti,Combinatorics of Coxeter groups, Graduate Texts in Math- ematics, vol. 231, Springer, New York,
1995
-
[20]
MR 3155540 [Lan13] Urs Lang,Injective hulls of certain discrete metric spaces and groups, J. Topol. Anal.5(2013), no. 3, 297–331. MR 3096307 [Lju83] M. Ju. Ljubich,Entropy properties of rational endomorphisms of the Riemann sphere, Ergodic Theory Dynam. Systems3(1983), no. 3, 351–385. MR 741393 [LM18] Cyril Lecuire and Mahan Mj,Horospheres in degenerate 3...
2013
-
[22]
The barycenter method
MR 1041575 [Nor86] Madhav V. Nori,The Schottky groups in higher dimensions, The Lefschetz centennial conference, Part I (Mexico City, 1984), Contemp. Math., vol. 58, Amer. Math. Soc., Providence, RI, 1986, pp. 195–197. MR 860414 [Nv16] Bogdan Nica and Ján Špakula,Strong hyperbolicity, Groups Geom. Dyn.10(2016), no. 3, 951–964. MR 3551185 [OR23] Eduardo Or...
1984
-
[25]
Reine Angew
MR 4647907 [DK25] ,Klein-Maskit combination theorem for Anosov subgroups: amalgams, J. Reine Angew. Math.819(2025), 1–43. MR 4856993 [DKL19] Subhadip Dey, Michael Kapovich, and Bernhard Leeb,A combination theorem for Anosov sub- groups, Math. Z.293(2019), no. 1-2, 551–578. MR 4002289 [DMS25] Benjamin Delarue, Daniel Monclair, and Andrew Sanders,Locally ho...
2025
-
[26]
Hautes Études Sci
[Sul79] Dennis Sullivan,The density at infinity of a discrete group of hyperbolic motions, Inst. Hautes Études Sci. Publ. Math. (1979), no. 50, 171–202. MR 556586 [Tan21] Ryokichi Tanaka,Topological flows for hyperbolic groups, Ergodic Theory Dynam. Systems41 (2021), no. 11, 3474–3520. MR 4321719 [Tit66] Jacques Tits,Normalisateurs de tores. I. Groupes de...
1979
-
[27]
MR 2146652 232 BIBLIOGRAPHY [UW13] Henning Ulfarsson and Alexander Woo,Which Schubert varieties are local complete intersections?, Proc. Lond. Math. Soc. (3)107(2013), no. 5, 1004–1052. MR 3126390 [V¨05] Jussi Väisälä,Gromov hyperbolic spaces, Expo. Math.23(2005), no. 3, 187–231. MR 2164775 [Wil91] David Williams,Probability with martingales, Cambridge Ma...
2013
-
[28]
MR 2041428 [Yue96] Chengbo Yue,The ergodic theory of discrete isometry groups on manifolds of variable negative curvature, Trans. Amer. Math. Soc.348(1996), no. 12, 4965–5005. MR 1348871 [ZZ24] Feng Zhu and Andrew Zimmer,Relatively Anosov representations via flows II: Examples, J. Lond. Math. Soc. (2)109(2024), no. 6, Paper No. e12949,
1996
-
[66]
MR 2922380 [Bri04] Michel Brion,Lectures on the geometry of flag varieties,https://arxiv.org/abs/math/0410240,
Show all 28 references
-
[1980]
MR 575344 [Mat92] Shigenori Matsumoto,Foundations of flat conformal structure, Aspects of low-dimensional mani- folds, Adv. Stud. Pure Math., vol. 20, Kinokuniya, Tokyo, 1992, pp. 167–261. MR 1208312 [McM99] Curtis T. McMullen,Hausdorff dimension and conformal dynamics. I. Str...
1992
-
[1983]
MR 756417 [Sol69] Louis Solomon,The Steinberg character of a finite group withBN-pair, Theory of Finite Groups (Symposium, Harvard Univ., Cambridge, Mass., 1968), W. A. Benjamin, Inc., New York- Amsterdam, 1969, pp. 213–221. MR 246951 [Spe24] David Speyer,Richardson varieties,...
1968 arXiv
-
[1988]
Topol.21(2017), no
MR 1086648 [GGKW17] François Guéritaud, Olivier Guichard, Fanny Kassel, and Anna Wienhard,Anosov representations and proper actions, Geom. Topol.21(2017), no. 1, 485–584. MR 3608719 [Gro87a] M. Gromov,Entropy, homology and semialgebraic geometry, no. 145-146, 1987, Séminaire B...
2017
-
[1989]
MR 969123 [Bru99] Marco Brunella,Courbes entières et feuilletages holomorphes, Enseign. Math. (2)45(1999), no. 1-2, 195–216. MR 1703368 [BS85] Joan S. Birman and Caroline Series,Geodesics with bounded intersection number on surfaces are sparsely distributed, Topology24(1985), ...
1999
-
[1991]
[YC04] Yosef Yomdin and Georges Comte,Tame geometry with application in smooth analysis, Lecture Notes in Mathematics, vol
MR 1155402 [Yan23] Wenyuan Yang,Conformal dynamics at infinity for groups with contracting elements, 2023,https: //arxiv.org/abs/2208.04861. [YC04] Yosef Yomdin and Georges Comte,Tame geometry with application in smooth analysis, Lecture Notes in Mathematics, vol. 1834, Spring...
2023 arXiv
-
[1996]
MR 1441541 [FJ03] Charles Favre and Mattias Jonsson,Brolin’s theorem for curves in two complex dimensions, Ann. Inst. Fourier (Grenoble)53(2003), no. 5, 1461–1501. MR 2032940 [FMS10] Kurt Falk, Katsuhiko Matsuzaki, and Bernd O. Stratmann,Checking atomicity of conformal ending ...
2003
-
[1997]
Hautes Études Sci
[KL97] Bruce Kleiner and Bernhard Leeb,Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings, Inst. Hautes Études Sci. Publ. Math. (1997), no. 86, 115–197. MR 1608566 [KL18a] Michael Kapovich and Bernhard Leeb,Discrete isometry groups of symmetric spaces, H...
1997 arXiv
-
[1999]
MR 1744486 [BHM11] Sébastien Blachère, Peter Haïssinsky, and Pierre Mathieu,Harmonic measures versus quasicon- formal measures for hyperbolic groups, Ann. Sci. Éc. Norm. Supér. (4)44(2011), no. 4, 683–721. MR 2919980 [BL00] Sara Billey and V. Lakshmibai,Singular loci of Schube...
2011
-
[2000]
[Bow95] B
MR 1782635 [BLW26] Yannick Guedes Bonthonneau, Thibault Lefeuvre, and Tobias Weich,The spectrum of anosov representations. [Bow95] B. H. Bowditch,Geometrical finiteness with variable negative curvature, Duke Math. J.77(1995), no. 1, 229–274. MR 1317633 [Bow98] Brian H. Bowditc...
1995
-
[2002]
Kim and Hee Oh,Non-concentration property of Patterson-Sullivan measures for Anosov subgroups, Ergodic Theory Dynam
MR 1920389 [KO25] Dongryul M. Kim and Hee Oh,Non-concentration property of Patterson-Sullivan measures for Anosov subgroups, Ergodic Theory Dynam. Systems45(2025), no. 3, 884–893. MR 4860668 [KP08] Steven G. Krantz and Harold R. Parks,Geometric integration theory, Cornerstones...
2025
-
[2004]
Mat.6(1965), 103–144
[Bro65] Hans Brolin,Invariant sets under iteration of rational functions, Ark. Mat.6(1965), 103–144. MR 194595 [Bro89] Kenneth S. Brown,Buildings, Springer-Verlag, New York,
1965
-
[2005]
Theory Related Fields137(2007), no
MR 2133266 [BB07] Sébastien Blachère and Sara Brofferio,Internal diffusion limited aggregation on discrete groups hav- ing exponential growth, Probab. Theory Related Fields137(2007), no. 3-4, 323–343. MR 2278460 [BC87] Mladen Bestvina and Daryl Cooper,A wild Cantor set as the ...
2007 arXiv
-
[2006]
[Rob03] Thomas Roblin,Ergodicité et équidistribution en courbure négative, Mém. Soc. Math. Fr. (N.S.) (2003), no. 95, vi+96. MR 2057305 [Ron09] Mark Ronan,Lectures on buildings, University of Chicago Press, Chicago, IL, 2009, Updated and revised. MR 2560094 [Sam24] Andrés Samb...
2003
-
[2007]
MR 2327160 [BT82] Eric Bedford and B. A. Taylor,A new capacity for plurisubharmonic functions, Acta Math.149 (1982), no. 1-2, 1–40. MR 674165 [Cal13] Danny Calegari,The ergodic theory of hyperbolic groups, Geometry and topology down under, Contemp. Math., vol. 597, Amer. Math....
1982
-
[2012]
[DFWZ23] Sami Douba, Balthazar Fléchelles, Theodore Weisman, and Feng Zhu,Cubulated hyperbolic groups admit Anosov representations,https://arxiv.org/abs/2309.03695,
-
[2013]
Math.159(1993), no
MR 2985759 [Coo93] Michel Coornaert,Mesures de Patterson-Sullivan sur le bord d’un espace hyperbolique au sens de Gromov, Pacific J. Math.159(1993), no. 2, 241–270. MR 1214072 [Cou24] Remi Coulon,Patterson-Sullivan theory for groups with a strongly contracting element, Ergodic...
1993
-
[2014]
[KLP17] ,Anosov subgroups: dynamical and geometric characterizations, Eur. J. Math.3(2017), no. 4, 808–898. MR 3736790 [KLP18a] ,Dynamics on flag manifolds: domains of proper discontinuity and cocompactness, Geom. Topol.22(2018), no. 1, 157–234. MR 3720343 [KLP18b] ,A Morse le...
2017
-
[2017]
[BGG73] I. N. Bernšte˘ ın, I. M. Gel’fand, and S. I. Gel’fand,Schubert cells, and the cohomology of the spaces G/P, Uspehi Mat. Nauk28(1973), no. 3(171), 3–26. MR 0429933 [BGS85] Werner Ballmann, Mikhael Gromov, and Viktor Schroeder,Manifolds of nonpositive curvature, Progress...
1973
-
[2023]
63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica
[DK18] Cornelia Druţu and Michael Kapovich,Geometric group theory, American Mathematical Society Colloquium Publications, vol. 63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica. MR 3753580 [DK22] Subhadip Dey and Michael Kapovich,Patterso...
2018
-
[2024]
Math.165 (2006), no
MR 4783431 [Lab06] François Labourie,Anosov flows, surface groups and curves in projective space, Invent. Math.165 (2006), no. 1, 51–114. MR 2221137 [Lab13] ,Lectures on representations of surface groups, Zurich Lectures in Advanced Mathematics, European Mathematical Society (...
2006
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.