We investigate and compare applications of the Zilber–Pink conjecture and dynamical methods to rigidity problems for arithmetic real and complex hyperbolic lattices. Along the way, we obtain new general results about reconstructing a variation of Hodge structure from its typical Hodge locus that may be of independent interest. Applications to Siu’s immersion problem are also discussed, the most general of which only requires the hypothesis that infinitely many closed geodesics map to proper totally geodesic subvarieties under the immersion.

In [CDD22], we investigated the structure of $\ast $-isomorphisms between von Neumann algebras $L(\Gamma )$ associated with graph product groups $\Gamma $ of flower-shaped graphs and property (T) wreath-like product vertex groups, as in [CIOS21]. In this follow-up, we continue the structural study of these algebras by establishing that these graph product groups $\Gamma $ are entirely recognizable from the category of all von Neumann algebras arising from an arbitrary nontrivial graph product group with infinite vertex groups. A sharper $C^*$-algebraic version of this statement is also obtained. In the process of proving these results, we also extend the main $W^*$-superrigidity result from [CIOS21] to direct products of property (T) wreath-like product groups.

We study actions of higher rank lattices $\Gamma <G$ on hyperbolic spaces and we show that all such actions satisfying mild properties come from the rank-one factors of G. In particular, all non-elementary isometric actions on an unbounded hyperbolic space are of this type.

We prove the first orbit equivalence superrigidity results for actions of type III$_\unicode{x3bb} $ when $\unicode{x3bb} \neq 1$. These actions arise as skew products of actions of dense subgroups of $\operatorname {SL}(n,\mathbb {R})$ on the sphere $S^{n-1}$ and they can have any prescribed associated flow.

If G is a semisimple Lie group of real rank at least two and Γ is an irreducible lattice in G, then every homomorphism from Γ to the outer automorphism group of a finitely generated free group has finite image.