On the Geometry of a Fake Projective Plane with $21$ Automorphisms

Abstract

A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C}{P}^2$ but not biholomorphic to it. We study the fake projective plane ${\mathbb{P}}_{\mathrm{fake}}^2=(a=7,p=2,\varnothing ,D_3{2}_7)$ in the Cartwright-Steger classification. In this paper, we exploit the large symmetries given by $\mathrm{Aut}({\mathbb{P}}_{\mathrm{fake}}^2)=C_7⋊C_3$ to construct an embedding of this surface into $\mathbb{C}{P}^5$ as a system of $56$ sextics with coefficients in $\mathbb{Q}(\sqrt{-7})$. For each torsion line bundle $T\in \mathrm{Pic}({\mathbb{P}}_{\mathrm{fake}}^2)$, we also compute and study the linear systems $|nH+T|$ with small $n$, where $H$ is an ample generator of the Néron-Severi group.

9 pages. The relevant Mathematica, Magma, Macaulay2 codes and equations produced can be found in the ancillary folder and links in the bibliography. Accepted by Involve, a Journal of Mathematics

References in corpus (1)

• On equations of fake projective planes with automorphism group of order $21$