A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain substantial improvements for currently known lower bounds for n point Seshadri constants. Remarks are included about a range of applications to classical problems involving linear systems on P2.
Let X_g=C^{(2)}_g be the second symmetric product of a very general curve of genus g. We reduce the problem of describing the ample cone on X_g to a problem involving the Seshadri constant of a point on X_{g-1}. Using this we recover a result of Ciliberto-Kouvidakis that reduces finding the ample cone of X_g to the Nagata conjecture when g\ge 9. We also give new bounds on the the ample cone of X_g when g=5.
We study a Seshadri constant at a general point on a rational surface whose anticanonical linear system contains a pencil. First, we describe a Seshadri constant of an ample line bundle on such a rational surface explicitly by the numerical data of the ample line bundle. Secondly, we classify log del Pezzo surfaces which are special in terms of the Seshadri constants of the anticanonical divisors when the anticanonical degree is between 4 and 9.
Seshadri constants, introduced by Demailly, measure the local positivity of a nef divisor at a point. In this paper, we compute the Seshadri constants of the anticanonical divisors of Fano manifolds with coindex at most $3$ at a very general point. As a consequence, if $X$ is a nonsingular Fano threefold which is very general in its deformation family, then $\varepsilon(X,-K_X;x)\leq 1$ for all points $x\in X$ if and only if $\vert-K_X\vert$ is not base point free.
We prove new results on single point Seshadri constants for ample line bundles on hyperelliptic surfaces. Given a hyperelliptic surface $X$ and an ample line bundle $L$ on $X$, we show that the least Seshadri constant $\varepsilon(L)$ of $L$ is a rational number when $X$ is not of type 6. We also prove new lower bounds for the Seshadri constant $\varepsilon(L,1)$ of $L$ at a very general point.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
We show that the set of Fano varieties (with arbitrary singularities) whose anticanonical divisors have large Seshadri constants satisfies certain weak and birational boundedness. We also classify singular Fano varieties of dimension $n$ whose anticanonical divisors have Seshadri constants at least $n$, generalizing an earlier result of Liu and the author.
We define and study a version of Seshadri constant for ample line bundles in positive characteristic. We prove that lower bounds for this constant imply the global generation or very ampleness of the corresponding adjoint line bundle. As a consequence, we deduce that the criterion for global generation and very ampleness of adjoint line bundles in terms of usual Seshadri constants holds also in positive characteristic.
We develop a local positivity theory for movable curves on projective varieties similar to the classical Seshadri constants of nef divisors. We give analogues of the Seshadri ampleness criterion, of a characterization of the augmented base locus of a big and nef divisor, and of the interpretation of Seshadri constants as an asymptotic measure of jet separation. We also study the case of arbitrary codimension.
We refine results of Hwang, Keum and Szemberg, Tutaj-Gasinska which relate local invariants - Seshadri constants - of ample line bundles on surfaces to the global geometry - fibration structure. We show that the same picture emerges when looking at Seshadri constants measured at any finite subset of the given surface.
The purpose of this paper is to study Seshadri constants on the self-product $E\times E$ of an elliptic curve $E$. We provide explicit formulas for computing the Seshadri constants of all ample line bundles on the surfaces considered. As an application, we obtain a good picture of the behaviour of the Seshadri function on the nef cone.
We examine how the Seshadri constant of an ample line bundle at a very general point of an algebraic surface can carry important global geometric information about the surface. In particular, we obtain a numerical criterion for when a surface admits a dominant map to an algebraic curve.
In the present paper we are concerned with the possible values of Seshadri constants. While in general every positive rational number appears as the local Seshadri constant of some ample line bundle, we point out that for adjoint line bundles there are explicit lower bounds depending only on the dimension of the underlying variety. In the surface case, where the optimal lower bound is 1/2, we characterize all possible values in the range between 1/2 and 1 -- there are surprisingly few. As expected, one obtains even more restrictive results for the Seshadri constants of adjoints of very ample l…
We study Seshadri constants of ample line bundles on hyperelliptic surfaces. We obtain new lower bounds and compute the exact values of Seshadri constants in some cases. Our approach uses results of F. Serrano (1990), B. Harboune and J. Roe (2008), F. Bastianelli (2009), A.L. Knutsen, W. Syzdek and T. Szemberg (2009).
In this note we contribute to the study of Seshadri constants on abelian and bielliptic surfaces. We specifically focus on bounds that hold on all such surfaces, depending only on the self-intersection of the ample line bundle under consideration. Our result improves previous bounds and it provides rational numbers as bounds, which are potential Seshadri constants.
We give the lower bound on Seshadri constants for the case of very ample line bundles on threefolds. We consider the situation when the Seshadri constant is strictly less than 2 and give a version of Bauer's theorem \cite[Theorem 2.1]{B1} for singular surfaces so we can prove the same result for smooth threefolds.
Let $X$ be a smooth projective surface with Picard number 1. Let $L$ be the ample generator of the Néron-Severi group of $X$. Given an integer $r\ge 2$, we prove lower bounds for the Seshadri constant of $L$ at $r$ general points in $X$.
This paper studies the Seshadri constant of an ample line bundle at a very general point, seeking a very slight improvement on the result of Ein, Kuchle, and Lazarsfeld. The main point is that couting jets more carefully yields a better result. We hope that with some further innovations some type of bound, independent of the dimension, will ultimately be found.
We prove that a Fano variety (with arbitrary singularities) of dimension $n$ in positive characteristic is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$ and classify Fano varieties whose anti-canonical divisors have Seshadri constants $n$. In characteristic $p>5$ and dimension $3$, we also show that Fano varieties $X$ with Seshadri constants $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ (for some fixed $ε>0$) have bounded anti-canonical degrees.
We give a lower bound of the $δ$-invariants of ample line bundles in terms of Seshadri constants. As applications, we prove the uniform K-stability of infinitely many families of Fano hypersurfaces of arbitrarily large index, as well as the uniform K-stability of most families of smooth Fano threefolds of Picard number one.
Let $X$ be a projective surface and let $L$ be an ample line bundle on $X$. The global Seshadri constant $\varepsilon(L)$ of $L$ is defined as the infimum of Seshadri constants $\varepsilon(L,x)$ as $x\in X$ varies. It is an interesting question to ask if $\varepsilon(L)$ is a rational number for any pair $(X, L)$. We study this question when $X$ is a blow up of $\mathbb{P}^2$ at $r \ge 0$ very general points and $L$ is an ample line bundle on $X$. For each $r$ we define a $\textit{submaximality threshold}$ which governs the rationality or irrationality of $\varepsilon(L)$. We state a conjectu…
Based on the work of Okounkov, Kaveh-Khovanskii and Lazarsfeld-Mustata independently associated a convex body, called the Okounkov body, to a big divisor on a normal projective variety with respect to an admissible flag. Although the Okounkov bodies carry rich positivity data of big divisors, they only provide information near a single point. The purpose of this paper is to introduce a convex body of a big divisor that is effective in handling the positivity theory associated with multi-point settings. These convex bodies open the door to approach the local positivity theory at multiple points…
Let $X$ be a surface and let $L$ be an ample line bundle on $X$. We first obtain a lower bound for the Seshadri constant $\varepsilon(X,L,r)$, when $r \ge 3$. We then assume that $X$ is a ruled surface and study Seshadri constants on $X$ in greater detail. We also make precise computations of Seshadri constants on $X$ in some cases.
One of Demailly's characterizations of Seshadri constants on ample line bundles works with Lelong numbers of certain positive singular hermitian metrics. In this note sections of multiples of the line bundle are used to produce such metrics and then to deduce another formula for Seshadri constants. It is applied to compute Seshadri constants on blown up products of curves, to disprove a conjectured characterization of maximal rationally connected quotients and to introduce a new approach to Nagata's conjecture.
Working over C, we show that, apart possibly from a unique limit point, the possible values of multi-point Seshadri constant for general points on smooth projective surfaces form a discrete set. In addition to its theoretical interest, this result is of practical value, which we demonstrate by giving significantly improved explicit lower bounds for Seshadri constants on P^2 and new results about ample divisors on blow ups of P^2 at general points.
In "Seshadri fibrations of algebraic surfaces" [arXiv:0709.2592v1] we showed that if the multiple point Seshadri constants of an ample line bundle on a smooth projective surface in very general points satisfy certain inequality then the surface is fibred by curves computing these constants. Here we characterize the border case of polarized surfaces whose Seshadri constants in general points fulfill the equality instead of inequality and which are not fibred by Seshadri curves. It turns out that these surfaces are the projective plane and surfaces of minimal degree.
T. Szemberg proposed in 2001 a generalization to arbitrary varieties of M. Nagata's 1959 open conjecture, which claims that the Seshadri constant of r>9 very general points of the projective plane is maximal. Here we prove that Nagata's original conjecture implies Szemberg's for all smooth surfaces X with an ample divisor L generating its Neron-Severi group and such that L^2 is a square. More generally, we prove that the (n-1)-dimensional Seshadri constant of an ample divisor L on a projective variety X of dimension n at r very general points is bounded below by the product of the (n-1)-dimens…
Chennai Mathematical Institute（钦奈数学研究所）；Indian Institute of Technology (Indian School of Mines) Dhanbad（印度技术学院（印度矿业学院）丹巴德分校）；Indraprastha Institute of Information Technology, Delhi（德里因德拉普拉斯塔信息技术学院）
Let $E$ be a vector bundle of rank $n$ on $\mathbb{P}^1$. Fix a positive integer $d$. Let $\mathcal{Q}(E,d)$ denote the Quot scheme of torsion quotients of $E$ of degree $d$ and let $Gr(E,d)$ denote the Grassmann bundle that parametrizes the $d$-dimensional quotients of the fibers of $E$. We compute Seshadri constants of ample line bundles on $\mathcal{Q}(E,d)$ and $Gr(E,d)$.
We prove that an $n$-dimensional complex projective variety is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$. We also classify complex projective varieties with Seshadri constants equal to $n$.
In recent years, the interaction between the local positivity of divisors and Okounkov bodies has attracted considerable attention, and there have been attempts to find a satisfactory theory of positivity of divisors in terms of convex geometry of Okounkov bodies. Many interesting results in this direction have been established by Choi--Hyun--Park--Won and Küronya--Lozovanu separately. The first aim of this paper is to give uniform proofs of these results. Our approach provides not only a simple new outlook on the theory but also proofs for positive characteristic in the most important cases. …
Let $X$ be a general hypersurface of degree $md$ in the weighted projective space with weights $1,1,1,m$ for some for $d\geq 2$ and $m\geq 3$. We prove that the Seshadri constant of the ample generator of the Néron-Severi space at a general point $x\in X$ lies in the interval $\left[\sqrt{d}- \frac d m, \sqrt{d}\right]$ and thus approaches the possibly irrational number $\sqrt d$ as $m$ grows.
Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and let $E_1$, $E_2$ be vector bundles over $C$. In this paper, we extend the results in \cite{K-M-R} by computing the nef cone of $X$ without restriction on the rank or semistability of $E_1$ and $E_2$. We also study the Seshadri constants of ample line bundles on $X$. We calculate the Seshadri constants in some cases and give bounds in some of the remaining cases.
Let $X$ be a smooth complex projective curve, and let $E$ be a vector bundle on $X$ which is not semistable. For a suitably chosen integer $r$, let $\text{Gr}(E)$ be the Grassmann bundle over $X$ that parametrizes the quotients of the fibers of $E$ of dimension $r$. Assuming some numerical conditions on the Harder-Narasimhan filtration of $E$, we study Seshadri constants of ample line bundles on $\text{Gr}(E)$. In many cases, we give the precise value of Seshadri constant. Our results generalize various known results for ${\rm rank}(E)=2$.
Let X be a projective variety of dimension n and L be a nef divisor on X. Denote by e_d(r;X,L) the d-dimensional Seshadri constant of r very general points in X. We prove that e_d(rs;X,L) >= e_d(r;X,L)e_d(s;P^n,O_{P^n}(1)).
Suppose D is an effective divisor on a smooth projective algebraic variety X. For each point x of X we associate a numberical invariant called the moving Seshadri constant of D at x which is a numerical measure of positivity of the divisor D at x. We determine the base locus of a large multiple of D by studying these moving Seshadri constants-- the drawback to this method is that these moving Seshadri constants are extremely difficult to compute.
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.
In this paper we consider the question of when Seshadri constants on abelian surfaces are integers. Our first result concerns self-products $E\times E$ of elliptic curves: If $E$ has complex multiplication in $\Z[i]$ or in $\Z[\frac12(1+i\sqrt3)]$ or if $E$ has no complex multiplication at all, then it is known that for every ample line bundle $L$ on $E\times E$, the Seshadri constant $\eps(L)$ is an integer. We show that, contrary to what one might expect, these are in fact the only elliptic curves for which this integrality statement holds. Our second result answers the question how -- on an…
Given $ε>0$, we show that over an algebraically closed field of characteristic $p>5$, the anticanonical volume of a Fano threefold $X$ (with arbitrary singularities) whose anticanonical divisor has Seshadri constant $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ is bounded from above.
We prove two new results for Seshadri constants on surfaces of general type. Let $X$ be a surface of general type. In the first part, inspired by \cite{B-S}, we list the possible values for the multi-point Seshadri constant $\varepsilon(K_X,x_1,x_2,...,x_r)$ when it lies between $0$ and $1/r$, where $K_X$ is the canonical line bundle on $X$. In the second part, we assume $X$ of the form $C \times C$, where $C$ is a general smooth curve of genus $g \geq 2$. Given such $X$ and an ample line bundle $L$ on $X$ with some conditions on it, we show that the global Seshadri constant of $L$ is a ration…
If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.
We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and numerical positivity. Using these properties, we also construct a counterexample to the converse of the Andreotti-Grauert vanishing theorem.
In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities.
We prove that the Seshadri constant of a polarized abelian variety is equal to the Seshadri constant of its abelian subvariety if the Seshadri constant is relatively small with respect to its degree, or it contains an abelian divisor which has sufficiently small degree. As an application of these results, we show that the Seshadri constant of a polarized abelian surface is computed by the unique Seshadri curve if the Seshadri constant is small enough. As another application, we compute the Seshadri constants of some non-simple polarized abelian threefolds which contain principally polarized ab…
We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano) varieties.
Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a $\mathbb{P}^r$-bundle as an ample divisor by the recent work of D.~Litt.
We define and study positivity (nefness, amplitude, bigness and pseudo-effectiveness) for Weil divisors on normal projective varieties. We prove various characterizations, vanishing and non-vanishing theorems for cohomology, global generation statements, and a result related to log Fano.
Given a smooth projective curve X, we give effective very ampleness bounds for generalized theta divisors on the moduli spaces $SU_X(r,d)$ and $U_X(r,d)$ of semistable vector bundles of rank r and degree d on X with fixed, respectively arbitrary, determinant.
In 1988, Fujita conjectured that there is an effective and uniform way to turn an ample line bundle on a smooth projective variety into a globally generated or very ample line bundle. We study Fujita's conjecture using Seshadri constants, which were first introduced by Demailly in 1992 with the hope that they could be used to prove cases of Fujita's conjecture. While examples of Miranda seemed to indicate that Seshadri constants could not be used to prove Fujita's conjecture, we present a new approach to Fujita's conjecture using Seshadri constants and positive characteristic methods. Our tech…
In this paper we consider ideal sheaves associated to the singular loci of a divisor in a linear system $|L|$ of an ample line bundle on a complex abelian variety. We prove an effective result on their (continuous) global generation, after suitable twists by powers of $L$. Moreover we show that similar results hold for subvarieties of a complex abelian variety.
Working over the complex field and formalizing and sharpening approaches introduced by several authors, we give a method for verifying when a divisor on a blow up of P^2 at general points is nef. The method is useful both theoretically and when doing computer computations. The main application is to obtain significantly improved explicit lower bounds for multipoint Seshadri constants on P^2.
