On super-rigidity of Gromov's random monster group
Kajal Das
TL;DR
This work establishes super-rigidity for Gromov's random monster groups $\Gamma_\alpha$, showing that any homomorphism $\phi_{\alpha}: \Gamma_{\alpha} \to G$ has finite image for almost every $\alpha$ when $G$ ranges over several large and structurally rich classes, including mapping class groups, braid groups, $Out(F_N)$, $Aut(F_N)$, hierarchically hyperbolic groups, a-$L^p$-menable, and K-amenable groups. It introduces hereditary super-rigidity and proves it for $\Gamma_\alpha$ with respect to a-$L^p$-menable and K-amenable targets, respectively, and it proves a stability theorem showing how these rigidity properties behave under extensions. The proofs combine the random-monster construction (and its property (T) and non-embeddability) with dynamics on hyperbolic or hierarchically hyperbolic spaces, leveraging short exact sequences and structural results for the target groups. The results yield concrete consequences for actions of $\Gamma_\alpha$ on MCG curve complexes, $FF_N$, and related spaces, and establish a framework for extending rigidity phenomena to broader classes via hereditary SR and stability. Overall, the paper advances the understanding of rigidity phenomena in random groups and their interactions with geometrically or analytically rich target groups, highlighting potential avenues for rigidity in higher-rank or biautomatic settings.
Abstract
In this article, we show super-rigidity of Gromov's random monster group. We prove that any morphism $φ_α$ from Gromov's random monster group $Γ_α$ to the group $G$ has finite image for almost all $α$, where $G$ is any of the following types of groups: mapping class group $MCG(S_{g,b})$, braid group $B_n$, outer automorphism group of a free group $Out(F_N)$, automorphism group of a free group $Aut(F_N)$, hierarchically hyperbolic group, a-$L^p$-menable group or K-amenable group. We introduce another property called hereditary super-rigidity and prove that $Γ_α$ has hereditary super-rigidity with respect to an a-$L^p$-menable group or a K-amenable group. We also establish a stability theorem for the groups with respect to which $Γ_α$ has super-rigidity and hereditary super-rigidity.
