pith. sign in

arxiv: 2604.18365 · v1 · submitted 2026-04-20 · 🧮 math.DG

Hausdorff Dimension of Anosov Subgroups' Limit Sets with Special Self-Affine Complexity

Zhufeng Yao This is my paper

Pith reviewed 2026-05-10 03:25 UTC · model grok-4.3

classification 🧮 math.DG
keywords Anosov subgroupsHausdorff dimensionprojective limit setsself-affine setscritical exponentregular distortionHitchin representations
0
0 comments X

The pith

For Anosov subgroups whose limit sets show partial quasi-self-similarity, the Hausdorff dimension equals the critical exponent of the first simple root.

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

The paper studies the Hausdorff dimension of the projective limit set of irreducible projective Anosov subgroups inside PGL(d,R). It proves that this dimension reaches the ambient dimension only when d equals 2 and the subgroup is a cocompact lattice. For irreducible Anosov representations of closed surface groups into PGL(3,R), the dimension never equals 1 unless the representation is Hitchin. When the limit set satisfies a partial quasi-self-similarity condition that follows from the regular distortion property, the dimension exactly equals the critical exponent of the first simple root, which yields explicit values for the limit sets of Theta-positive representations of convex cocompact Fuchsian groups.

Core claim

Viewing the projective limit set as an analogue of a self-affine set, the author shows that partial quasi-self-similarity of Lambda^1(Gamma) implies its Hausdorff dimension coincides with the critical exponent of the first simple root. This equality holds for any irreducible projective Anosov subgroup satisfying the regular distortion property and produces concrete dimension formulas for the images of convex cocompact Fuchsian groups under Theta-positive representations.

What carries the argument

The partial quasi-self-similarity property of the limit set Lambda^1(Gamma), which forces its Hausdorff dimension to equal the critical exponent of the first simple root.

If this is right

  • If the limit set has full Hausdorff dimension then d equals 2 and Gamma is a cocompact lattice.
  • For d equals 3 and Gamma the image of a closed surface group under an irreducible Anosov representation, the limit set never has Hausdorff dimension 1 unless the representation is Hitchin.
  • The Hausdorff dimension equals the critical exponent of the first simple root for the limit sets of arbitrary Theta-positive representations of convex cocompact Fuchsian groups.

Where Pith is reading between the lines

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

  • The equality supplies a concrete formula that can be checked for any Anosov subgroup once its distortion properties are verified.
  • Similar dimension computations may apply in higher-rank settings if the corresponding limit sets inherit comparable self-similarity from the group action.

Load-bearing premise

The limit set exhibits partial quasi-self-similarity or the subgroup satisfies the regular distortion property.

What would settle it

An explicit irreducible projective Anosov subgroup that obeys the regular distortion property yet has limit-set Hausdorff dimension different from the critical exponent of its first simple root.

read the original abstract

Let $\Gamma\subset \mathsf{PGL}(d,\mathbb{R})$ be an irreducible projective Anosov subgroup and let $\Lambda^1(\Gamma)$ be its projective limit set. Viewing $\Lambda^1(\Gamma)$ as an analogue of a self-affine set, we investigate the Hausdorff dimension of $\Lambda^1(\Gamma)$ under specific assumptions regarding its affine complexity: 1. If $\Lambda^1(\Gamma)$ is of full Hausdorff dimension, then $d= 2$ and $\Gamma$ is a cocompact lattice. 2. If $d = 3$ and $\Gamma$ is the image of a closed surface group under an irreducible Anosov representation, then $\Lambda^1(\Gamma)$ never has Hausdorff dimension $1$ unless the representation is Hitchin. 3. If the limit set $\Lambda^1(\Gamma)$ exhibits a partial quasi-self-similarity (in the sense of Falconer~\cite{falconerselfsimilar1}) -- which can be implied by the ``regular distortion property'' of $\Gamma$ -- then the Hausdorff dimension of $\Lambda^1(\Gamma)$ equals the critical exponent of the first simple root. An application of this result is the computation of the Hausdorff dimension of the limit set for arbitrary $\Theta$-positive representations of convex cocompact Fuchsian groups.

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

2 major / 2 minor

Summary. The manuscript studies the Hausdorff dimension of the projective limit set Λ¹(Γ) for irreducible projective Anosov subgroups Γ ⊂ PGL(d,ℝ), viewing these sets as analogues of self-affine sets. It establishes three conditional results: (1) if Λ¹(Γ) has full Hausdorff dimension then d=2 and Γ is a cocompact lattice; (2) if d=3 and Γ arises from an irreducible Anosov representation of a closed surface group then dim Λ¹(Γ)=1 only when the representation is Hitchin; (3) if Λ¹(Γ) satisfies partial quasi-self-similarity in the sense of Falconer (which may follow from the regular distortion property of Γ) then dim Λ¹(Γ) equals the critical exponent of the first simple root, with an application to the explicit computation of this dimension for arbitrary Θ-positive representations of convex cocompact Fuchsian groups.

Significance. If the results hold, the work supplies concrete dimension computations for limit sets arising in higher Teichmüller theory by importing standard techniques from the dimension theory of self-affine sets. The third result in particular yields an explicit formula under a verifiable geometric condition, which strengthens the link between Anosov dynamics and fractal geometry and may be useful for further study of Θ-positive representations.

major comments (2)
  1. [Result 3] Result 3: the statement that partial quasi-self-similarity 'can be implied by the regular distortion property' requires an explicit verification or reference to a prior result establishing the implication for the Anosov subgroups under consideration; without this, the reduction of Hausdorff dimension to the critical exponent remains conditional on an unverified hypothesis.
  2. [Application to Θ-positive representations] Application paragraph following Result 3: the claim that the dimension computation extends to arbitrary Θ-positive representations of convex cocompact Fuchsian groups assumes the regular distortion property holds in this setting; the manuscript should identify the precise section or lemma where this property is checked for these representations.
minor comments (2)
  1. The abstract cites Falconer but the bibliography entry should be expanded to include the precise reference (e.g., the 1988 or 1990 paper on self-affine sets) to avoid ambiguity.
  2. Notation: the superscript 1 in Λ¹(Γ) is used without an immediate definition in the abstract; a brief parenthetical clarification would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for the insightful comments. We respond to the major comments point by point below.

read point-by-point responses

  1. Referee: [Result 3] Result 3: the statement that partial quasi-self-similarity 'can be implied by the regular distortion property' requires an explicit verification or reference to a prior result establishing the implication for the Anosov subgroups under consideration; without this, the reduction of Hausdorff dimension to the critical exponent remains conditional on an unverified hypothesis.

    Authors: We concur that the connection between the regular distortion property and partial quasi-self-similarity requires explicit support. The manuscript intends this as a standard implication from the theory of Anosov subgroups, but to address the concern, we will add a reference to the appropriate prior result or a self-contained verification in the revised version. This will ensure the Hausdorff dimension result is properly grounded. revision: yes

  2. Referee: [Application to Θ-positive representations] Application paragraph following Result 3: the claim that the dimension computation extends to arbitrary Θ-positive representations of convex cocompact Fuchsian groups assumes the regular distortion property holds in this setting; the manuscript should identify the precise section or lemma where this property is checked for these representations.

    Authors: We are grateful for this clarification request. In the application to Θ-positive representations, the regular distortion property is indeed assumed based on the geometric properties of these representations. We will specify the exact section or lemma (likely in the preliminaries or the section on Θ-positive representations) where this is established or referenced, and if necessary, provide additional details in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Falconer reference and stated assumptions

full rationale

The paper's central result (result 3) is explicitly conditional on the limit set exhibiting partial quasi-self-similarity in Falconer's sense, which is cited externally and noted as possibly implied by the regular distortion property. Standard dimension theory for self-affine sets is applied to equate Hausdorff dimension with the critical exponent. No self-citations, fitted parameters renamed as predictions, self-definitional loops, or ansatz smuggling appear in the derivation chain. The conditions are flagged as necessary rather than universal, and the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard definitions and properties from the field of Anosov representations and fractal geometry, with no new free parameters, invented entities, or ad hoc axioms apparent from the abstract.

axioms (2)
  • domain assumption Standard definitions of irreducible projective Anosov subgroup, projective limit set, and Hausdorff dimension
    Invoked throughout the abstract as background for the statements.
  • standard math Properties of self-affine sets and partial quasi-self-similarity from Falconer
    Directly cited as the sense in which the complexity is defined.

pith-pipeline@v0.9.0 · 5550 in / 1501 out tokens · 108724 ms · 2026-05-10T03:25:17.619115+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

46 extracted references · 46 canonical work pages

  1. [1]

    Albuquerque,Patterson-Sullivan theory in higher rank symmetric spaces, Geom

    P. Albuquerque,Patterson-Sullivan theory in higher rank symmetric spaces, Geom. Funct. Anal.9(1999), no. 1, 1–28. MR 1675889

    work page 1999

  2. [2]

    Topol.14(2010), no

    Thierry Barbot,Three-dimensional Anosov flag manifolds, Geom. Topol.14(2010), no. 1, 153–191. MR 2578303

    work page 2010

  3. [3]

    Bishop and Peter W

    Christopher J. Bishop and Peter W. Jones,Hausdorff dimension and Kleinian groups, Acta Mathematica179(1997), no. 1, 1–39

    work page 1997

  4. [4]

    Pierre-Louis Blayac,Topological mixing of the geodesic flow on convex projective manifolds, Ann. Inst. Fourier (Grenoble)75(2025), no. 3, 1139–1176. MR 4921372

    work page 2025

  5. [5]

    Jairo Bochi, Rafael Potrie, and Andr´ es Sambarino,Anosov representations and dominated splittings, J. Eur. Math. Soc. (JEMS)21(2019), no. 11, 3343–3414

    work page 2019

  6. [6]

    Marc Burger, Or Landesberg, Minju Lee, and Hee Oh,The Hopf-Tsuji-Sullivan dichotomy in higher rank and applications to Anosov subgroups, J. Mod. Dyn.19(2023), 301–330. MR 4588419

    work page 2023

  7. [7]

    Richard Canary,Anosov representations: informal lecture notes, 2021, Unpublished, available athttps://pagine.dm.unipi.it/~a019210/Canary_Survey_Anosov.pdf

    work page 2021

  8. [8]

    4, 1497–1520

    Richard Canary and Konstantinos Tsouvalas,Topological restrictions on anosov representa- tions, Journal of Topology13(2020), no. 4, 1497–1520

    work page 2020

  9. [9]

    Richard Canary, Tengren Zhang, and Andrew Zimmer,Cusped Hitchin representations and Anosov representations of geometrically finite Fuchsian groups, Advances in Mathematics 404(2022), 67, Id/No 108439

    work page 2022

  10. [10]

    ,Patterson-Sullivan measures for transverse subgroups, Journal of Modern Dynamics 20(2024), 319–377

    work page 2024

  11. [11]

    Richard Canary, Tengren Zhang, and Andrew Zimmer,A rigidity theorem for complex kleinian groups, 2025

    work page 2025

  12. [12]

    Topol.19(2026), no

    Richard Canary, Tengren Zhang, and Andrew Zimmer,Entropy rigidity for cusped Hitchin representations, J. Topol.19(2026), no. 1, Paper No. e70064. MR 5018584

    work page 2026

  13. [13]

    Micka¨ el Crampon,Entropies of strictly convex projective manifolds, J. Mod. Dyn.3(2009), no. 4, 511–547. MR 2587084

    work page 2009

  14. [14]

    Subhadip Dey and Michael Kapovich,Patterson-Sullivan theory for Anosov subgroups, Trans. Amer. Math. Soc.375(2022), no. 12, 8687–8737. MR 4504651

    work page 2022

  15. [15]

    12, 8687–8737

    ,Patterson-Sullivan theory for Anosov subgroups, Transactions of the American Math- ematical Society375(2022), no. 12, 8687–8737

    work page 2022

  16. [16]

    Kim, and Hee Oh,Ahlfors regularity of patterson-sullivan mea- sures of anosov groups and applications, 2025

    Subhadip Dey, Dongryul M. Kim, and Hee Oh,Ahlfors regularity of patterson-sullivan mea- sures of anosov groups and applications, 2025

    work page 2025

  17. [17]

    ,Ahlfors regularity of patterson-sullivan measures of anosov groups and applications, 2025

    work page 2025

  18. [18]

    Adrien Douady and Joseph Oesterl´ e,Dimension de Hausdorff des attracteurs, C. R. Acad. Sci. Paris S´ er. A-B290(1980), no. 24, A1135–A1138. MR 585918

    work page 1980

  19. [19]

    K. J. Falconer,The Hausdorff dimension of self-affine fractals, Math. Proc. Cambridge Philos. Soc.103(1988), no. 2, 339–350. MR 923687

    work page 1988

  20. [20]

    ,Dimensions and measures of quasi self-similar sets, Proc. Amer. Math. Soc.106 (1989), no. 2, 543–554. MR 969315

    work page 1989

  21. [21]

    HAUSDORFF DIMENSION OF ANOSOV SUBGROUPS’ LIMIT SETS 33

    James Farre, Beatrice Pozzetti, and Gabriele Viaggi,Topological and geometric restrictions on hyperconvex representations, Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) (2025), published online, arXiv:2403.13668 [math]. HAUSDORFF DIMENSION OF ANOSOV SUBGROUPS’ LIMIT SETS 33

    work page arXiv 2025

  22. [22]

    Olivier Glorieux, Daniel Monclair, and Nicolas Tholozan,Hausdorff dimension of limit sets for projective Anosov representations, Journal de l’ ´Ecole polytechnique – Math´ ematiques10 (2023), 1157–1193

    work page 2023

  23. [23]

    1, 485–584

    Fran¸ cois Gu´ eritaud, Olivier Guichard, Fanny Kassel, and Anna Wienhard,Anosov represen- tations and proper actions, Geometry & Topology.21(2017), no. 1, 485–584

    work page 2017

  24. [24]

    Differential Geom.80(2008), no

    Olivier Guichard,Composantes de Hitchin et repr´ esentations hyperconvexes de groupes de surface, J. Differential Geom.80(2008), no. 3, 391–431. MR 2472478

    work page 2008

  25. [25]

    2, 357–438

    Olivier Guichard and Anna Wienhard,Anosov representations: domains of discontinuity and applications, Inventiones Mathematicae190(2012), no. 2, 357–438

    work page 2012

  26. [26]

    Kaplan and James A

    James L. Kaplan and James A. Yorke,Chaotic behavior of multidimensional difference equa- tions, Functional Differential Equations and Approximation of Fixed Points (Berlin, Heidel- berg) (Heinz-Otto Peitgen and Hans-Otto Walther, eds.), Springer Berlin Heidelberg, 1979, pp. 204–227

    work page 1979

  27. [27]

    Ilya Kapovich and Nadia Benakli,Boundaries of hyperbolic groups, 2002

    work page 2002

  28. [28]

    Michael Kapovich, Bernhard Leeb, and Joan Porti,Morse actions of discrete groups on sym- metric space, arXiv preprint arXiv:1403.7671 (2014), online

    work page arXiv 2014

  29. [29]

    4, 808–898

    ,Anosov subgroups: dynamical and geometric characterizations, European Journal of Mathematics3(2017), no. 4, 808–898

    work page 2017

  30. [30]

    Topol.22(2018), no

    ,A Morse lemma for quasigeodesics in symmetric spaces and Euclidean buildings, Geom. Topol.22(2018), no. 7, 3827–3923

    work page 2018

  31. [31]

    Kim, Yair N

    Dongryul M. Kim, Yair N. Minsky, and Hee Oh,Hausdorff dimension of directional limit sets for self-joinings of hyperbolic manifolds, Journal of Modern Dynamics19(2023), 433–453

    work page 2023

  32. [32]

    1, 51–114

    Fran¸ cois Labourie,Anosov flows, surface groups and curves in projective space, Inventiones Mathematicae165(2006), no. 1, 51–114

    work page 2006

  33. [33]

    Fran¸ cois Ledrappier and Pablo Lessa,Dimension gap and variational principle for anosov representations, 2023

    work page 2023

  34. [34]

    Minju Lee and Hee Oh,Invariant measures for horospherical actions and Anosov groups, Int. Math. Res. Not. IMRN (2023), no. 19, 16226–16295. MR 4651889

    work page 2023

  35. [35]

    ,Dichotomy and measures on limit sets of Anosov groups, Int. Math. Res. Not. IMRN (2024), no. 7, 5658–5688. MR 4728718

    work page 2024

  36. [36]

    Jialun Li, Wenyu Pan, and Disheng Xu,On the dimension of limit sets onP(R 3)via stationary measures: the theory and applications, 2024

    work page 2024

  37. [37]

    S. J. Patterson,The limit set of a Fuchsian group, Acta Mathematica136(1976), 241–273

    work page 1976

  38. [38]

    Maria Beatrice Pozzetti, Andr´ es Sambarino, and Anna Wienhard,Conformality for a robust class of non-conformal attractors, Journal f¨ ur die reine und angewandte Mathematik774 (2021), 1–51

    work page 2021

  39. [39]

    8, 3303–3360

    ,Anosov representations with Lipschitz limit set, Geometry & Topology27(2023), no. 8, 3303–3360

    work page 2023

  40. [40]

    Quint,Mesures de Patterson-Sullivan en rang sup´ erieur, Geom

    J.-F. Quint,Mesures de Patterson-Sullivan en rang sup´ erieur, Geom. Funct. Anal.12(2002), no. 4, 776–809. MR 1935549

    work page 2002

  41. [41]

    Nouvelle S´ erie, vol

    Thomas Roblin,Ergodicit´ e et ´ equidistribution en courbure n´ egative, M´ emoires de la Soci´ et´ e Math´ ematique de France. Nouvelle S´ erie, vol. 95, Soci´ et´ e Math´ ematique de France (SMF), Paris, 2003

    work page 2003

  42. [42]

    Systems44 (2024), no

    Andr´ es Sambarino,A report on an ergodic dichotomy, Ergodic Theory Dynam. Systems44 (2024), no. 1, 236–289. MR 4676211

    work page 2024

  43. [43]

    Dennis Sullivan,The density at infinity of a discrete group of hyperbolic motions, Publications Math´ ematiques de l’IH´ES50(1979), 171–202

    work page 1979

  44. [44]

    Zhufeng Yao,Critical exponent rigidity forθ−positive representations, 2026

    work page 2026

  45. [45]

    Topol.17(2024), no

    Tengren Zhang and Andrew Zimmer,Regularity of limit sets of Anosov representations, J. Topol.17(2024), no. 3, Paper No. e12355, 72

    work page 2024

  46. [46]

    Differential Geom.119(2021), no

    Andrew Zimmer,Projective Anosov representations, convex cocompact actions, and rigidity, J. Differential Geom.119(2021), no. 3, 513–586. MR 4333029

    work page 2021