Toward a geometric construction of fake projective planes (Q429553)

A fake projective plane is a compact complex surface \(S\) with the same Betti numbers of the complex projective plane \(\mathbb{P}^2(\mathbb{C})\), but not isomorphic to it. As a consequence, one obtains \(c_2(S)=3\), \(p_g(S) = q(S)=0\). From the Noether formula, it follows \(c_1(S)^2=9\), therefore \(S\) is projective surface. Furthermore, either the canonical class \(K_S\) or the anti-canonical class \(-K_S\) is ample. Since \(S\) is not isomorphic to \(\mathbb{P}^2(\mathbb{C})\), one gets that \(K_S\) is ample. Therefore, a fake projective plane is a smooth surface of general type with \(p_g(S)=0\), \(q(S)=0\) and \(c_1(S)^2=3c_2(S)=9\). The first example of such surfaces was constructed by \textit{D. Mumdord} in [Am. J. Math. 101, 233--244 (1979; Zbl 0433.14021)], using \(p\)-adic uniformization methods. In [Geom. Topol. 12, No. 4, 2497--2515 (2008; Zbl 1222.14088)], the author of the present paper classified all the possible structures of the quotient surface \(S/G\) and its minimal resolution, where \(S\) is a fake projective plane and \(G\) is a non-trivial group of automorphisms of \(S\). He proved four possible descriptions for the quotient surface \(S/G\). In the paper under review, the author proves that all the above descriptions characterize the quotients of fake projective planes. In this way, he actually gives a criterion for a projective surface to become a quotient of a fake projective plane. He also gives a detailed information on the elliptic fibration of a \((2,3)\)-elliptic surface that is the minimal resolution of a quotient of a fake projective plane.