On effective non-vanishing and base-point-freeness

Yujiro Kawamata

DOI: https://doi.org/10.48550/arXiv.math/0003169

2000-04-14

Abstract:Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results in lower dimensions.

Algebraic Geometry

What problem does this paper attempt to address?

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Kefeng Liu,Xueyuan Wan,Xiaokui Yang

DOI: https://doi.org/10.1007/s11425-019-9553-2

2019-01-01

Science China Mathematics

Abstract:Let X be a compact Kähler manifold and D be a simple normal crossing divisor. If D is the support of some effective k-ample divisor, we show H^q(X,Ω^p_X(log D))=0, for p+q>n+k.
Base point free theorem of Reid-Fukuda type

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.math/9903041

1999-03-08

Algebraic Geometry

Abstract:Let $(X,\Delta)$ be a proper dlt pair and $L$ a nef Cartier divisor such that $aL-(K_X+\Delta)$ is nef and log big on $(X,\Delta)$ for some $a\in {\mathbb Z}_{>0}$. Then $|mL|$ is base point free for every $m\gg 0$.
A question about generalized nonvanishing

Claudio Fontanari

2024-05-16

Abstract:Let $(X,\Delta)$ be a projective, $\mathbb{Q}$-factorial log canonical pair and let $L$ be a pseudoeffective $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is pseudoeffective. Is there an effective $\mathbb{Q}$-divisor $M$ on $X$ such that $K_X + \Delta + L$ is numerically equivalent to $M$? We are not aware of any counterexamples, but the answer is not completely clear even in the case of surfaces.

Algebraic Geometry
Steenbrink-type vanishing for surfaces in positive characteristic

Tatsuro Kawakami

2024-09-14

Abstract:Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink-type vanishing holds for $(X,B)$ if it is log canonical and $p>5$, or it is $F$-pure. We also show that rational surface singularities satisfying the vanishing are $F$-injective.

Algebraic Geometry
A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Claudio Fontanari

2024-04-12

Abstract:We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas Höring produces a counterexample, thus providing a negative answer.

Algebraic Geometry
Steenbrink‐type vanishing for surfaces in positive characteristic

Tatsuro Kawakami

DOI: https://doi.org/10.1112/blms.13146

IF: 1.036

2024-09-14

Bulletin of the London Mathematical Society

Abstract:Let (X,B) be a pair of a normal surface over a perfect field of characteristic p>0 and an effective Q ‐divisor B on X . We prove that Steenbrink‐type vanishing holds for (X,B) if it is log canonical and p>5 , or it is F ‐pure. We also show that rational surface singularities satisfying the vanishing are F ‐injective.

mathematics
Effective nonvanishing for weighted complete intersections of codimension two

Chen Jiang,Puyang Yu

2024-09-12

Abstract:We show Kawamata's effective nonvanishing conjecture (also known as the Ambro--Kawamata nonvanishing conjecture) holds for quasismooth weighted complete intersections of codimension $2$. Namely, for a quasismooth weighted complete intersection $X$ of codimension $2$ and an ample Cartier divisor $H$ on $X$ such that $H-K_X$ is ample, the linear system $|H|$ is nonempty.

Algebraic Geometry
A Note on the Strict Transformation of an Effective Cartier Divisor

Yu Zhao

2023-04-19

Abstract:Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a sufficient condition such that $Bl_{X}Y$ is smooth, where $X$ is the disjoint union of all $X_{i}$. Moreover, we prove that assuming a dimensional condition, there is an admissible subcategory of $D^{b}(Bl_{X}Y)$ which is a weak categorical crepant resolution of $Y$ in the sense of Kuznetsov.

Algebraic Geometry
A non-vanishing theorem for -divisors on surfaces

J CHEN,M CHEN,D ZHANG

DOI: https://doi.org/10.1016/j.jalgebra.2005.05.005

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:We prove a non-vanishing theorem of the cohomology H0 of the adjoint divisor KX+⌈L⌉ where ⌈L⌉ is the round up of a nef and big Q-divisor L.
Nonvanishing and Abundance for cones of movable divisors

Gilberto Bini,Maria Chiara Brambilla,Claudio Fontanari,Elisa Postinghel

2024-05-23

Abstract:Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version of the Log Nonvanishing Conjecture and of the Log Abundance Conjecture for a klt pair $(X,\Delta)$, that is: if $K_X+\Delta \in \overline{\mathrm{Mov}}^{k}(X)$, then $K_X+\Delta \in \mathrm{Mov}^{k}(X)$. Moreover, we prove that if the Log Minimal Model Program, the Log Nonvanishing, and the Log Abundance hold, then so does our conjecture.

Algebraic Geometry
Positivity of double point divisors

Yonghwa Cho,Jinhyung Park

2024-12-03

Abstract:The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double point divisor from outer projection is always base point free, and Bo Ilic proved that it is ample except for a Roth variety. The first aim of this paper is to show that the double point divisor from outer projection is very ample except in the Roth case. This answers a question of Bo Ilic. Unlike the case of outer projection, the double point divisor from inner projection may not be base point free nor ample. However, Atsushi Noma proved that it is semiample except when a variety is neither a Roth variety, a scroll over a curve, nor the second Veronese surface. In this paper, we investigate when the double point divisor from inner projection is base point free or big.

Algebraic Geometry
A base point free theorem for log canonical surfaces

Shigetaka Fukuda

DOI: https://doi.org/10.48550/arXiv.alg-geom/9705005

1997-05-03

Algebraic Geometry

Abstract:We prove a base point free theorem for nef and log big divisors on log canonical surfaces.
A basepoint free theorem for algebraically integrable foliations

Priyankur Chaudhuri,Omprokash Das

2023-11-19

Abstract:We show that if $\mathcal{F}$ is an algebraically integrable foliation on a $\mathbb{Q}$-factorial normal projective variety $X$, $ A, B \geq 0$ are $\mathbb{Q}$-divisors on $X$ with $A$ ample such that $(\mathcal{F}, B)$ is foliated dlt and $K_{\mathcal{F}}+ A+B$ is nef, then $K_{\mathcal{F}}+A+B$ is semiample. We also provide some applications of this and related results such as contraction theorem for F-dlt pairs and a special case of the b-semiampleness conjecture.

Algebraic Geometry
Base point free theorems--saturation, b-divisors, and canonical bundle formula--

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.math/0508554

2005-08-29

Algebraic Geometry

Abstract:We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically effective log canonical divisors.
Asymptotic base loci on hyper-Kähler manifolds

Francesco Antonio Denisi,Ángel David Ríos Ortiz

2024-06-26

Abstract:Given a projective hyper-Kähler manifold $X$, we study the asymptotic base loci of big divisors on $X$. We provide a numerical characterization of these loci and study how they vary while moving a big divisor class in the big cone, using the divisorial Zariski decomposition, and the Beauville-Bogomolov-Fujiki form. We determine the dual of the cones of $k$-ample divisors $\mathrm{Amp}_k(X)$, for any $1\leq k \leq \mathrm{dim}(X)$, answering affirmatively (in the case of projective hyper-Kähler manifolds) a question asked by Sam Payne. We provide a decomposition for the effective cone $\mathrm{Eff}(X)$ into chambers of Mori-type, analogous to that for Mori dream spaces into Mori chambers. To conclude, we illustrate our results with several examples.

Algebraic Geometry
A Nonvanishing Theorem for Q-divisors

ALFRED JUNGKAI CHEN,Meng Chen,De-Qi Zhang

2005-01-01

Abstract:We prove a non-vanishing theorem of the cohomology H^0 of the adjoint divisor K_X + L' where L' is the round up of a nef and big Q-divisor L.
On the Kodaira--Saito vanishing theorem of weakly ample divisor

Yongpan Zou

2023-08-02

Abstract:On smooth projective variety, for a reduced effective divisor which is weakly ample in the sense of cohomology, we introduce a Kadaira--Saito vanishing theorem for it.

Algebraic Geometry,Complex Variables
Effective non-vanishing for algebraic surfaces in positive characteristic

Qihong Xie

DOI: https://doi.org/10.1016/j.jalgebra.2006.06.008

IF: 0.908

2006-11-01

Journal of Algebra

Abstract:We give a theorem on the effective non-vanishing problem for algebraic surfaces in positive characteristic. For the Kawamata–Viehweg vanishing, the logarithmic Kollár vanishing and the logarithmic semipositivity, we give their counterexamples on ruled surfaces in positive characteristic.

mathematics
A non-boundary nef divisor on $\bar{M}_{0,12}$

Aaron Pixton

DOI: https://doi.org/10.48550/arXiv.1112.5512

2011-12-23

Algebraic Geometry

Abstract:We describe a nef divisor $D_P$ on $\bar{M}_{0,12}$ that is not numerically equivalent to an effective sum of boundary divisors.
A G ] 3 1 O ct 2 00 5 Effective Non-vanishing for Algebraic Surfaces in Positive Characteristic I ∗

Qihong Xie

2005-01-01

Abstract:We give a partial answer to the effective non-vanishing problem for algebraic surfaces in positive characteristic, and also give counterexamples for the Kawamata-Viehweg vanishing, the logarithmic Kollár vanishing and the logarithmic semipositivity on ruled surfaces in positive characteristic.

On effective non-vanishing and base-point-freeness

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Base point free theorem of Reid-Fukuda type

A question about generalized nonvanishing

Steenbrink-type vanishing for surfaces in positive characteristic

A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Steenbrink‐type vanishing for surfaces in positive characteristic

Effective nonvanishing for weighted complete intersections of codimension two

A Note on the Strict Transformation of an Effective Cartier Divisor

A non-vanishing theorem for -divisors on surfaces

Nonvanishing and Abundance for cones of movable divisors

Positivity of double point divisors

A base point free theorem for log canonical surfaces

A basepoint free theorem for algebraically integrable foliations

Base point free theorems--saturation, b-divisors, and canonical bundle formula--

Asymptotic base loci on hyper-Kähler manifolds

A Nonvanishing Theorem for Q-divisors

On the Kodaira--Saito vanishing theorem of weakly ample divisor

Effective non-vanishing for algebraic surfaces in positive characteristic

A non-boundary nef divisor on $\bar{M}_{0,12}$

A G ] 3 1 O ct 2 00 5 Effective Non-vanishing for Algebraic Surfaces in Positive Characteristic I ∗