Arithmeticity, superrigidity and totally geodesic submanifolds of complex hyperbolic manifolds (Q6101150)

This paper presents significant results related to arithmeticity in complex hyperbolic geometry. Notably, the authors prove the following result: if a finite volume complex hyperbolic manifold (with complex dimension greater than one) contains infinitely many maximal totally geodesic submanifolds of real dimension at least two, then it must be arithmetic. In previous work, the authors had proven an analogous result within real hyperbolic geometry in response to questions posed by Alan Reid and Curtis McMullen. Despite sharing similar statements, the real and the complex hyperbolic versions of the described result are distinct. Totally geodesic submanifolds in complex hyperbolic spaces behave differently than in the real case (the complex hyperbolic plane has no totally geodesic three-dimensional submanifold, for instance, and its two-dimensional totally geodesic submanifolds are either complex lines or Lagrangian). Furthermore, the paper has a broad list of applications for the developed tools. It provides obstructions for the existence of continuous maps between certain complex hyperbolic manifolds, for example. It also shows that there are finite-volume hyperbolic 3-manifolds that cannot be isometrically immersed as a totally geodesic submanifold within any complex hyperbolic manifold.