We find explicit equations of a new pair of fake projective planes, labeled by $(C18,p=3,\{2I\})$ in the Cartwright-Steger classification. Our method involves starting with known equations of a commensurable fake projective plane $(C18,p=3,\emptyset,d_3 D_3)$ and working through a chain of cyclic covers and quotients to get to the new one.
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 main purpose of the note is to exclude the existence of certain submaximal curves in fake projective planes. This will lead to lower bounds on multipoint Seshadri constants of `fake' $\mathcal{O}(1)$ on fake projective planes.
Our goal is to study the syzygies of the projective embeddings defined by ample line bundles on a fake projective plane S. The syzygies are studied in terms of the property $N_p$. For various kinds of ample line bundles, we give explicit lower bounds for their powers above which the property $N_p$ is satisfied.
The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-phantom categories.
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.
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.
On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique, otherwise). Earlier we conjectured that any such cubic root must be acyclic. In the present note we give two short proofs of this statement and show acyclicity of some other line bundles on the fake projective planes with at least $9$ automorphisms. Similarly to our earlier work we employ simple representation theory for non-abelian finite groups. The first proof is…
We apply the recent results of Galkin et al. [GKMS15] to study some geometrical features of Keum's fake projective planes. Among other things, we show that the bicanonical map of Keum's fake projective planes is always an embedding. Moreover, we construct a nonstandard exceptional collection on the unique fake projective plane $X$ with $H_{1}(X; \mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})^{4}$.
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 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, …
We give a sharp upper bound on the multiplicity of a fake weighted projective space with at worst canonical singularities. This is equivalent to giving a sharp upper bound on the index of the sublattice generated by the vertices of a lattice simplex containing only the origin as an interior lattice point. We also completely characterise when equality occurs and discuss related questions and conjectures.
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…
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…
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…
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$.
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.
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.
We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank, border rank, and cactus rank of monomials in $H^0(X,\mathcal{L})^*$ when $X$ is $\mathbb{P}^1 \times \mathbb{P}^1$, the Hirzebruch surface $\mathbb{F}_1$, the weighted projective plane $\mathbb{P}(1,1,4)$, or a fake weighted projective plane.
We prove that a generic holomorphic foliation on a weighted projective plane has no algebraic solutions when the degree is big enough. We also prove an analogous result for foliations on Hirzebruch surfaces.
In this paper, we classify the configurations of the singular points which appear on the quotients of the projective plane by the $1$-foliations of degree $-1$ in characteristic $2$.
