pith. sign in

arxiv: 2402.06408 · v2 · submitted 2024-02-09 · 🧮 math.GT · math.GR

Dirichlet domains for Anosov subgroups

Colin Davalo , J. Maxwell Riestenberg This is my paper

Pith reviewed 2026-05-24 04:06 UTC · model grok-4.3

classification 🧮 math.GT math.GR
keywords Dirichlet domainsAnosov subgroupspolyhedral Finsler metricssymmetric spacesflag manifoldssemisimple Lie groupsdomains of discontinuity
0
0 comments X

The pith

A sufficient condition on subgroups of semisimple Lie groups ensures finite-sided Dirichlet domains for polyhedral Finsler metrics on symmetric spaces and is equivalent to the Θ-Anosov property in simple cases.

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

The paper introduces a sufficient condition for a finitely generated subgroup Γ of a semisimple Lie group G to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space G/K. This condition always implies that Γ is Θ-Anosov for some Θ, and becomes equivalent to the Θ-Anosov condition when G is simple and Θ consists of the long roots or the short roots. The obtained Dirichlet domain extends to a fundamental domain for the Γ-action on a domain of discontinuity in a flag manifold. Readers care because the result supplies concrete geometric models for Anosov subgroups in higher-rank settings, with explicit examples for Borel Anosov subgroups of SL(d, R) via the Hilbert metric and for n-Anosov subgroups of Sp(2n, R) via Selberg domains.

Core claim

We introduce a sufficient condition for a finitely generated subgroup Γ of a semisimple Lie group G to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space G/K. The condition always implies the Θ-Anosov condition for some Θ, and can be arranged to be equivalent to the Θ-Anosov condition when G is simple and Θ is the set of long roots or the set of short roots. The Dirichlet domain we obtain extends to a fundamental domain for the action of Γ on a domain of discontinuity in a flag manifold. For instance, Borel Anosov subgroups of SL(d, R) have finite-sided Dirichlet domains for the Hilbert metric on the symmetric space which extends to the space of line-h

What carries the argument

The sufficient condition on the finitely generated subgroup Γ that guarantees finite-sided Dirichlet domains for chosen polyhedral Finsler metrics on G/K and implies the Θ-Anosov property.

If this is right

  • Borel Anosov subgroups of SL(d, R) possess finite-sided Dirichlet domains for the Hilbert metric.
  • n-Anosov subgroups of Sp(2n, R) possess finite-sided Dirichlet-Selberg domains.
  • These domains extend to domains of discontinuity in appropriate flag manifolds, including the space of line-hyperplane flags and projective space bounded by quadrics.
  • When G is simple the new condition is equivalent to the Θ-Anosov condition for Θ equal to the long roots or the short roots.

Where Pith is reading between the lines

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

  • The construction may supply explicit fundamental domains for additional classes of discrete subgroups arising in higher Teichmüller theory.
  • Similar domain constructions could be tested for other Finsler metrics that are not necessarily polyhedral.
  • The equivalence result suggests that Anosov properties can be detected geometrically by checking finiteness of Dirichlet domains in simple groups.

Load-bearing premise

A polyhedral Finsler metric on G/K can be chosen so that the condition produces a finite-sided Dirichlet domain whose extension to the flag manifold is a domain of discontinuity.

What would settle it

An explicit example of a Θ-Anosov subgroup of a semisimple Lie group that fails to admit a finite-sided Dirichlet domain for every polyhedral Finsler metric on the associated symmetric space.

Figures

Figures reproduced from arXiv: 2402.06408 by Colin Davalo, J. Maxwell Riestenberg.

Figure 1
Figure 1. Figure 1: Illustration of the intersection of a Selberg bisector and RP2 . Lemma 2.6. For every ℓ ̸= ℓ ′ ∈ Hn, the intersection of the half-space H(xℓ ′ , xℓ) and P(ℓ ⊥) ⊂ RPn is the hyperplane P [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An illustration of ω1 for SL(4, R). 3.3.2. Let G = Sp(6, R). We consider representations of convex cocompact subgroups Γ ⊂ SL(2, R) that factor through a representation f : SL(2, R) → Sp(6, R). Given a partition τ = {τ1, τ2, · · · τk} with repetition such that τ1 + · · · + τk = 6 and each odd integer appears an even number of times, we can define a representation fτ : SL(2, R) → Sp(6, R) as the direct sum … view at source ↗
Figure 3
Figure 3. Figure 3: An illustration of the positive Weyl cham￾ber P(a +) = σmod for Sp(6, R). 3.4. Boundary maps and the Morse property. An important feature of Anosov sub￾groups is the existence of a boundary map, which can be characterized in the following way. Let Θ be a non-empty set of simple roots. Theorem 3.8 ([KLP17, BPS19]). Let Γ be Θ-Anosov subgroup of G. The group Γ is hyperbolic, with Gromov boundary ∂Γ. There ex… view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of the disjoint half-space prop￾erty. Recall that the half-spaces are closed subsets of X ∪∂ω X. A priori the flag property is weaker, but we see later that when ω is symmetric, the two are equivalent. Remark 6.10. If the (flag) disjoint half-space property holds for all triples (x, id, z) in Γ with x, z of word length D then it holds for all triples in Γ. Hence the (flag) disjoint half-space … view at source ↗
read the original abstract

We introduce a sufficient condition for a finitely generated subgroup $\Gamma$ of a semisimple Lie group $G$ to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space $G/K$. The condition always implies the $\Theta$-Anosov condition for some $\Theta$, and can be arranged to be equivalent to the $\Theta$-Anosov condition when $G$ is simple and $\Theta$ is the set of long roots or the set of short roots. The Dirichlet domain we obtain extends to a fundamental domain for the action of $\Gamma$ on a domain of discontinuity in a flag manifold. For instance, Borel Anosov subgroups of $\mathrm{SL}(d,\mathbb{R})$ have finite-sided Dirichlet domains for the Hilbert metric on the symmetric space which extends to the space of line-hyperplane flags, and $n$-Anosov subgroups of $\mathrm{Sp}(2n,\mathbb{R})$ have finite-sided Dirichlet-Selberg domains in $\mathrm{SL}(2n,\mathbb{R})/\mathrm{SO}(2n)$ which extend to a domain in projective space bounded by quadrics.

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 introduces a sufficient condition for a finitely generated subgroup Γ of a semisimple Lie group G to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space G/K. This condition always implies the Θ-Anosov property for some Θ, and is equivalent to it when G is simple and Θ consists of long or short roots. The resulting Dirichlet domain extends to a fundamental domain for the Γ-action on a domain of discontinuity in an associated flag manifold. Concrete instances include Borel Anosov subgroups of SL(d,ℝ) with the Hilbert metric (extending to line-hyperplane flags) and n-Anosov subgroups of Sp(2n,ℝ) with Selberg domains (extending to a quadric-bounded domain in projective space).

Significance. If the proofs hold, the work supplies an explicit, verifiable sufficient condition that produces finite-sided domains and simultaneously guarantees the Anosov property, together with explicit extensions to flag manifolds. The examples with the Hilbert and Selberg metrics demonstrate immediate applicability to well-studied classes of representations. This strengthens the geometric side of higher Teichmüller theory by linking Finsler geometry on symmetric spaces to domains of discontinuity.

minor comments (2)
  1. The abstract and introduction should explicitly state the precise definition of the new sufficient condition (presumably in §2 or §3) so that readers can immediately check the claimed implication to Θ-Anosov without first reading the full proof.
  2. Notation for the polyhedral Finsler metric and the associated Dirichlet domain should be introduced once and used consistently; several passages appear to switch between “polyhedral Finsler metric” and “Finsler metric” without clarifying whether the polyhedral assumption is essential for finiteness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the significance of the work. The report notes that the recommendation is uncertain but provides no specific major comments or points of concern. We are prepared to address any concrete issues regarding the proofs or arguments if they are communicated.

Circularity Check

0 steps flagged

No circularity: new sufficient condition introduced without reduction to inputs

full rationale

The paper introduces a novel sufficient condition on finitely generated subgroups Γ that guarantees finite-sided Dirichlet domains for polyhedral Finsler metrics and implies the Θ-Anosov property. The abstract and summary present this condition as newly defined and sufficient by construction of the argument, with no quoted equations or steps reducing a claimed prediction or result back to a fitted parameter, self-citation chain, or definitional equivalence. The equivalence to Θ-Anosov in special cases is stated as an arrangement of the condition rather than a tautology. No load-bearing self-citations or ansatzes are exhibited in the provided text. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the central claim rests on an unspecified sufficient condition whose details are not provided.

pith-pipeline@v0.9.0 · 5730 in / 1178 out tokens · 38264 ms · 2026-05-24T04:06:57.903296+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Patterns of Geodesics, Shearing, and Anosov Representations of the Modular Group

    math.GT 2024-12 unverdicted novelty 6.0

    The Barbot component B of DFR is homeomorphic to R² × [0,∞), with boundary parametrizing Pappus representations and interior extending Anosov representations from prior work via two shearing operations encoded by foli...

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    Benoist, Propri\' e t\' e s asymptotiques des groupes lin\' e aires , Geom

    Y. Benoist, Propri\' e t\' e s asymptotiques des groupes lin\' e aires , Geom. Funct. Anal. 7 (1997), no. 1, 1--47. 1437472

    work page 1997

  2. [2]

    Marc Burger, Alessandra Iozzi, and Anna Wienhard, Surface group representations with maximal T oledo invariant , Ann. of Math. (2) 172 (2010), no. 1, 517--566. 2680425

    work page 2010

  3. [3]

    Jairo Bochi, Rafael Potrie, and Andr\' e s Sambarino, Anosov representations and dominated splittings, J. Eur. Math. Soc. (JEMS) 21 (2019), no. 11, 3343--3414. 4012341

    work page 2019

  4. [4]

    Colin Davalo, Nearly geodesic immersions and domains of discontinuity, 2023

    work page 2023

  5. [5]

    Jeffrey Danciger, Fran c ois Gu \' e ritaud, and Fanny Kassel, Convex cocompact actions in real projective geometry , 2018

    work page 2018

  6. [6]

    Yukun Du, Geometry of selberg's bisectors in the symmetric space sl(n, R )/so(n, R ) , 2023

    work page 2023

  7. [7]

    Patrick Eberlein, Geometry of nonpositively curved manifolds, University of Chicago Press, 1996

    work page 1996

  8. [8]

    Vladimir Fock and Alexander Goncharov, Moduli spaces of local systems and higher T eichm\" u ller theory , Publ. Math. Inst. Hautes \' E tudes Sci. (2006), no. 103, 1--211. 2233852

    work page 2006

  9. [9]

    Fran c ois Gu\' e ritaud, Olivier Guichard, Fanny Kassel, and Anna Wienhard, Anosov representations and proper actions, Geom. Topol. 21 (2017), no. 1, 485--584. 3608719

    work page 2017

  10. [10]

    , Compactification of certain C lifford- K lein forms of reductive homogeneous spaces , Michigan Math. J. 66 (2017), no. 1, 49--84. 3619735

    work page 2017

  11. [11]

    Olivier Guichard, Fanny Kassel, and Anna Wienhard, Tameness of riemannian locally symmetric spaces arising from anosov representations, 2015

    work page 2015

  12. [12]

    Olivier Guichard, François Labourie, and Anna Wienhard, Positivity and representations of surface groups, 2021

    work page 2021

  13. [13]

    Olivier Guichard and Anna Wienhard, Anosov representations: domains of discontinuity and applications, Invent. Math. 190 (2012), no. 2, 357--438. 2981818

    work page 2012

  14. [14]

    u ller theory , European C ongress of M athematics, Eur. Math. Soc., Z\

    , Positivity and higher T eichm\" u ller theory , European C ongress of M athematics, Eur. Math. Soc., Z\" u rich, 2018, pp. 289--310. 3887772

    work page 2018

  15. [15]

    Hitchin, Lie groups and teichmüller space, Topology 31 (1992), no

    N.J. Hitchin, Lie groups and teichmüller space, Topology 31 (1992), no. 3, 449--473

    work page 1992

  16. [16]

    Thomas Haettel, Anna-Sofie Schilling, Cormac Walsh, and Anna Wienhard, Horofunction compactifications of symmetric spaces, 2018

    work page 2018

  17. [17]

    Math., vol

    Michael Kapovich, Geometric algorithms for discreteness and faithfulness, Computational aspects of discrete subgroups of lie groups, Contemp. Math., vol. 783, Amer. Math. Soc., [Providence], RI, [2023] 2023, pp. 87--112. 4556436

    work page 2023

  18. [18]

    F. I. Karpelevi c , Surfaces of transitivity of a semisimple subgroup of the group of motions of a symmetric space, Doklady Akad. Nauk SSSR (N.S.) 93 (1953), 401--404. 0060283

    work page 1953

  19. [19]

    Bruce Kleiner and Bernhard Leeb, Rigidity of invariant convex sets in symmetric spaces, Invent. Math. 163 (2006), no. 3, 657--676. 2207236

    work page 2006

  20. [20]

    5, 2533--2646

    Michael Kapovich and Bernhard Leeb, Finsler bordifications of symmetric and certain locally symmetric spaces , Geometry and Topology 22 (2018), no. 5, 2533--2646

    work page 2018

  21. [21]

    Differential Geom 81 (2009), 297--354

    Michael Kapovich, Bernhard Leeb, and John Millson, Convex functions on symmetric spaces, side lengths of polygons, and the stability inequalities for weighted configurations at infinity , J. Differential Geom 81 (2009), 297--354

    work page 2009

  22. [22]

    Michael Kapovich, Bernhard Leeb, and Joan Porti, Morse actions of discrete groups on symmetric space, 2014

    work page 2014

  23. [23]

    4, 808--898

    Michael Kapovich, Bernhard Leeb, and Joan Porti, Anosov subgroups: dynamical and geometric characterizations, European Journal of Mathematics 3 (2017), no. 4, 808--898

    work page 2017

  24. [24]

    , Dynamics on flag manifolds: domains of proper discontinuity and cocompactness, Geom. Topol. 22 (2018), no. 1, 157--234. 3720343

    work page 2018

  25. [25]

    7, 3827--3923

    , A morse lemma for quasigeodesics in symmetric spaces and euclidean buildings, Geometry & Topology 22 (2018), no. 7, 3827--3923

    work page 2018

  26. [26]

    , Morse actions of discrete groups on symmetric spaces: Local-to-global principle, arXiv preprint arXiv:2301.04562 (2023)

    work page arXiv 2023

  27. [27]

    Fran c ois Labourie, Anosov flows, surface groups and curves in projective space, Invent. Math. 165 (2006), no. 1, 51--114. 2221137

    work page 2006

  28. [28]

    Jaejeong Lee, Convex fundamental domains for properly convex real projective structures, 2008

    work page 2008

  29. [29]

    L \"o h, Geometric group theory: An introduction, Universitext, Springer International Publishing, 2017

    C. L \"o h, Geometric group theory: An introduction, Universitext, Springer International Publishing, 2017

    work page 2017

  30. [30]

    Lusztig, Total positivity in reductive groups, Lie theory and geometry, Progr

    G. Lusztig, Total positivity in reductive groups, Lie theory and geometry, Progr. Math., vol. 123, Birkh\" a user Boston, Boston, MA, 1994, pp. 531--568. 1327548

    work page 1994

  31. [31]

    Ludovic Marquis, Les pavages en g \'e om \'e trie projective de dimension 2 et 3 , Theses, Universit \'e Paris Sud - Paris XI , May 2009

    work page 2009

  32. [32]

    G. D. Mostow, Some new decomposition theorems for semi-simple groups, Mem. Amer. Math. Soc. 14 (1955), 31--54. 69829

    work page 1955

  33. [33]

    1, 49--92

    Henri Poincar \'e , M \'e moire: Les groupes klein \'e ens , Acta mathematica 3 (1883), no. 1, 49--92

    work page

  34. [34]

    Ratcliffe, Foundations of hyperbolic manifolds, Graduate Texts in Mathematics, vol

    John G. Ratcliffe, Foundations of hyperbolic manifolds, Graduate Texts in Mathematics, vol. 149, Springer, Cham, [2019] 2019, Third edition [of 1299730]. 4221225

    work page 2019

  35. [35]

    Maxwell Riestenberg, A quantified local-to-global principle for morse quasigeodesics, 2021

    J. Maxwell Riestenberg, A quantified local-to-global principle for morse quasigeodesics, 2021

    work page 2021

  36. [36]

    Atle Selberg, On discontinuous groups in higher-dimensional symmetric spaces., Contributions to function theory ( I nternat. C olloq. F unction T heory, B ombay, 1960), ,, 1960, pp. 147--164. 130324

    work page 1960

  37. [37]

    u ller theory. V ol. IV , IRMA Lect. Math. Theor. Phys., vol. 19, Eur. Math. Soc., Z\

    Cormac Walsh, The horoboundary and isometry group of T hurston's L ipschitz metric , Handbook of T eichm\" u ller theory. V ol. IV , IRMA Lect. Math. Theor. Phys., vol. 19, Eur. Math. Soc., Z\" u rich, 2014, pp. 327--353. 3289705

    work page 2014

  38. [38]

    Differential Geom

    Andrew Zimmer, Projective A nosov representations, convex cocompact actions, and rigidity , J. Differential Geom. 119 (2021), no. 3, 513--586. 4333029

    work page 2021