A characterization of ball quotient stacks

Abstract

We characterize smooth proper Deligne-Mumford stacks $\mathcal{X}$ that arise as compactifications of ball quotient stacks $[{\mathbb{B}}^d/\Gamma ]$. Moreover, we show that every ball quotient admits a compactification whose boundary divisor $\mathcal{D}:=\mathcal{X}-[{\mathbb{B}}^d/\Gamma ]$ is a disjoint union of quotient stacks $[A/G]$, where $A$ is an abelian variety and $G$ is a finite group. This generalizes a result of Deng-Cadorel. Our strategy combines Simpson's non-abelian Hodge correspondence for smooth proper DM-stacks, Mochizuki's generalization of the classical Simpson's correspondence to the log setting, and the uniformization results of Deng-Cadorel.

arXiv comment17 pages, comments welcome