C1-rigidity of ℍp,q-convex cocompact representations of Gromov hyperbolic groups
Abstract
Let p>3 and let Γ be a non-elementary Gromov hyperbolic group with ∂∞Γ≅𝕊p−1. We prove that every ℍp,2-convex cocompact representation ρ:Γ⟶ POp,3 whose proximal limit set Λρ⊂∂∞ℍp,2 is a C1 submanifold preserves a totally geodesic copy of ℍp⊂ℍp,2. Consequently, Γ/ker ρ is virtually a cocompact lattice in Isom(ℍp). For odd p, we prove the same conclusion for every signature (p,q) with p>q≥2, under the same hypothesis ∂∞Γ≅𝕊p−1. Our methods combine dynamics, differential topology, and representation theory. The key new ingredient is to study the radicals of the semidefinite forms induced on the tangent spaces of the limit set. They form a continuous vector bundle of constant rank. The tangent action at attracting fixed points gives a bound, in terms of the radical rank, on the number of eigenvalues of an orthogonal lift whose modulus exceeds one. We then use the topology of the sphere and the representation theory of real algebraic groups to exclude the remaining possibilities. In arbitrary signature with p>q, these arguments already imply that a representation with a C1 limit set cannot be Zariski dense.
Related
- Rigidity Theorems for the Weyl Problem of Convex Surfaces in Hyperbolic 3-Space
- Boundary Kernel Rigidity and Infinite-Dimensional Complex Hyperbolic Representations
- Cheeger constant rigidity for cocompact negatively curved manifolds
- Square root cancellation in the hyperbolic lattice counting problem over cocompact groups
- Uniformizing non-proper Gromov Hyperbolic Spaces
BibTeX
@misc{bogachev2026c1rigidity,
title = {{$C^1$-rigidity of $\mathbbH^p,q$-convex cocompact representations of Gromov hyperbolic groups}},
author = {Nikolay Bogachev},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.03539},
eprint = {2611.03539},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.03539},
}
RIS
TY - UNPB
TI - C^1-rigidity of ℍ^p,q-convex cocompact representations of Gromov hyperbolic groups
AU - Nikolay Bogachev
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2611.03539
UR - https://arxiv.org/abs/2611.03539
AB - Let p>3 and let Γ be a non-elementary Gromov hyperbolic group with ∂_∞Γ≅𝕊^p−1. We prove that every ℍ^p,2-convex cocompact representation ρ:Γ⟶ PO_p,3 whose proximal limit set Λ_ρ⊂∂_∞ℍ^p,2 is a C^1 submanifold preserves a totally geodesic copy of ℍ^p⊂ℍ^p,2. Consequently, Γ/ker ρ is virtually a cocompact lattice in Isom(ℍ^p). For odd p, we prove the same conclusion for every signature (p,q) with p>q≥2, under the same hypothesis ∂_∞Γ≅𝕊^p−1. Our methods combine dynamics, differential topology, and representation theory. The key new ingredient is to study the radicals of the semidefinite forms induced on the tangent spaces of the limit set. They form a continuous vector bundle of constant rank. The tangent action at attracting fixed points gives a bound, in terms of the radical rank, on the number of eigenvalues of an orthogonal lift whose modulus exceeds one. We then use the topology of the sphere and the representation theory of real algebraic groups to exclude the remaining possibilities. In arbitrary signature with p>q, these arguments already imply that a representation with a C^1 limit set cannot be Zariski dense.
ER -