The aim of this paper is to describe algebraic K3 surfaces with an even set of rational curves or of nodes. Their minimal possible Picard number is nine. We completely classify these K3 surfaces and after a carefull analysis of the divisors contained in the Picard lattice we study their projective models, giving necessary and sufficient conditions to have an even set. Moreover we investigate their relation with K3 surfaces with a Nikulin involution.
We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.
We construct examples of non-projective normal proper algebraic surfaces and discuss the pathological behaviour of their Neron-Severi group. Our surfaces are birational to the product of a projective line and a curve of higher genus.
We show that an abelian surface embedded in P^N by a very ample line bundle L of type (1,2d) is projectively normal if and only if d>=4. This completes the study of the projective normality of abelian surfaces embedded by complete linear systems.
For every p >= 5, we determine all Z_p-invariant nonsingular quartic surfaces in the three dimensional projective space over an algebraically closed field of characteristic zero. In some cases, we also determine their full projective automorphism groups.
We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.
We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.
We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has only finitely many non-isomorphic real forms or not.
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear system with "simple base points" (see text) has degree at most 12.
Given a web (multi-foliation) and a linear system on a projective surface we construct divisors cutting out the locus where some element of the linear system has abnormal contact with the leaf of the web. We apply these ideas to reobtain a classical result by Salmon on the number of lines on a projective surface. In a different vein, we investigate the number of lines and of disjoint lines contained in a projective surface and tangent to a contact distribution.
The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth rational surfaces in projective fourspace with the prescribed invariants.
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.
We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve a problem of B. Harbourne, P. Pokora, and H. Tutaj-Gasinska [Electron. Res. Announc. Math. Sci. 22 (2015), 103--108].
We show that the minimal model program on any smooth projective surface is realized as a variation of the moduli spaces of Bridgeland stable objects in the derived category of coherent sheaves.
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
We consider possibly singular rational projective k*-surfaces and provide an explicit description of the unit component of the automorphism group in terms of isotropy group orders and intersection numbers of suitable invariant curves. As an application, we characterize the almost homogeneous rational projective k*-surfaces and we specify the two-dimensional groups acting almost transitively as well as the corresponding homogeneous spaces.
The following conjecture arose out of discussions between B. Harbourne, J. Roé, C. Cilberto and R. Miranda: for a smooth projective surface $X$ there exists a positive constant $c_X$ such that $h^1(\mathcal O_X(C))\le c_X h^0(\mathcal O_X(C))$ for every prime divisor $C$ on $X$. We show that the conjecture is true for some smooth projective surfaces with Picard number 2.
In the previous paper, we established an elementary bound for numbers of points of surfaces in the projective $3$-space over ${\Bbb F}_q$. In this paper, we give the complete list of surfaces that attain the elementary bound. Precisely those surfaces are the hyperbolic surface, the nonsingular Hermitian surface, and the surface of minimum degree containing all ${\Bbb F}_q$-points of the $3$-space.
We prove a bound on the number of lines on a smooth degree-d surface in three-dimensional projective space for $d \geq 3$. This bound improves a bound due to Segre and renders some of his arguments rigorous. It is the best known bound for $d \geq 6$.
We determine the complete list of anticanonically embedded quasi smooth log del Pezzo surfaces in weighted projective 3-spaces. We prove that many of these admit a Kähler-Einstein metric and most of them do not have tigers.
The aim of this paper is to get some results about ruled surfaces which configure a projective theory of scrolls and ruled surfaces. Our ideas follow the viewpoint of Corrado Segre, but we employ the contemporaneous language of locally free sheaves. The results complete the exposition given by R. Hartshorne and they have not appeared before in the contemporaneous literature.
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.
In this paper we present a way of computing the degree of the secant (resp., tangent) variety of a smooth projective surface, under the assumption that the divisor giving the embedding in the projective space is $3$-very ample. This method exploits the link between these varieties and the Hilbert scheme $0$-dimensional subschemes of length $2$ of the surface.
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 show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.
Let $L$ be an ample line bundle over a smooth projective toric surface $X$. Then $L$ corresponds to a very ample lattice polytope $P$ that encodes many geometric properties of $L$. In this article, by studying $P$, we will give some necessary and sufficient numerical criteria for the adjoint series $|K_X+L|$ to be either nef or (very) ample.
In this article, we give a description of the closed cone of curves of the projective bundle $\mathbb{P}(E)$ over a smooth projective variety $X$. Using duality, we then calculate the nef cone of divisors in $\mathbb{P}(E)$ over some special surfaces $X$ and for some special bundles on $X$. As an application, we also calculate the Seshadri constants of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points.
We show that a moduli space of slope-stable sheaves over a K3 surface is an irreducible hyperkähler manifold if and only if its second Betti number is the sum of its Hodge numbers $h^{2,0}$, $h^{1,1}$ and $h^{0,2}$.
We determine the automorphism group of the Hilbert scheme of two points on a generic projective K3 surface of any polarization. We obtain in particular new examples of Hilbert schemes of points having non-natural non-symplectic automorphisms. The existence of these automorphisms depends on solutions of Pell's equation.
We study autoequivalence groups of the derived categories on smooth projective surfaces, and show a trichotomy of types according to the maximal dimension of Fourier--Mukai kernels for autoequivalences. This number is $2$, $3$ or $4$, and we also pose a conjecture on the description of autoequivalence groups if it is $2$, and prove it in some special cases.
An explicit projective embedding of the moduli space of marked cubic surfaces is given. This embedding is equivariant under the Weyl group of type E6. The image is defined by a system of linear and cubic equations. To express the embedding in a most symmetric way, the target would be 79-dimensional, however the image lies in a 9-dimensional linear subspace.
In this paper we give the projective generation of congruences of order 1 of r-dimensional projective spaces in P^N from their focal loci. In a natural way, this construction shows that the corresponding surfaces in the grassmannian are the Veronese surface, and rational ruled surfaces eventually with singularities. We characterize when these surfaces are smooth, recovering and generalizing a Ziv Ran's result.
Very few examples of obstructed equsingular families of curves on surfaces other than the projective plane are known. Combining results from Westenberger and Hirano with an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves with simple singularities on surfaces in projective three-space which are not T--smooth, i.e. do not have the expected dimension, and we compare this with conditions (showing the same asymptotics) which ensure the existence of a T--smooth component.
Let $X$ be a nonsingular complex projective surface. The Weyl and Zariski chambers give two interesting decompositions of the big cone of $X$. We study these two decompositions and determine when a Weyl chamber is contained in the interior of a Zariski chamber and vice versa. We also determine when a Weyl chamber can intersect non-trivially with a Zariski chamber.
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we can prove that $\splcpx_{X/k}\uet$ is smooth and has a symplectic structure.
Let X be a supersingular K3 surface in characteristic 5 with Artin invariant 1. Then X has a polarization that realizes X as the Fermat sextic double plane. We present a list of polarizations of X with degree 2 whose intersection number with this Fermat sextic polarization is less than or equal to 5, and give the defining equations of the corresponding projective models. We also present a method to describe birational morphisms between these projective models explicitly. As a by-product, a non-projective automorphism of the Fermat sextic double plane is obtained.
The aim is to give a geometric characterization of the finite generation of the Cox ring of anticanonical rational surfaces. This characterization is encoded in the finite generation of the effective monoid. Furthermore, we prove that in the case of a smooth projective rational surface having a negative multiple of its canonical divisor with only two linearly independent global sections (e.g., an elliptic rational surface), the finite generation is equivalent to the fact that there are only a finite number of smooth projective rational curves of self-intersection -1. The ground field is assume…
We define the notion of generalized logarithmic sheaves on a smooth projective surface, associated to a pair consisting of a reduced curve and some fixed points on it. We then set up the study of the Torelli property in this setting, focusing mostly in the case of the blow-up of the projective plane on a reduced set of points and, in particular, in the case of the cubic surface. We also study the stability property of generalized logarithmic sheaves as well as carrying out the description of their moduli spaces.
We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to the Hilbert scheme of length-three subschemes of a K3 surface. The class of the projective space in the cohomology ring has prescribed intersection properties, which translate into Diophantine equations. Possible homology classes correspond to integral points on an explicit elliptic curve; our proof entails showing that the only such point is two-torsion.
In this paper we study the geometry of the $14$ families of K3 surfaces of Picard number four with finite automorphism group, whose Néron-Severi lattices have been classified by È.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.
We provide a criterion for when Hilbert squares of complex projective K3 surfaces with Picard number one are strongly ambiguous. This criterion is the same as [DM, Proposition 3.14], but is obtained by a different method. In particular, this enables us to compute the automorphism groups of these Hilbert squares from a different point of view with respect to [BCNS].
Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also consider a generalization to the case when M is an arbitrary line bundle with h^0(X,M) > 0.
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.
Using the theory of holes of the Leech lattice and Borcherds method for the computation of the automorphism group of a K3 surface, we give an effective bound for the set of isomorphism classes of projective models of fixed degree for certain K3 surfaces.
The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard deformation theory.
In this note we describe the image of $\PP^2$ in $ Gr(2, \CC^{4})$ under a morphism given by a rank two vector bundle on $\PP^2$ with Chern classes $(2,2).$
For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an algorithm to calculate from $G$ a set of generators of the numerical Néron-Severi lattice of $X$. As an application, we investigate the stratification defined by the Artin invariant on a moduli space of supersingular $K3$ surfaces of degree 2 in characteristic 2.
We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$, are of this type, up to resolution of singularities. Let $π$ be the covering map from $X$ to $S$. We show that the $\mathbb{Z}_2$-invariant adjoint divisors $K_X+rπ^*A$ are normally generated, where the integer $r\ge 3$ and $A$ is an ample divisor on $S$.
