Geometric structures for maximal representations and pencils (Q6855052)

For the composition of a Fuchsian (i.e. discrete and faithful) representation \(\rho : \Gamma_g \to \mathrm{SL}(2, \mathbb R)\) and the inclusion \(\mathrm{SL}(2, \mathbb R) \subset \mathrm{SL}(2, \mathbb C)\), the locally symmetric space \(\mathbb H^3/\rho(\Gamma_g)\) is a fiber bundle over \(S_g\) whose fibers are geodesics. An immersion \(u: \tilde{S}_g \to \mathcal G\) to the space \(\mathcal G\) of geodesics in \(\mathbb H^3\) is fitting if the corresponding geodesics locally define asmooth fibration of \(\mathbb H^3 \cup \partial \mathbb H^3\).\N\NLet \(V= \mathbb R^{2n}\), \(S^2V= V \otimes_s V\) be the space of symmetric tensors in \(V\). Let \(S^2V>0\) be the convex cone of positive tensors, that define positive symmetric bilinear forms on \(V^*\), \(\mathbb P(S^2V^{>0})\) is the projective model for the symmetric space \(X_{SL} =\mathrm{SL}(2n, \mathbb R)/\mathrm{SO}(2n, \mathbb R)\). In the paper under reviewing the author studies fibrations of the projective model for the symmetric space associated with \(\mathrm{SL}(2n, \mathbb R)\) by codimension 2 projective subspaces (i.e. pencils of quadrics) \(\mathcal Q = S^2V^*\), by \(\mathrm{Gr}_2(\mathcal Q)\) the space of such planes. Let \(Gr^{\mathrm{mix}}_2 (\mathcal Q)\) be the set of mixed pencils (, that the corresponding codimension \(2\) projective subspace intersects nontrivially the convex domain \(\mathbb P(S^2V^{>0})\)). An immersion \(u : S \to \mathrm{Gr}^{\mathrm{mix}}_2 (\mathcal Q)\) from a surface \(S\) is \textit{fitting} if the corresponding codimension \(2\) subsets define locally a smooth fibration of the closure \(\mathbb P(S^2V^{\geq 0})\) of the convex domain \(\mathbb P(S^2V^{>0})\) and let \(Gr^{(n,n)}_2 (\mathcal Q) \subset \mathrm{Gr}_2(\mathcal Q)\) be the set of pencils of quadrics \(P\) such that every non-zero \(q \in P\) has signature \((n, n)\).\N\NThe main results of the paper are the following:\N\N\begin{itemize}\N\item If a representation \(\rho: \Gamma_g \to \mathrm{SL}(2n, \mathbb R)\) admits an equivalent fitting immersion \(u : \tilde N \to \mathrm{Gr}^{(n,n)}_2 (\mathcal Q)\), then it is \(n\)-Anosov (Theorem 1.3);\N\N\item If a representation \(\rho: \Gamma_g \to \mathrm{SL}(2n, \mathbb R)\) admits a \(\rho\)-equivariant fitting immersion \(u: \tilde{S}_g \to \mathrm{Gr}_2^{\max}(\mathcal Q)\), then it is maximal for some orientation of \(S_g\); (Theorems 1.5, 6.5) \N\N\item If it is maximal if and only if it admits a \(\rho\)-equivariant continuous map of pencils that admits an equivariant fitting flow \(u: \tilde{S}_g \to \mathrm{Gr}_2^{\max}(\mathcal Q)\) (Theorems 1.6, 6.5). \end{itemize}