Commensurability classes of fake quadrics (Q2315950)

The authors give a complete classification of irreducible fake quadrics: this gives a further step towards answering the question asked by Mumford in the early 1980s whether or not a computer can enumerate surfaces with geometric genus \(p_g=0\). The first step to an affirmative answer of this was the classification of fake projective planes by \textit{G. Prasad} and \textit{S.-K. Yeung} [Invent. Math. 168, No. 2, 321--370 (2007; Zbl 1253.14034)] and by \textit{D. I. Cartwright} and \textit{T. Steger} [C. R., Math., Acad. Sci. Paris 348, No. 1--2, 11--13 (2010; Zbl 1180.14039)]. A fake quadric is a smooth projective surface with the same rational cohomology as, but not biholomorphic to, the quadric surface \(\mathbb{P}^1_\mathbb{C}\times\mathbb{P}^1_\mathbb{C}\). Reducible fake projective quadrics, i.e. those finitely covered by a product of smooth curves, have beeen classified by \textit{I. C. Bauer} et al. [Pure Appl. Math. Q. 4, No. 2, 547--586 (2008; Zbl 1151.14027)]. An irreducible fake quadric is a fake quadric uniformized by the product \(\mathcal{H}=\mathbf{H^2}\times\mathbf{H^2}\) of two hyperbolic planes which is not reducible. The strategy adopted to classify irreducible fake quadrics is to enumerate maximal arithmetic lattices of bounded covolume in the holomorphic isometry group \(\mathrm{Isom}^h{\mathcal{H}}\) of \(\mathcal{H}\) taht contain the fundamental group of a fake quadric which is done in the appendix using MAGMA. Particularly important in the proofs is the connection between these lattices and quaternion division algebras over a totally real field ramified at all but exactly two real places.