-
Certifying Anosov representations
Authors:
J. Maxwell Riestenberg
Abstract:
By providing new finite criteria which certify that a finitely generated subgroup of $\mathrm{SL}(d,\mathbb{R})$ or $\mathrm{SL}(d,\mathbb{C})$ is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in $\mathrm{SL}(3,\mathbb{R})$ by verifying the criteria for all words of length 8. The previous version required checking al…
▽ More
By providing new finite criteria which certify that a finitely generated subgroup of $\mathrm{SL}(d,\mathbb{R})$ or $\mathrm{SL}(d,\mathbb{C})$ is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in $\mathrm{SL}(3,\mathbb{R})$ by verifying the criteria for all words of length 8. The previous version required checking all words of length $2$ million.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Concave Foliated Flag Structures and the $\text{SL}_3(\mathbb{R})$ Hitchin Component
Authors:
Alexander Nolte,
J. Maxwell Riestenberg
Abstract:
We give a geometric characterization of flag geometries associated to Hitchin representations in $\text{SL}_3(\mathbb{R})$. Our characterization is based on distinguished invariant foliations, similar to those studied by Guichard-Wienhard in $\text{PSL}_4(\mathbb{R})$.
We connect to the dynamics of Hitchin representations by constructing refraction flows for all positive roots in general…
▽ More
We give a geometric characterization of flag geometries associated to Hitchin representations in $\text{SL}_3(\mathbb{R})$. Our characterization is based on distinguished invariant foliations, similar to those studied by Guichard-Wienhard in $\text{PSL}_4(\mathbb{R})$.
We connect to the dynamics of Hitchin representations by constructing refraction flows for all positive roots in general $\mathfrak{sl}_n(\mathbb{R})$ in our setting. For $n = 3$, leaves of our one-dimensional foliations are flow-lines. One consequence is that the highest root flows are $C^{1+α}$.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Finite-sided Dirichlet domains and Anosov subgroups
Authors:
Colin Davalo,
J. Maxwell Riestenberg
Abstract:
We consider Dirichlet domains for Anosov subgroups $Γ$ of semisimple Lie groups $G$ acting on the associated symmetric space $G/K$. More precisely, we consider certain Finsler metrics on $G/K$ and a sufficient condition so that every Dirichlet domain for $Γ$ is finite-sided in a strong sense. Under the same condition, the group $Γ$ admits a domain of discontinuity in a flag manifold where the Diri…
▽ More
We consider Dirichlet domains for Anosov subgroups $Γ$ of semisimple Lie groups $G$ acting on the associated symmetric space $G/K$. More precisely, we consider certain Finsler metrics on $G/K$ and a sufficient condition so that every Dirichlet domain for $Γ$ is finite-sided in a strong sense. Under the same condition, the group $Γ$ admits a domain of discontinuity in a flag manifold where the Dirichlet domain extends to a compact fundamental domain. As an application we show that Dirichlet-Selberg domains for $n$-Anosov subgroups $Γ$ of $SL(2n,\mathbb{R})$ are finite-sided when all singular values of elements of $Γ$ diverge exponentially in the word length. For every $d\ge 3$, there are projective Anosov subgroups of $SL(d,\mathbb{R})$ which do not satisfy this property and have Dirichlet-Selberg domains with infinitely many sides. More generally, we give a sufficient condition for a subgroup of $SL(d,\mathbb{R})$ to admit a Dirichlet-Selberg domain whose intersection with an invariant convex set is finite-sided.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Restrictions on Anosov subgroups of Sp(2n,R)
Authors:
Subhadip Dey,
Zachary Greenberg,
J. Maxwell Riestenberg
Abstract:
Let $n\in\mathbb{N}$ and let $Θ\subset \{1,\dots,n\}$ be a non-empty subset. We prove that if $Θ$ contains an odd integer, then any $P_Θ$-Anosov subgroup of ${\rm Sp}(2n,\mathbb{R})$ is virtually isomorphic to a free group or a surface group. In particular, any Borel Anosov subgroup of ${\rm Sp}(2n,\mathbb{R})$ is virtually isomorphic to a free or surface group. On the other hand, if $Θ$ does not…
▽ More
Let $n\in\mathbb{N}$ and let $Θ\subset \{1,\dots,n\}$ be a non-empty subset. We prove that if $Θ$ contains an odd integer, then any $P_Θ$-Anosov subgroup of ${\rm Sp}(2n,\mathbb{R})$ is virtually isomorphic to a free group or a surface group. In particular, any Borel Anosov subgroup of ${\rm Sp}(2n,\mathbb{R})$ is virtually isomorphic to a free or surface group. On the other hand, if $Θ$ does not contain any odd integers, then there exists a $P_Θ$-Anosov subgroup of ${\rm Sp}(2n,\mathbb{R})$ which is not virtually isomorphic to a free or surface group. We also exhibit new examples of maximally antipodal subsets of certain flag manifolds; these arise as limit sets of rank $1$ subgroups.
△ Less
Submitted 30 October, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
A quantified local-to-global principle for Morse quasigeodesics
Authors:
J. Maxwell Riestenberg
Abstract:
In arXiv:1403.7671, Kapovich, Leeb and Porti gave several new characterizations of Anosov representations $Γ\to G$, including one where geodesics in the word hyperbolic group $Γ$ map to "Morse quasigeodesics" in the associated symmetric space $G/K$. In analogy with the negative curvature setting, they prove a local-to-global principle for Morse quasigeodesics and describe an algorithm which can ve…
▽ More
In arXiv:1403.7671, Kapovich, Leeb and Porti gave several new characterizations of Anosov representations $Γ\to G$, including one where geodesics in the word hyperbolic group $Γ$ map to "Morse quasigeodesics" in the associated symmetric space $G/K$. In analogy with the negative curvature setting, they prove a local-to-global principle for Morse quasigeodesics and describe an algorithm which can verify the Anosov property of a given representation in finite time. However, some parts of their proof involve non-constructive compactness and limiting arguments, so their theorem does not explicitly quantify the size of the local neighborhoods one needs to examine to guarantee global Morse behavior. In this paper, we supplement their work with estimates in the symmetric space to obtain the first explicit criteria for their local-to-global principle. This makes their algorithm for verifying the Anosov property effective. As an application, we demonstrate how to compute explicit perturbation neighborhoods of Anosov representations with two examples.
△ Less
Submitted 11 March, 2021; v1 submitted 18 January, 2021;
originally announced January 2021.
