@misc{indiciae7b1e7fb1a133, title = {The complex projective plane as a ball quotient}, author = {Cindy Tan}, year = {2026}, url = {https://arxiv.org/abs/2607.18710}, note = {Source identifier: 2607.18710} }