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

What problem does this paper attempt to address?

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
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
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.
THE DEFORMATION OF PAIRS (X, E) LIFTING FROM BASE FAMILY

Kefeng Liu,Jie Tu

DOI: https://doi.org/10.4310/ajm.2018.v22.n5.a3

2018-01-01

Asian Journal of Mathematics

Abstract:We study the holomorphic family of pairs {(X-t, E-t)} by the calculation of Kuranishi data on {E-t}, where each E-t is a holomorphic vector bundle over the compact complex manifold X-t. The splitting of holomorphic cotangent bundle over E-0 via any integrable connection decomposes the Kuranishi data into the horizontal part and the vertical part. The horizontal part is the Kursnishi data of base family {X-t}. When the vertical part is vanishing under the decomposition by a Nakano semi-positive Chern connection del, i.e. {(X-t, E-t)} is lifting from base family {X-t} via del, we get a infinitesimal extension of (partial derivative) over bar -closed bundle valued (n, q)-form by the recursive method.
On Fujita's freeness conjecture in dimension 5

Fei Ye,Zhixian Zhu

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

2015-11-30

Abstract:Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$. We show that $|K_X + 6L|$ is base-point free.

Algebraic Geometry
A solution to Fujita's freeness conjecture via an extension theorem with analytic adjoint ideal sheaves

Tsz On Mario Chan

2024-11-12

Abstract:The effective freeness in Fujita's conjecture states that, for an ample line bundle $L$ on a complex projective manifold $X$, the adjoint bundle $K_X\otimes L^{\otimes m}$ is globally generated when $m \geq \dim_{\mathbb C} X + 1$. Following the approach of Angehrn and Siu, a solution is provided in this paper via the use of adjoint ideal sheaves, which provide a finer control of the non-integrable loci given by multiplier ideal sheaves, so that one can work directly with the lc singularities and the associated (minimal) lc centres as in the algebraic approaches of Kawamata and Helmke. The substitute for the Nadel or Kawamata-Viehweg vanishing theorem used in previous approaches is an extension theorem based on the techniques developed for the injectivity theorems.

Algebraic Geometry,Complex Variables
Semiampleness for generalized pairs

Priyankur Chaudhuri

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

2022-10-04

Abstract:We prove that if $(X, B+\mathbf{M})$ is a generalized klt pair with $K_X+B+\mathbf{M}_X$ nef and abundant, then $K_X+B+\mathbf{M}_X$ is semiample. More generally, we prove a generalized basepoint free theorem for generalized klt pairs.

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
Logarithmic bounds on Fujita's conjecture

Luca Ghidelli,Justin Lacini

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

2021-08-03

Abstract:Let X be a smooth complex projective variety of dimension n. We prove bounds on Fujita's basepoint freeness conjecture that grow as nloglog(n).

Algebraic Geometry
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 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.
Bertini theorems admitting base changes

Hiromu Tanaka

2023-08-09

Abstract:Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.

Algebraic Geometry
On toric foliated pairs

Osamu Fujino,Hiroshi Sato

2024-10-22

Abstract:We discuss lengths of extremal rational curves, Fujita's freeness, and the Kodaira vanishing theorem for log canonical toric foliated pairs.

Algebraic Geometry
On finiteness of log canonical models

Zhan Li

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

2020-06-02

Abstract:Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively compact rational polytope in $Q$. As a consequence, we show the existence of the log canonical model for a klt pair $(X, \Delta)/U$ with real coefficients.

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.
The augmented base locus of real divisors over arbitrary fields

Caucher Birkar

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

2013-12-01

Abstract:We show that the augmented base locus coincides with the exceptional locus (i.e. null locus) for any nef $\mathbb{R}$-Cartier divisor on any scheme projective over a field (of any characteristic). Next we prove a semi-ampleness criterion in terms of the augmented base locus generalizing a result of Keel. We also study nef divisors with positive top intersection number, and discuss some problems related to augmented base loci of log divisors.

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
Relative augmented base loci on noetherian schemes

Yusuke Ushiro

2023-08-07

Abstract:Let $f:X \to S$ be a projective morphism of noetherian schemes and let $L$ be an invertible sheaf on $X$. We show that the relative augmented base locus of $L$ coincides with the relative exceptional locus of $L$. We also prove a semi-ampleness criterion in terms of the exceptional locus generalizing the result of Keel.

Algebraic Geometry

Base point free theorem of Reid-Fukuda type

A base point free theorem for log canonical surfaces

A basepoint free theorem for algebraically integrable foliations

On effective non-vanishing and base-point-freeness

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

THE DEFORMATION OF PAIRS (X, E) LIFTING FROM BASE FAMILY

On Fujita's freeness conjecture in dimension 5

A solution to Fujita's freeness conjecture via an extension theorem with analytic adjoint ideal sheaves

Semiampleness for generalized pairs

Positivity of double point divisors

Logarithmic bounds on Fujita's conjecture

Asymptotic base loci on hyper-Kähler manifolds

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

Bertini theorems admitting base changes

On toric foliated pairs

On finiteness of log canonical models

A Nonvanishing Theorem for Q-divisors

The augmented base locus of real divisors over arbitrary fields

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

Relative augmented base loci on noetherian schemes