Zariski dense discontinuous surface groups for reductive symmetric spaces
Kazuki Kannaka, Takayuki Okuda, Koichi Tojo
TL;DR
This work advances a broad understanding of how discrete surface groups can act discontinuously on reductive homogeneous spaces, particularly when the stabilizer $H$ is non-compact. It develops a bending/deformation framework for surface groups whose Zariski closure is locally $SL(2,oldsymbol{ m R})$, producing small deformations with Zariski closures equal to even centralizers $G^{ ho}_{ m even}$ and, in symmetric spaces, establishes the existence of Zariski-dense surface subgroups acting properly discontinuously. A key outcome is a criterion based on even nilpotent orbits that guarantees Zariski-dense, non-virtually-abelian, and non-standard actions in many reductive settings, with explicit constructions illustrated in the $SU(p,q)/U(p,q-1)$ family. These results contribute to Clifford–Klein form theory and the spectral-analysis program by showing robust mechanisms to realize Zariski-dense, properly discontinuous surface subgroup actions in broad reductive and symmetric contexts.
Abstract
Let $G/H$ be a homogeneous space of reductive type with non-compact $H$. The study of deformations of discontinuous groups for $G/H$ was initiated by T.~Kobayashi. In this paper, we show that a standard discontinuous group $Γ$ admits a non-standard small deformation as a discontinuous group for $G/H$ if $Γ$ is isomorphic to a surface group of high genus and its Zariski closure is locally isomorphic to $SL(2,\mathbb{R})$. Furthermore, we also prove that if $G/H$ is a symmetric space and admits some non virtually abelian discontinuous groups, then $G$ contains a Zariski-dense discrete surface subgroup of high genus acting properly discontinuously on $G/H$. As a key part of our proofs, we show that for a discrete surface subgroup $Γ$ of high genus contained in a reductive group $G$, if the Zariski closure of $Γ$ is locally isomorphic to $SL(2,\mathbb{R})$, then $Γ$ admits a small deformation in $G$ whose Zariski closure is a reductive subgroup of the same real rank as $G$.
