---
title: Base Point Free Theorem in Algebraic Geometry
url: https://www.emergentmind.com/topics/base-point-free-theorem
type: topic
---

# Base Point Free Theorem in Algebraic Geometry

Searching arXiv for recent and foundational papers on the base point free theorem and related variants.
The **Base Point Free Theorem** is a semiampleness statement: under suitable positivity hypotheses, a nef divisor, line bundle, or adjoint class admits enough global sections to define a morphism. In the classical algebraic form, if \((X,\Delta)\) is a projective klt pair and \(D\) is a nef Cartier divisor such that \(D-(K_X+\Delta)\) is nef and big, then \(D\) is semi-ample; equivalently, some multiple \(|mD|\) is base-point free [2509.03109]. In contemporary literature the same paradigm appears in transcendental Kähler geometry, quasi-log geometry, foliated birational geometry, and positive or mixed characteristic, with the conclusion reformulated as global generation of a multiple, existence of a contraction, or descent of an adjoint \((1,1)\)-class to a Kähler class on a target space [1807.08442].

## 1. Classical algebraic form and geometric meaning

In the projective setting, the theorem is formulated for a nef divisor \(D\) relative to an adjoint datum. The standard statement recorded in the recent foliated comparison is the **Kawamata–Shokurov Base-Point-Free Theorem**: if \((X,\Delta)\) is a projective klt pair and \(D\) is a nef Cartier divisor such that \(D-(K_X+\Delta)\) is nef and big, then \(D\) is semi-ample [2509.03109]. Here “semi-ample” means that there exists an integer \(m>0\) such that \(|mD|\) is base-point free, or equivalently that \(\mathcal O_X(mD)\) is globally generated.

The positivity conditions used in the theorem are standard. A line bundle or Cartier divisor is **nef** if it pairs nonnegatively with every curve, and **big** if its numerical class lies in the interior of the pseudo-effective cone, or equivalently if some multiple defines a birational map in the projective setting. The conclusion produces a morphism
\[
\phi_{|mD|}:X\to \operatorname{Proj}\bigoplus_{k\ge 0} H^0(X,\mathcal O_X(kmD)),
\]
so the theorem converts numerical positivity into a contraction or fibration structure.

A basic special case is the canonical bundle. For a smooth projective manifold \(X\), if \(K_X\) is nef and big, then there exists \(m_0\in \mathbb Z_+\) such that \(|mK_X|\) is base-point free for all \(m\ge m_0\) [1409.8374]. This is the form studied by Song, who gave an analytic proof via the Kähler–Ricci flow, degeneration theory, and \(L^2\)-methods rather than algebraic vanishing theorems.

## 2. Adjoint \((1,1)\)-classes on Kähler threefolds

A major transcendental extension replaces divisors by Bott–Chern \((1,1)\)-classes. For a normal compact complex space in the Fujiki class, one considers
\[
H^{1,1}_{\rm BC}(X)
=
\frac{\{\text{closed real }(1,1)\text{–currents}\}}
{\{\partial\bar\partial\text{–exact currents}\}},
\]
together with the usual positivity notions: **Kähler classes**, **Kähler currents**, **big classes**, **modified Kähler classes**, and **nef classes** [1807.08442]. If \(\alpha\) is nef and big, its **Null locus** is
\[
\Null(\alpha)
=
\bigcup_{\substack{V\subset X\text{ subvariety}\\ \alpha^{\dim V}\cdot [V]=0}} V.
\]

Höring proved a transcendental base-point-free theorem for adjoint classes on Kähler threefolds. Let \(X\) be a normal, \(\mathbb Q\)-factorial compact Kähler threefold with only terminal singularities, let \(\omega\) be a Kähler class, and set
\[
\alpha := K_X+\omega \in H^{1,1}_{\rm BC}(X,\mathbb R).
\]
If \(\alpha\) is nef and big, then there exist a morphism \(\phi:X\to Z\) and a Kähler class \(\alpha_Z\in H^{1,1}_{\rm BC}(Z,\mathbb R)\), where \(Z\) is a normal compact Kähler space with isolated rational singularities, such that
\[
\alpha=\phi^*(\alpha_Z)
\]
and \(\phi\) has connected fibres [1807.08442]. In this setting “semi-ample” no longer means generation of a linear system; it means that the transcendental class is the pull-back of a Kähler class on a lower-dimensional Kähler space.

The proof runs through an \(\alpha\)-trivial \(K_X\)-MMP in the Kähler category, followed by a geometric analysis of the Null locus. After passing to a model \(Y\), one shows that \(\Null(\alpha_Y)\) has pure dimension one. A contraction theorem for a one-dimensional Null locus then produces a bimeromorphic morphism \(\psi:Y\to Z\) contracting each connected component of \(\Null(\alpha_Y)\) to a point. Finally, one descends the class and proves that the descended class on \(Z\) is Kähler by a positivity criterion on spaces with isolated rational singularities [1807.08442].

This transcendental theorem recovers the algebraic base-point-free theorem for \(\mathbb R\)-divisors when \(H^2(X,\mathcal O_X)=0\). In the Calabi–Yau case \(K_X=0\), the argument uses the Beauville–Bogomolov–Campana–Höring–Peternell decomposition and the surface result of Filip–Tosatti. The higher-dimensional Calabi–Yau and hyperkähler cases remain open, while dimension two is settled by Filip–Tosatti [1807.08442].

## 3. Quasi-log schemes and singular adjunction frameworks

A different generalization is Fujino’s quasi-log formalism. A quasi-log scheme
\[
[X,\omega]
=
\bigl(X,\omega,X_{-\infty},\{C\},f:(Y,B_Y)\to X\bigr)
\]
is built from a proper morphism from a globally embedded simple normal crossing pair \((Y,B_Y)\) satisfying \(f^*\omega\sim_{\mathbb R} K_Y+B_Y\), together with a non-qlc locus and a collection of qlc strata [1401.4332]. For a proper morphism \(T:X\to S\), an \(\mathbb R\)-Cartier divisor \(L\) is **nef and log big over \(S\) with respect to \([X,\omega]\)** if \(L\) is \(T\)-nef and \(L|_C\) is \(T\)-big for every qlc stratum \(C\subset X\).

The **basepoint-free theorem of Reid–Fukuda type for quasi-log schemes** states that if \([X,\omega]\) is a quasi-log scheme, \(T:X\to S\) is projective, and \(L\) is a \(T\)-nef Cartier divisor such that for some \(q>0\),
\[
qL-\omega
\quad\text{is nef and log big over }S\text{ with respect to }[X,\omega],
\]
and if \(\mathcal O_X(mL)\) is \(T\)-generated for every \(m\gg 0\), then \(\mathcal O_X(mL)\) is \(T\)-generated for all \(m\gg 0\) [1401.4332].

Its proof is inductive on \(\dim(X\setminus X_{-\infty})\). The main tools are adjunction and vanishing for quasi-log schemes, reduction to the non-qlc locus, and a perturbation lemma replacing \(\omega\) by \(\omega+\varepsilon E\) for a small effective divisor \(E\), thereby creating new qlc centers inside the base locus. A Noetherian induction argument using two large primes \(p,p'\) then shrinks the relative base locus by passing from \(\operatorname{Bs}_T|pL|\) to \(\operatorname{Bs}_T|p'pL|\) [1401.4332].

This formalism recovers the usual Reid–Fukuda base-point-free theorem for log-canonical pairs: if \((X,B)\) is lc and \(L\) is \(T\)-nef Cartier with \(qL-(K_X+B)\) nef and log big over \(S\), then \(\mathcal O_X(mL)\) is \(T\)-generated. It also applies to non-normal objects such as a nodal curve \(C\) on a smooth surface, which carries the quasi-log structure \([C,K_C]\) [1401.4332].

## 4. Foliated base-point-free theorems

In foliated birational geometry the canonical class \(K_X\) is replaced by the canonical class \(K_{\mathcal F}\) of a foliation. For a normal variety \(X\), a **rank one foliation** is a saturated rank-one subsheaf
\[
T_{\mathcal F}\subset T_X
\]
closed under the Lie bracket, and \(K_{\mathcal F}\) is defined by \(\mathcal O_X(-K_{\mathcal F})\simeq T_{\mathcal F}\). A **rank-one foliated pair** is \((\mathcal F,\Delta)\), where \(K_{\mathcal F}+\Delta\) is \(\mathbb Q\)-Cartier; it is **log canonical** if every discrepancy satisfies \(a(E,\mathcal F,\Delta)\ge -1\) [2509.03109].

Cascini–Spicer prove a foliated base-point-free theorem on threefolds. Let \(X\) be a \(\mathbb Q\)-factorial projective klt threefold, let \(\mathcal F\subset T_X\) be a foliation of rank one, and let \(\Delta=A+B\) with \(A\) ample and \(B\ge 0\). If \((\mathcal F,\Delta)\) is log canonical and
\[
D:=K_{\mathcal F}+\Delta
\]
is nef, then \(D\) is semi-ample; equivalently, there exists \(m>0\) such that \(|mD|\) is base-point free [2509.03109].

The proof follows the same broad outline as the classical Kawamata–Shokurov theorem but requires three foliated ingredients: a cone theorem for \(K_{\mathcal F}+\Delta\) whose negative extremal rays are spanned by \(\mathcal F\)-invariant curves, a foliated MMP in dimension three, and a semialgebraic integrability statement for the non-big case. When \(D\) is nef but not big, one shows that \(\mathcal F\) is algebraically integrable and that there is an \(\mathcal F\)-invariant covering family of curves \(\xi\) with \(D\cdot \xi=0\), so \(D\) induces a fibration and is semi-ample [2509.03109].

A related theorem for algebraically integrable foliations is due to Chaudhuri–Das. If \(X\) is a \(\mathbb Q\)-factorial normal projective variety, \(\mathcal F\subset T_X\) is an algebraically integrable foliation induced by a dominant rational map, \(A\) is ample, \(B\ge 0\), \((\mathcal F,B)\) is F-dlt, and \((X,B)\) is klt, then nefness of
\[
K_{\mathcal F}+A+B
\]
implies semiampleness [2307.03530]. The proof uses a foliated cone theorem, an MMP with scaling, and a canonical bundle formula for generalized foliated pairs.

These results are accompanied by abundance statements. For a log canonical rank-one foliated pair of any dimension with \(K_{\mathcal F}+\Delta\equiv 0\), Cascini–Spicer prove
\[
K_{\mathcal F}+\Delta\sim_{\mathbb Q}0
\]
[2509.03109].

## 5. Positive characteristic and mixed characteristic

In positive characteristic, the theorem persists but the methods differ sharply from characteristic zero. Over an algebraically closed field of characteristic \(p>5\), if \((X,\Delta)\) is a projective three-dimensional klt pair and \(L\) is nef and big with \(L-(K_X+\Delta)\) nef and big, then \(L\) is semi-ample [1311.3819]. Xu’s proof uses Keel’s endowed-with-map theorem, reduction to a one-dimensional exceptional locus, plt extraction over curves, and abundance on a surface.

Over \(k=\overline{\mathbb F_p}\), Martinelli–Nakamura–Witaszek prove that if \((X,\Delta)\) is a three-dimensional projective log pair satisfying either lc or a normality condition on \(\lfloor\Delta\rfloor\), and \(L\) is nef and big with
\[
L-(K_X+\Delta)\quad\text{nef and big},
\]
then \(L\) is semiample [1407.5146]. Their argument reduces to surfaces using Keel’s theorem, then glues sections across reducible conductor loci.

Nakamura–Witaszek subsequently removed the bigness assumption on \(L\) itself for lc threefolds over \(\overline{\mathbb F_p}\) when \(p>5\): if \(L\) is a nef \(\mathbb Q\)-Cartier \(\mathbb Q\)-divisor and \(L-(K_X+\Delta)\) is nef and big, then \(L\) is semiample [1603.06197]. Bernasconi refined the klt threefold theorem in large characteristic: over a perfect field of characteristic \(p\gg 0\), if \(L\) is a nef Cartier divisor of numerical dimension \(\nu(L)\ge 1\) and \(L-(K_X+\Delta)\) is big and nef, then \(|mL|\) is base point free for all sufficiently large \(m\) [1907.10396].

The mixed-characteristic analogue takes the form of Keel’s theorem. If \(X\) is projective over an excellent base \(S\) of mixed characteristic and \(L\) is nef, then \(L\) is semiample over \(S\) if and only if both \(L|_{\mathbb E(L)}\) and \(L|_{X_{\mathbb Q}}\) are semiample over \(S\), where \(\mathbb E(L)\) is the exceptional locus; the same equivalence holds for the endowed-with-a-map property [2002.11915]. The proof replaces Frobenius with **multiplicative perfection** of the structure sheaf and constructs pushouts along universal homeomorphisms.

A nearby positive-characteristic result shows that for a strongly \(F\)-regular pair \((X,B)\), an ample \(\mathbb R\)-divisor \(A\), and
\[
L:=K_X+A+B
\]
strictly nef, \(L\) is ample; in particular some positive multiple \(mL\) is base-point-free [1305.3502]. This shifts the discussion from semiampleness under adjoint nefness to ampleness under strict nefness.

## 6. Analytic proofs, effective bounds, and scope of the theorem

Song’s analytic proof of Kawamata’s theorem replaces algebraic vanishing theory by geometric analysis. Starting from a smooth projective manifold with \(K_X\) nef and big, the normalized Kähler–Ricci flow converges to a singular Kähler–Einstein current, almost Kähler–Einstein metrics converge in Gromov–Hausdorff sense to a compact length space homeomorphic to the canonical model, and Hörmander \(L^2\)-estimates on the regular locus produce nonzero pluricanonical sections at every point. Compactness then yields global generation of a large multiple of \(K_X\) [1409.8374].

Effective versions exist in low dimension for non-normal singularities. For a projective semi-log canonical curve \((X,\Delta)\), if \(D\) is Cartier and \(A:=D-(K_X+\Delta)\) satisfies \((A\cdot X_i)>1\) for every irreducible component \(X_i\), then \(|D|\) is base-point-free. For a projective semi-log canonical surface, if
\[
A^2\cdot X_i>4 \quad\text{for every irreducible component }X_i\subset X,
\]
and
\[
A\cdot C\ge 2 \quad\text{for every curve }C\subset X,
\]
then \(|D|\) is base-point-free [1509.07268]. These bounds yield very-ampleness consequences for stable surfaces and semi-log canonical Fano surfaces.

The modern literature therefore presents the base point free theorem as a family of adjoint semiampleness principles. This suggests that the phrase “base point free theorem” functions less as a single immutable statement than as a template whose precise positivity hypotheses depend on the ambient category: projective klt pairs, quasi-log schemes, compact Kähler threefolds, foliated pairs, or varieties in positive or mixed characteristic. The common endpoint is the same: nef adjoint positivity is upgraded to a morphism, a contraction, or a descended Kähler class. Open cases remain, notably the higher-dimensional Calabi–Yau and hyperkähler transcendental setting [1807.08442].

Source: https://www.emergentmind.com/topics/base-point-free-theorem