Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-04T17:50:12.308Z Has data issue: false hasContentIssue false

QUASI-ISOMETRIC EMBEDDINGS INAPPROXIMABLE BY ANOSOV REPRESENTATIONS

Published online by Cambridge University Press:  14 March 2022

Konstantinos Tsouvalas*
Affiliation:
CNRS and Laboratoire Alexander Grothendieck, Institut des Hautes Études Scientifiques, Universite Paris-Saclay, 35 route de Chartres, 91440 Bures-sur-Yvette, France
Rights & Permissions [Opens in a new window]

Abstract

We construct examples of quasi-isometric embeddings of word hyperbolic groups into $\mathsf {SL}(d,\mathbb {R})$ for $d \geq 4$ which are not limits of Anosov representations into $\mathsf {SL}(d,\mathbb {R})$. As a consequence, we conclude that an analogue of the density theorem for $\mathsf {PSL}(2,\mathbb {C})$ does not hold for $\mathsf {SL}(d,\mathbb {R})$ when $d \geq 4$.

Type
Research Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press

1 Introduction

Let $g \geq 1$ and $\Gamma _{g}$ be the word hyperbolic group with presentation

$$ \begin{align*} \Gamma_{g}=\left \langle \begin{matrix} a_{1},b_{1},\dotsc,a_{2g},b_{2g},\\ c_{1},d_{1},\dotsc,c_{2g},d_{2g} \end{matrix} \middle\vert \begin{matrix} [a_{1},b_{1}]\dotsm \left[a_{2g},b_{2g}\right], [c_{1},d_{1}]\dotsm \left[c_{2g},d_{2g}\right],\\ [a_{1},b_{1}]\dotsm \left[a_{g},b_{g}\right]\cdot[c_{1},d_{1}]\dotsm \left[c_{g},d_{g}\right] \end{matrix} \right \rangle. \end{align*} $$

The group $\Gamma _{g}$ is the fundamental group of a book of I-bundles, and by Thurston’s geometrization theorem [Reference Morgan19] it admits a convex co-compact representation into $\mathsf {PSL}(2,\mathbb {C})$ and thus Anosov representations into $\mathsf {SL}(d,\mathbb {R})$ for every $d \geq 4$ . In this paper, we construct the first examples of quasi-isometric embeddings of word hyperbolic groups into $\mathsf {SL}(d,\mathbb {R})$ for $d\geq 5$ which are not limits of Anosov representations into $\mathsf {SL}(d,\mathbb {R})$ . More precisely, we prove the following:

Theorem 1.1. Let $g \geq 1$ and $\Gamma _{g}$ be the word hyperbolic group already defined.

  1. (i) For every $d \geq 5$ there exists a quasi-isometric embedding $\rho :\Gamma _{g} \rightarrow \mathsf {SL}(d,\mathbb {R})$ such that $\rho $ is not a limit of Anosov representations of $\Gamma _{g}$ into $\mathsf {SL}(d,\mathbb {R})$ .

  2. (ii) For $g \geq 4$ , there exists a strongly irreducible quasi-isometric embedding $\psi :\Gamma _{g} \rightarrow \mathsf {SL}(12,\mathbb {R})$ such that $\psi $ is not a limit of Anosov representations of $\Gamma $ into $\mathsf {SL}(12, \mathbb {R})$ .

We remark that for $d \geq 6$ in Theorem 1.1(i), we may replace $\Gamma _{g}$ with any one-ended word hyperbolic convex co-compact Kleinian group which admits a retraction to a free subgroup of rank at least $8$ and is not virtually a free group or a surface group (see Theorem 3.1). The density conjecture for Kleinian groups established by the work of Brock and Bromberg [Reference Brock and Bromberg5], Brock, Canary, and Minsky [Reference Brock, Canary and Minsky6], Namazi and Souto [Reference Namazi and Souto20], and Ohshika [Reference Ohshika21] implies that every discrete and faithful representation of a word hyperbolic group into $\mathsf {PSL}(2,\mathbb {C})$ is an algebraic limit of Anosov representations. The representations constructed in Theorem 1.1 demonstrate the failure of the density conjecture for the higher-rank Lie group $\mathsf {SL}(d,\mathbb {R})$ for $d \geq 5$ .

In infinitely many dimensions, Theorem 4.1 produces examples similar to those in Theorem 1.1(ii) whose elements are all semiproximal (i.e., admit a real eigenvalue of maximum modulus). Moreover, in Proposition 4.4 we also provide examples of quasi-isometric embeddings of surface groups and of free groups into $\mathsf {SL}(4,\mathbb {R})$ and $\mathsf {SL}(6,\mathbb {R})$ which are not in the closure of the space of Anosov representations. In particular, the density conjecture fails for $\mathsf {SL}(d,\mathbb {R})$ when $d \geq 4$ .

An example of a quasi-isometric embedding of the free group of rank $2$ which is not Anosov was constructed by Guichard in [Reference Guichard12] (see also [Reference Guéritaud, Guichard, Kassel and Wienhard11, Proposition A.1, p. 67]. Moreover, Guichard’s example is unstable – that is, it is a limit of nondiscrete representations but also a limit of $P_{2}$ -Anosov representations (see Definition 2.1) of the free group of rank $2$ into $\mathsf {SL}(4,\mathbb {R})$ .

For our constructions we shall use the following fact: For a $P_{1}$ -Anosov subgroup $\Gamma $ of $\mathsf {SL}(d,\mathbb {R})$ , $d \geq 4$ , every quasiconvex infinite-index subgroup $\Delta $ of $\Gamma $ with connected Gromov boundary contains a finite-index subgroup whose infinite-order elements are all positively proximal (see Corollary 2.4). It follows that if $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ is a limit of $P_{i}$ -Anosov representations, then $\wedge ^{i} \rho :\Gamma \rightarrow \mathsf {SL}\left (\wedge ^{i} \mathbb {R}^{d}\right )$ is a limit of $P_{1}$ -Anosov representations and the group $\wedge ^{i}\rho (\Delta )$ contains a finite-index subgroup consisting entirely of positively semiproximal elements.

It is unknown to us whether there exist nearby deformations of the examples in Theorem 1.1 which are discrete, faithful, and Zariski dense in $\mathsf {SL}(d,\mathbb {R})$ . In particular, we ask the following:

Question. Does there exist an open neighbourhood U in $\textrm {Hom}\big (\Gamma _{g},\mathsf {SL}(d,\mathbb {R})\big )$ of the examples in Theorem 1.1 consisting entirely of discrete and faithful representations?

The paper is organized as follows. In §2 we provide the necessary background on Anosov representations and prove Lemma 2.3, which is essential for our construction. In §3 we prove Theorem 1.1, and in §4 we prove Theorem 4.1, providing strongly irreducible examples in infinitely many dimensions.

2 Background

In this section, we define Anosov representations and prove two lemmas required for our construction.

Let $d \geq 2$ and denote by $(e_{1},\dotsc ,e_{d})$ the canonical basis of $\mathbb {R}^{d}$ and by $\langle \cdot , \cdot \rangle $ the inner product on $\mathbb {R}^{d}$ so that the basis $(e_{1},\dotsc ,e_{d})$ is orthonormal. For a transformation $g \in \mathsf {SL}(d,\mathbb {R})$ we denote by $\ell _{1}(g) \geq \dotsb \geq \ell _{d}(g)$ and $\sigma _{1}(g)\geq \dotsb \geq \sigma _{d}(g)$ the moduli of the eigenvalues and the singular values of g in nonincreasing order, respectively. We recall that $\sigma _{i}(g)=\sqrt {\ell _{i}\left (gg^{t}\right )}$ for $1\leq i \leq d$ , where $g^{t}$ denotes the transpose matrix of g. For $1 \leq i \leq d-1$ , the matrix $g \in \mathsf {SL}(d,\mathbb {R})$ is called $P_{i}$ -proximal if $\ell _{i}(g)>\ell _{i+1}(g)$ . If $i=1$ , we will say that g is proximal. If g is proximal, we denote by $\lambda _{1}(g)$ the unique eigenvalue of g of maximum modulus in which case $\lambda _{1}(g)=\pm \ell _{1}(g)$ . A matrix g is called semiproximal if either $\ell _{1}(g)$ or $-\ell _{1}(g)$ is an eigenvalue of g. Obviously, if g is proximal then it is also semiproximal. A matrix g is called positively semiproximal if $\ell _{1}(g)$ is an eigenvalue of g, and positively proximal if g is proximal and $\lambda _{1}(g)=\ell _{1}(g)$ .

2.1 Amalgamated products

Let $\{\Gamma _{i}\}_{i \in I}$ be a family of groups and H be a group, and suppose that there exists a family of monomorphisms . The amalgamated product of $\{\Gamma _{i}\}_{i \in I}$ with respect to $\{\varphi _{i}\}_{i \in I}$ is the group with presentation

$$ \begin{align*} \ast_{H}\Gamma_{i}= \left \langle \Gamma_{i}, \ i \in I \middle \vert \mathrm{rel}(\Gamma_{i}), \ \varphi_{i}(h)^{-1}\varphi_{j}(h),\ i,j \in I, \ h \in H \right \rangle. \end{align*} $$

For every $i \in I$ , the natural map $\iota _{i}:\Gamma _{i} \rightarrow \ast _{H}\Gamma _{i}$ is a monomorphism. For more details on amalgamated products, we refer the reader to [Reference Serre22].

2.2 Anosov representations

For a finitely generated group $\Gamma $ we fix a left invariant word metric $d_{\Gamma }$ induced by a finite generating subset of $\Gamma $ ; and for $\gamma \in \Gamma $ , $\lvert \gamma \rvert _{\Gamma }$ denotes the distance of $\gamma $ from the identity element $e \in \Gamma $ . If $\Gamma $ is word hyperbolic, $\partial _{\infty }\Gamma $ denotes the Gromov boundary of $\Gamma $ . Every infinite-order element $\gamma \in \Gamma $ has exactly two distinct fixed points $\gamma ^{+}$ and $\gamma ^{-}$ in $\partial _{\infty }\Gamma $ , called the attracting and repelling fixed points of $\gamma $ , respectively. If $\Gamma $ is furthermore not virtually cyclic, $\partial _{\infty }\Gamma $ is perfect, and for every $x \in \partial _{\infty } \Gamma \setminus \left \{\gamma ^{+},\gamma ^{-}\right \}$ , we have $\lim _{n \rightarrow \infty }\gamma ^{\pm n}x=\gamma ^{\pm }$ .

Let $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ be a representation. Since $\Gamma $ is finitely generated, there exist constants $A,a>0$ such that

$$ \begin{align*} \max\left \{\sigma_{1}(\rho(\gamma)), \sigma_{d}(\rho(\gamma))^{-1}\right\} \leq \frac{\sigma_{1}(\rho(\gamma))}{\sigma_{d}(\rho(\gamma))}\leq Ae^{a\lvert\gamma\rvert_{\Gamma}} \end{align*} $$

for every $\gamma \in \Gamma $ . The representation $\rho $ is called a quasi-isometric embedding if there exist constants $J,K>0$ such that

$$ \begin{align*} \frac{\sigma_{1}(\rho(\gamma))}{\sigma_{d}(\rho(\gamma))} \geq Ke^{J\lvert\gamma\rvert_{\Gamma}} \end{align*} $$

for every $\gamma \in \Gamma $ . Equivalently, if we equip the symmetric space $\mathsf {X}_{d}=\mathsf {SL}(d,\mathbb {R})/K_{d}$ , where $K_{d}=\mathsf {SO}(d)$ , with the distance function

$$ \begin{align*} \mathsf{d}(gK_{d},hK_{d})=\left(\sum_{i=1}^{d} \left(\log \sigma_{i} \left(g^{-1}h\right)\right)^{2} \right)^{\frac{1}{2}}, \quad g,h\in \mathsf{SL}(d,\mathbb{R}), \end{align*} $$

then $\rho $ is a quasi-isometric embedding if and only if the orbit map of $\rho $ , $\tau _{\rho }:(\Gamma ,d_{\Gamma }) \rightarrow (\mathsf {X}_{d}, \mathsf {d})$ , $\tau _{\rho }(\gamma )=\rho (\gamma )K_{d}$ for $\gamma \in \Gamma ,$ is a quasi-isometric embedding.

For a representation of a finitely generated group, a much stronger property than being a quasi-isometric embedding is being Anosov. Anosov representations were introduced by Labourie [Reference Labourie17] in his study of Hitchin representations and further developed by Guichard and Wienhard in [Reference Guichard and Wienhard13]. We define Anosov representations by using a characterization in terms of gaps between singular values of elements, established by Kapovich, Leeb, and Porti in [Reference Kapovich, Leeb and Porti15] and Bochi, Potrie, and Sambarino in [Reference Bochi, Potrie and Sambarino4].

Definition 2.1. Let $\Gamma $ be a finitely generated group and $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ be a representation. For $1 \leq i \leq d-1$ , the representation $\rho $ is called $P_{i}$ -Anosov if there exist constants $C,a>0$ with the property

$$ \begin{align*} \frac{\sigma_{i}(\rho(\gamma))}{\sigma_{i+1}(\rho(\gamma))} \geq Ce^{a\lvert\gamma\rvert_{\Gamma}} \end{align*} $$

for every $\gamma \in \Gamma $ .

In addition, it was proved in [Reference Kapovich, Leeb and Porti15] and [Reference Bochi, Potrie and Sambarino4] that a finitely generated group which admits an Anosov representation into $\mathsf {SL}(d,\mathbb {R})$ is necessarily word hyperbolic. We shall (a little abusively) call a representation $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ Anosov into $\mathsf {SL}(d,\mathbb {R})$ if it is $P_{i}$ -Anosov for some $1 \leq i \leq d-1$ . Note that $\rho $ is $P_{i}$ -Anosov if and only if the exterior power $\wedge ^{i}\rho $ is $P_{1}$ -Anosov. Moreover, since $\sigma _{j}\left (g^{-1}\right )=\sigma _{d-j+1}(g)^{-1}$ for $g \in \mathsf {SL}(d,\mathbb {R})$ and $j\in \{i,i+1\}$ , the representation $\rho $ is $P_{i}$ -Anosov if and only if $\rho $ is $P_{d-i}$ -Anosov. The property of being Anosov is stable – that is, for every $P_{i}$ -Anosov representation $\rho $ there exists an open neighbourhood U of $\rho $ in $\textrm {Hom}(\Gamma , \mathsf {SL}(d,\mathbb {R}))$ consisting entirely of $P_{i}$ -Anosov representations (see [Reference Labourie17] and [Reference Guichard and Wienhard13, Theorem 5.14]). Examples of Anosov representations include quasi-isometrically embedded subgroups of simple real rank $1$ Lie groups and their small deformations into higher-rank Lie groups, Hitchin representations, and holonomies of strictly convex projective structures on closed manifolds.

For $1\leq m \leq d-1$ , denote by $\mathsf {Gr}_{m}\left (\mathbb {R}^{d}\right )$ the Grassmannian of m-planes in $\mathbb {R}^{d}$ . Every $P_{i}$ -Anosov representation $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ admits a unique pair of continuous, $\rho $ -equivariant maps $\xi _{\rho }^{i}:\partial _{\infty }\Gamma \rightarrow \mathsf {Gr}_{i}\left (\mathbb {R}^{d}\right )$ and $\xi _{\rho }^{d-i}:\partial _{\infty }\Gamma \rightarrow \mathsf {Gr}_{d-i}\left (\mathbb {R}^{d}\right )$ called the Anosov limit maps. We refer the reader to [Reference Guichard and Wienhard13] and [Reference Guéritaud, Guichard, Kassel and Wienhard11] for a careful discussion of Anosov limit maps and their properties. We mention here some of their main properties:

  1. (i) The maps $\xi _{\rho }^{i}$ and $\xi _{\rho }^{d-i}$ are compatible – that is, $\xi _{\rho }^{i}(x) \subset \xi _{\rho }^{d-i}(x)$ for every $x \in \partial _{\infty }\Gamma $ .

  2. (ii) For every $\gamma \in \Gamma $ of infinite order, $\rho (\gamma )$ is $P_{i}$ - and $P_{d-i}$ -proximal where $\xi _{\rho }^{i}(\gamma ^{+})$ and $\xi _{\rho }^{d-i}(\gamma ^{+})$ are the attracting fixed points of $\rho (\gamma )$ in $\mathsf {Gr}_{i}\left (\mathbb {R}^{d}\right )$ and $\mathsf {Gr}_{d-i}\left (\mathbb {R}^{d}\right )$ , respectively.

  3. (iii) The maps $\xi _{\rho }^{i}$ and $\xi _{\rho }^{d-i}$ are transverse – that is, for every $x,y \in \partial _{\infty }\Gamma $ with $x \neq y$ , $\mathbb {R}^{d}=\xi _{\rho }^{i}(x)\oplus \xi _{\rho }^{d-i}(y)$ .

For a finitely generated group $\Gamma $ , we denote by $\Gamma (2)$ the intersection of all finite-index subgroups of $\Gamma $ of index at most $2$ . Note that since $\Gamma $ is finitely generated, it has finitely many subgroups of index at most $2$ , and hence $\Gamma (2)$ is a finite-index subgroup of $\Gamma $ .

An open subset $\Omega $ of $\mathbb {P}\left (\mathbb {R}^{d}\right )$ is called properly convex if it is bounded and convex in an affine chart of $\mathbb {P}\left (\mathbb {R}^{d}\right )$ .

We shall use the following observation:

Observation 2.2. Suppose that $\Gamma $ is a finitely generated subgroup of $\mathsf {GL}(d,\mathbb {R})$ which preserves a properly convex domain $\Omega $ of $\mathbb {P}\left (\mathbb {R}^{d}\right )$ . Then the finite-index subgroup $\Gamma (2)$ of $\Gamma $ preserves a properly convex open cone C in $\mathbb {R}^{d}$ .

Proof. Let $\pi :\mathbb {R}^{d} \setminus \{(0,\dotsc ,0)\}\rightarrow \mathbb {P}\left (\mathbb {R}^{d}\right )$ be the natural projection. There exists a properly convex open cone $C \subset \mathbb {R}^{d}$ such that $\pi ^{-1}(\Omega )=C \cup (-C)$ and $C \cap (-C)$ is empty. Note that $H:=\{g \in \Gamma : gC=C\}$ is a subgroup of $\Gamma $ . If H is a proper subgroup of $\Gamma $ , given $w \in \Gamma \setminus H$ we have $wC=-C$ and hence $\Gamma = H\cup wH$ . It follows that H is a finite-index subgroup of $\Gamma $ of index at most $2$ . In particular, $\Gamma (2)$ is a subgroup of H.

The key property of Anosov representations that we use for our construction is that when $\Gamma $ is neither a free group nor a surface group, then for every $P_{1}$ -Anosov representation $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ , the image $\rho (\Gamma )$ contains a quasiconvex subgroup with connected Gromov boundary, whose elements are all positively proximal. Given a representation $\psi :\Gamma \rightarrow \mathsf {GL}(d,\mathbb {R})$ of a word hyperbolic group $\Gamma $ , a continuous $\psi $ -equivariant map $\xi :\partial _{\infty }\Gamma \rightarrow \mathsf {Gr}_{i}\left (\mathbb {R}^{d}\right )$ (if it exists) is called dynamics-preserving if for every infinite-order element $\gamma \in \Gamma $ , $\psi (\gamma )$ is $P_{i}$ -proximal and $\xi (\gamma ^{+})$ is the attracting fixed point of $\psi (\gamma )$ in $\mathsf {Gr}_{i}\left (\mathbb {R}^{d}\right )$ .

The following lemma is essential for the construction of our examples:

Lemma 2.3. Let $\Gamma $ be a word hyperbolic group and $\Delta $ be a quasiconvex and infinite-index subgroup of $\Gamma $ such that $\partial _{\infty } \Delta $ is connected. Let $d \geq 4$ and $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ be a representation. Suppose that there exists a sequence $\{\rho _{n}:\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})\}_{n \in \mathbb {N}}$ of representations such that the following hold:

  1. (i) For every $n \in \mathbb {N}$ , $\rho _{n}$ admits a continuous, $\rho _{n}$ -equivariant, dynamics-preserving map $\xi _{\rho _{n}}:\partial _{\infty }\Gamma \rightarrow \mathbb {P}\left (\mathbb {R}^{d}\right )$ .

  2. (ii) $\lim _{n} \rho _{n}=\rho $ .

Then for every $\delta \in \Delta (2)$ , $\rho (\delta )$ is positively semiproximal.

Proof. We first show that for every $n \in \mathbb {N}$ and $\delta \in \Delta (2)$ , $\rho _{n}(\delta )$ is positively proximal. Let us fix $n \in \mathbb {N}$ . Since in $\Gamma $ , $\Delta $ has infinite index and is quasiconvex, we may find $w \in \Gamma $ such that $w^{+}$ and $w^{-}$ are not in $\partial _{\infty }\Delta $ . By definition, $\rho _{n}(w)$ is proximal with attracting fixed point in $\mathbb {P}\left (\mathbb {R}^{d}\right )$ the line $\xi _{\rho _{n}}(w^{+})$ . Let $V_{\rho _{n}(w)}^{-} \subset \mathbb {R}^{d}$ be the repelling hyperplane of $\rho _{n}(w)$ . We claim that the connected compact set $\mathcal {C}_{\rho _{n}(\Delta )}:=\xi _{\rho _{n}}(\partial _{\infty }\Delta )$ is contained in the affine chart $A_{n}=\mathbb {P}\left (\mathbb {R}^{d}\right )\setminus \mathbb {P}\left (V_{\rho _{n}(w)}^{-}\right )$ . If not, there exists $x \in \partial _{\infty }\Delta $ with $\xi _{\rho _{n}}(x) \in \mathbb {P}\left (V_{\rho _{n}(w)}^{-}\right )$ and hence $\rho _{n}(w^{m})\xi _{\rho _{n}}(x)=\xi _{\rho _{n}}(w^{m} x)$ is contained in $\mathbb {P}\left (V_{\rho _{n}(w)}^{-}\right )$ for every $m \in \mathbb {N}$ . However, $\lim _{m}\xi _{\rho _{n}}(w^{m} x)=\xi _{\rho _{n}}(\lim _{m}w^{m} x)=\xi _{\rho _{n}}(w^{+})$ , and $\xi _{\rho _{n}}(w^{+})$ is not in $\mathbb {P}\left (V_{\rho _{n}(w)}^{-}\right )$ . The claim follows, and $\xi _{\rho _{n}}(\partial _{\infty }\Delta ) \subset A_{n}$ .

Let $V_{n}=\left \langle u: [u] \in \mathcal {C}_{\rho _{n}(\Delta )} \right \rangle $ . The connected set $\mathcal {C}_{\rho _{n}(\Delta )}$ also lies in the affine chart $A_{n} \cap \mathbb {P}(V_{n})$ of $\mathbb {P}(V_{n})$ , and the convex hull $\mathrm {Conv}_{A_{n}\cap \mathbb {P}\left (V_{n}\right )}\left (\mathcal {C}_{\rho _{n}(\Delta )}\right )$ is preserved by $\rho _{n}\rvert _{V_{n}}(\Delta )$ . By definition, $\mathcal {C}_{\rho _{n}(\Delta )}$ spans $V_{n}$ , so the interior $\mathrm {Int}\left (\mathrm {Conv}_{A_{n} \cap \mathbb {P}\left (V_{n}\right )}\left (\mathcal {C}_{\rho _{n}(\Delta )}\right )\right )$ of the convex hull of $\mathcal {C}_{\rho _{n}(\Delta )}$ in $A_{n} \cap \mathbb {P}(V_{n})$ is a well-defined properly convex subset of $A_{n} \cap \mathbb {P}(V_{n})$ . In particular, the properly convex subset $\mathrm {Int}\left (\mathrm {Conv}_{A_{n} \cap \mathbb {P}\left (V_{n}\right )}\left (\mathcal {C}_{\rho _{n}(\Delta )}\right )\right )$ is preserved by $\rho _{n}\rvert _{V_{n}}(\Delta )$ . By Observation 2.2, there exists a properly convex open cone $C_{n}\subset V_{n}$ such that $\rho _{n}\rvert _{V_{n}}(\delta )C_{n}=C_{n}$ for every $\delta \in \Delta (2)$ . Note that for every $\delta \in \Delta (2)$ , the attracting fixed point $\xi _{\rho _{n}}(\delta ^{+})$ of $\rho _{n}(\delta )$ is always in $V_{n}$ , and $\rho _{n}\rvert _{V_{n}}(\delta )$ is proximal. Thus, $\lambda _{1}(\rho _{n}(\delta ))=\lambda _{1}\left (\rho _{n}\rvert _{V_{n}}(\delta )\right )$ for every $\delta \in \Delta (2)$ . By [Reference Benoist2, Lemma 3.2], we have $\lambda _{1}(\rho _{n}(\delta ))>0$ and hence $\rho _{n}(\delta )$ is positively proximal for every $\delta \in \Delta (2)$ .

Now set $\delta \in \Delta (2)$ . By the previous arguments, for every $n \in \mathbb {N}$ , we have $\lambda _{1}(\rho _{n}(\delta ))>0$ and there exists a unit vector $u_{n} \in \mathbb {R}^{d}$ such that $\rho _{n}(\delta )u_{n}=\lambda _{1}(\rho _{n}(\delta ))u_{n}$ . Up to passing to a subsequence, we may assume that $\lambda :=\lim _{n}\lambda _{1}(\rho _{n}(\delta ))$ exists. The number $\lambda>0$ has to be an eigenvalue (not necessarily of multiplicity $1$ ) of $\lim _{n}\rho _{n}(\delta )=\rho (\delta )$ of maximum modulus. The conclusion follows.

We immediately deduce the following corollary:

Corollary 2.4. Let $\Gamma $ be a word hyperbolic group and $\Delta $ be a quasiconvex and infinite-index subgroup of $\Gamma $ such that $\partial _{\infty } \Delta $ is connected. Let $d \geq 4$ and $\rho :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ be a representation. Suppose that there exists a sequence of $P_{i}$ -Anosov representations $\{\rho _{n}:\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})\}_{n \in \mathbb {N}}$ such that $\lim _{n} \rho _{n}=\rho $ . Then for every $\delta \in \Delta (2)$ , $\wedge ^{i} \rho (\delta )$ is positively semiproximal.

On the other hand, the images of Anosov representations might contain elements which are not positively proximal. In fact, this is the case for all Fuchsian representations into $\mathsf {SL}(2,\mathbb {R})$ .

For a group H, denote by $H^{(2)}=\left \langle \left \{ ghg^{-1}h^{-1}: g,h \in H\right \} \right \rangle $ the commutator subgroup of H.

Lemma 2.5. Let $F_{k}$ denote the free group on $k \geq 2$ generators. Let $j: F_{k} \rightarrow \mathsf {SL}(2,\mathbb {R})$ be a quasi-isometric embedding and H be a free subgroup of $F_{k}$ of rank at least $2$ . Then for every $a \in F_{k} \setminus H$ , there exists $w \in H^{(2)}$ such that $\lambda _{1} (j(wa))<0$ .

Proof. Note that $j\left (H^{(2)}\right )$ is discrete in $\mathsf {SL}(2,\mathbb {R})$ ; hence by [Reference Choi and Goldman9, Lemma 2] (see also [Reference Benoist1, Theorem 1.6]), there exists $w_{0} \in H^{(2)}$ such that $\lambda _{1}(j(w_{0}))<0$ . Then there exists $h \in \mathsf {GL}(2,\mathbb {R})$ such that

$$ \begin{align*} j(w_{0})=h \begin{bmatrix} \lambda_{1}(j(w_{0})) & 0\\ 0 & \frac{1}{\lambda_{1}\left(j\left(w_{0}\right)\right)} \end{bmatrix}h^{-1}. \end{align*} $$

Since $\left \{w_{0}^{+},w_{0}^{-} \right \}\cap \{a^{+}, a^{-}\}$ is empty and j is $P_{1}$ -Anosov, by transversality we have that the line $j(w_{0})\xi _{1}^{j}\left (a^{\pm }\right )=\xi _{1}^{j}\left (w_{0}a^{\pm }\right )$ is different from $\xi _{1}^{j}(a^{+})$ and $\xi _{1}^{j}(a^{-})$ and hence $\left \langle h^{-1}j(a)he_{1}, e_{1}\right \rangle $ is not zero. Then we notice that

$$ \begin{align*} \lim_{n \rightarrow \infty}\frac{\lambda_{1}\left(j\left(w_{0}^{n}a\right)\right)}{\lambda_{1}\left(j\left(w_{0}^{n}\right)\right)}= \left \langle h^{-1}j(a)he_{1},e_{1} \right \rangle \end{align*} $$

and hence we have

$$ \begin{align*} \lim_{n \rightarrow \infty}\frac{\lambda_{1}\left(j\left(w_{0}^{2n+1}a\right)\right)}{\lambda_{1}\left(j\left(w_{0}^{2n}a\right)\right)}=\lambda_{1}(j(w_{0}))<0. \end{align*} $$

For large enough $n \in \mathbb {N}$ , the numbers $\lambda _{1}\left (j\left (w_{0}^{2n}a\right )\right )$ and $\lambda _{1}\left (j\left (w_{0}^{2n+1}a\right )\right )$ have opposite signs, and the conclusion follows.

We also need the following observation:

Observation 2.6. Let $F_{2}$ be the free group on $\{a,b\}$ and $\rho :F_{2} \rightarrow \mathsf {SL}(2,\mathbb {R})$ be a quasi-isometric embedding. Set $k\in \mathbb {N}$ and let $\phi _{k}:F_{2} \rightarrow F_{2}$ be the monomorphism defined by $\phi _{k}(a)=b^{k}ab^{k}$ and $\phi _{k}(b)=a^{k}ba^{k}$ . Note that $\lvert \phi _{k}(\gamma )\rvert _{F_{2}} \geq (2k+1) \lvert \gamma \rvert _{F_{2}}$ for every $\gamma \in F_{2}$ . Therefore, there exists a constant $C>0$ depending only on $\rho $ , such that

$$ \begin{align*} \ell_{1}(\rho(\phi_{k}(\gamma)) \geq \ell_{1}(\rho(\gamma))^{Ck} \end{align*} $$

for every $\gamma \in F_{2}$ and $k \in \mathbb {N}$ .

We end this section with the following remark showing the necessity of the connectedness of the Gromov boundary $\partial _{\infty }\Delta $ in Lemma 2.3.

We denote by $S_{g}$ the closed orientable hyperbolic surface of genus $g \geq 2$ .

Remark 2.7. Let $\tau _{2d}:\mathsf {SL}(2,\mathbb {R}) \rightarrow \mathsf {SL}(2d,\mathbb {R})$ , $d \geq 1$ , be the unique (up to conjugation) irreducible representation, and fix $j:\pi _{1}\left (S_{g}\right ) \rightarrow \mathsf {SL}(2,\mathbb {R})$ a quasi-isometric embedding. For every deformation $\rho $ of $\tau _{2d}\circ j$ and every noncyclic free subgroup F of $\pi _{1}\left (S_{g}\right )$ , $\rho (F)$ contains an element whose eigenvalues are all negative. Indeed, by [Reference Choi and Goldman9, Lemma 2], we may find $w \in F$ with $\lambda _{1}(j(w))<0$ . Suppose that $\{\rho _{t}\}_{t \in \left [0,1\right ]}$ is a continuous path of representations with $\rho _{0}=\tau _{2d}\circ j$ and $\rho _{1}=\rho $ . It follows by Labourie’s work [Reference Labourie17] that $\rho _{t}$ is $P_{i}$ -Anosov for every $0 \leq t \leq 1$ and $1\leq i \leq d-1$ . In particular, for every i, the map $t \mapsto \lambda _{1}\left (\wedge ^{i} \rho _{t}(w)\right )$ is continuous and nonzero, and hence $\lambda _{1}\left (\wedge ^{i} \rho _{t}(w)\right )\lambda _{1}\left (\wedge ^{i} \tau _{2d}(j(w))\right )>0$ . Note that

$$ \begin{align*} \lambda_{1}\left(\wedge^{i}\tau_{2d}(j(w))\right)=\lambda_{1}(j(w))^{i(2d-i)} \end{align*} $$

for every $1 \leq i \leq d$ , and hence $\lambda _{1}\left (\wedge ^{i}\rho _{t} (j(w))\right )>0$ if and only if i is even. We deduce that $\rho _{t}(w)$ has all of its eigenvalues negative for every $0 \leq t \leq 1$ .

3 The construction

By using Lemmas 2.3 and 2.5, we construct representations of the fundamental group $\Gamma _{g}$ of a book of I-bundles of Theorem 1.1, which are not limits of Anosov representations of $\Gamma _{g}$ in $\mathsf {SL}(d,\mathbb {R})$ for $d \geq 5$ . We recall that given a group K and a subgroup H of K, a homomorphism $r:K \rightarrow H$ is called a retraction if $r(h)=h$ for every $h \in H$ .

Proof of Theorem 1.1

The subgroup $\Delta =\left \langle a_{1},b_{1},\dotsc ,a_{2g},b_{2g} \right \rangle $ of $\Gamma _{g}$ is isomorphic to the fundamental group $\pi _{1}\left (S_{2g}\right )$ :

$$ \begin{align*} \left \langle a_{1},b_{1},\dotsc ,a_{2g},b_{2g} \middle \vert [a_{1},b_{1}]\dotsm \left[a_{2g},b_{2g}\right] \right \rangle. \end{align*} $$

The subgroup $F=\left \langle a_{1},b_{1},\dotsc ,a_{g},b_{g}\right \rangle $ of $\Delta $ is free on $2g$ generators. Note that there exists a retraction of $\Gamma _{g}$ onto the surface subgroup $\Delta $ . Moreover, there is a retraction $r:\Delta \rightarrow F$ which sends $a_{i} \mapsto a_{i}$ , $b_{i}\mapsto b_{i}$ , $a_{g+i} \mapsto b_{g-i+1}$ , and $b_{g+i}\mapsto a_{g-i+1}$ for $1 \leq i \leq g$ . Note that the retraction r is induced by the topological retraction of $S_{2g}$ onto a compact subsurface homeomorphic to $S_{g}$ minus an open disk. We finally obtain a retraction $R:\Gamma _{g} \rightarrow F$ .

We first construct reducible examples in all dimensions greater than or equal to $5$ . By [Reference Canary, Minsky and Taylor8, §4, p. 26], there exists a convex co-compact representation such that $i(\Delta )$ is a subgroup of $\mathsf {SL}(2,\mathbb {R})$ . Let $S:\mathsf {SL}(2,\mathbb {C}) \rightarrow \mathsf {SO}_{0}(3,1)$ be the covering epimorphism whose kernel is $\{\pm I_{2}\}$ so that $S\left (\mathrm {diag}\left (a,\frac {1}{a}\right )\right )$ is conjugate to $\mathrm {diag}\left (a^{2},1,1,\frac {1}{a^{2}}\right )$ for every $a \in \mathbb {R}^{\ast }$ . We consider the following representations:

  1. (a) $\rho _{0}:=S\circ i:\Gamma _{g} \rightarrow \mathsf {SL}(4,\mathbb {R})$ is $P_{1}$ -Anosov, and for every $\gamma \in \Delta $ , the matrix $\rho _{0}(\gamma )$ is positively proximal.

  2. (b) Let $\tau _{2}:\mathsf {SL}(2,\mathbb {C}) \rightarrow \mathsf {SL}(4,\mathbb {R})$ be the irreducible representation

    $$ \begin{align*} \tau_{2}(h)=\begin{bmatrix} \mathrm{Re}(h) & -\mathrm{Im}(h) \\ \mathrm{Im}(h) & \mathrm{Re}(h) \end{bmatrix}, \quad h \in \mathsf{SL}(2,\mathbb{C}), \end{align*} $$
    and define $\rho _{1}:=\tau _{2} \circ i:\Gamma \rightarrow \mathsf {SL}(4,\mathbb {R})$ . Note that $\rho _{1}$ is $P_{2}$ -Anosov.

(i) Suppose that $d=5$ . Note that $\rho _{1}(\Delta )$ is a subgroup of $\tau _{2}(\mathsf {SL}(2,\mathbb {R}))$ . By Lemma 2.5, we can find $w \in F^{(2)} \subset \Delta (2)$ such that $\lambda _{1}\left (i\left (wa_{1}^{2}\right )\right )<0$ . Now we consider a group homomorphism $\varepsilon : F \rightarrow \mathbb {R}^{+}$ such that $\varepsilon \left (wa_{1}^{2}\right )=\varepsilon \left (a_{1}^{2}\right )=x$ with $x^{5/4}>\ell _{1}\left (i\left (wa_{1}^{2}\right )\right )=\ell _{1}\left (\rho _{1}\left (wa_{1}^{2}\right )\right )$ . We consider the representation $\rho :\Gamma _{g} \rightarrow \mathsf {SL}(5,\mathbb {R})$ defined as follows:

$$ \begin{align*} \rho(\gamma)=\begin{bmatrix} \frac{1}{\sqrt[4]{\varepsilon\left(R\left(\gamma\right)\right)}} \rho_{1}(\gamma) & 0 \\ 0 & \varepsilon(R(\gamma))\\ \end{bmatrix}, \quad \gamma \in \Gamma. \end{align*} $$

Notice that the eigenvalues of $\rho \left (wa_{1}^{2}\right )$ in decreasing order are

$$ \begin{align*} x, \quad x^{-1/4}\lambda_{1}\left(\rho_{1}\left(wa_{1}^{2}\right)\right), \quad x^{-1/4}\lambda_{1}\left(\rho_{1}\left(wa_{1}^{2}\right)\right), \quad \frac{1}{x^{1/4}\lambda_{1}\left(\rho_{1}\left(wa_{1}^{2}\right)\right)}, \quad \frac{1}{x^{1/4}\lambda_{1}\left(\rho_{1}\left(wa_{1}^{2}\right)\right)}. \end{align*} $$

The matrix $\wedge ^{2} \rho \left (wa_{1}^{2}\right )$ is not positively semiproximal. Since $wa_{1}^{2} \in \Delta (2)$ , by Corollary 2.4 the representation $\rho $ cannot be a limit of $P_{2}$ -Anosov representations of $\Gamma $ into $\mathsf {SL}(5,\mathbb {R})$ . Note also that $\mathrm {ker}(\varepsilon )\cap \Delta (2)$ contains a free subgroup and $i(\mathrm {ker}(\varepsilon ) \cap \Delta (2))$ is a discrete subgroup of $\mathsf {SL}(2,\mathbb {R})$ . Hence, by Lemma 2.5, there exists $h \in \Delta (2)$ with $\varepsilon (h)=1$ and $\lambda _{1}(\rho (h))=\lambda _{1}(\rho _{1}(h))=\lambda _{1}(i(h))<0$ . Therefore, by Corollary 2.4, $\rho $ is not a limit of $P_{1}$ -Anosov representations of $\Gamma $ into $\mathsf {SL}(5,\mathbb {R})$ .

We now assume that $d=6$ . By Observation 2.6 we can find a quasi-isometric embedding $j:F \rightarrow \mathsf {SL}(2,\mathbb {R})$ such that

$$ \begin{align*} \ell_{1}(j(\gamma))\geq \ell_{1}(\rho_{0}(\gamma))^{2} \end{align*} $$

for every $\gamma \in F$ . Now we consider the representation $\rho :\Gamma _{g} \rightarrow \mathsf {SL}(6,\mathbb {R})$ , defined as follows:

$$ \begin{align*} \rho(\gamma)=\begin{bmatrix} \rho_{0}(\gamma) & 0 \\ 0 & j(R(\gamma)) \end{bmatrix}, \quad \gamma \in \Gamma_{g}. \end{align*} $$

By Lemma 2.5, we can find $w \in F \cap \Delta (2)$ such that $\lambda _{1}(j(w))<0$ . Since $\ell _{1}(j(w))>\ell _{1}(\rho _{0}(w))$ , we have $\lambda _{1}(\rho (w))=\lambda _{1}(j(w))$ and

$$ \begin{align*} \lambda_{1}\left(\wedge^{2} \rho(w)\right)= \lambda_{1}(j(w))\lambda_{1}(S(i(w)))=\lambda_{1}(j(w))\lambda_{1}(i(w))^{2}<0. \end{align*} $$

Moreover, the matrix $\wedge ^{3} \rho (w)$ has the number $\lambda _{1}(j(w)) \ell _{1}(\rho _{0}(w))<0$ as an eigenvalue of maximum modulus and multiplicity $2$ . It follows by Corollary 2.4 that $\rho , \wedge ^{2} \rho $ , and $\wedge ^{3} \rho $ cannot be limits of $P_{1}$ -Anosov representations. This completes the proof of this case.

Now suppose $d \geq 7$ . Again, by Observation 2.6, there exists a quasi-isometric embedding $j_{0}: F \rightarrow \mathsf {SL}(2,\mathbb {R})$ with the property

$$ \begin{align*} \ell_{1}(j_{0}(\gamma)) \geq \ell_{1}(\rho_{0}(\gamma))^{2} \end{align*} $$

for every $\gamma \in \langle a_{1},b_{1}\rangle $ . There exists $w \in \langle a_{1},b_{1}\rangle ^{(2)}$ such that $\lambda _{1}\left (j_{0}\left (wa_{1}^{2}\right )\right )<0$ . We consider group homomorphisms $\varepsilon _{1},\dotsc ,\varepsilon _{d-6}:\langle a_{1},b_{1} \rangle \rightarrow \mathbb {R}^{+}$ such that $\ell _{1}\left (j_{0}\left (wa_{1}^{2}\right )\right )>\varepsilon _{1}\left (a_{1}^{2}\right )>\dotsb >\varepsilon _{d-6}\left (a_{1}^{2}\right )>\ell _{1}\left (\rho _{0}\left (wa_{1}^{2}\right )\right )$ . Then the representation $\rho :\Gamma _{g} \rightarrow \mathsf {GL}(d,\mathbb {R})$ defined by the blocks

$$ \begin{align*} \rho(\gamma)=\mathrm{diag} (\rho_{0}(\gamma), j_{0}(R(\gamma)), \varepsilon_{1}(R(\gamma)),\dotsc ,\varepsilon_{d-6}(R(\gamma)) ) \end{align*} $$

has the property that $\wedge ^{i} \rho \left (wa_{1}^{2}\right )$ is proximal but not positively proximal for every $1 \leq i \leq d-4$ . Corollary 2.4 shows that for every $1 \leq i \leq \frac {d}{2}$ , the representation

$$ \begin{align*} \hat{\rho}(\gamma)=\frac{1}{\sqrt[d]{\mathrm{det}(\rho(\gamma))}}\rho(\gamma), \quad \gamma \in \Gamma_{g}, \end{align*} $$

is not a limit of $P_{i}$ -Anosov representations into $\mathsf {SL}(d,\mathbb {R})$ .

(ii) Now we construct a strongly irreducible quasi-isometric embedding of $\Gamma _{g}$ into $\mathsf {SL}(12,\mathbb {R})$ which is not a limit of $P_{i}$ -Anosov representations for $1 \leq i \leq 6$ . We assume that $g \geq 4$ . By Observation 2.6, we can find quasi-isometric embeddings $\iota _{1}: \langle a_{1},b_{1},a_{2} \rangle \rightarrow \mathsf {SL}(2,\mathbb {R})$ and $\iota _{2}: \langle b_{2},a_{3},b_{3} \rangle \rightarrow \mathsf {SL}(2,\mathbb {R})$ such that

$$ \begin{align*} \ell_{1}(\iota_{1}(h_{1})) \geq \ell_{1}(\rho_{0}(h_{1}))^{6} \qquad \text{and} \qquad \ell_{1}(\iota_{2}(h_{2})) \geq \ell_{1}(\rho_{0}(h_{2}))^{5} \end{align*} $$

for every $h_{1} \in \langle a_{1},b_{1},a_{2} \rangle $ and $h_{2} \in \langle b_{2},a_{3},b_{3} \rangle $ . By Lemma 2.5, we can find an element $w \in \Gamma _{g}(2) \cap \langle a_{1},b_{1} \rangle $ such that $\lambda :=\lambda _{1}\left (\iota _{1}\left (wa_{2}^{2}\right )\right )<0$ . Let $\mu =\lambda _{1}\left (\rho _{0}\left (wa_{2}^{2}\right )\right )>0$ . Now consider a homomorphism $\varepsilon : \langle a_{1},b_{1},a_{2} \rangle \rightarrow \mathbb {R}^{+}$ such that $\varepsilon (a_{2})=x$ with

$$ \begin{align*} \lvert\lambda\rvert>x^{3}> \frac{\lvert\lambda\rvert}{\mu^{2}}>1>\frac{\mu^{2}}{\lvert\lambda\rvert} \end{align*} $$

and the representation $\iota _{1}^{\prime }: \langle a_{1},b_{1}, a_{2} \rangle \rightarrow \mathsf {SL}(3,\mathbb {R})$ defined as follows:

$$ \begin{align*} \iota_{1}^{\prime}(\gamma)= \begin{bmatrix} \frac{1}{\sqrt{\varepsilon(\gamma)}}\iota_{1}(\gamma) & 0 \\ 0 & \varepsilon(\gamma) \\ \end{bmatrix}, \quad \gamma \in \langle a_{1},b_{1}, a_{2} \rangle. \end{align*} $$

Notice that $\varepsilon \left (wa_{2}^{2}\right )=x^{2}$ , and by the choice of $x>0$ , the matrix $\iota _{1}^{\prime }\left (wa_{2}^{2}\right )$ is proximal with eigenvalues (in decreasing order) $\frac {\lambda }{x},x^{2},\frac {1}{\lambda x}$ . By Lemma 2.5 we can also find $z \in \langle b_{2}, a_{3}\rangle ^{(2)}$ such that $s:=\lambda _{1}\left (\iota _{2}\left (zb_{3}^{2}\right )\right )<0$ . We consider the representations $\iota _{2}^{\prime }: \langle b_{2},a_{3},b_{3} \rangle \rightarrow \mathsf {SL}(3,\mathbb {R})$ , defined as

$$ \begin{align*} \iota_{2}^{\prime}(\delta)= \begin{bmatrix} \iota_{2}(\delta) & 0 \\ 0 & 1 \\ \end{bmatrix}, \quad \delta \in \langle b_{2},a_{3},b_{3} \rangle, \end{align*} $$

and $A:F \rightarrow \mathsf {SL}(3,\mathbb {R})$ , defined as

$$ \begin{gather*} A(\gamma)=\iota_{1}^{\prime}(\gamma), \quad \gamma \in \langle a_{1},b_{1},a_{2} \rangle, \\ A(\delta)=\iota_{2}^{\prime}(\delta), \quad \delta \in \langle b_{2},a_{3},b_{3} \rangle, \\ A\left(\left\langle a_{4},b_{4},\dotsc ,a_{g},b_{g} \right\rangle \right) \text{ is chosen to be Zariski dense in } \mathsf{SL}(3,\mathbb{R}). \end{gather*} $$

We obtain a Zariski dense representation $A\circ R:\Gamma _{g} \rightarrow \mathsf {SL}(3,\mathbb {R})$ .

We first observe that $\rho _{0} \otimes (A \circ R)$ is strongly irreducible and a quasi-isometric embedding. For every finite-index subgroup H of $\Gamma _{g}$ , the restriction of the product $\rho _{0} \times (A\circ R):H \rightarrow \mathsf {SO}(3,1) \times \mathsf {SL}(3,\mathbb {R})$ is Zariski dense (see, e.g., [Reference Dalbo and Kim10]). Note that the tensor product representation $\otimes : \mathsf {SO}(3,1) \times \mathsf {SL}(3,\mathbb {R}) \rightarrow \mathsf {SL}(12,\mathbb {R})$ , $(\alpha ,\beta ) \mapsto \alpha \otimes \beta $ , is irreducible. Hence any proper $(\rho _{0} \otimes (A\circ R))(H)$ -invariant subspace V of $\mathbb {R}^{12}=\mathbb {R}^{4} \otimes _{\mathbb {R}} \mathbb {R}^{3}$ has to be invariant under $\alpha \otimes \beta $ for every $\alpha \in \mathsf {SO}(3,1)$ and $\beta \in \mathsf {SL}(3,\mathbb {R})$ . Therefore, V is trivial and $\rho _{0} \otimes (A \circ R)$ is strongly irreducible. Moreover, since $\rho _{0}$ is $P_{1}$ -Anosov, there exist $C,a>0$ such that $\frac {\sigma _{1}\left (\rho _{0}\left (\gamma \right )\right )}{\sigma _{2}\left (\rho _{0}\left (\gamma \right )\right )}\geq Ce^{a\lvert \gamma \rvert _{\Gamma }}$ and hence $\sigma _{1}(\rho _{0}(\gamma ))^{4}=\frac {\sigma _{1}\left (\rho _{0}\left (\gamma \right )\right )}{\sigma _{2}\left (\rho _{0}\left (\gamma \right )\right )}\frac {\sigma _{1}\left (\rho _{0}\left (\gamma \right )\right )}{\sigma _{3}\left (\rho _{0}\left (\gamma \right )\right )}\frac {\sigma _{1}\left (\rho _{0}\left (\gamma \right )\right )}{\sigma _{4}\left (\rho _{0}\left (\gamma \right )\right )} \geq C^{3} e^{3a\lvert \gamma \rvert _{\Gamma }}$ for every $\gamma \in \Gamma _{g}$ . Note that

$$ \begin{align*} \sigma_{1}(\rho_{0}(\gamma)\otimes A(R(\gamma)))=\sigma_{1}(\rho_{0}(\gamma))\sigma_{1}(A(R(\gamma))) \geq \sigma_{1}(\rho_{0}(\gamma)) \geq C^{\frac{3}{4}}e^{\frac{3a}{4}\lvert\gamma\rvert_{\Gamma}} \end{align*} $$

for every $\gamma \in \Gamma _{g}$ . It follows that $\rho _{0} \otimes (A\circ R)$ is a quasi-isometric embedding.

We claim that the tensor product representation $\rho _{0} \otimes (A\circ R):\Gamma _{g} \rightarrow \mathsf {SL}(12,\mathbb {R})$ is not a limit of Anosov representations. We consider the element $wa_{2}^{2} \in \Gamma _{g}(2)$ . We have $A\left (R\left (wa_{2}^{2}\right )\right )=A\left (wa_{2}^{2}\right )=\iota _{1}^{\prime }\left (wa_{2}^{2}\right )$ and the matrix $\rho _{0}\left (wa_{2}^{2}\right )\otimes A\left (wa_{2}^{2}\right )$ is conjugate to the matrix

$$ \begin{align*} c= \mathrm{diag} \left(\mu^{2}, 1,1, \frac{1}{\mu^{2}} \right) \otimes \mathrm{diag} \left(\frac{\lambda}{x}, x^{2}, \frac{1}{\lambda x} \right), \quad \lambda=\lambda_{1}\left(\iota_{1}^{\prime}\left(wa_{2}^{2}\right)\right)<0. \end{align*} $$

By the choice of $x>0$ , since $\lvert \lambda \rvert>x^{3}>\frac {\lvert \lambda \rvert }{\mu ^{2}}>1$ , the first seven eigenvalues, in decreasing order of their moduli, are

$$ \begin{align*} \frac{\lambda}{x}\mu^{2}, \quad x^{2} \mu^{2},\quad \frac{\lambda}{x},\quad \frac{\lambda}{x},\quad x^{2},\quad x^{2}, \quad \frac{\lambda}{x\mu^{2}}. \end{align*} $$

The matrix $\wedge ^{i}c$ is proximal for $i=1,2,4,6$ but not positively proximal. Thus, by Corollary 2.4, $\rho _{0} \otimes (A\circ R)$ is not a limit of $P_{i}$ -Anosov representations for $i=1,2,4,6$ . The matrix $\wedge ^{5} c$ has the number $\lambda ^{3} \mu ^{4} x<0$ as an eigenvalue of maximum modulus and multiplicity $2$ . Therefore, $\wedge ^{5} c$ is not positively semiproximal and $\rho _{0} \otimes (A\circ R)$ cannot be a limit of $P_{5}$ -Anosov representations (again by Corollary 2.4). Now we consider the element $zb_{3}^{2} \in \Gamma (2)$ . Note that $A\left (R\left (zb_{3}^{2}\right )\right )=A\left (zb_{3}^{2}\right )=\iota _{2}^{\prime }\left (zb_{3}^{2}\right )$ and $\rho _{0}\left (zb_{3}^{2}\right )\otimes A\left (zb_{3}^{2}\right )$ is conjugate to the matrix

$$ \begin{align*} h=\mathrm{diag} \left( \nu^{2},1,1, \frac{1}{\nu^{2}}\right) \otimes \mathrm{diag} \left(s,1, \frac{1}{s} \right), \quad s=\lambda_{1}\left(\iota_{2}\left(zb_{3}^{2}\right)\right)<0, \ \nu=\lambda_{1}\left(\rho_{0}\left(zb_{3}^{2}\right)\right). \end{align*} $$

Since $\lvert s\rvert>\nu ^{4}$ , the first five eigenvalues of h, in decreasing order of their moduli, are

$$ \begin{align*} s \nu^{2}, \quad s, \quad s, \quad \frac{s}{\nu^{2}}, \quad \nu^{2}. \end{align*} $$

We notice that $\wedge ^{3} h$ is proximal, with first eigenvalue $s^{3} \nu ^{2}<0$ . It follows that $\rho _{0} \otimes (A\circ R)$ is not a limit of $P_{3}$ -Anosov representations.

We obtain the following generalization of Theorem 1.1 for $d \geq 6$ :

Theorem 3.1. Let $\Gamma $ be an one-ended word hyperbolic group which admits a convex co-compact representation into $\mathsf {SO}(3,1)$ and is not virtually isomorphic to a free group or a surface group. Suppose that $\Gamma $ retracts onto a free subgroup of rank at least $8$ . Then for every $d \geq 6$ , there exists a quasi-isometric embedding $\psi :\Gamma \rightarrow \mathsf {SL}(d,\mathbb {R})$ which is not a limit of Anosov representations of $\Gamma $ into $\mathsf {SL}(d,\mathbb {R})$ . Moreover, if $d=12$ , $\psi $ can be chosen to be strongly irreducible.

The proof of this theorem is similar to the proof of Theorem 1.1 for $d \geq 6$ .

4 Additional examples

By following similar arguments as in Theorem 1.1(ii) and increasing the number of surface groups of the fundamental group of the I-bundle, it is possible to obtain strongly irreducible quasi-isometric embeddings for infinitely many odd dimensions such that every nontrivial element is semiproximal.

Theorem 4.1. Let $g\geq 3$ and $n \geq 5$ . For $0 \leq i \leq 2^{n-3}$ , let

$$ \begin{align*} \Gamma_{gi}=\left \langle \begin{matrix} a_{1i},b_{1i},\dotsc,a_{(2g)i},b_{(2g)i},\\ c_{1i},d_{1i},\dotsc,c_{(2g)i},d_{(2g)i} \end{matrix} \middle \vert \begin{matrix} [a_{1i},b_{1i}]\dotsm \left[a_{(2g)i},b_{(2g)i}\right], [c_{1i},d_{1i}]\dotsm \left[c_{(2g)i},d_{(2g)i}\right],\\ [a_{1i},b_{1i}]\dotsm \left[a_{gi},b_{gi}\right]\cdot[c_{1i},d_{1i}]\dotsm \left[c_{gi},d_{gi}\right] \end{matrix} \right \rangle \end{align*} $$

be a copy of the word hyperbolic group $\Gamma _{g}$ from Theorem 1.1, and consider the word hyperbolic group

$$ \begin{align*} \Delta_{n}=\left \langle \begin{matrix} \Gamma_{g0},\Gamma_{g1},\dotsc,\Gamma_{g 2^{n-3}} \end{matrix} \middle \vert \begin{matrix} \mathrm{rel}\left(\Gamma_{gj}\right), [a_{10},b_{10}]\dotsm \left[a_{g0},b_{g0}\right]\cdot\left(\left[a_{1j},b_{1j}\right]\dotsm \left[a_{gj},b_{gj}\right]\right)^{-1} \\ j=0,1,\dotsc ,2^{n-3} \end{matrix} \right \rangle. \end{align*} $$

For every odd $n \geq 5$ , there exists a strongly irreducible quasi-isometric embedding $\tau _{n}:\Delta _{n} \rightarrow \mathsf {SL}(3n,\mathbb {R})$ which is not a limit of Anosov representations of $\Delta _{n}$ into $\mathsf {SL}(3n,\mathbb {R})$ , and for every $\gamma \in \Delta _{n}$ , $\tau _{n}(\gamma )$ has all of its eigenvalues of maximum modulus real.

Let us recall some useful facts. The Lie algebra of $\mathsf {SO}(m+1,1)$ is

$$ \begin{align*} \mathfrak{so}(m+1,1)=\left \{\begin{bmatrix} A &u \\ u^{t} & 0 \end{bmatrix}: A+A^{t}=0_{m+1}, \ u \in \mathbb{R}^{m+1} \right \}. \end{align*} $$

The subalgebra $\mathfrak {so}(m,1) \subset \mathfrak {so}(m+1,1)$ contains all matrices in $\mathfrak {so}(m+1,1)$ having zeros in the first row and column. For $1 \leq i,j \leq m+2$ , let $E^{ij}$ be the $(m+2) \times (m+2)$ matrix having $1$ in the $(i,j)$ -entry and $0$ in the remaining entries. For an $(m+2) \times (m+2)$ matrix Y, $Y_{ij}$ denotes the $(i,j)$ -entry of Y. For two square matrices X and Y, their commutator is defined as $(X,Y)=XY-YX$ .

We shall use the following fact:

Fact 4.2. For $m \geq 3$ , $\mathfrak {so}(m,1)$ is a self-normalizing maximal subalgebra of $\mathfrak {so}(m+1,1)$ .

Proof. Suppose that $X \in \mathfrak {so}(m+1,1)$ such that $(X,\mathfrak {so}(m,1)) \subset \mathfrak {so}(m,1)$ . Note that $E^{2(m+1)}+E^{(m+1)2} \in \mathfrak {so}(m,1)$ and $\left (X, E^{2(m+2)}+E^{(m+2)2}\right )_{12}=X_{1(m+2)}$ . It follows that $X_{1(m+2)}=X_{(m+2)1}=0$ . Moreover, we have $\left (X,E^{2i}-E^{i2}\right )_{12}=-X_{1i}$ and $\left (X,E^{2i}-E^{i2}\right )_{1i}=X_{12}$ for every $3\leq i \leq m+1$ . We conclude that $X_{1i}=X_{i1}=0$ for $2 \leq i \leq m+1$ and hence $X \in \mathfrak {so}(m,1)$ .

Set $Y \in \mathfrak {so}(m+1,1) \setminus \mathfrak {so}(m,1)$ and let $\mathfrak {g}$ be the subalgebra generated by Y and $\mathfrak {so}(m,1)$ . Looking at the commutators $(Y,Z)$ and $\left (Y,E^{i(m+2)}+E^{(m+2)i}\right )$ for $Z\in \mathfrak {so}(m)\subset \mathfrak {so}(m,1)$ and $2 \leq i \leq m+1$ , it is not hard to deduce that $\mathfrak {g}$ has to contain all matrices in $\mathfrak {so}(m+1,1)$ with nonzero first row. The conclusion follows.

For our construction we shall use the following lemma, which follows from work of Johnson and Millson [Reference Johnson and Millson14]:

Lemma 4.3. Let $\Delta =\mathcal {G}_{1}\ast _{g_{1}=g_{2}}\mathcal {G}_{2}$ be the amalgamated product of two torsion-free word hyperbolic groups $\mathcal {G}_{1}$ and $\mathcal {G}_{2}$ along the maximal cyclic subgroups $\langle g_{1} \rangle $ and $\langle g_{2} \rangle $ of $\mathcal {G}_{1}$ and $\mathcal {G}_{2}$ , respectively. Suppose that $\rho : \Delta \rightarrow \mathsf {SO}(m,1)$ is a convex co-compact representation such that $\rho (\mathcal {G}_{i})$ is Zariski dense in $\mathsf {SO}(m,1)$ for $i=1,2$ and $\rho (g_{1})=\rho (g_{2})$ lies in a copy of $\mathsf {SO}_{0}{(2,1)} \subset \mathsf {SO}(m,1)$ . Then there exists a Zariski dense and convex co-compact representation $\rho ^{\prime }: \Delta \rightarrow \mathsf {SO}(m+1,1)$ .

Proof. The representation $\rho ^{\prime }$ is obtained by applying a Johnson–Millson deformation [Reference Johnson and Millson14] for the representation $\mathrm {diag}(1,\rho )$ . We briefly explain the construction (see also [Reference Kassel16, Lemma 6.3]): Let X be a vector in $\mathfrak {so}(m+1,1)\setminus \mathfrak {so}(m,1)$ such that $\rho (g_{1})X\rho (g_{1})^{-1}=\rho (g_{2})X\rho (g_{2})^{-1}=X$ . Then consider the family of representations $\rho _{t}:\Delta \rightarrow \mathsf {SO}(m+1,1)$ where

$$ \begin{align*} \rho_{t}(\gamma)&=\rho(\gamma), \quad \gamma \in \mathcal{G}_{1}, \\ \rho_{t}(\gamma)&=\exp(tX)\rho(\gamma)\exp(-tX), \quad \gamma \in \mathcal{G}_{2}. \end{align*} $$

For small enough $t>0$ , the Lie algebra of the Zariski closure of $\rho _{t}$ , $\mathfrak {g}_{t}$ , strictly contains $\mathfrak {so}(m,1)$ , and hence Fact 4.2 shows that $\mathfrak {g}_{t}=\mathfrak {so}(m+1,1)$ . It follows that $\rho _{t}$ is Zariski dense in $\mathsf {SO}(m+1,1)$ . By the stability of convex co-compact representations into $\mathsf {SO}(m+1,1)$ , established by Thurston [Reference Thurston23, Proposition 8.3.3] (see also [Reference Canary, Epstein and Green7, Theorem 2.5.1]), $\rho _{t}$ is convex co-compact for $t>0$ small enough.

Proof of Theorem 4.1

The group $\Delta _{n}$ is isomorphic to the amalgamated product of $\left \{\Gamma _{gi}\right \}_{i=0}^{2^{n-3}}$ with respect to the monomorphisms $\varphi _{i}:\langle t\rangle \rightarrow \Gamma _{gi}$ , $\varphi _{i}(t)=[a_{1i},b_{1i}]\dotsm \left [a_{gi},b_{gi}\right ]$ . For every i, $\varphi _{i}(t)$ is a maximal cyclic subgroup of $\Gamma _{gi}$ , and hence $\Delta _{n}$ is word hyperbolic by the Bestvina–Feighn combination theorem [Reference Bestvina and Feighn3]. For the rest of the proof we identify $\Gamma _{gi}$ with the subgroup $\left \langle \left \{ a_{ji},b_{ji},c_{ji},d_{ji}: 1 \leq j\leq 2g \right \} \right \rangle $ of $\Delta _{n}$ . We set $b=\varphi _{0}(t)=[a_{10},b_{10}]\dotsm \left [a_{g0},b_{g0}\right ] \in \Gamma _{i}$ for every i.

For our construction of $\tau _{n}$ , we will first exhibit a strongly irreducible representation of $\Delta _{n}$ into $\mathsf {SL}(n,\mathbb {R})$ and then consider the tensor product with a representation of $\Delta _{n}$ into $\mathsf {SL}(3,\mathbb {R})$ .

Notice that $\Delta _{0}=\left \langle a_{10},b_{10},\dotsc ,a_{(2g)0},b_{(2g)0} \right \rangle \subset \Gamma _{g0}$ is isomorphic to $\pi _{1}\left (S_{2g}\right )$ . By [Reference Canary, Minsky and Taylor8], there exists a convex co-compact representation $\rho _{1}:\Delta _{n} \rightarrow \mathsf {SO}(3,1)$ such that $\rho _{1}\rvert _{\Delta _{0}}$ is Fuchsian – that is, $\rho _{1}\rvert _{\Delta _{0}}=S\circ \rho _{0}$ for some convex co-compact representation $\rho _{0}:\Delta _{0} \rightarrow \mathsf {SL}(2,\mathbb {R})$ , and $S:\mathsf {SL}(2,\mathbb {C})\rightarrow \mathsf {SO}_{0}(3,1)$ is the covering epimorphism. Notice that since $\Gamma _{g}$ is not a surface group, $\rho _{1}\left (\Gamma _{gi}\right )$ is a Zariski dense subgroup of $\mathsf {SO}(3,1)$ for every $0 \leq i \leq 2^{n-3}$ . By Lemma 4.3 we can find a convex co-compact representation $\rho _{2}:\Delta _{n} \rightarrow \mathsf {SO}(4,1)$ such that for every $0 \leq i \leq 2^{n-4}-1$ , $\rho _{2}\left (\left \langle \Gamma _{g(2i+1)}, \Gamma _{g(2i+2)} \right \rangle \right )$ is a Zariski dense subgroup of $\mathsf {SO}(4,1)$ and $\rho _{2}(\gamma )=\mathrm {diag}(1,\rho _{1}(\gamma ))$ for all $\gamma \in \Delta _{0}$ . Now we may view $\Delta _{n}$ as the amalgamated product of $\Gamma _{g0}$ with $\left \langle \Gamma _{g1}, \Gamma _{g2} \right \rangle ,\dotsc ,\left \langle \Gamma _{g\left (2^{n-3}-1\right )}, \Gamma _{g 2^{n-3}} \right \rangle $ (each of which is isomorphic to $\Gamma _{g} \ast _{\langle b \rangle } \Gamma _{g}$ along $\langle b \rangle $ ). Since $\rho _{2}\left (\left \langle \Gamma _{g(2i+1)}, \Gamma _{g(2i+2)}\right \rangle \right )$ is Zariski dense for every i, by Lemma 4.3 we can find a convex co-compact representation $\rho _{3}:\Delta _{n} \rightarrow \mathsf {SO}(5,1)$ such that $\rho _{3}\left (\left \langle \Gamma _{g(4i+1)},\Gamma _{g(4i+2)},\Gamma _{g(4i+3)}, \Gamma _{g(4i+4)}\right \rangle \right )$ is Zariski dense in $\mathsf {SO}(5,1)$ for $0 \leq i \leq 2^{n-5}-1$ and $\rho _{3}(\gamma )=\mathrm {diag}(1,1,\rho _{1}(\gamma ))$ for all $\gamma \in \Delta _{0}$ . By continuing similarly, we obtain a Zariski dense convex co-compact representation $\rho _{n-3}:\Delta _{n} \rightarrow \mathsf {SO}(n-1,1)$ with $\rho _{n-3}(\gamma )=\mathrm {diag} (I_{n-4}, \rho _{1}(\gamma ))$ for all $\gamma \in \Delta _{0}$ .

Let F be the free subgroup of $\Delta _{0}$ generated by the elements $a_{10},b_{10},\dotsc ,a_{g0},b_{g0}$ and let $R:\Delta _{n} \rightarrow F$ be a retraction. We may choose a $P_{1}$ -Anosov representation $A:F \rightarrow \mathsf {SL}(3,\mathbb {R})$ such that $A\left (\left \langle a_{30},b_{30},\dotsc ,a_{g0},b_{g0} \right \rangle \right )$ is Zariski dense in $\mathsf {SL}(3,\mathbb {R})$ and $A(\gamma )=\mathrm {diag}(\rho _{0}(\gamma ),1)$ for $\gamma \in \langle a_{10},b_{10}, a_{20},b_{20} \rangle $ . Let $\phi _{k}:\langle a_{20},b_{20} \rangle \rightarrow \langle a_{20},b_{20} \rangle $ be the map defined as in Observation 2.6 and $k \in \mathbb {N}$ be large enough that

$$ \begin{align*} \ell_{1}(\rho_{0}(\phi_{k}(\gamma)) \geq \ell_{1}(\rho_{1}(\gamma))^{10} \end{align*} $$

for every $\gamma \in \langle a_{20},b_{20} \rangle $ . We modify A by considering $A_{k}:F \rightarrow \mathsf {SL}(3,\mathbb {R})$ such that

$$ \begin{align*} A_{k}(\gamma) &=\mathrm{diag}(\rho_{0}(\phi_{k}(\gamma)),1), \gamma \in \langle a_{20},b_{20} \rangle\\ A_{k}(\gamma)&=A(\gamma), \quad \gamma \in \left \langle a_{10},b_{10},a_{30}, b_{30},\dotsc,a_{g0}, b_{g0} \right \rangle. \end{align*} $$

The image $A_{k}(F)$ is a $P_{1}$ -Anosov subgroup of $\mathsf {SL}(3,\mathbb {R})$ .

Now we consider the representation $\tau _{n}:\Delta _{n} \rightarrow \mathsf {SL}(3n,\mathbb {R})$ defined as follows:

$$ \begin{align*} \tau_{n}(\gamma)=\rho_{n-3}(\gamma) \otimes A_{k}(R(\gamma)), \quad \text{for all } \gamma \in \Delta_{n}. \end{align*} $$

Similarly as in the proof of Theorem 1.1(ii), $\tau _{n}$ is strongly irreducible, since the Zariski closures of $\rho _{n-3}$ and $A_{k}\circ R$ are two nonlocally isomorphic simple Lie groups. Moreover, all elements of the group $\tau _{n}(\Delta _{n})$ have all of their eigenvalues of maximum modulus real, since $A_{k}\rvert _{F}$ and $\rho _{n-3}$ are $P_{1}$ -Anosov into $\mathsf {SL}(3,\mathbb {R})$ and $\mathsf {SL}(n,\mathbb {R})$ , respectively. To see that $\tau _{n}$ is not a limit of Anosov representations, we may first find $w \in \Delta _{n}(2)\cap \langle a_{10},b_{10}\rangle $ such that $s:=\lambda _{1}(\rho _{0}(w))<0$ . Then $c:=\rho _{n-3}(w)\otimes A_{k}(w)$ is conjugate to $\mathrm {diag}\left (s^{2}, I_{n-2},\frac {1}{s^{2}}\right )\otimes \mathrm {diag}\left (s,1,\frac {1}{s}\right )$ . The first $2n-1$ eigenvalues of the matrix c, in decreasing order, are

$$ \begin{align*} s^{3}, \quad s^{2}, \quad \underbrace{s,\dotsc,s}_{n-1}, \quad \underbrace{1,\dotsc,1}_{n-2}. \end{align*} $$

Since n is odd and $s<0$ , we see that $\wedge ^{i}\tau _{n}(w)$ is not positively semiproximal when i is even and $i \leq n+1$ and when $n+1 \leq i \leq 2n-1$ . We may also find $w^{\prime } \in \Delta _{n}(2) \cap \langle a_{20},b_{20} \rangle $ such that $q=\lambda _{1}(\rho _{0}(\phi _{k}(w^{\prime }))<0$ . Let $p=\lambda _{1}(\rho (w^{\prime }))$ and note that $\lvert q\rvert>p^{10}$ . The matrix $h:=\rho _{n-3}(w^{\prime })\otimes A_{k}(w^{\prime })$ is conjugate to the matrix $\mathrm {diag}\left (p^{2},I_{n-2},\frac {1}{p^{2}}\right )\otimes \mathrm {diag}\left (q,1,\frac {1}{q}\right )$ . The first $n+1$ eigenvalues of this matrix, in decreasing order, are

$$ \begin{align*} qp^{2}, \underbrace{q,q,\ldots,q}_{n-2}, \frac{q}{p^{2}}, p^{2}. \end{align*} $$

Since n is odd and $q<0$ , the matrix $\wedge ^{i}\tau _{n}(w^{\prime })$ is not positively semiproximal when i is odd and $i \leq n+1$ . The conclusion follows by Corollary 2.4.□

In contrast with the previous examples, in order to construct quasi-isometric embeddings of surface groups which are not limits of Anosov representations we need to find elements whose eigenvalues are nonreal.

Proposition 4.4. For every $g \geq 4$ , there exist quasi-isometric embeddings $\psi :\pi _{1}\left (S_{g}\right ) \rightarrow \mathsf {SL}(4,\mathbb {R})$ and $\rho :\pi _{1}\left (S_{g}\right ) \rightarrow \mathsf {SL}(6,\mathbb {R})$ which are not limits of Anosov representations of $\pi _{1}\left (S_{g}\right )$ into $\mathsf {SL}(4,\mathbb {R})$ and $\mathsf {SL}(6,\mathbb {R})$ , respectively. Moreover, $\rho $ is strongly irreducible.

Proof. Let $\rho _{1}:\pi _{1}\left (S_{g}\right )\rightarrow \mathsf {SL}(2,\mathbb {R})$ be a quasi-isometric embedding and consider $\pi :\pi _{1}\left (S_{g}\right ) \rightarrow \langle a_{1},a_{2},a_{3},a_{4} \rangle $ a retraction of $\pi _{1}\left (S_{g}\right )$ onto the free subgroup $\langle a_{1},a_{2}, a_{3},a_{4} \rangle $ of rank $4$ . Define $\lambda :=\lambda _{1}(\rho _{1}(a_{1}))$ and $\mu :=\lambda _{1}(\rho _{1}(a_{2}))$ and fix $\theta \notin \pi \mathbb {Q}$ .

We consider $x,y>0$ such that $x^{2}>\lvert \lambda \rvert $ , $\lvert \mu \rvert>y^{2}>\frac {1}{\lvert \mu \rvert }$ , and a homomorphism $\varepsilon : \langle a_{1},a_{2},a_{3},a_{4} \rangle \rightarrow \mathbb {R}^{+}$ with $\varepsilon (a_{1})=x$ and $\varepsilon (a_{2})=y$ . Let $R_{\theta }:\langle a_{1},a_{2},a_{3},a_{4} \rangle \rightarrow \mathsf {SL}(2,\mathbb {R})$ be a homomorphism such that $R_{\theta }(a_{1})$ and $R_{\theta }(a_{2})$ are conjugate to an irrational rotation of angle $\theta $ . We consider the representation $\psi $ defined as follows:

$$ \begin{align*} \psi(\gamma)=\begin{bmatrix} \frac{1}{\varepsilon\left(\pi\left(\gamma\right)\right)}\rho_{1}(\gamma) &0 \\ 0 & \varepsilon(\pi(\gamma))R_{\theta}(\pi(\gamma)) \end{bmatrix}, \quad \text{for every } \gamma \in \pi_{1}\left(S_{g}\right). \end{align*} $$

By the choice of $x>0$ and $y>0$ , the matrices $\psi (a_{1})$ and $\wedge ^{2} \psi (a_{2})$ have the numbers $xe^{i\theta }, xe^{-i \theta }$ , and $\mu e^{i \theta }, \mu e^{-i \theta }$ , respectively, as their eigenvalues of maximum modulus. Corollary 2.4 implies that $\psi $ is not a limit of Anosov representations of $\pi _{1}\left (S_{g}\right )$ into $\mathsf {SL}(4,\mathbb {R})$ . Moreover, since $\rho _{1}$ is $P_{1}$ -Anosov and $\frac {\sigma _{1}(\psi (\gamma ))}{\sigma _{4}(\psi (\gamma ))} \geq \frac {\sigma _{1}(\rho _{1}(\gamma ))}{\sigma _{2}(\rho _{1}(\gamma ))}$ for every $\gamma \in \pi _{1}\left (S_{g}\right )$ , it follows that $\psi $ is a quasi-isometric embedding. The claim follows.

Now we construct the representation $\rho $ . We consider $s,t, \theta \in \mathbb {R}$ satisfying $s>\lvert \lambda \rvert ^{2/3}$ , $\lvert \mu \rvert ^{-2/3}<t<1$ , and a representation $j_{s,t,\theta }:\langle a_{1},a_{2},a_{3},a_{4} \rangle \rightarrow \mathsf {SL}(3,\mathbb {R})$ such that

$$ \begin{align*} j_{s,t,\theta}(a_{1})=\begin{bmatrix} s \cos\theta & -s \sin \theta &0 \\ s \sin \theta& s \cos \theta & 0\\ 0 &0 & \frac{1}{s^{2}} \end{bmatrix}, \qquad j_{s,t,\theta}(a_{2})=\begin{bmatrix} t \cos\theta & -t \sin \theta &0 \\ t \sin \theta& t \cos \theta & 0\\ 0 &0 & \frac{1}{t^{2}} \end{bmatrix}, \end{align*} $$

and $j_{s,t,\theta }(\langle a_{3},a_{4} \rangle )$ is Zariski dense in $\mathsf {SL}(3,\mathbb {R})$ . By arguing as in the proof of Theorem 1.1(ii), the tensor product $\rho :=\rho _{1} \otimes \left (j_{s,t,\theta } \circ \pi \right )$ is a strongly irreducible quasi-isometric embedding of $\pi _{1}\left (S_{g}\right )$ into $\mathsf {SL}(6,\mathbb {R})$ . By the choice of $s>0$ , the eigenvalues of the matrix $g:=\rho _{1}(a_{1}) \otimes j_{s,t,\theta }(\pi (a_{1}))$ , in decreasing order of their moduli, are

$$ \begin{align*} \lambda se^{i \theta}, \quad \lambda se^{-i \theta}, \quad \frac{s}{\lambda}e^{i \theta}, \quad \frac{s}{\lambda}e^{-i\theta}, \quad \frac{\lambda}{s^{2}}, \quad \frac{1}{\lambda s^{2}}. \end{align*} $$

The matrices g and $\wedge ^{3} g$ have their eigenvalues of maximum modulus nonreal, hence $\rho $ is not a limit of $P_{1}$ - or $P_{3}$ -Anosov representations of $\pi _{1}\left (S_{g}\right )$ into $\mathsf {SL}(6,\mathbb {R})$ . The eigenvalues of the matrix $h:=\rho _{1}(a_{2}) \otimes j_{s,t,\theta }(\pi (a_{2}))$ , in decreasing order of their moduli, are

$$ \begin{align*} \frac{\mu}{t^{2}}, \quad \mu t e^{i \theta}, \quad \mu t e^{-i \theta}, \quad \frac{1}{\mu t^{2}}, \quad \frac{t}{\mu}e^{i \theta}, \quad \frac{t}{\mu}e^{-i \theta}. \end{align*} $$

The matrix $\wedge ^{2} \rho (a_{2})$ has its eigenvalues of maximum modulus nonreal, and therefore $\wedge ^{2} \rho $ is not a limit of $P_{1}$ -Anosov representations of $\pi _{1}\left (S_{g}\right )$ . Moreover, we have $\frac {\sigma _{1}(\rho (\gamma ))}{\sigma _{6}(\rho (\gamma ))}\geq \frac {\sigma _{1}(\rho _{1}(\gamma ))}{\sigma _{2}(\rho _{1}(\gamma ))}$ for every $\gamma \in \pi _{1}\left (S_{g}\right )$ , and hence $\rho $ is a quasi-isometric embedding, since $\rho _{1}$ is. It follows that $\rho $ has the required properties.

Remark 4.5.

  1. (i) The construction in Proposition 4.4 also works for finitely generated free groups of rank at least $4$ .

  2. (ii) We note that it is possible to describe the proximal limit set of the irreducible examples we have constructed. For a proximal subgroup H of $\mathsf {SL}(n,\mathbb {R})$ , the proximal limit set $\Lambda ^{\mathbb {P}}_{H}$ is defined to be the closure of the attracting fixed points of proximal elements of H in $\mathbb {P}(\mathbb {R}^{n})$ . Let $\Delta $ be a nonelementary word hyperbolic group and suppose that $\phi _{1}:\Delta \rightarrow \mathsf {SL}(n,\mathbb {R})$ and $\phi _{2}: \Delta \rightarrow \mathsf {SL}(m,\mathbb {R})$ are two irreducible representations such that $\phi _{1}\otimes \phi _{2}$ is irreducible, $\phi _{1}$ is $P_{1}$ -Anosov, and $\phi _{2}$ is either nonfaithful or nondiscrete. We claim that $\Lambda ^{\mathbb {P}}_{\left (\phi _{1} \otimes \phi _{2}\right )(\Delta )}$ is homeomorphic to $\Lambda ^{\mathbb {P}}_{\phi _{1}(\Delta )}\times \Lambda ^{\mathbb {P}}_{\phi _{2}(\Delta )}$ . We may assume that $e_{1} \otimes e_{1}$ is in $\Lambda ^{\mathbb {P}}_{\left (\phi _{1} \otimes \phi _{2}\right )(\Delta )}$ and $[e_{1}]\in \mathbb {P}(\mathbb {R}^{n})$ is the attracting eigenline of $\phi _{1}(w_{1})$ . Let $w_{0} \in \Delta $ be a nontrivial element such that $\phi _{2}(w_{0})=I_{m}$ . For $x,y \in \partial _{\infty }\Delta $ with $\{x,y\}\cap \left \{w_{0}^{+},w_{0}^{-}, w_{1}^{+},w_{1}^{-}\right \}$ empty, we may find a sequence $(\gamma _{n})_{n \in \mathbb {N}}$ of elements of $\Delta $ with $x=\lim _{n}\gamma _{n}$ and $y=\lim _{n}\gamma _{n}^{-1}$ . Then $\lim _{n}\left (\gamma _{n} w_{0} \gamma _{n}^{-1}\right )w_{1}^{+}=x$ , and hence $\lim _{n}(\phi _{1}\otimes \phi _{2})\left (\gamma _{n} w_{0}\gamma _{n}^{-1}\right )[e_{1} \otimes e_{1}]=[u_{x} \otimes e_{1}]$ , where $\xi _{\phi _{1}}^{1}(x)=[u_{x}]$ . It follows that $\Lambda _{\left (\phi _{1} \otimes \phi _{2}\right )(\Delta )}^{\mathbb {P}}$ contains the set $\left \{[u_{z} \otimes e_{1}]: \xi _{\phi _{1}}^{1}(z)=[u_{z}], \ z \in \partial _{\infty }\Delta \right \}$ . Now since $(\phi _{1} \otimes \phi _{2})(\Delta )$ and $\phi _{2}(\Delta )$ act minimally on $\Lambda ^{\mathbb {P}}_{\left (\phi _{1} \otimes \phi _{2}\right )(\Delta )}$ and $\Lambda ^{\mathbb {P}}_{\phi _{2}(\Delta )}$ , respectively (see [Reference Benoist1, Lemma 2.5]), we conclude that $\Lambda ^{\mathbb {P}}_{\left (\phi _{1} \otimes \phi _{2}\right )(\Delta )}=\left \{[u_{1}\otimes u_{2}]: [u_{i}] \in \Lambda ^{\mathbb {P}}_{\phi _{i}(\Delta )}, \ i=1,2\right \}$ . We work similarly when $\phi _{2}$ is nondiscrete. In particular, we deduce the following:

    1. (a) In the construction of $\rho $ in Theorem 1.1(ii), the representation $A:F\rightarrow \mathsf {SL}(3,\mathbb {R})$ can be chosen to be nondiscrete, and hence the proximal limit set of $\rho (\Gamma )$ in $\mathbb {P}\left (\mathbb {R}^{12}\right )$ is homeomorphic to $\partial _{\infty }\Gamma \times \mathbb {P}\left (\mathbb {R}^{3}\right )$ .

    2. (b) In Theorem 4.1, the proximal limit set of $\tau _{n}(\Delta _{n})$ in $\mathbb {P}\left (\mathbb {R}^{3n}\right )$ is homeomorphic to $\partial _{\infty }\Delta _{n} \times C$ , where C is a Cantor set.

    3. (c) In Proposition 4.4, for $s,t>0$ generic, the representation $j_{s,t,\theta }$ is nondiscrete with dense image in $\mathsf {SL}(3,\mathbb {R})$ . The proximal limit set of $\rho \left (\pi _{1}\left (S_{g}\right )\right )$ in $\mathbb {P}\left (\mathbb {R}^{6}\right )$ is homeomorphic to $S^{1} \times \mathbb {P}\left (\mathbb {R}^{3}\right )$ .

5 Concluding remarks

Let G and $G^{\prime }$ be two semisimple real algebraic Lie groups of real rank at least $2$ and be an injective Lie group homomorphism. For an Anosov representation $\rho :\Gamma \rightarrow G$ , the composition $\iota \circ \rho $ need not be Anosov into $G^{\prime }$ with respect to any pair of opposite parabolic subgroups of $G^{\prime }$ . The failure to be Anosov under composition with a Lie group embedding has already been exhibited by Guichard and Wienhard [Reference Guichard and Wienhard13, §4, p. 22]. Our examples are not limits of Anosov representations of their domain group into the bigger special linear group $\mathsf {SL}(d,\mathbb {R})$ , but are Anosov (with respect to a suitable pair of opposite parabolic subgroups) when considered as representations into their Zariski closure G.

Following the lines of the proof of Theorem 4.1, we construct examples of discrete and faithful representations which are not quasi-isometric embeddings (and hence cannot be Anosov into their Zariski closure) and are not a limit of Anosov representations of their domain group into $\mathsf {SL}(15,\mathbb {R})$ . Let $M^{3}$ be a closed orientable hyperbolic $3$ -manifold which is a surface bundle over the circle (with fibers homeomorphic to S) and contains a totally geodesic closed surface $S^{\prime }$ . By using the Klein combination theorem, we may find a convex co-compact representation $\rho :\pi _{1}\left (M^{3}\right )\ast F_{2} \rightarrow \mathsf {SO}(4,1)$ whose restriction to the free factor $F_{2}$ is Zariski dense and $\rho \rvert _{\pi _{1}\left (M^{3}\right )}=\mathrm {diag}(1,\rho _{0})$ ; here $\rho _{0}:\pi _{1}\left (M^{3}\right ) \rightarrow \mathsf {SO}(3,1)$ denotes the holonomy representation associated to $M^{3}$ . Since the quotient of $\pi _{1}\left (M^{3}\right )$ by the normal subgroup $\pi _{1}(S)$ is cyclic, the intersection $H=\pi _{1}(S)\cap \pi _{1}(S^{\prime })$ is a noncyclic, normal free subgroup of $\pi _{1}(S^{\prime })$ . Let $F=\langle a_{1},\dotsc ,a_{r} \rangle $ be a free subgroup of H of rank $r \geq 4$ . We may find a finite cover $\hat {S}$ of S such that $F\subset \pi _{1}\left (\hat {S}\right )$ and there exists a retraction $R:\pi _{1}\left (\hat {S}\right ) \rightarrow F$ [Reference Long and Reid18, Theorem 1.6], which we extend to a retraction $R:\pi _{1}\left (\hat {S}\right )\ast F_{2} \rightarrow F$ . Since $S^{\prime }$ is totally geodesic in $M^{3}$ and F is quasiconvex in $\pi _{1}(S^{\prime })$ , there exists a convex co-compact representation $\rho _{1}:F \rightarrow \mathsf {SL}(2,\mathbb {R})$ such that $\rho _{0}\rvert _{F}=S\circ \rho _{1}$ . As in Theorem 4.1, we consider k very large and $A_{k}:F \rightarrow \mathsf {SL}(3,\mathbb {R})$ a Zariski dense representation, such that $A_{k}(\gamma )=\mathrm {diag}(1,\rho _{1}(\gamma ))$ for $\gamma \in \langle a_{1},a_{2} \rangle $ and $A_{k}(\gamma )=\mathrm {diag}(1,\rho _{1}(\phi _{k}(\gamma )))$ for $\gamma \in \langle a_{3},a_{4} \rangle $ . The representation $\rho ^{\prime }:\pi _{1}\left (\hat {S}\right )\ast F_{2} \rightarrow \mathsf {SL}(15,\mathbb {R})$ ,

$$ \begin{align*} \rho^{\prime}(\gamma)=\rho(\gamma)\otimes A_{k}(R(\gamma)), \quad \gamma \in \pi_{1}\left(\hat{S}\right)\ast F_{2}, \end{align*} $$

is discrete and faithful (since $\rho $ is) and not in the closure of Anosov representations of $\pi _{1}\left (\hat {S}\right )\ast F_{2}$ into $\mathsf {SL}(15,\mathbb {R})$ . We note that since $A_{k} \circ R$ is not faithful and $\pi _{1}(S)$ is normal and of infinite index in $\pi _{1}\left (M^{3}\right )$ , the representations $A_{k} \circ R$ and $\rho \rvert _{\pi _{1}\left (\hat {S}\right )}$ are not quasi-isometric embedings into $\mathsf {SO}(4,1)$ and $\mathsf {SL}(3,\mathbb {R})$ , respectively. In particular, $\rho \times (A_{k} \circ R)$ is not Anosov with respect to any pair of opposite parabolic subgroups of $\mathsf {SO}(4,1)\times \mathsf {SL}(3,\mathbb {R})$ . The Zariski closure of $\rho ^{\prime }$ is $\mathsf {SO}(4,1)\otimes \mathsf {SL}(3,\mathbb {R})=\{ g_{1} \otimes g_{2}: g_{1} \in \mathsf {SO}(4,1), \ g_{2} \in \mathsf {SL}(3,\mathbb {R})\}$ and it follows (see, e.g., [Reference Guichard and Wienhard13, Corollary 3.6]) that $\rho \otimes (A_{k} \circ R)$ is not Anosov in its Zariski closure in $\mathsf {SL}(15,\mathbb {R})$ .

Acknowledgements

I would like to thank Richard Canary for his support and encouragement and Sara Maloni for motivating discussions which led to the construction of the examples of this paper. I also thank Jeff Danciger, François Labourie, and Nicolas Tholozan for helpful discussions and comments. I would also like to thank the anonymous reviewer(s) whose comments and suggestions greatly improved this paper. This project received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (ERC starting grant DiGGeS, grant agreement 715982). This work was also partially supported by grants DMS-1564362 and DMS-1906441 from the National Science Foundation.

Competing Interests

None.

References

Benoist, Y., Automorphismes des cônes convexes, Invent. Math. 141(1) (2000), 149193.CrossRefGoogle Scholar
Benoist, Y., Convexes divisibles III, Ann. Sci. Éc. Norm. Supér. (4) 38(5) (2005), 793832.CrossRefGoogle Scholar
Bestvina, M. and Feighn, M., A combination theorem for negatively curved groups, J. Differential Geom. 35(1) (1992), 85101.CrossRefGoogle Scholar
Bochi, J., Potrie, R. and Sambarino, A., Anosov representations and dominated splittings, J. Eur. Math. Soc. (JEMS) 21(11) (2019), 33433414.CrossRefGoogle Scholar
Brock, J. and Bromberg, K., On the density of geometrically finite hyperbolic 3-manifolds, Acta Math. 192(1) (2004), 3393.CrossRefGoogle Scholar
Brock, J., Canary, R. and Minsky, Y., The classification of Kleinian surface groups II: The ending lamination conjecture, Ann. Math. 176(1) (2012), 1149.CrossRefGoogle Scholar
Canary, R. D., Epstein, D. B. A. and Green, P., Notes on notes of Thurston, in Analytical and Geometric Aspects of Hyperbolic Spaces, pp. 392 (Cambridge University Press, Cambridge, 1987).Google Scholar
Canary, R., Minsky, Y. and Taylor, E., Spectral theory, Hausdorff dimension and the topology of hyperbolic 3-manifolds, J. Geom. Anal. 9(1) (1999), 1740.CrossRefGoogle Scholar
Choi, S. and Goldman, W., Convex projective structures on closed surfaces are closed, Proc. Amer. Math. Soc. 118(2) (1993), 657661.CrossRefGoogle Scholar
Dalbo, F. and Kim, I., A criterion of conjugacy for Zariski dense subgroups, C. R. Math. Acad. Sci. Paris 330(1) (2000), 647650.CrossRefGoogle Scholar
Guéritaud, F., Guichard, O., Kassel, F. and Wienhard, A., Anosov representations and proper actions, Geom. Topol. 21(1) (2017), 485584.CrossRefGoogle Scholar
Guichard, O., Déformation de sous-groupes discrets de groupes de rang un, PhD thesis, Université Paris 7, 2004.Google Scholar
Guichard, O. and Wienhard, A., Anosov representations: Domains of discontinuity and applications, Invent. Math. 190(2) (2012), 357438.CrossRefGoogle Scholar
Johnson, D. and Millson, J., Deformation spaces associated to compact hyperbolic manifolds, in Discrete Groups in Geometry and Analysis, Progress in Mathematics, 67, pp. 48106 (Birkhäuser, Boston, MA, 1987).CrossRefGoogle Scholar
Kapovich, M., Leeb, B. and Porti, J., A Morse Lemma for quasigeodesics in symmetric spaces and Euclidean buildings, Geom. Topol. 22(7) (2018), 38273923.CrossRefGoogle Scholar
Kassel, F., Deformations of proper actions on homogeneous spaces, Math. Ann. 352(2) (2012), 599632.CrossRefGoogle Scholar
Labourie, F., Anosov flows, surface groups and curves in projective space, Invent. Math. 165(1) (2006), 51114.CrossRefGoogle Scholar
Long, D. and Reid, A., Subgroup seperability and virtual retractions of groups, Topology 47(3) (2008), 137159.CrossRefGoogle Scholar
Morgan, J., On Thurston’s uniformization theorem for three-dimensional manifolds, in The Smith Conjecture, Pure and Applied Mathematics, 112, pp. 37125 (Academic Press, Cambridge, MA, 1984).Google Scholar
Namazi, H. and Souto, J., Non-realizability and ending laminations: proof of the density conjecture, Acta Math. 209(2) (2012), 323395.CrossRefGoogle Scholar
Ohshika, K., Realising end invariants by limits of minimally parabolic, geometrically finite groups, Geom. Topol. 15(2) (2011), 827890.CrossRefGoogle Scholar
Serre, J. P., Trees and amalgams, in Trees, pp. 1-68 (Springer, Berlin, Heidelberg, 1980).Google Scholar
Thurston, W., Geometry and topology of 3-manifolds, Notes from Princeton University, Princeton, 1978.Google Scholar