Preprints

We take a first step towards the classification of singular Mori dream $K3$ surfaces. We prove that if the Picard lattice of a singular $K3$ surface is Mori dream, then the surface is Mori dream. Moreover, we show that for singular $K3$ surfaces, of Picard rank two, being Mori dream is equivalent to contain two negative curves intersecting each other, and apply this result to study Mori dreamness of $K3$ surfaces with a singular point of type $A_n$.

We provide a characterization of asymptotical speciality of a nef and big divisor $D$ on an algebraic surface in terms of the arithmetic genus of curves in $D^{\perp}$. As a consequence we prove that the SHGH conjecture for linear systems on the blowing-up $X_r^2$ of the projective plane at points in very general position is equivalent to the fact that each nef class of is non-special. Finally we prove that if $r < 2^n$ then any nef divisor of $X_r^n$ is asymptotically non-special.

We prove that the Cox ring of the blowing-up of a minimal toric surface of Picard rank two is finitely generated. As part of our proof of this result we provide a necessary and sufficient condition for finite generation of Cox rings of normal projective $\mathbb Q$-factorial surfaces.

We introduce the notion of ample body of a projective variety and use it to prove emptiness results for Terracini loci and specific identifiability results for toric and homogeneous varieties.

Let $C$ be a smooth curve of genus $g \geq 1$ and let $C^{(2)}$ be its second symmetric product. In this note we prove that if $C$ is very general, then the blow-up of $C^{(2)}$ at a very general point has non-polyhedral pseudo-effective cone. The strategy is to consider first the case of hyperelliptic curves and then to show that having polyhedral pseudo-effective cone is a closed property for families of surfaces.

In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely generated, the variety admits a quotient presentation by a quasitorus, which resembles the quotient construction of the projective space. We discuss the problem of the finite generation of Cox rings from a geometric perspective and provide examples of both the finitely and non-finitely generated cases.

We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.

We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the decomposition of a general plane quintic in seven powers, and of a general space cubic in five powers; the two decompositions of a general plane sextic of rank nine, and the five decompositions of a general plane septic. Furthermore, we give Magma implementations of all our algorithms.

Let $\mathbb K$ be an algebraically closed field of characteristic $0$. A curve of $(\mathbb K^*)^2$ arising from a Laurent polynomial in two variables is {\em intrinsic negative} if its tropical compactification has negative self-intersection. The aim of this note is to start a systematic study of these curves and to relate them with the problem of computing Seshadri constants of toric surfaces.

We construct examples of projective toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone, both in characteristic $0$ and in every prime characteristic $p$. As a consequence, we prove that the pseudo-effective cone of the Grothendieck-Knudsen moduli space $\overline M_{0,n}$ of stable rational curves is not polyhedral for $n\geq 10$ in characteristic $0$ and in characteristic $p$, for all primes $p$. Many of these toric surfaces are related to a very interesting class of arithmetic threefolds that we call arithmetic elliptic pairs of infinite order. Their analysis in characteristic $p$ relies on tools of arithmetic geometry and Galois representations in the spirit of the Lang-Trotter conjecture, producing toric surfaces whose blow-up at a general point has a non-polyhedral pseudo-effective cone in characteristic $0$ and in characteristic $p$, for an infinite set of primes $p$ of positive density.

Using the theory of rational elliptic fibrations, we construct and discuss a one parameter family of configurations of $12$ conics and $9$ points in the projective plane that realizes an abstract configuration $(12_6,9_8)$. This is analogous to the famous Hesse configuration of $12$ lines and $9$ points forming an abstract configuration $(12_3,9_4)$. We also show that any Halphen elliptic fibration of index $2$ with four triangular singular fibers arises from such configuration of conics.

We give an almost asymptotically sharp bound for the non secant defectiveness and identifiability of Segre-Veronese varieties. We also provide new examples of defective Segre-Veronese varieties.

Let $X$ be a projective K3 surface over $\mathbb C$. We prove that its Cox ring $R(X)$ has a generating set whose degrees are either classes of smooth rational curves, sums of at most three elements of the Hilbert basis of the nef cone, or of the form $2(f+f')$, where $f,f'$ are classes of elliptic fibrations with $f\cdot f'=2$. This result and techniques using Koszul's type exact sequences allow to determine a generating set for the Cox ring of all Mori dream K3 surfaces of Picard number three which is minimal in most cases. A presentation for the Cox ring is given in some special cases with few generators.

We classify the smooth Fano 4-folds of Picard number two that have a general hypersurface Cox ring.

We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such an $X$ at a general point has non empty base locus if and only if the points $p_i$ lie on a suitable degree-$m$ affine hypersurface. We then restrict to the case in which the points $p_i$ are all the lattice points of a lattice polytope and we give some applications of the above result. In particular we provide a classification for the second fundamental forms on toric surfaces, and we also give some new examples of weighted $3$-dimensional projective spaces whose blowing up at a general point is not Mori dream.

The effective cone of a Mori dream space admits two wall-and-chamber decompositions called Mori chamber and stable base locus decompositions. In general the former is a non trivial refinement of the latter. We investigate, from both the geometrical and the combinatorial viewpoints, the differences between these decompositions. Furthermore, we provide a criterion to establish whether the two decompositions coincide for a Mori dream space of Picard rank two, and we construct an explicit example of a Mori dream space of Picard rank two for which the decompositions are different, showing that our criterion is sharp. Finally, we classify the smooth toric 3-folds of Picard rank three for which the two decompositions are different.

In this article, we introduce an approach to study the fundamental group of a log terminal T-variety. As applications, we prove the simply connectedness of the spectrum of the Cox ring of a complex Fano variety, we compute the fundamental group of a rational log terminal T-varieties of complexity one, and we study the local fundamental group of log terminal T-singularities with a good torus action and trivial GIT decomposition.

Given a surjective morphism $π\colon X\to Y$ of normal varieties satisfying some regularity hypotheses we prove how to recover a Cox ring of the generic fiber of $π$ from the Cox ring of $X$. As a corollary we show that in some cases it is also possible to recover the Cox ring of a very general fiber, and finally we give an application in the case of the blowing-up of a toric fiber space.

We investigate the blow-up of a weighted projective plane at a general point. We provide criteria and algorithms for testing if the result is a Mori dream surface and we compute the Cox ring in several cases. Moreover applications to the study of $\overline{M}_{0,n}$ are discussed.

We show that smooth cubic hypersurfaces of dimension $n$ defined over a finite field ${\bf F}_q$ contain a line defined over ${\bf F}_q$ in each of the following cases: - $n=3$ and $q\ge 11$; - $n=4$ and $q\ne 3$; - $n\ge 5$. For a smooth cubic threefold $X$, the variety of lines contained in $X$ is a smooth projective surface $F(X)$ for which the Tate conjecture holds, and we obtain information about the Picard number of $F(X)$ and its 5-dimensional principally polarized Albanese variety $A(F(X))$.

\special{html:<a href="hrefstring">} Let $Y$ be a del Pezzo variety of degree $d\leq 4$ and dimension $n\geq 3$, let $H$ be an ample class such that $-K_Y=(n-1)H$ and let $Z\subset Y$ be a $0$-dimensional subscheme of length $d$ such that the subsystem of elements of $|H|$ with base locus $Z$ gives a rational morphism $π_Z\colon Y\dashrightarrow{\mathbb P}^{n-1}$. Denote by $π\colon X\to {\mathbb P}^{n-1}$ the elliptic fibration obtained by resolving the indeterminacy locus of $π_Z$. Extending the results of [arXiv:1305.3340] we study the geometry of the variety $X$ and we prove that the Mordell-Weil group of $π$ is finite if and only if the Cox ring of $X$ is finitely generated.

We generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case, the cohomology ring and the Chow ring in the contraction-free case.

Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring $R(Δ,K) := \bigoplus_{(a,b)\in\mathbb{Z}^2}H^0(C^{(2)},aΔ+bK)$, where $Δ$ is the image of the diagonal and $K$ is the canonical divisor. We first show that $R(Δ,K)$ is finitely generated if and only if the difference of the two $g_k^1$ on $C$ is torsion non-trivial and then show that this holds on an analytically dense locus of the moduli space of such curves.

We determine the Cox rings of the minimal resolutions of cubic surfaces with at most rational double points, of blow ups of the projective plane at non-general configurations of six points and of three dimensional smooth Fano varieties of Picard numbers one and two.

In this note we introduce exact sequences of sheaves on a complete smooth k*-surface without elliptic points. These sequences are an attempt to generalize the Euler sequence for a toric variety to complexity one surfaces. As an application we show that such a surface is rigid if and only if it is Fano.

In this note we study linear systems on the blow-up of $(\mathbb{P}^1)^n$ at $r$ points in very general position. We prove that the fibers of the projections $(\mathbb{P}^1)^n \rightarrow (\mathbb{P}^1)^s, 1\leq s \leq n-1$ can give contribution to the speciality of the linear system. This allows us to give a new definition of expected dimension of a linear system in $(\mathbb{P}^1)^n$ which we call fiber dimension. Finally, we state a conjecture about linear systems on $(\mathbb{P}^1)^3$.

We consider modifications, for example blow ups, of Mori dream spaces and provide algorithms for investigating the effect on the Cox ring, e.g. testing finite generation or computing an explicit presentation in terms of generators and relations. As a first application, we compute the Cox rings of all Gorenstein log del Pezzo surfaces of Picard number one. Moreover, we show computationally that all smooth rational surfaces of Picard number at most six are Mori dream surfaces and we provide explicit presentations of the Cox ring for those not admitting a torus action. Finally, we provide the Cox rings of projective spaces blown up at a certain special point configurations.

Let X->P^(n-1) be an elliptic fibration obtained by resolving the indeterminacy of the projection of a cubic hypersurface Y of P^(n+1) from a line L not contained in Y. We prove that the Mordell-Weil group of the elliptic fibration is finite if and only if the Cox ring of X is finitely generated. We also provide a presentation of the Cox ring of X when it is finitely generated.

In this paper we determine a minimal set of generators for the Cox rings of extremal rational elliptic surfaces. Moreover, we develop a technique for computing the ideal of relations between them which allows, in all but three cases, to provide a presentation of the Cox ring.

We study the geometry of Büchi's K3 surface showing that the rational points of this surface are Zariski-dense.

Let X be a hypersurface of a Mori dream space Z. We provide necessary and sufficient conditions for the Cox ring R(X) of X to be isomorphic to R(Z)/(f), where R(Z) is the Cox ring of Z and f is a defining section for X. We apply our results to Calabi-Yau hypersurfaces of toric Fano fourfolds. Our second application is to general degree d hypersurfaces in P^n containing a linear subspace of dimension n-2.

We use a double degeneration technique to calculate the dimension of the secant variety of any Segre-Veronese embedding of (P^1)^r

In this paper we study smooth projective rational surfaces, defined over an algebraically closed field of any characteristic, with pseudo-effective anticanonical divisor. We provide a necessary and sufficient condition in order for any nef divisor to be semiample. We adopt our criterion to investigate Mori dream surfaces in the complex case.

We study conjectures on the dimension of linear systems on the blow-up of P^2 and P^3 at points in very general position. We provide algorithms and Maple codes based on these conjectures.

This is the first chapter of an introductory text under construction; further chapters are available via the authors' web pages. Our aim is to provide an elementary access to Cox rings and their applications in algebraic and arithmetic geometry. Any comments and suggestions on this draft will be highly appreciated.

In this paper we investigate the relation between the finite generation of the Cox ring R(X) of a smooth projective surface X and its anticanonical Iitaka dimension k(-K_X).

We study Cox rings of K3-surfaces. A first result is that a K3-surface has a finitely generated Cox ring if and only if its effective cone is polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of K3-surfaces of Picard number two, and explicitly compute the Cox rings of generic K3-surfaces with a non-symplectic involution that have Picard number 2 to 5 or occur as double covers of del Pezzo surfaces.

We survey the construction of the Cox ring of an algebraic variety X and study the birational geometry of X when its Cox ring is finitely generated.

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.

Let X be the blow-up of the three dimensional complex projective space along r general points of a smooth elliptic quartic curve B of P^3 and let L be any line bundle of X. The aim of this paper is to provide an explicit algorithm for determining the dimension of H^0(X,L).

Let S be a smooth algebraic surface satisfying the following property: H^i(\oc_S(C))=0 (i=1,2) for any irreducible and reduced curve C of S. The aim of this paper is to provide a characterization of special linear systems on S which are singular along a set of double points in general position. As an application, the dimension of such systems is evaluated in case S is an Abelian, an Enriques, a K3 or an anticanonical rational surface.

In this note we deal with rational curves in P^3 which are images of a line by means of a finite sequence of cubo-cubic Cremona transformations. We prove that these curves can always be obtained applying to the line a sequence of such transformations increasing at each step the degree of the curve. As a corollary we get a result about curves that can give speciality for linear systems of P^3.

In this note we consider the blowing-up X of P^3 along r general points of the anticanonical divisor of a smooth quadric in P^3. Given a complete linear system |L| = |dH - m_1 E_1 -...- m_r E_r| on X, with H the pull-back of a plane in P^3 and E_i the exceptional divisor corresponding to P_i, we give necessary and sufficient conditions for the very ampleness (resp. base point freeness and non-speciality) of L. As a corollary we obtain a sufficient condition for the very ampleness of such a complete linear system on the blowing-up of P^3 along r general points.

In this note we relate about the problem of evaluate the dimension of linear systems through fat points defined on generic $K3$ surfaces.

In this note we consider multiples aD, where D is a divisor of the blow-up of P^n along points in general position which appears in the Alexander and Hirschowitz list of Veronese embeddings having defective secant varieties. In particular we show that there is such a D with h^1(X,D) > 0 and h^1(X,2D) = 0.

In this note we consider the behavior of linear systems of P^3 through fat points under a cubo-cubic Cremona transformation. This allows us to produce a class of special systems which we conjecture to be the only ones.

In this note we give a counterexample to a conjecture proposed by Ciliberto about special linear systems of P^n through multiple base points.

Consider a (non-empty) linear system of surfaces of degree d in P^3 through at most 8 multiple points in general position and let L denote the corresponding complete linear system on the blowing-up X of P^3 along those general points. Then we determine the base locus of such linear systems L on X.

In this paper we prove a conjecture about the dimension of linear systems of surfaces of degree d in P^3 through at most eight multiple points in general position.

In this paper we deal with linear systems of P^3 through fat points. We consider the behavior of these systems under a cubo-cubic Cremona transformation that allows us to produce a class of special systems which we conjecture to be the only ones.

In this paper we introduce a technique to degenerate K3 surfaces and linear systems through fat points in general position on K3 surfaces. Using this degeneration we show that on generic K3 surfaces it is enough to prove that linear systems with one fat point are non-special in order to obtain the non-speciality of homogeneous linear systems through n = 4^u9^w fat points in general position. Moreover, we use this degeneration to obtain a result for homogeneous linear systems through n = 4^u9^w fat points in general position on a general quartic surface in P^3.

In this paper we prove the equivalence of two conjectures on linear systems through fat points on a generic K3 surface. The first conjecture is exactly as Segre conjecture on the projective plane. Whereas the second characterizes such linear system and can be compared to the Gimigliano-Harbourne-Hirschowitz conjecture.

In this paper we prove a conjecture on the dimension of linear systems, with base points of multiplicity 2 and 3, on an Hirzebruck surface.

In this paper we consider linear systems of $\mathbb{P}^2$ with all but one of the base points of multiplicity 5. We give an explicit way to evaluate the dimensions of such systems.

Let (M,L) be a polarized manifold and let G(M,L) be the graded algebra generated by H^0(M,iL) in degree i. The aim of this paper is to establish a connection between the generators of G(M,L) and the very ampleness of the line bundle rL. Some applications are given.