Fake projective planes

Abstract

A fake projective plane is a smooth complex surface which is not the complex projective plane but has the same Betti numbers as the complex projective plane. The first example of such a surface was constructed by David Mumford in 1979 using p-adic uniformization. Two more examples were found by Ishida and Kato by related method. Keum has recently given an example which is possibly different from the three known earlier. It is an interesting problem in complex algebraic geometry to determine all fake projective planes. Using the arithmeticity of the fundamental group of fake projective planes, the formula for the covolume of principal arithmetic subgroups given by the first-named auhor, and some number theoretic estimates, we give a classification of fake projective planes in this paper. Twenty eight distinct classes are found. The construction given in the paper appears to be more direct and more natural. It does not use p-adic uniformization.

58 pages. In this revised version, the original article of the same title and its addendum are incorporated into a single paper

Cited by in corpus (16)

• New non-arithmetic complex hyperbolic lattices
• Addendum to `Fake Projective Planes'
• Quotients of fake projective planes
• Harmonic sections in sphere bundles, normal neighborhoods of reduction loci, and instanton moduli spaces on definite 4-manifolds
• A pair of rigid surfaces with $p_g=q=2$ and $K^2=8$ whose universal cover is not the bidisk
• Certain circle actions on Kaehler manifolds
• Endoscopy and cohomology growth on U(3)
• Foliations associated to harmonic maps and some complex two ball quotients
• On compact hyperbolic manifolds of Euler characteristic two
• A vanishing result for a Casson-type instanton invariant
• Fake Real Planes: exotic affine algebraic models of ${\mathbb{R}}^2$
• Classification and arithmeticity of toroidal compactifications with $3{\bar{c}}_2={\bar{c}}_1^2=3$
• Divisors on surfaces isogenous to a product of mixed type with $p_g=0$
• Homology of some surfaces with $p_g=q=0$ isogenous to a product
• On the Geometry of a Fake Projective Plane with $21$ Automorphisms
• On the Total Curvature and Betti Numbers of Complex Projective Manifolds