Finding equations of the fake projective plane
arXiv:2512.03213
Abstract
We find explicit equations of a new pair of fake projective planes, labeled by in the Cartwright-Steger classification. Our method involves starting with known equations of a commensurable fake projective plane and working through a chain of cyclic covers and quotients to get to the new one.
16 pages + auxiliary files