Explicit equations of a fake projective plane (Q2178464)

A fake projective plane is a complex algebraic surface which has the same Betti numbers as the complex projective plane but is not isomorphic to it. Such an algebraic surface is of general type and its complex conjugate is another fake projective plane. Cartwright and Steger showed that there are exactly 50 pairs of fake projective planes and described them as quotients of the unit ball in \(\mathbb{C}^2\). The authors of this article give explicit equations of a complex pair of a fake projective plane \(\mathbb{P}^2_{\text{fake}}\) embedded in \(\mathbb{P}^9\) by its bicanonical map. The automorphism group of the considered surfaces is a non-Abelian group of order 21. The authors consider the case where the minimal resolution \(Y\) of the quotient of \(\mathbb{P}^2_{\text{fake}}\) by a Sylow 7-subgroup is an elliptic surface over \(\mathbb{P}^1\) with two multiple fibers of multiplicity 2 and 4. One key result of the paper which allows the derivation of the defining equations of \(\mathbb{P}^2_{\text{fake}}\) is the identification of the corresponding double cover \(X\) of \(Y\) with a sextic singular surface in \(\mathbb{P}^3\). The authors combine nicely several computer algebra systems to obtain the final equations and to verify several properties of \(\mathbb{P}^2_{\text{fake}}\) such as being smooth.