We compute the global dimension function $\mathrm{gldim}$ on the principal component $\mathrm{Stab}^†(\mathbb{P}^2)$ of the space of Bridgeland stability conditions on $\mathbb{P}^2$. It admits $2$ as the minimum value and the preimage $\mathrm{gldim}^{-1}(2)$ is contained in the closure $\bar{\mathrm{Stab}^{\mathrm{Geo}}(\mathbb{P}^2)}$ of the subspace consisting of geometric stability conditions. We show that $\mathrm{gldim}^{-1}[2,x)$ contracts to $\mathrm{gldim}^{-1}(2)$ for any real number $x\geq 2$ and that $\mathrm{gldim}^{-1}(2)$ is contractible.
Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally connected, then the Berkovich analytifications of X and Y are homotopy equivalent. Two important consequences of this result are that the homotopy type of the Berkovich analytification of any smooth projective variety X over k((t)) is a birational invariant of X, and that the Berkovich analytification of a rationally connected smooth projective variety over k((t…
We discuss the concept of Cremona contractible plane curves, with an historical account on the development of this subject. We then classify Cremona contractible unions of d > 11 lines in the plane.
We study the action of the group of automorphisms of the projective plane on the Maruyama scheme of sheaves $\mathcal{M}_{P^{2}}(r,c_{1,}c_{2})$ of rank $r$ and Chern classes $c_{1}=0$ and $c_{2}=n$ and obtain sufficient conditions for unstability in the sense of Mumford's geometric invariant theory. The conditions are in terms of the splitting behaviour of sheaves when restricted to lines in the projective plane. A very strong parallel is observed with Mumford's theory for the action of the automorphism group of the projective plane on the spaces of curves of a fixed degree.
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$.
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under suitable assumptions. We also provide examples which demonstrate sharpness of the results. The ambient surface is singular in these examples.
We prove that the fake projective planes constructed from the diadic discrete group discovered by Cartwright, Mantero, Steger, and Zappa are connected Shimura varieties associated to a certain unitary group. The necessary Shimura data, as well as the unitary group, are explicitly described. We also give a field of definition of these fake projective planes.
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.
For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$. For every fake projective plane with automorphism group of order 9, we prove the same vanishing for every cubic root (and its twist by a 2-torsion) of the canonical bundle $K$. As an immediate consequence, there are exceptional sequences of length 3 on such fake projective planes.
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$.
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.
We show that the generating series of generalized Donaldson-Thomas invariants on the local projective plane with any positive rank is described in terms of modular forms and theta type series for indefinite lattices. In particular it absolutely converges to give a holomorphic function on the upper half plane.
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.
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 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.
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.
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
We study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and sufficient condition on $d$ for the existence of a nonsingular projective plane curve of degree $d$ invariant under $G$. We also study an analogous problem on integral curves.
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.
A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.
We study Poncelet's Theorem in the four non-isomorphic finite projective planes of order 9. Among these planes, only the Desarguesian plane turns out to be a Poncelet plane, while the other three planes which are constructed over the miniquaternion near-field of order 9, are not. This gives a complete discussion of Poncelet's Theorem in finite projective planes of order 9.
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.
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
We give a complete classification of Q_l-cohomology projective planes with isolated ADE-singularities and numerically trivial canonical bundle in odd characteristic. This leads to a beautiful relation with certain Enriques surfaces which parallels the situation in characteristic zero, yet displays intriguing subtleties.
A normal projective complex surface is called a rational homology projective plane if it has the same Betti numbers with the complex projective plane $\mathbb{C}\mathbb{P}^2$. It is known that a rational homology projective plane with quotient singularities has at most 5 singular points. So far all known examples have at most 4 singular points. In this paper, we prove that a rational homology projective plane $S$ with quotient singularities such that $K_S$ is nef has at most 4 singular points except one case. The exceptional case comes from Enriques surfaces with a configuration of 9 smooth ra…
We address the problem of bounding from below the self-intersection of integral curves on the projective plane blown-up at general points. In particular, by applying classical deformation theory we obtain the expected bound in the case of either high ramification or low multiplicity.
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.
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,…
In the projective plane PG(2,q) over a finite field of order q, a Tallini curve is a plane irreducible (algebraic) curve of (minimum) degree q+2 containing all points of PG(2,q). Such curves were investigated by G. Tallini in 1961, and by Homma and Kim in 2013. Our results concern the automorphism groups, the Weierstrass semigroups, the Hasse-Witt invariants, and quotient curves of the Tallini curves.
In this paper we discuss the desingularization algorithm for a toric surface. In particular, we construct an iterable method of determining the Hirzebruch-Jung continued fraction decomposition. These results are then applied to weighted projective planes with at least one tivial weight, ${\mathbb P}(1,m,n)$. The paper concludes with the development of a computer program that computes this continued fraction decomposition.
Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard to handle, it has been shown in a previous paper that there exists a partial resolution of singularities which transforms a bundle of possibly badly singular curves into a bundle of nodal and cuspidal plane cubics. In cases which are of interest for classification theory, the total spaces of these bundles will clearly be projective. It is, however, generall…
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 construct an associative ring which is a deformation of the quantum cohomology ring of the projective plane. Just as the quantum cohomology encodes the incidence characteristic numbers of rational plane curves, the contact cohomology encodes the tangency characteristic numbers.
In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimesπ^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.
We study the moduli space of framed flags of sheaves on the projective plane via an adaptation of the ADHM construction of framed sheaves. In particular, we prove that, for certain values of the topological invariants, the moduli space of framed flags of sheaves is an irreducible, nonsingular variety carrying a holomorphic pre-symplectic form.
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 introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with level 3 structures.
In this note we exhibit the so-called Harbourne constants which capture and measure the Bounded Negativity on various birational models of an algebraic surface. We show an estimation for Harbourne constants for conic configurations on the complex projective plane with transversal intersection points.
We present the complete list of all singularity types on Gorenstein $\mathbb{Q}$-homology projective planes, i.e., normal projective surfaces of second Betti number one with at worst rational double points. The list consists of $58$ possible singularity types, each except two types supported by an example.
We show that a generic real projective $n$-dimensional hypersurface of odd degree $d$, such that $4(n-2)=\binom{d+3}3$, contains "many" real 3-planes, namely, in the logarithmic scale their number has the same rate of growth, $d^3\log d$, as the number of complex 3-planes. This estimate is based on the interpretation of a suitable signed count of the 3-planes as the Euler number of an appropriate bundle.
