Searcharxiv⌕ Search

arXiv subjects

Antonio Laface

Publications and source records attributed to Antonio Laface.

At least 55 records · Page 3Linked to original sources
arXiv2015

About the semiample cone of the symmetric product of a curve

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.

math.AG↗
arXiv2014

Computing Cox rings

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.

math.AG↗
arXiv2014

Euler sequence for complete smooth k*-surfaces

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.

math.AG↗
arXiv2014

On Büchi's K3 surface

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

math.AG↗
arXiv2013

On cubic elliptic varieties

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.

math.AG↗
arXiv2013

Nef and semiample divisors on rational surfaces

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.

math.AG↗
arXiv2013

Cox rings of extremal rational elliptic surfaces

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.

math.AG↗
arXiv2011

Hypersurfaces in Mori dream spaces

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.

math.AG↗
arXiv2010

Cox Rings

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.

math.AG↗
arXiv2009

On Cox rings of K3-surfaces

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.

math.AG↗
arXiv2008

A survey on Cox rings

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.

math.AG↗
arXiv2007

Picard-graded Betti numbers and the defining ideals of Cox rings

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.

math.AG↗
arXiv2007

Linear systems on a class of anticanonical rational threefolds

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).

math.AG↗