We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in $\mathbb P^9$. In this paper, we study Keum's fake projective plane $(a=7, p=2, \{7\}, D_3 2_7)$ and use the equations of \cite{Borisov} to construct an embedding of fake projective plane in $\mathbb P^5$. We also simplify the 84 cubic equations defining the fake projective plane in $\mathbb P^9$.
The purpose of the present paper is to explain the fake projective plane constructed by J.H. Keum from the point of view of arithmetic ball quotients. Beside the ball quotient associated with the fake projective plane, we also analize two further naturally related ball quotients whose minimal desingularizations lead to two elliptic surfaces, one already considered by J.H. Keum as well as the one constructed by M.N. Ishida in terms of p-adic uniformization.
We propose the new construction of complex surfaces with $h^{1,0} = h^{2,0} = 0$ from smoothings of normal crossing surfaces with non-collapsible dual complexes and carry it out for the simplest case of the duncehat complex, obtaining the surface with $h^{1,1} = 9$ (presumably Barlow surface).
A fake quadric is a smooth minimal surface of general type with the same invariants as the quadric in P^3, i.e. K^2=2c_2=8 and q=p_g=0. We study here quaternionic fake quadrics i.e. fake quadrics constructed arithmetically by using some quaternion algebras over real number fields. We provide examples of quaternionic fake quadrics X with a non-trivial automorphism group and compute the invariants of the minimal desingularisation of the quotient of X by this group. In that way we obtain minimal surfaces of general type Z with q=p_g=0 and K^2=4,2 which contain the maximal number of disjoint nodal…
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism.
This is a revised version of a part of the author's preprint "On p-adic uniformization of fake projective planes" (preprint, Max-Planck-Institut fuer Mathematik, 1998 (121)). In this paper we construct explicitly a Shimura surface of PEL-type, associated to a certain unitary group, whose connected components are isomorphic to Mumford's fake projective plane. We also give the canonical model, Shimura field and number of connected components of this Shimura surface. As a consequence of the construction we prove that the Mumford's fake projective plane is an arithmetic complex unit-ball quotient,…
Recently, Prasad and Yeung classified all possible fundamental groups of fake projective planes. According to their result, many fake projective planes admit a nontrivial group of automorphisms, and in that case it is isomorphic to $\bbZ/3\bbZ$, $\bbZ/7\bbZ$, $7:3$, or $(\bbZ/3\bbZ)^2$, where $7:3$ is the unique non-abelian group of order 21. Let $G$ be a group of automorphisms of a fake projective plane $X$. In this paper we classify all possible structures of the quotient surface $X/G$ and its minimal resolution.
We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.
We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give 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. As a consequence, we give a classification of ${\mathbb Q}$-homology projective planes with cusps only.
In Dubouloz and Mangolte (Fake real planes: exotic affine algebraic models of $\mathbb{R}^{2}$, arXiv:1507.01574, 2015) we define and partially classify fake real planes, that is, minimal complex surfaces with conjugation whose real locus is diffeomorphic to the euclidean real plane $\mathbb{R}^{2}$. Classification results are given up to biregular isomorphisms and up to birational diffeomorphisms. In this note, we describe in an elementary way numerous examples of fake real planes and we exhibit examples of such planes of every Kodaira dimension $κ\in \{-\infty,0,1,2\}$ which are birationally…
A fake projective plane is a compact complex manifold of dimension 2 which has the same Betti numbers as the complex projective plane, but not isomorphic to the complex projective plane. As was shown by D. Mumford, there exists at least one such surface. In this paper we prove the existence of a fake projective plane which is birational to a cyclic cover of degree 7 of a Dolgachev surface.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
We will give an upper bound for the $k$-normality of very ample lattice simplices, and then give an Eisenbud-Goto-type bound for some special classes of projective toric varieties.
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally of an arithmetic manifold of bounded volume arising from a form of SL_2 over a number field.
The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a recent work of Donald Cartwright and Tim Steger, there is now a complete list of fake projective planes. There are precisely one hundred fake projective planes as complex surfaces classified up to biholomorphism.
In the present article, we provide examples of fake quadrics, that is, minimal complex surfaces of general type with the same numerical invariants as the smooth quadric in $\PP ^3$ which are quotients of the bidisc by an irreducible lattice of automorphisms. Moreover, we list classes of arithmetic lattices over a real quadratic number field which define a fake quadric and give general results towards a classification of all such fake quadrics.
We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct from it and the other fake planes that arise from 2-adic uniformization by torsion-free groups. As part of the proof, and of independent interest, we compute the homotopy type of the Berkovich space of our plane.
We construct exceptional collections of maximal length on four families of surfaces of general type with $p_g=q=0$ which are isogenous to a product of curves. From these constructions we obtain new examples of quasiphantom categories as their orthogonal complements.
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, …
In this paper, we study effective, nef and semiample cones of surfaces isogenous to a product of mixed type with $p_g=0$. In particular, we prove that all reducible fake quadrics are Mori dream surfaces.
We construct an infinite series of simply transitive irreducible lattices in PGL_2(F_q((t))) \times PGL_2(F_q((t))) by means of a quaternion algebra over F_q(t). The lattices depend on an odd prime power q = p^r and a parameter τ in F_q^* different from 1, and are the fundamental group of a square complex with just one vertex and universal covering T_{q+1} \times T_{q+1}, a product of trees with constant valency q + 1. Our lattices give rise via non-archimedian uniformization to smooth projective surfaces of general type over F_q((t)) with ample canonical class, Chern ratio (c_1)^2/c_2 = 2, tr…
It was shown by A. Beauville that if the canonical map $φ_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(φ_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was found by the second author. In this article, we show that for any surface which is a degree four Galois étale cover of a fake projective plane $X$ with the largest possible automorphism group ${\rm Aut}(X)=C_7:C_3$ (the unique non-abelian group of order 21), the base locus of the canonical map is finite, and we verify that 35 of these surfaces have maximal canonical de…
In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9χ_h$, the fake projective planes and Cartwright-Steger surfaces. Our construction yields an infinite family of fake rational homology $(2n-1)\CP#(2n-1)\CPb$ for any integer $3 \leq n \leq 22$.
The paper is a generalization of a result of I. Dolgachev, M. Mendes Lopes, and R. Pardini. We prove that a smooth projective complex surface $X$, not necessarily minimal, contains $h^{1,1}(X)-1$ disjoint $(-2)$-curves if and only if $X$ is isomorphic to a minimal rational ruled surface ${\bf F}_2$ or ${\bf P}^2$ or a fake projective plane. We also describe smooth projective complex surfaces $X$ with $h^{1,1}(X)-2$ disjoint $(-2)$-curves.
It has been shown by Hacking and Prokhorov that if the projective surface X with quotient singularities and self-intersection number 9 has a smoothing to the projective plane, then X is the general fiber of a Q-Gorenstein deformation of the weighted projective plane with weights giving solutions to the Markov equation. This result has been understood and generalized by combinatorial mutations of Fano triangles by Akhtar, Coates, Galkin, and Kasprzyk. In this note, we study this result by utilizing polarized T-varieties and describe the associated deformation explicitly in terms of certain Mink…
The purpose of this note is to show that $2K$ of any smooth compact complex two ball quotient is very ample, except possibly for four pairs of fake projective planes of minimal type, where $K$ is the canonical line bundle. For the four pairs of fake projective planes, sections of $2K_M$ give an embedding of $M$ except possibly for at most two points on $M$.
