We show that under suitable hypothesis (which are sharp in certain sense) that the core of an m-primary ideal in a regular local ring of dimension d is equal to the adjoint (or multiplier) ideal of its d-th power, generalizing a result of Huneke and Swanson in dimension two. We also prove a version of this in the singular setting, which we show to be intimately related to the problem of finding global sections of ample line bundles on projective varieties. In particular, we show that a graded analog of our formula for core would imply a remarkable conjecture of Kawamata predicting that every ample adjoint bundle has a non-trivial section.
We show that over any algebraically closed field of positive characteristic, there exists a smooth rational surface which violates Kawamata-Viehweg vanishing.
We prove that the Kawamata-Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W_2(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata-Viehweg vanishing theorem holds on log del Pezzo surfaces in positive characteristic.
We associate to a pair $(X,D)$, consisting of a smooth scheme with a divisor $D\in \text{Div}(X)\otimes \mathbb{Q}$ whose support is a divisor with normal crossings, a canonical Deligne--Mumford stack over $X$ on which $D$ becomes integral. We then reinterpret the Kawamata--Viehweg vanishing theorem as Kodaira vanishing for stacks.
We give counterexamples to the Kawamata-Viehweg vanishing theorem on ruled surfaces in positive characteristic, and prove that if there is a counterexample to the Kawamata-Viehweg vanishing theorem on a geometrically ruled surface f:X-->C, then either C is a Tango curve or all of sections of f are ample.
In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic.
In this article we prove that the Kawamata-Viehweg vanishing theorem holds for regular del Pezzo surfaces over imperfect ground fields of characteristic $p>3$.
We construct a klt del Pezzo surface in characteristic three violating the Kawamata-Viehweg vanishing theorem. As a consequence we show that there exists a Kawamata log terminal threefold singularity which is not Cohen-Macaulay in characteristic three.
In this largely expository article, we present a Kawamata-Viehweg type formulation of the (logarithmic) Akizuki-Nakano Vanishing Theorem. While the result is likely known to the experts, it does not seem to appear in the existing literature.
We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.
Using the techniques of J.-P. Demailly and Th. Peternell in math.AG/0208021 a weak version of Kawamata-Viehweg vanishing is proven for pseudo-effective line bundles on compact Kaehler manifolds. It is a weak version, since one has to adjust the line bundle $K_X + L$ with the upper regularized multiplier ideal sheaf $I_+(L)$ of $L$, and this is already not optimal in the nef case.
The purpose of this note is to show how the Kawamata-Viehweg vanishing theorem for fractional divisors leads to a quick new proof of Bogomolov's instability theorem for rank two vector bundles on an algebraic surface.
Let $X$ be a compact Kähler manifold and let $(L, φ)$ be a pseudo-effective line bundle on $X$. We first define a notion of numerical dimension of pseudo-effective line bundles with singular metrics, and then discuss the properties of this type numerical dimension. We finally prove a very general Kawamata-Viehweg-Nadel type vanishing theorem on an arbitrary compact Kähler manifold.
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, we give some concrete examples and properties of strongly liftable schemes. As an application, we prove that the Kawamata-Viehweg vanishing theorem in positive characteristic holds on any normal projective surface which is birational to a strongly liftable surface.
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, first we prove that smooth toric varieties are strongly liftable. As a corollary, we obtain the Kawamata-Viehweg vanishing theorem for smooth projective toric varieties. Second, we prove the Kawamata-Viehweg vanishing theorem for normal projective surfaces which are birational to a strongly liftable smooth projective surface. Finally, we deduce the cyclic cover trick over W_2(k), which can be used to construct a l…
In this paper we establish a Nadel-type vanishing theorem and a Kawamata--Viehweg-type vanishing theorem concerning the asymptotic multiplier ideal sheaf on a compact Kähler manifold $X$. After that, we provide a relative variant.
We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over perfect fields of positive characteristic $p>5$. As a consequence, we show that klt threefold singularities over a perfect base field of characteristic $p>5$ are rational. We show that these theorems are sharp by providing counterexamples in characteristic $5$.
In this paper, we provide an $L^2$ fine resolution of the prolongation of a nilpotent harmonic bundle in the sense of Simpson-Mochizuki (an analytic analogue of the Kashiwara-Malgrange filtrations). This is the logarithmic analogue of Cattani-Kaplan-Schmid's and Kashiwara-Kawai's results on the $L^2$ interpretation of the intersection complex. As an application, we give an $L^2$-theoretic proof to the Nadel-Kawamata-Viehweg vanishing theorem with coefficients in a nilpotent Higgs bundle.
In this article we prove a general result on a nef vector bundle $E$ on a projective manifold $X$ of dimension $n$ depending on the vector space $H^{n,n} (X, E). $ It is also shown that $H^{n,n} (X, E)=0$ for an indecomposable nef rank 2 vector bundles $E$ on some specific type of $n$ dimensional projective manifold $X.$ The same vanishing shown to hold for indecomposable nef and big rank 2 vector bundles on any variety with trivial canonical bundle.
This paper proves that the 5-canonical map of a smooth minimal 3-fold is birational when the geometric genus is bigger than 2. A combination of the results in this paper and that of Ein-Lazarsfeld-Lee, the possible exceptional cases are very limited. Unfortunately, no counter examples have been found up to now.
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable over W_2(k), if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, we first deduce the Kummer covering trick over W_2(k), which can be used to construct a large class of smooth projective varieties liftable over W_2(k), and to give a direct proof of the Kawamata-Viehweg vanishing theorem on strongly liftable schemes. Secondly, we generalize almost all of the results in [Xie10, Xie11] to the case where everything is considered over W(k), the ring of Witt vectors of k.
We prove a Kawamata-Viehweg vanishing theorem on a normal compact Kahler space X: if L is a nef line bundle with numerical dimension at least equal to 2, then the q-th cohomology group of K_X+L vanishes for q at least equal to the dimension of X minus 1. As an application, a special case of the abundance conjecture for minimal Kahler threefolds is proven: if X is a minimal Kahler threefold (in the usual sense that K_X is nef), then the Kodaira dimension kappa(X) is nonnegative.
Kawamata proposed a conjecture predicting that every nef and big line bundle on a smooth projective variety with trivial first Chern class has nontrivial global sections. We verify this conjecture for several cases, including (i) all hyperkähler varieties of dimension $\leq 6$; (ii) all known hyperkähler varieties except for O'Grady's 10-dimensional example; (iii) general complete intersection Calabi-Yau varieties in certain Fano manifolds (e.g. toric ones). Moreover, we investigate the effectivity of Todd classes of hyperkähler varieties and Calabi-Yau varieties. We prove that the fourth Todd…
We give a theorem on the effective non-vanishing problem for algebraic surfaces in positive characteristic. For the Kawamata-Viehweg vanishing, the logarithmic Kollar vanishing and the logarithmic semipositivity, we give their counterexamples on ruled surfaces in positive characteristic.
We prove that Seshadri constants of some ample divisors are bigger than 1 on smooth threefolds whose anticanonical bundle is nef or on Fano varieties of small coindice. The main tools are (some known cases of) the Kawamata's effective non-vanishing conjecture and the adjunction theory. We prove the non-vanishing conjecture in dimension 3 in the case of line bundles of "high" volume using Kawamata's subadjunction formula.
We present a generalization of the multiplier ideal version of inversion of adjunction, often known as the restriction theorem, to centers of arbitrary codimension. We approach inversion of adjunction from the subadjunction point of view. Let X be a smooth complex projective variety and let Z be an exceptional log-canonical center of an effective Q-divisor D on some dense open subset of X that contains the generic point of Z. Any subvariety of X can be expressed as such a center for some D. We define an adjoint ideal that measures how non-klt (X, D) is outside the generic point of Z. Our main …
We study the relationship between positivity of line bundles restricted to complete intersection subvarieties and the vanishing of higher cohomology groups. Based on this connection we prove generalizations of the vanishing theorems of Kawamata-Viehweg and Fujita that are valid for not necessarily big line bundles.
We show that Ambro-Kawamata's non-vanishing conjecture holds true for a quasi-smooth WCI X which is Fano or Calabi-Yau, i.e. we prove that, if H is an ample Cartier divisor on X, then |H| is not empty. If X is smooth, we further show that the general element of |H| is smooth. We then verify Ambro-Kawamata's conjecture for any quasi-smooth weighted hypersurface. We also verify Fujita's freeness conjecture for a Gorenstein quasi-smooth weighted hypersurface. For the proofs, we introduce the arithmetic notion of regular pairs and enlighten some interesting connection with the Frobenius coin probl…
In this paper, we introduce a coherent subsheaf of Saito's $S$-sheaf, which is a combination of the $S$-sheaf and the multiplier ideal sheaf. We construct its $L^2$-Dolbeault resolution, which generalizes MacPherson's conjecture on the $L^2$ resolution of the Grauert-Riemenschneider sheaf. We also prove various vanishing theorems for the $S$-sheaf (Saito's vanishing theorem, Kawamata-Viehweg vanishing theorem and some new ones like Nadel vanishing theorem) transcendentally. Finally, we discuss some applications of our results on the relative version of Fujita's conjecture (e.g. Kawamata's conj…
This paper contains a Kawamata-Viehweg-Kollár type vanishing theorem for vector bundles. In order to formulate and prove this cleanly, we introduce a class of sheaves that automatically satisfies a vanishing theorem. This is obtained by closing up the subclass of sheaves of adjoint type under extensions, direct images, and taking direct summands.
In this note we show a Kawamata-Viehweg vanishing theorem for pl-contractions on threefolds in characteristic $p>5$. We deduce several applications for klt threefolds: the vanishing of higher direct images of structure sheaves of Mori fibre spaces, Kollár's result on local vanishing and the rationality of the singularities of the base of a conic bundle.
In this paper, we use non-abelian Hodge Theory to study Kodaira type vanishings and its generalizations. In particular, we generalize Saito vanishing using Mixed Twistor D-modules. We also generalize it to a Kawamata-Viehweg type vanishing using Q-divisors, and we also prove a relative version for a projective morphism.
Beijing University of Posts and Telecommunications（北京邮电大学）；Tsinghua University（清华大学）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$. We further generalize this to incorporate a boundary divisor $Δ$. We show that these subsystems behave like the global sections associated to multiplier ideals, $H^0(X, \mJ(X, Δ) \tensor L)$ in characteristic zero. In particular, we show that these systems are in many cases base-point-free. While the original proof utilized Kawamata-Viehweg vanishing and va…
The purpose of this note is twofold. We present first a vanishing theorem for families of linear series with base ideal being a fat points ideal. We apply then this result in order to give a partial proof of a conjecture raised by Bocci, Harbourne and Huneke concerning containment relations between ordinary and symbolic powers of planar point ideals.
Directed Gaussian graphical models are statistical models that use a directed acyclic graph (DAG) to represent the conditional independence structures between a set of jointly normal random variables. The DAG specifies the model through recursive factorization of the parametrization, via restricted conditional distributions. In this paper, we make an attempt to characterize the DAGs whose vanishing ideals are toric ideals. In particular, we give some combinatorial criteria to construct such DAGs from smaller DAGs which have toric vanishing ideals. An associated monomial map called the shortest…
A cohomological vanishing property is proved for finitely supported ideals in an arbitrary d-dimensional regular local ring. (Such vanishing implies some refined Briancon-Skoda-type results, not otherwise known in mixed characteristic.) It follows that the adjoint of a finitely supported ideal I of order a has order sup(a+1-d, 0), and that taking adjoints of finitely supported ideals commutes with taking strict transforms at infinitely near points. In particular, the adjoint of I is also finitely supported. Also: if this I is a normal ideal, then its reduction number is the least integer > d(1…
We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the core and graded core of the ideal of S generated by all elements of degrees at least N (for some, equivalently every, large N) are equal if and only if the line bundle admits a non-zero global section. We also prove a formula for the graded core of the powers of the unique homogeneous maximal ideal in a standard graded Cohen-Macaulay ring of arbitrary charact…
Let X be a Fano manifold of dimension n and index n-3. Kawamata proved the non vanishing of the global sections of the fundamental divisor in the case n=4. Moreover he proved that if Y is a general element of the fundamental system then Y has at most canonical singularities. We prove a generalization of this result in arbitrary dimension.
In this article we prove a relative Kawamata-Viehweg vanishing-type theorem for PLT $3$-folds in characteristic $p>5$. We use this to prove the normality of minimal log canonical centers and the adjunction formula for codimension $2$ subvarieties on $\mathbb{Q}$-factorial $3$-folds in characteristic $p>5$.
Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by using multiplier ideal sheaves, we give a vanishing theorem of powers of $\mathscr{I}$ when it defines a local complete intersection subvariety with log canonical singularities.
We study the vanishing ideal of the parametrized algebraic toric associated to the complete multipartite graph $\G=\mathcal{K}_{α_1,...,α_r}$ over a finite field of order $q$. We give an explicit family of binomial generators for this lattice ideal, consisting of the generators of the ideal of the torus, (referred to as type I generators), a set of quadratic binomials corresponding to the cycles of length 4 in $\G$ and which generate the \emph{toric algebra of $\G$} (type II generators) and a set of binomials of degree $q-1$ obtained combinatorially from $\G$ (type III generators). Using this …
Given a finite set of closed rational points of affine space over a field, we give a Gröbner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the Buchberger--Möller algorithm, but in contrast to that, we determine the set of leading terms of the ideal without solving any linear equation but by induction over the dimension of affine space. The elements of the Gröbner basis are also computed by induction over the dimension, using one-dimensional interpolation of coefficients of certain polynomials.
The purpose of this paper is to give two supplements for vanishing theorems: One is a relative version of the Kawamata-Viehweg-Nadel type vanishing theorem, which is obtained from an observation for the variation of the numerical dimension of singular hermitian line bundles. The other is an analytic injectivity theorem for log canonical pairs on surfaces, which can be seen as a partial answer for Fujino's conjecture.
Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex order, of the vanishing ideal I(X) of X. If the clutter is uniform, we classify the complete intersection property of I(X) using linear algebra. We show an upper bound for the minimum distance of certain parameterized linear codes along with certain estimates for the algebraic invariants of I(X).
Let X be a projective manifold of dimension n. Beltrametti and Sommese conjectured that if A is an ample divisor such that $K_X+(n-1)A$ is nef, then $K_X+(n-1)A$ has non-zero global sections. We prove a weak version of this conjecture in arbitrary dimension. In dimension three, we prove the stronger non-vanishing conjecture of Ambro, Ionescu and Kawamata and give an application to Seshadri constants.
Let K be a finite field with q elements and let X be a subset of a projective space P^{s-1}, over the field K, which is parameterized by Laurent monomials. Let I(X) be the vanishing ideal of X. Some of the main contributions of this paper are in determining the structure of I(X) and some of their invariants. It is shown that I(X) is a lattice ideal. We introduce the notion of a parameterized code arising from X and present algebraic methods to compute and study its dimension, length and minimum distance. For a parameterized code arising from a connected graph we are able to compute its length …
Let G be a graph obtained by taking r>=2 paths and identifying all first vertices and identifying all the last vertices. We compute the Castelnuovo--Mumford regularity of the quotient S/I(X), where S is the polynomial ring on the edges of G and I(X) is the vanishing ideal of the projective toric subset parameterized by G. The case we consider is the first case where the regularity was unknown, following earlier computations (by several authors) of the regularity when G is a tree, cycle, complete graph or complete bipartite graph, but specially in light of the reduction of the computation of th…
We construct an explicit minimal strong Groebner basis of the ideal of vanishing polynomials in the polynomial ring over Z/m for m>=2. The proof is done in a purely combinatorial way. It is a remarkable fact that the constructed Groebner basis is independent of the monomial order and that the set of leading terms of the constructed Groebner basis is unique, up to multiplication by units. We also present a fast algorithm to compute reduced normal forms, and furthermore, we give a recursive algorithm for building a Groebner basis in Z/m[x_1,x_2,...,x_n] along the prime factorization of m. The ob…
