Commensurability Among Deligne-Mostow Monodromy Groups

TL;DR

This paper classifies the commensurability relations among Deligne--Mostow monodromy groups and lattices, revealing 38 classes among 104 groups through geometric and algebraic invariants, extending previous work.

Contribution

It provides a comprehensive classification of Deligne--Mostow lattices' commensurability, including non-discrete relations, using geometric and algebraic invariants, and generalizes prior results.

Findings

104 Deligne--Mostow lattices form 38 commensurability classes.

Established relations among monodromy groups, including non-discrete cases.

Provided an alternative approach to classify non-arithmetic lattices.

Abstract

This paper gives the commensurability classification of Deligne--Mostow ball quotients and shows that the 104 Deligne--Mostow lattices form 38 commensurability classes. First, we find commensurability relations among Deligne--Mostow monodromy groups, which are not necessarily discrete. This generalizes previous work by Sauter and Deligne--Mostow in dimension two. In this part, we consider certain projective surfaces with two fibrations over the projective line, which induce two sets of Deligne--Mostow data. Correspondences between moduli spaces provide a geometric realization of commensurability relations. Secondly, we obtain commensurability invariants from conformal classes of Hermitian forms and toroidal boundary divisors. This completes the commensurability classification of Deligne--Mostow lattices and provides an alternative approach to the results of Kappes--M{\"o}ller and McMullen on non-arithmetic Deligne--Mostow lattices.