TY - RPRT TI - The complex projective plane as a ball quotient AU - Cindy Tan PY - 2026 UR - https://arxiv.org/abs/2607.18710 ID - 2607.18710 ER -