The geometry of totally geodesic subvarieties of moduli spaces of Riemann surfaces

Abstract

We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichmüller space, this semisimplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. Building on this result, we also show that the associated totally geodesic submanifolds of Teichmüller space and orbifold fundamental groups are hierarchically hyperbolic. The proof intertwines in a novel way results and perspectives originating in dynamics, algebraic geometry, geometric group theory, and both classical and modern Teichmüller theory. It establishes both new rigidity and new flexibility for totally geodesic submanifolds and their associated varieties and orbifold fundamental groups and provides a rich set of new tools for the study of these objects.

54 pages; comments welcome; v2 is a significant update and will be the version submitted for publication