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

We prove a semi-simplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of totally geodesic subvarieties of moduli spaces of Riemann surfaces. Phrased at the level of Teichmüller space, this semi-simplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. We use this to show that the associated totally geodesic submanifolds of Teichmüller space and orbifold fundamental groups are hierarchically hyperbolic.