format: text

text:
# Higher dimensional Zariski decompositions

## 1 Introduction

It is known since the pioneering work of O.Zariski \[Zar62\] that the study of the linear series $`|kL|`$ where $`L`$ is a line bundle on a projective surface can be reduced to the case where $`L`$ is numerically effective (nef). The more precise result obtained by Zariski is that any effective $`𝐐`$-divisor $`D`$ on a projective surface $`X`$ can be uniquely decomposed into a sum $`D=P+N`$ where $`P`$ is a nef $`𝐐`$-divisor (the positive part), $`N=a_jD_j`$ is an effective $`𝐐`$-divisor (the negative part) such that the Gram matrix $`(D_iD_j)`$ is negative definite, and $`P`$ is orthogonal to $`N`$ with respect to the intersection form. Zariski shows that the natural inclusion $`H^0(kP)H^0(kL)`$ is necessarily an isomorphism in that case, relating the decomposition to the original problem.
The proof of the uniqueness in this decomposition shows that the negative part $`N`$ only depends on the class $`\{D\}`$ of $`D`$ in the Néron-Severi group $`NS(X)`$, so that $`\{D\}\{P\}`$ yields a map from part of the pseudo-effective cone to the nef cone, which we want to study geometrically.
Building upon the construction by J.-P.Demailly of metrics with minimal singularities on a pseudo-effective line bundle $`L`$ over a compact complex $`n`$-fold, we define the minimal multiplicity $`\nu (\alpha ,x)`$ of an arbitrary real pseudo-effective $`(1,1)`$-class $`\alpha `$ on a compact complex $`n`$-fold $`X`$ at some point $`xX`$. This multiplicity $`\nu (\alpha ,x)`$ is the local obstruction at $`x`$ to the numerical effectivity of $`\alpha `$, and we then get the negative part of such a class $`\alpha `$ by setting $`N(\alpha )=\nu (\alpha ,D)D`$, where $`D`$ ranges over the prime divisors of $`X`$ and $`\nu (\alpha ,D)`$ is the generic multiplicity of $`\alpha `$ along $`D`$ (cf. section 3). This negative part $`N(\alpha )`$ is an effective $`𝐑`$-divisor which is exceptional in the sense that it is very rigidly imbedded in $`X`$. When $`X`$ is a surface, the divisors we obtain in that way are exactly the effective $`𝐑`$-divisors whose support $`D_1,\mathrm{},D_r`$ have negative definite Gram matrix $`(D_iD_j)`$.
The difference $`Z(\alpha ):=\alpha \{N(\alpha )\}`$ is a real $`(1,1)`$-class on $`X`$ which we call the Zariski projection of $`\alpha `$. It is not a nef class, but is somehow nef in codimension 1. More precisely, we define the modified nef cone of a Kähler $`n`$-fold to be the closed convex cone generated by the classes in $`H^{1,1}(X,𝐑)`$ which can be written as the push-forward of a Kähler class by a modification. We then show that the Zariski projection $`Z(\alpha )`$ of a pseudo-effective class $`\alpha `$ belongs to this modified nef cone. The decomposition $`\alpha =Z(\alpha )+\{N(\alpha )\}`$ we call the divisorial Zariski decomposition, and it is just induced by the Siu decomposition of a positive current with minimal singularities in $`\alpha `$ when the latter is big. For such a big class, we give a criterion to recognize a decomposition $`\alpha =p+\{N\}`$ into a modified nef and big class and the class of an effective real divisor as the divisorial Zariski decomposition of $`\alpha `$, in terms of the non-Kähler locus of $`p`$ (cf. section 3.5)
The geometric picture is now as follows: the pseudo-effective cone of a compact complex $`n`$-fold $`X`$ is locally polyhedral away from the modified nef cone, with extremal rays that write $`𝐑_+\{D\}`$ for some exceptional prime $`D`$ of $`X`$. The Zariski projection $`Z`$ yields a projection from the pseudo-effective cone to the modified nef cone parallel to these exceptional rays, which map is concave (in some sense) and homogeneous, but not continuous up to the boundary of the pseudo-effective cone in general. The fibre $`Z^1(p)`$ of $`Z`$ above a modified nef class $`p`$ is a countable union of simplicial cones generated by exceptional families of primes.
When $`X`$ is a surface, a modified nef class is just a nef class; when $`\alpha `$ is the class of an effective $`𝐐`$-divisor $`D`$ on a projective surface, the divisorial Zariski decomposition of $`\alpha `$ is just the original Zariski decomposition of $`D`$. More generally, we show that the divisorial decomposition of a pseudo-effective class $`\alpha `$ on a Kähler surface is the unique orthogonal decomposition of $`\alpha `$ into the sum of a modified nef class and the class of an exceptional (in some sense) effective $`𝐑`$-divisor. This fact accounts for the rationality of the Zariski decomposition on a surface, meaning that the negative part $`N`$ is rational when $`D`$ is.
An interesting fact is that much of the well-known case of a surface carries on to the case where $`X`$ is a compact hyper-Kähler manifold. Using the quadratic Beauville-Bogomolov form on $`H^{1,1}(X,𝐑)`$ and deep results due to D.Huybrechts, we can prove the following facts: a family of primes is exceptional in our sense iff their Gram matrix is negative definite. In particular, a prime is exceptional iff it has negative square, and this forces it to be uniruled. The modified nef cone of a hyper-Kähler manifold is just the dual cone to the pseudoeffective cone, which is also the closure of the so-called birational (or bimeromorphic) Kähler cone. Finally, the divisorial Zariski decomposition is the unique orthogonal decomposition into a modified nef class and an exceptional divisor. In particular, the divisorial Zariski decomposition is also rational in that case.
In a last part, we explain how to tackle the above constructions in a more algebraic fashion. When $`L`$ is a big divisor on a projective manifold, we prove that the divisorial Zariski projection of $`L`$ is the only decomposition $`L=P+N`$ into real divisors with $`P`$ modified nef and $`H^0(kP)=H^0(kL)`$ for every $`k`$. The minimal multiplicities of $`\{L\}`$ (and thus its negative part) can be recovered from the asymptotic behaviour of the sections of $`kL`$. The case of a general pseudo-effective line bundle $`L`$ is then handled by approximating it by $`L+\epsilon A`$, where $`A`$ is ample.
The methods used in this paper are mostly “transcendental”, since we heavily rely on the theory of currents, but the results we aim at definitely belong to algebraic geometry, and we have thus tried to make the paper legible for more algebraically inclined readers by providing in the first section a rather detailed account of the tools we need afterwards.

## 2 Technical preliminaries

### 2.1 $`\overline{}`$-cohomology

When $`X`$ is an arbitrary complex manifold, the $`\overline{}`$-lemma of Kähler geometry does not hold, and it is thus better to work with $`\overline{}`$-cohomology. We will just need the $`(1,1)`$-cohomology space $`H_\overline{}^{1,1}(X,𝐂)`$, which is defined as the quotient of the space of $`d`$-closed smooth $`(1,1)`$-forms modulo the $`\overline{}`$-exact ones. The real structure on the space of forms induces a real structure on $`H_\overline{}^{1,1}(X,𝐂)`$, and we denote by $`H_\overline{}^{1,1}(X,𝐑)`$ the space of real points.

The canonical map from $`H_\overline{}^{1,1}(X,𝐂)`$ to the quotient of the space of $`d`$-closed $`(1,1)`$-currents modulo the $`\overline{}`$-exact ones is injective (because, for any degree $`0`$ current $`f`$, $`\overline{}f`$ is smooth iff $`f`$ is), and is also surjective: given a closed $`(1,1)`$-current $`T`$, one can find a locally finite open covering $`U_j`$ of $`X`$ such that $`T=\overline{}f_j`$ is $`\overline{}`$-exact on $`U_j`$. If $`\rho _j`$ is a partition of unity associated to $`U_j`$ and $`f:=\rho _jf_j`$, then $`T\overline{}f`$ is smooth. Indeed, on $`U_i`$, it is just $`\overline{}(_j\rho _j(f_if_j)`$, and each $`f_if_j`$ is smooth since it is even pluri-harmonic. As a consequence, a class $`\alpha H_\overline{}^{1,1}(X,𝐂)`$ can be seen as an affine space of closed $`(1,1)`$-currents. We denote by $`\{T\}H_\overline{}^{1,1}(X,𝐂)`$ the class of the current $`T`$. Remark that $`i\overline{}`$ is a real operator (on forms or currents), so that if $`T`$ is a real closed $`(1,1)`$-current, its class $`\{T\}`$ lies in $`H_\overline{}^{1,1}(X,𝐑)`$ and consists in all the closed currents $`T+i\overline{}\phi `$ where $`\phi `$ is a real current of degree $`0`$.

When $`X`$ is furthermore compact, it can be shown that $`H_\overline{}^{1,1}(X,𝐂)`$ is finite dimensional. The operator $`\overline{}`$ from smooth functions to smooth closed (1,1)-forms is thus an operator between Fréchet spaces with finite codimensional range; it therefore has closed range, and the quotient map $`\theta \{\theta \}`$ from smooth closed $`(1,1)`$-forms to $`H_\overline{}^{1,1}(X,𝐂)`$ endowed with its unique finite-dimensional complex vector space Hausdorff topology is thus continuous and open.

### 2.2 General facts about currents

#### 2.2.1 Siu decomposition

Let $`T`$ be a closed positive current of bidegree $`(p,p)`$ on a complex $`n`$-fold $`X`$. We denote by $`\nu (T,x)`$ its Lelong number at a point $`xX`$. The Lelong super-level sets are defined by $`E_c(T):=\{xX,\nu (T,x)c\}`$ for $`c>0`$, and a well known result of Y.T.Siu \[Siu74\] asserts that $`E_c(T)`$ is an analytic subset of $`X`$, of codimension at least $`p`$. As a consequence, for any analytic subset $`Y`$ of $`X`$, the generic Lelong number of $`T`$ along $`Y`$, defined by

$$\nu (T,Y):=inf\{\nu (T,x),xY\},$$

is also equal to $`\nu (T,x)`$ for a very general $`xY`$. It is also true that, for any irreducible analytic subset $`Y`$ of codimension $`p`$ in $`X`$, the current
$`T\nu (T,Y)[Y]`$ is positive. The symbol $`[Y]`$ denotes the integration current on $`Y`$, which is defined by integrating test forms on the smooth locus of $`Y`$. Since $`E_+(T):=_{c>0}E_c(T)`$ is a countable union of $`p`$-codimensional analytic subsets, it contains an at most countable family $`Y_k`$ of $`p`$-codimensional irreducible analytic subsets. By what we have said, $`T\nu (T,Y_1)[Y_1]\mathrm{}\nu (T,Y_k)[Y_k]`$ is a positive current for all $`k`$, thus the series $`_{k0}\nu (T,Y_k)[Y_k]`$ converges, and we have

$$T=R+\underset{k}{}\nu (T,Y_k)[Y_k]$$

for some closed positive $`(p,p)`$-current $`R`$ such that each $`E_c(R)`$ has codimension $`>p`$. The decomposition above is called the Siu decomposition of the closed positive $`(p,p)`$-current $`T`$. Since $`\nu (T,Y)=0`$ if $`Y`$ is a $`p`$-codimensional subvariety not contained in $`E_+(T)`$, it makes sense to write $`_k\nu (T,Y_k)[Y_k]=\nu (T,Y)[Y]`$, where the sum is implicitely extended over all $`p`$-codimensional irreducible analytic subsets $`YX`$.

#### 2.2.2 Almost positive currents

A real $`(1,1)`$-current $`T`$ on a complex manifold $`X`$ is said to be almost positive if $`T\gamma `$ holds for some smooth real $`(1,1)`$-form $`\gamma `$. Let $`T\gamma `$ be a closed almost positive $`(1,1)`$-current. On a small enough open set $`U`$ with coordinates $`z=(z_1,\mathrm{},z_n)`$, we write $`T=\overline{}\phi `$ where $`\phi `$ is a degree $`0`$ current. Since $`\gamma +Ci\overline{}|z|^2`$ is a positive $`(1,1)`$-form on $`U`$ for $`C>0`$ big enough, we get that $`i\overline{}(\phi +C|z|^2)`$ is positive, which means that $`\phi +C|z|^2`$ is (the current associated to) a (unique) pluri-subharmonic function on $`U`$. A locally integrable function $`\phi `$ on $`X`$ such that $`i\overline{}\phi `$ is almost positive is called an almost pluri-subharmonic function, and is thus locally equal to a pluri-subharmonic function modulo a smooth function.

The Lelong number $`\nu (T,x)`$ of a closed almost positive $`(1,1)`$-current $`T`$ can be defined as $`\nu (T+Ci\overline{}|z|^2,x)`$ as above, since this does not depend on the smooth function $`C|z|^2`$. Consequently, the Siu decomposition of $`T`$ can also be constructed, and writes $`T=R+\nu (T,D)[D]`$, where $`D`$ ranges over the prime divisors of $`X`$, and $`R`$ is a closed almost positive $`(1,1)`$-current. In fact, we have $`R\gamma `$ as soon as $`T\gamma `$ for a smooth form $`\gamma `$.

#### 2.2.3 Pull-back of a current

When $`f:YX`$ is a $`surjective`$ holomorphic map between compact complex manifolds and $`T`$ is a closed almost positive $`(1,1)`$-current on $`X`$, it is possible to define its pull back $`f^{}T`$ by $`f`$ using the analogue of local equations for divisors: write $`T=\theta +i\overline{}\phi `$ for some smooth form $`\theta \{T\}`$. $`\phi `$ is then an almost pluri-subharmonic function, thus locally a pluri-subharmonic function modulo $`𝒞^{\mathrm{}}`$. One defines $`f^{}T`$ to be $`f^{}\theta +i\overline{}f^{}\phi `$, as this is easily seen to be independent of the choices made. Of course, we then have $`\{f^{}T\}=f^{}\{T\}`$.

#### 2.2.4 Gauduchon metrics and compactness

On any compact complex $`n`$-fold $`X`$, there exists a Hermitian metric $`\omega `$ such that $`\omega ^{n1}`$ is $`\overline{}`$-closed. Such a metric is called a Gauduchon metric. As a consequence, for every smooth real $`(1,1)`$-form $`\gamma `$, the quotient map $`T\{T\}`$ from the set of closed $`(1,1)`$-currents $`T`$ with $`T\gamma `$ to $`H_\overline{}^{1,1}(X,𝐑)`$ is proper. Indeed, the mass of the positive current $`T\gamma `$ is controled by $`(T\gamma )\omega ^{n1}`$, and $`T\omega ^{n1}=\{T\}\{\omega \}`$ only depends on the class of $`T`$. The result follows by the weak compactness of positive currents with bounded mass. Another consequence is that the kernel of $`T\{T\}`$ meets the cone of closed positive $`(1,1)`$-currents at the origin only.

#### 2.2.5 Cycles as currents

One can associate to any effective $`p`$-codimensional $`𝐑`$-cycle $`Y=a_1Y_1+\mathrm{}+a_rY_r`$ a closed positive $`(p,p)`$-current $`[Y]=a_1[Y_1]+\mathrm{}+a_r[Y_r]`$, called the integration current on $`Y`$. The map $`Y[Y]`$ so defined is injective, and a result of Thie says that the Lelong number $`\nu ([Y],x)`$ is just the multiplicity of $`Y`$ at $`x`$. Consequently, we shall drop the brackets in $`[Y]`$ when no confusion is to be feared, and write for instance $`T=R+\nu (T,D)D`$ for a Siu decomposition, because this is more in the spirit of this work.

### 2.3 Cones in the $`\overline{}`$-cohomology

We now assume that $`X`$ is compact, and fix some reference Hermitian form $`\omega `$ (i.e. a smooth positive definite $`(1,1)`$-form). A cohomology class
$`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is said to be pseudo-effective iff it contains a positive current;
$`\alpha `$ is nef (numerically effective) iff, for each $`\epsilon >0`$, $`\alpha `$ contains a smooth form $`\theta _\epsilon `$ with $`\theta _\epsilon \epsilon \omega `$;
$`\alpha `$ is big iff it contains a Kähler current, i.e. a closed $`(1,1)`$-current $`T`$ such that $`T\epsilon \omega `$ for $`\epsilon >0`$ small enough. Finally, $`\alpha `$ is a Kähler class iff it contains a Kähler form (note that a smooth Kähler current is the same thing as a Kähler form).
Since any two Hermitian forms $`\omega _1`$, $`\omega _2`$ are commensurable (i.e. $`C^1\omega _2\omega _1C\omega _2`$ for some $`C>0`$), these definitions do not depend on the choice of $`\omega `$.

The set of pseudo-effective classes is a closed convex cone $`H_\overline{}^{1,1}(X,𝐑)`$, called the pseudo-effective cone. It has compact base, because so is the case of the cone of closed positive $`(1,1)`$-currents. Similarly, one defines the nef cone $`𝒩`$ (a closed convex cone), the big cone $``$ (an open convex cone), and the Kähler cone $`𝒦`$ (an open convex cone). We obviously have the inclusions

$$𝒦$$

and

$$𝒦𝒩.$$

By definition, $`X`$ is a Kähler manifold iff its Kähler cone $`𝒦`$ is non-empty. Similarly (but this is a theorem, cf. \[DP01\]) $`X`$ is a Fujiki manifold (i.e. bimeromorphic to a Kähler manifold) iff its big cone $``$ is non-empty (see also the proof of proposition 2.3 below). If $`X`$ is Kähler, $`𝒦`$ is trivially the interior $`𝒩^0`$ of the nef cone. Similarly, if $`X`$ is Fujiki, $``$ is trivially the interior $`^0`$ of the pseudo-effective cone.
We will now and then denote by $``$ the partial order relation on $`H_\overline{}^{1,1}(X,𝐑)`$ induced by the convex cone $``$.

### 2.4 The Néron-Severi space

Given a line bundle $`L`$ on $`X`$, each smooth Hermitian metric $`h`$ on $`L`$ locally writes as $`h(x,v)=|v|^2e^{2\phi (x)}`$ for some smooth local weight $`\phi `$; the curvature form $`\mathrm{\Theta }_h(L):=\frac{i}{\pi }\overline{}\phi `$ is a globally defined real $`(1,1)`$-form, whose class in $`H_\overline{}^{1,1}(X,𝐑)`$ we denote by $`c_1(L)`$, the first Chern class of $`L`$. We write $`dd^c=\frac{i}{\pi }\overline{}`$ for short. A singular Hermitian metric $`h`$ on $`L`$ is by definition a metric $`h=h_{\mathrm{}}e^{2\phi }`$, where $`h_{\mathrm{}}`$ is a smooth Hermitian metric on $`L`$ and the weight $`\phi `$ is a locally integrable function. The curvature current of $`h`$ is defined as $`\mathrm{\Theta }_h(L):=\mathrm{\Theta }_h_{\mathrm{}}(L)+dd^c\phi `$; it also lies in $`c_1(L)`$. Conversely, given a smooth Hermitian metric $`h_{\mathrm{}}`$ on $`L`$, any closed real $`(1,1)`$-current $`T`$ in $`c_1(L)`$ can be written (by definition) as $`T=\mathrm{\Theta }_h_{\mathrm{}}(L)+dd^c\phi `$. But $`\phi `$ is just a degree $`0`$ current $`a`$ $`priori`$. However, $`\phi `$ is automatically $`L_{loc}^1`$ in case $`T`$ is almost positive (cf. section 2.2.2), thus each almost positive current $`T`$ in $`c_1(L)`$ is the curvature form of a singular Hermitian metric on $`L`$.

The image of the homomorphism Pic$`(X)H_\overline{}^{1,1}(X,𝐑)`$ $`Lc_1(L)`$ is called the Néron-Severi group, denoted by $`NS(X)`$. It is a free $`𝐙`$-module, whose rank is denoted by $`\rho (X)`$, and called the Picard number of $`X`$. The real Néron-Severi space $`NS(X)_𝐑`$ is just the real subspace of dimension $`\rho (X)`$ in $`H_\overline{}^{1,1}(X,𝐑)`$ generated by $`NS(X)`$. Kodaira’s embedding theorem can be formulated as follows: $`X`$ is a projective manifold iff the intersection of the Kähler cone $`𝒦`$ with $`NS(X)_𝐑`$ is non-empty. Similarly, $`X`$ is a Moishezon manifold (i.e. bimeromorphic to a projective manifold) iff the intersection of the big cone $``$ with $`NS(X)_𝐑`$ is non-empty (cf. \[DP01\]).

### 2.5 Currents with analytic singularities

#### 2.5.1 Definition

A closed almost positive $`(1,1)`$-current $`T`$ on a compact complex $`n`$-fold $`X`$ is said to have analytic singularities (along a subscheme $`V()`$ defined by a coherent ideal sheaf $``$) if there exists some $`c>0`$ such that $`T`$ is locally congruent to $`\frac{c}{2}dd^c\mathrm{log}(|f_1|^2+\mathrm{}+|f_k|^2)`$ modulo smooth forms, where $`f_1,\mathrm{},f_k`$ are local generators of $``$. $`T`$ is thus smooth outside the support of $`V()`$, and it is an immediate consequence of the Lelong-Poincaré formula that $`\nu (T,D)D`$ is just $`c`$ times the divisor part of the scheme $`V()`$. If we first blow-up $`X`$ along $`V()`$ and then resolve the singularities, we get a modification $`\mu :\stackrel{~}{X}X`$, where $`\stackrel{~}{X}`$ is a compact complex manifold, such that $`\mu ^1`$ is just $`𝒪(D)`$ for some effective divisor $`D`$ upstairs. The pull-back $`\mu ^{}T`$ clearly has analytic singularities along $`V(\mu ^1)=D`$, thus its Siu decomposition writes

$$\mu ^{}T=\theta +cD$$

where $`\theta `$ is a smooth $`(1,1)`$-form. If $`T\gamma `$ for some smooth form $`\gamma `$, then $`\mu ^{}T\mu ^{}\gamma `$, and thus $`\theta \mu ^{}\gamma `$. This operation we call a resolution of the singularities of $`T`$.

#### 2.5.2 Regularization(s) of currents

We will need two basic types of regularizations (inside a fixed cohomology class) for closed $`(1,1)`$-currents, both due to J.-P.Demailly.

###### Theorem 2.1 (Dem82, Dem92)

Let $`T`$ be a closed almost positive $`(1,1)`$-current on a compact complex manifold $`X`$, and fix a Hermitian form $`\omega `$. Suppose that $`T\gamma `$ for some smooth real $`(1,1)`$-form $`\gamma `$ on $`X`$. Then:

(i) There exists a sequence of smooth forms $`\theta _k`$ in $`\{T\}`$ which converges weakly to $`T`$, and such that $`\theta _k\gamma C\lambda _k\omega `$ where $`C>0`$ is a constant depending on the curvature of $`(T_X,\omega )`$ only, and $`\lambda _k`$ is a decreasing sequence of continuous functions such that $`\lambda _k(x)\nu (T,x)`$ for every $`xX`$.

(ii) There exists a sequence $`T_k`$ of currents with analytic singularities in $`\{T\}`$ which converges weakly to $`T`$, such that $`T_k\gamma \epsilon _k\omega `$ for some sequence $`\epsilon _k>0`$ decreasing to $`0`$, and such that $`\nu (T_k,x)`$ increases to $`\nu (T,x)`$ uniformly with respect to $`xX`$.

Point (ii) enables us in particular to approximate a Kähler current $`T`$ inside its cohomology class by Kähler currents $`T_k`$ with analytic singularities, with a very good control of the singularities. A big class therefore contains plenty of Kähler currents with analytic singularities.

### 2.6 Intersection of currents

Just as cycles, currents can be intersected provided their singular sets are in an acceptable mutual position. Specifically, let $`T`$ be a closed positive $`(1,1)`$-current on a complex manifold $`X`$. Locally, we have $`T=dd^c\phi `$ with $`\phi `$ a pluri-subharmonic function, which is well defined modulo a pluri-harmonic (hence smooth) function. We therefore get a globally well-defined unbounded locus $`L(T)`$, which is the complement of the open set of points near which $`\phi `$ is locally bounded. Assume now that $`T_1`$, $`T_2`$ are two closed positive $`(1,1)`$-currents such that $`L(T_j)`$ is contained in an analytic set $`A_j`$ (which may be $`X`$); locally, we write $`T_j=dd^c\phi _j`$ with $`\phi _j`$ a pluri-subharmonic function. If $`A_1A_2`$ has codimension at least $`2`$, then it is shown in \[Dem92\] that $`\phi _1dd^c\phi _2`$ has locally finite mass, and that $`dd^c\phi _1dd^c\phi _2:=dd^c(\phi _1dd^c\phi _2)`$ yields a globally defined closed positive $`(2,2)`$-current, denoted by $`T_1T_2`$. It is also true that $`T_1T_2`$ lies in the product cohomology class $`\{T_1\}\{T_2\}H_\overline{}^{2,2}(X,𝐑)`$.
We will only need the following two special cases: if $`T_1`$ is a closed positive $`(1,1)`$-current with analytic singularities along a subscheme of codimension at least $`2`$, then $`T_1T_2`$ exists for every closed positive $`(1,1)`$-current $`T_2`$.
If $`D_1`$ and $`D_2`$ are two distinct prime divisors, then $`[D_1][D_2]`$ is a well defined closed positive $`(2,2)`$-current. Since its support is clearly contained in the set-theoretic intersection $`D_1D_2`$ (whose codimension is at least $`2`$), we have $`[D_1][D_2]=a_j[Y_j]`$, where the $`Y_j`$’s are the components of $`D_1D_2`$. In fact, it can be shown that $`a_jY_j`$ is just the $`2`$-cycle associated to the scheme-theoretic intersection $`D_1D_2`$, thus $`[D_1][D_2]`$ is just the integration current associated to the cycle $`D_1D_2`$.

### 2.7 The modified nef cone

For our purposes, we need to introduce a new cone in $`H_\overline{}^{1,1}(X,𝐑)`$, which is somehow the cone of classes that are nef in codimension 1. Let $`X`$ be a compact complex $`n`$-fold, and $`\omega `$ be some reference Hermitian form.

###### Definition 2.2 (Modified nef and Kähler classes)

Let $`\alpha `$ be a class in $`H_\overline{}^{1,1}(X,𝐑)`$.

(i) $`\alpha `$ is said to be a modified Kähler class iff it contains a Kähler current $`T`$ with $`\nu (T,D)=0`$ for all prime divisors $`D`$ in $`X`$.

(ii) $`\alpha `$ is said to be a modified nef class iff, for every $`\epsilon >0`$, there exists a closed $`(1,1)`$-current $`T_\epsilon `$ in $`\alpha `$ with $`T_\epsilon \epsilon \omega `$ and $`\nu (T_\epsilon ,D)=0`$ for every prime $`D`$.

This is again independent of the choice of $`\omega `$ by commensurability of the Hermitian forms. The set of modified Kähler classes is an open convex cone called the modified Kähler cone and denoted by $`𝒦`$. Similarly, we get a closed convex cone $`𝒩`$, the modified nef cone. Using the Siu decomposition, we immediately see that $`𝒦`$ is non-empty iff the big cone $``$ is non-empty, in which case $`𝒦`$ is just the interior of $`𝒩`$.
Remark 1: upon regularizing the currents using (ii) of theorem 2.1, we can always assume that the currents involved in the definition have analytic singularities along a subcheme of codimension at least 2.
Remark 2: the modified nef cone of a compact complex surface is just its nef cone (cf. section 4.2.1).
Remark 3: just as for nef classes, one cannot simply take $`\epsilon =0`$ in the definition of a modified nef class. We recall the example given in \[DPS94\]: there exists a ruled surface $`X`$ over an elliptic curve such that $`X`$ contains an irreducible curve $`C`$ with the following property: the class $`\{C\}H_\overline{}^{1,1}(X,𝐑)`$ is nef, but contains only one positive current, which is of course the integration current $`[C]`$.

The following proposition gives a more “algebraic” characterization of $`𝒦`$, which also explains the (seemingly dumb) terminology.

###### Proposition 2.3

A class $`\alpha `$ lies in $`𝒦`$ iff there exists a modification
$`\mu :\stackrel{~}{X}X`$ and a Kähler class $`\stackrel{~}{\alpha }`$ on $`\stackrel{~}{X}`$ such that $`\alpha =\mu _{}\stackrel{~}{\alpha }`$.

$`Proof`$: the argument is adapted from \[DP01\], theorem 3.4. If $`\stackrel{~}{\omega }`$ is a Kähler form on $`\stackrel{~}{X}`$ and $`\omega `$ is our reference Hermitian form on $`X`$, then $`\mu ^{}\omega C\stackrel{~}{\omega }`$ for some $`C>0`$, since $`\stackrel{~}{X}`$ is compact. Since $`\mu `$ is a modification, we have $`\mu _{}\mu ^{}\omega =\omega `$, so we get $`T:=\mu _{}\stackrel{~}{\omega }C^1\omega `$, and $`T`$ is thus a Kähler current. Since the singular values of $`\mu `$ are in codimension at least 2, we immediately see that $`\nu (T,D)=0`$ for every prime divisor $`D`$ in $`X`$, and $`\{T\}=\mu _{}\{\omega \}`$ lies in $`𝒦`$ as desired. Conversely, if $`\alpha 𝒦`$ is represented by a Kähler current $`T`$ with $`\nu (T,D)=0`$ for all $`D`$, there exists by (ii) of theorem 2.1 a Kähler current $`T_k`$ in $`\alpha `$ with analytic singularities along a subscheme $`V_k`$ with $`\nu (T_k,D)\nu (T,D)`$, so that $`V_k`$ has no divisor component. We select a resolution of the singularities of $`T_k`$ $`\mu :\stackrel{~}{X}X`$, and write $`\mu ^{}T_k=\theta +F`$, where $`\theta `$ is a smooth form and $`F`$ is an effective $`𝐑`$-divisor. Since $`T_k\epsilon \omega `$ for $`\epsilon >0`$ small enough, we get that $`\theta \mu ^{}\epsilon \omega `$. Denoting by $`E_1,\mathrm{},E_r`$ the $`\mu `$-exceptional prime divisors on $`\stackrel{~}{X}`$, it is shown in \[DP01\], lemma 3.5, that one can find $`\delta _1,\mathrm{},\delta _r>0`$ small enough and a closed smooth $`(1,1)`$-form $`\tau `$ in $`\{\delta _1E_1+\mathrm{}+\delta _rE_r\}`$ such that $`\mu ^{}\epsilon \omega \tau `$ is positive definite everywhere. It follows that $`\theta \tau `$ is a Kähler form upstairs. Now, we have

$$\alpha =\mu _{}\{T_k\}=\mu _{}\{\theta (\delta _1E_1+\mathrm{}+\delta _rE_r)\}=\mu _{}\{\theta \tau \},$$

since $`E_j`$ is $`\mu `$-exceptional and so is $`F`$ because $`\mu _{}F`$ is an effective divisor contained in the scheme $`V_k`$; this concludes the proof of proposition 2.3.

That a modified nef classe is somehow nef in codimension 1 is reflected in the following

###### Proposition 2.4

If $`\alpha `$ is a modified Kähler (resp. nef) class, then $`\alpha _{|D}`$ is big (resp. pseudo-effective) for every prime divisor $`DX`$.

$`Proof`$: if $`\alpha `$ is a modified nef class and $`\epsilon >0`$ is given, choose a current $`T_\epsilon \epsilon \omega `$ in $`\alpha `$ with analytic singularities in codimension at least 2. Locally, we have $`\omega Cdd^c|z|^2`$ for some $`C>0`$, thus $`T_\epsilon +\epsilon Cdd^c|z|^2`$ writes as $`dd^c\phi _\epsilon `$, where $`\phi _\epsilon `$ is pluri-subharmonic and is not identically $`\mathrm{}`$ on $`D`$. Thus the restriction $`(\phi _\epsilon )_{|D}`$ is pluri-subharmonic, and $`(T_\epsilon +\epsilon Cdd^c|z|^2)_{|D}`$ is a well defined closed positive current. It follows that $`(T_\epsilon )_{|D}`$ is a well defined almost positive current on $`D`$, with $`(T_\epsilon )_{|D}\epsilon C\omega _{|D}`$. This certainly implies that $`\alpha _{|D}`$ is pseudo-effective. The case $`\alpha 𝒦`$ is treated similarly.

### 2.8 Currents with minimal singularities

Let $`\phi _1`$, $`\phi _2`$ be two almost pluri-subharmonic functions on a compact complex manifold $`X`$. Then, following \[DPS00\], we say that $`\phi _1`$ is less singular than $`\phi _2`$ (and write $`\phi _1\phi _2`$) if we have $`\phi _2\phi _1+C`$ for some constant $`C`$. We denote by $`\phi _1\phi _2`$ the equivalence relation generated by the pre-order relation $``$. Note that $`\phi _1\phi _2`$ exactly means that $`\phi _1=\phi _2`$ mod $`L^{\mathrm{}}`$.
When $`T_1`$ and $`T_2`$ are two closed almost positive $`(1,1)`$-currents on $`X`$, we can also compare their singularities in the following fashion: write $`T_i=\theta _i+dd^c\phi _i`$ for $`\theta _i\{T_j\}`$ a smooth form and $`\phi _i`$ an almost pluri-subharmonic function. Since any $`L_{loc}^1`$ function $`f`$ with $`dd^cf`$ smooth is itself smooth, it is easy to check that $`\phi _i`$ does not depend on the choices made up to equivalence of singularities, and we compare the singularities of the $`T_i`$’s by comparing those of the $`\phi _i`$’s.
Let now $`\alpha `$ be a class in $`H_\overline{}^{1,1}(X,𝐑)`$ and $`\gamma `$ be a smooth real $`(1,1)`$-form, and denote by $`\alpha [\gamma ]`$ the set of closed almost positive $`(1,1)`$-currents $`T`$ lying in $`\alpha `$ with $`T\gamma `$. It is a (weakly) compact and convex subset of the space of $`(1,1)`$-currents. We endow it with the pre-order relation $``$ defined above. For any family $`T_j`$, $`jJ`$ of elements of $`\alpha [\gamma ]`$, we claim that there exists an infimum $`T=inf_{jJ}T_j`$ in $`(\alpha [\gamma ],)`$, which is therefore unique up to equivalence of singularities. The proof is pretty straightforward: fix a smooth form $`\theta `$ in $`\alpha `$, and write $`T_j=\theta +dd^c\phi _j`$ for some quasi pluri-subharmonic functions $`\phi _j`$. Since $`X`$ is compact, $`\phi _j`$ is bounded from above; therefore, upon changing $`\phi _j`$ into $`\phi _jC_j`$, we may assume that $`\phi _j0`$ for all $`jJ`$. We then take $`\phi `$ to be the upper semi-continuous upper enveloppe of the $`\phi _j`$’s, $`jJ`$, and set $`T:=\theta +dd^c\phi `$. It is immediate to check that $`TT_j`$ for all $`j`$, and that for every $`S\alpha [\gamma ]`$, $`ST_j`$ for all $`j`$ implies that $`ST`$. We should maybe explain why $`T\gamma `$: locally, we can choose coordinates $`z=(z_1,\mathrm{},z_n)`$ and a form $`q(z)=\lambda _j|z_j|^2`$ such that $`dd^cq\gamma `$ and $`dd^cq`$ is arbitrarily close to $`\gamma `$. Writing $`\theta =dd^c\psi `$ for some smooth local potential $`\psi `$, the condition $`\theta +dd^c\phi _j\gamma `$ implies that $`\psi +\phi _jq`$ is pluri-subharmonic. The upper enveloppe $`\psi +\phi q`$ is thus also pluri-subharmonic, which means that $`T=\theta +dd^c\phi dd^cq`$; letting $`dd^cq`$ tend to $`\gamma `$, we get $`T\gamma `$, as desired.

Since any two closed almost positive currents with equivalent singularities have the same Lelong numbers, the Lelong numbers of $`infT_j`$ do not depend on the specific choice of the current. In fact, it is immediate to check from the definitions that

$$\nu (\underset{jJ}{inf}T_j,x)=\underset{jJ}{inf}\nu (T_j,x).$$

As a particular case of the above construction, there exists a closed almost positive $`(1,1)`$-current $`T_{\mathrm{min},\gamma }\alpha [\gamma ]`$ which is a least element in $`(\alpha [\gamma ],)`$. $`T_{\mathrm{min},\gamma }`$ is well defined modulo $`dd^cL^{\mathrm{}}`$, and we call it a current with minimal singularities in $`\alpha `$, for the given lower bound $`\gamma `$. When $`\gamma =0`$ and $`\alpha `$ is pseudo-effective, we just write $`T_{\mathrm{min}}=T_{\mathrm{min},0}`$, and call it a positive current with minimal singularities in $`\alpha `$. It must be noticed that, even for a big class $`\alpha `$, $`T_{\mathrm{min}}`$ will be a Kähler current only in the trivial case:

###### Proposition 2.5

A pseudo-effective class $`\alpha `$ contains a positive current with minimal singularities $`T_{\mathrm{min}}`$ which is a Kähler current iff $`\alpha `$ is a Kähler class.

$`Proof`$: we can write $`T_{\mathrm{min}}=\theta +dd^c\phi `$ with $`\theta `$ a smooth form. If $`T_{\mathrm{min}}`$ is Kähler, then so is $`\epsilon \theta +(1\epsilon )T_{\mathrm{min}}=\theta +dd^c(1\epsilon )\phi `$ for $`\epsilon >0`$ small enough. We therefore get $`\phi (1\epsilon )\phi `$ by minimality, that is: $`(1\epsilon )\phi \phi +C`$ for some constant $`C`$. But this shows that $`\phi `$ is bounded, and thus $`T_{\mathrm{min}}`$ is a Kähler current with identically zero Lelong numbers. Using (i) of theorem 2.1, we can therefore regularize it into a Kähler form inside its cohomology class, qed.

Finally, we remark that a positive current with minimal singularities in a pseudo-effective class is generally non-unique (as a current), as the example of a Kähler class already shows.

## 3 The divisorial Zariski decomposition

In this section $`X`$ denotes a compact complex $`n`$-fold, and $`\omega `$ is a reference Hermitian form, unless otherwise specified.

### 3.1 Minimal multiplicities and non-nef locus

When $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is a pseudo-effective class, we want to introduce minimal multiplicities $`\nu (\alpha ,x)`$, which measure the obstruction to the numerical effectivity of $`\alpha `$. For each $`\epsilon >0`$, let $`T_{\mathrm{min},\epsilon }=T_{\mathrm{min},\epsilon }(\alpha )`$ be a current with minimal singularities in $`\alpha [\epsilon \omega ]`$ (cf. section 2.8 for the notation). We then introduce the following

###### Definition 3.1 (Minimal multiplicities)

The minimal multiplicity at $`xX`$ of the pseudo-effective class $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is defined as

$$\nu (\alpha ,x):=\underset{\epsilon >0}{sup}\nu (T_{\mathrm{min},\epsilon },x).$$

The commensurability of any two Hermitian forms shows that the definition does not depend on $`\omega `$. When $`D`$ is a prime divisor, we define the generic minimal multiplicity of $`\alpha `$ along $`D`$ as

$$\nu (\alpha ,D):=inf\{\nu (\alpha ,x),xD\}.$$

We then have $`\nu (\alpha ,D)=sup_{\epsilon >0}\nu (T_{\mathrm{min},\epsilon },D)`$, and $`\nu (\alpha ,D)=\nu (\alpha ,x)`$ for the very general $`xD`$.

###### Proposition 3.2

Let $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ be a pseudo-effective class.

(i) $`\alpha `$ is nef iff $`\nu (\alpha ,x)=0`$ for every $`xX`$.

(ii) $`\alpha `$ is modified nef iff $`\nu (\alpha ,D)=0`$ for every prime $`D`$.

$`Proof`$: if $`\alpha `$ is nef (resp. modified nef), $`\alpha [\epsilon \omega ]`$ contains by definition a smooth form (resp. a current $`T_\epsilon `$ with $`\nu (T_\epsilon ,D)=0`$ for every prime $`D`$). We thus have $`\nu (T_{\mathrm{min},\epsilon },x)=0`$ (resp. $`\nu (T_{\mathrm{min},\epsilon },D)=0`$) for every $`\epsilon >0`$, and thus $`\nu (\alpha ,x)=0`$ (resp. $`\nu (\alpha ,D)=0`$). Conversely, if $`\nu (\alpha ,x)=0`$ for every $`xX`$, applying (i) of theorem 2.1 to $`T_{\mathrm{min},\epsilon }`$, we see that $`\nu (T_{\mathrm{min},\epsilon },x)=0`$ for every $`xX`$ implies that $`\alpha [\epsilon ^{}\omega ]`$ contains a smooth form for every $`\epsilon ^{}>\epsilon `$, and $`\alpha `$ is thus nef. Finally, if $`\nu (\alpha ,D)=0`$ for every prime $`D`$, we have $`\nu (T_{\mathrm{min},\epsilon },D)=0`$ for every prime $`D`$. Since $`T_{\mathrm{min},\epsilon }`$ lies in $`\alpha [\epsilon \omega ]`$, $`\alpha `$ is modified nef by the very definition.

In view of proposition 3.2, we propose the

###### Definition 3.3 (Non-nef locus)

The non-nef locus of a pseudo-effective class $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is defined by

$$E_{nn}(\alpha ):=\{xX,\nu (\alpha ,x)>0\}.$$

Recall that the set $`E_+(T):=\{xX,\nu (T,x)>0\}`$ is a countable union of closed analytic subsets for every closed almost positive $`(1,1)`$-current $`T`$. Since $`E_{nn}(\alpha )=_{\epsilon >0}E_+(T_{\mathrm{min},\epsilon })`$, the non-nef locus is also a countable union of closed analytic subsets. We do not claim however that each super-level set $`\{xX,\nu (\alpha ,x)c\}`$ $`(c>0)`$ is an analytic subset (this is most certainly not true in general). Using results of M.Paun, proposition 3.2 generalizes as follows:

###### Proposition 3.4

A pseudo-effective class $`\alpha `$ is nef iff $`\alpha _{|Y}`$ is nef for every irreducible analytic subset $`YE_{nn}(\alpha )`$.

$`Proof`$: since the restriction of a nef class to any analytic subset is nef, one direction is clear. To prove the converse, we cannot directly apply the results of M.Paun \[Pau98\], since we allow slightly negative currents, so we sketch the proof to show that it immediately carries on to our situation. We quote without proof the following results:

###### Lemma 3.5 (Gluing lemma)

Let $`\alpha `$ be any class in $`H_\overline{}^{1,1}(X,𝐑)`$, and $`Y_1`$, $`Y_2`$ two analytic subsets of $`X`$. If $`\alpha _{|Y_i}`$ is nef $`(i=1,2)`$, then $`\alpha _{|Y_1Y_2}`$ is nef.

###### Lemma 3.6 (Extension lemma)

Let $`\theta `$ be a closed smooth $`(1,1)`$-form and $`\gamma `$ be any smooth $`(1,1)`$-form. Let $`YX`$ be an analytic subset, and assume that

$$\theta _{|Y}+dd^c\phi \gamma _{|Y}$$

for some smooth function $`\phi `$ on $`Y`$. Then, for every $`\epsilon >0`$, there exists a neighbourhood $`V`$ of $`Y`$ and a smooth function $`\phi _\epsilon `$ on $`V`$ such that

$$\theta +dd^c\phi _\epsilon \gamma \epsilon \omega $$

on $`V`$.

We now select once for all a smooth form $`\theta `$ in $`\alpha `$. By applying (ii) of theorem 2.1 to $`T_{\mathrm{min},\epsilon }\epsilon \omega `$, we can select a closed $`(1,1)`$-current with analytic singularities $`T_\epsilon ^{(1)}=\theta +dd^c\phi _\epsilon ^{(1)}`$ such that $`T_\epsilon ^{(1)}2\epsilon \omega `$ and $`\nu (T_\epsilon ^{(1)},x)\nu (T_{\mathrm{min},\epsilon },x)`$. Let $`Y_\epsilon `$ be the analytic subset along which $`T_\epsilon ^{(1)}`$ is singular; we have $`Y_\epsilon E_+(T_{\mathrm{min},\epsilon })E_{nn}(\alpha )`$. Since $`\alpha `$ is nef by assumption on every component of $`Y_\epsilon `$, using the above two lemma, we can find a neighbourhood $`V_\epsilon `$ of $`Y_\epsilon `$ and a smooth function $`\phi _\epsilon ^{(2)}`$ on $`V_\epsilon `$ such that $`\theta +dd^c\phi _\epsilon ^{(2)}\epsilon \omega `$ on $`V_\epsilon `$. We choose a smaller neighbourhood $`W_\epsilon `$ of $`Y_\epsilon `$ with $`\overline{W_\epsilon }V_\epsilon `$, and we then set

$$\phi _\epsilon ^{(3)}:=\{\begin{array}{cc}\phi _\epsilon ^{(1)}\hfill & \text{on }XW_\epsilon \text{,}\hfill \\ \mathrm{max}_\eta (\phi _\epsilon ^{(2)}C_\epsilon ,\phi _\epsilon ^{(1)})\hfill & \text{on }\overline{W_\epsilon }\hfill \end{array}$$

where $`\mathrm{max}_\eta (x,y):=\mathrm{max}\rho _\eta `$ denotes a regularized maximum function obtained by convolution with a regularizing kernel $`\rho _\eta `$ ($`\eta `$ is chosen so small that $`\mathrm{max}_\eta (x,y)=x`$ when $`y<x1/2`$), and $`C_\epsilon `$ is a positive constant, large enough to achieve $`\phi _\epsilon ^{(1)}\phi _\epsilon ^{(2)}C_\epsilon +1`$ near $`W_\epsilon `$ (we use that $`\phi _\epsilon ^{(1)}`$ is smooth away from $`Y_\epsilon `$, hence locally bounded near $`W_\epsilon `$). The two parts to be glued then coincide near $`W_\epsilon `$, thus $`\phi _\epsilon ^{(3)}`$ is smooth. Since both $`\theta +dd^c\phi _\epsilon ^{(1)}`$ and $`\theta +dd^c\phi _\epsilon ^{(2)}C_\epsilon `$ are greater than $`2\epsilon \omega `$, the gluing property of pluri-subharmonic functions yields that $`\theta +dd^c\phi _\epsilon ^{(3)}2\epsilon \omega `$. Since this is true for every $`\epsilon >0`$, this shows that $`\alpha `$ is indeed nef.

We now investigate the continuity of $`\alpha \nu (\alpha ,x)`$ and $`\nu (\alpha ,D)`$:

###### Proposition 3.7

For every $`xX`$ and every prime $`D`$, the maps $`𝐑`$ $`\alpha \nu (\alpha ,x)`$ and $`\nu (\alpha ,D)`$ are convex, homogeneous. They are continuous on the interior $`^0`$, and lower semi-continuous on the whole of $``$.

$`Proof`$: let $`\alpha `$, $`\beta `$ be two pseudo-effective classes. If $`T_{\mathrm{min},\epsilon }(\alpha )`$ and $`T_{\mathrm{min},\epsilon }(\beta )`$ are currents with minimal singularities in $`\alpha [\epsilon \omega ]`$ and $`\beta [\epsilon \omega ]`$ respectively, then
$`T_{\mathrm{min},\epsilon }(\alpha )+T_{\mathrm{min},\epsilon }(\alpha )`$ belongs to $`(\alpha +\beta )[2\epsilon \omega ]`$, thus

$$\nu (T_{\mathrm{min},2\epsilon }(\alpha +\beta ),x)\nu (T_{\mathrm{min},\epsilon }(\alpha ),x)+\nu (T_{\mathrm{min},\epsilon }(\beta ),x)\nu (\alpha ,x)+\nu (\beta ,x).$$

We infer from this $`\nu (\alpha +\beta ,x)\nu (\alpha ,x)+\nu (\beta ,x)`$, and a similar sub-additivity property for $`\nu (,D)`$ is obtained along the same lines. Since the homogeneity of our two maps is obvious, the convexity also follows.
The quotient map $`\theta \{\theta \}`$ from the Fréchet space of closed smooth real $`(1,1)`$-forms to $`H_\overline{}^{1,1}(X,𝐑)`$ is surjective, thus open. If $`\alpha _kH_\overline{}^{1,1}(X,𝐑)`$ is a sequence of pseudo-effective classes converging to $`\alpha `$ and $`\epsilon >0`$ is given, we can thus find a smooth form $`\theta _k\alpha \alpha _k`$ for each $`k`$ big enough such that
$`\epsilon \omega \theta _k\epsilon \omega `$. The current $`T_{\mathrm{min},\epsilon }(\alpha _k)+\theta _k`$ then lies in $`\alpha [2\epsilon \omega ]`$, and thus $`\nu (T_{\mathrm{min},2\epsilon }(\alpha ),x)\nu (T_{\mathrm{min},\epsilon }(\alpha _k),x)\nu (\alpha _k,x)`$, for each $`k`$ big enough. We infer from this that $`\nu (T_{\mathrm{min},2\epsilon }(\alpha ),x)lim\; inf_k\mathrm{}\nu (\alpha _k,x)`$ for each $`\epsilon >0`$, hence $`\nu (\alpha ,x)lim\; inf_k\mathrm{}\nu (\alpha _k,x)`$, by taking the supremum of the left hand-side for $`\epsilon >0`$. This means that $`\alpha \nu (\alpha ,x)`$ is lower semi-continuous, and similarly for $`\nu (\alpha ,D)`$, just replacing $`x`$ by $`D`$ in the above proof.
Finally, the restrictions of our maps to $`^0`$ are continuous as any convex map on an open convex subset of a finite dimensional vector space is.

###### Proposition 3.8

Let $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ be a pseudo-effective class, and $`T_{\mathrm{min}}`$ be a positive current with minimal singularities in $`\alpha `$.

(i) We always have $`\nu (\alpha ,x)\nu (T_{\mathrm{min}},x)`$ and $`\nu (\alpha ,D)\nu (T_{\mathrm{min}},D)`$.

(ii) When $`\alpha `$ is furthermore big, we have $`\nu (\alpha ,x)=\nu (T_{\mathrm{min}},x)`$ and $`\nu (\alpha ,D)=\nu (T_{\mathrm{min}},D)`$.

$`Proof`$: since $`T_{\mathrm{min}}`$ belongs to $`\alpha [\epsilon \omega ]`$ for every $`\epsilon >0`$, $`\nu (\alpha ,x)\nu (T_{\mathrm{min}},x)`$ follows for every $`xX`$, for any pseudo-effective class $`\alpha `$. If $`\alpha `$ is furthermore big, we can choose a Kähler current $`T`$ in $`\alpha `$ with $`T\omega `$ for some Hermitian form $`\omega `$. If $`T_{\mathrm{min},\epsilon }`$ is a current with minimal singularities in $`\alpha [\epsilon \omega ]`$, then $`(1\epsilon )T_{\mathrm{min},\epsilon }+\epsilon T`$ is a positive current in $`\alpha `$, and thus $`\nu ((1\epsilon )T_{\mathrm{min},\epsilon }+\epsilon T,x)\nu (T_{\mathrm{min}},x)`$ by minimality of $`T_{\mathrm{min}}`$, from which we infer

$$(1\epsilon )\nu (\alpha ,x)+\epsilon \nu (T,x)\nu (T_{\mathrm{min}},x).$$

We thus get the converse inequality $`\nu (\alpha ,x)\nu (T_{\mathrm{min}},x)`$ by letting $`\epsilon 0`$. The case of $`\nu (\alpha ,D)`$ is similar.

### 3.2 Definition of the divisorial Zariski decomposition

Let $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ be again a pseudo-effective class, and choose a positive current with minimal singularities $`T_{\mathrm{min}}`$ in $`\alpha `$. Since $`\nu (\alpha ,D)\nu (T_{\mathrm{min}},D)`$ for every prime $`D`$ by proposition 3.8, the series of currents $`\nu (\alpha ,D)[D]`$ is convergent, since it is dominated by $`\nu (T_{\mathrm{min}},D)[D]`$.

###### Definition 3.9 (Divisorial Zariski decomposition)

The negative part of a pseudo-effective class $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is defined as $`N(\alpha ):=\nu (\alpha ,D)[D]`$. The Zariski projection of $`\alpha `$ is $`Z(\alpha ):=\alpha \{N(\alpha )\}`$. We call the decomposition $`\alpha =Z(\alpha )+\{N(\alpha )\}`$ the divisorial Zariski decomposition of $`\alpha `$.

It is certainly highly desirable that the negative part $`N(\alpha )`$ of a pseudo-effective class be a divisor, i.e. that $`\nu (\alpha ,D)=0`$ for almost every prime $`D`$. We will see in section 3.3 that it is indeed the case. For the time being, we concentrate on the Zariski projection, which we see as a map $`Z:`$.

###### Proposition 3.10

Let $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ be a pseudo-effective class. Then:

(i) Its Zariski projection $`Z(\alpha )`$ is a modified nef class.

(ii) We have $`Z(\alpha )=\alpha `$ iff $`\alpha `$ is modified nef.

(iii) $`Z(\alpha )`$ is big iff $`\alpha `$ is.

(iv) If $`\alpha `$ is not modified nef, then $`Z(\alpha )`$ belongs to the boundary $`𝒩`$ of the modified nef cone.

$`Proof`$:(i) Let $`T_{\mathrm{min},\epsilon }`$ be as before a current with minimal singularities in $`\alpha [\epsilon \omega ]`$, and consider its Siu decomposition $`T_{\mathrm{min},\epsilon }=R_\epsilon +\nu (T_{\mathrm{min},\epsilon },D)[D]`$. First, we claim that $`N_\epsilon :=\nu (T_{\mathrm{min},\epsilon },D)[D]`$ converges weakly to $`N(\alpha )`$ as $`\epsilon `$ goes to $`0`$. For any smooth form $`\theta `$ of bidimension $`(1,1)`$, $`\theta +C\omega ^{n1}`$ is a positive form for $`C>0`$ big enough. Every such $`\theta `$ is thus the difference of two positive forms, and it is enough to show that $`N_\epsilon \theta N(\alpha )\theta `$ for every smooth positive form $`\theta `$. But $`N_\epsilon \theta =\nu (T_{\mathrm{min},\epsilon },D)[D]\theta `$ is a convergent series whose general term $`\nu (T_{\mathrm{min},\epsilon },D)[D]\theta `$ converges to $`\nu (\alpha ,D)[D]\theta `$ as $`\epsilon 0`$ and is dominated by $`\nu (T_{\mathrm{min}},D)[D]\theta `$; since $`\nu (T_{\mathrm{min}},D)[D]\theta T_{\mathrm{min}}\theta `$ converges, our claim follows by dominated convergence.
In particular, the class $`\{N_\epsilon N(\alpha )\}`$ converges to zero. Since the map $`\theta \{\theta \}`$ is open on the space of smooth closed $`(1,1)`$-form, we can find a sequence $`\theta _k\delta _k\omega `$ of smooth forms with $`\theta _k\{N_{\epsilon _k}N(\alpha )\}`$ for some sequences $`\epsilon _k<<\delta _k`$ going to zero. It remains to notice that $`T_k:=R_{\epsilon _k}+\theta _k`$ is a current in $`Z(\alpha )`$ with $`T_k(\epsilon _k+\delta _k)\omega `$ and $`\nu (T_k,D)=0`$ for every prime $`D`$. Since $`\epsilon _k+\delta _k`$ converges to zero, $`Z(\alpha )`$ is modified nef by definition.

(ii) Since $`N(\alpha )=\nu (\alpha ,D)[D]`$ is a closed positive $`(1,1)`$-current, it is zero iff its class $`\{N(\alpha )\}H_\overline{}^{1,1}(X,𝐑)`$ is. The assertion is thus just a reformulation of (ii) in proposition 3.2.

(iii) If $`Z(\alpha )`$ is big, then of course $`\alpha =Z(\alpha )+\{N(\alpha )\}`$ is also big, as the sum of a big class and a pseudo-effective one. If conversely $`\alpha `$ is big, it contains a Kähler current $`T`$, whose Siu decomposition we write $`T=R+\nu (T,D)[D]`$. Note that $`R`$ is a Kähler current since $`T`$ is; since $`T`$ belongs to $`\alpha [\epsilon \omega ]`$ for every $`\epsilon >0`$, we have $`\nu (T,D)\nu (\alpha ,D)`$, and $`R+(\nu (T,D)\nu (\alpha ,D))[D]`$ is thus a Kähler current in $`Z(\alpha )`$ as desired.

(iv) Assume that $`Z(\alpha )`$ belongs to the interior $`𝒩^0`$ of the modified nef cone. By proposition 3.2, we have to see that $`\nu (\alpha ,D)=0`$ for every prime $`D`$. Suppose therefore that $`\nu (\alpha ,D_0)>0`$ for some prime $`D_0`$. The class $`Z(\alpha )+\epsilon \{D_0\}`$ has to lie in the open cone $`𝒩^0`$ for $`\epsilon `$ small enough, thus we can write for $`0<\epsilon <\nu (\alpha ,D_0)`$:

$$\alpha =(Z(\alpha )+\epsilon \{D_0\})+(\nu (\alpha ,D_0)\epsilon )\{D_0\}+\{\underset{DD_0}{}\nu (\alpha ,D)D\}.$$

We deduce that $`\nu (\alpha ,D_0)\nu (Z(\alpha )+\epsilon \{D_0\},D_0)+(\nu (\alpha ,D_0)\epsilon )`$. Indeed, the class $`\{D_0\}`$ (resp. $`\{_{DD_0}\nu (\alpha ,D)D\}`$) has minimal multiplicity $`1`$ (resp. 0) along $`D_0`$, because so is the generic Lelong numbers of the positive current $`[D_0]`$ (resp. $`_{DD_0}\nu (\alpha ,D)[D]`$) along $`D_0`$. Now, we also have $`\nu (Z(\alpha )+\epsilon \{D_0\},D_0)=0`$ since $`Z(\alpha )+\epsilon \{D_0\}`$ is modified nef by assumption, hence the contradiction $`\nu (\alpha ,D_0)\nu (\alpha ,D_0)\epsilon `$.

###### Proposition 3.11

(i) The map $`\alpha N(\alpha )`$ is convex and homogeneous on $``$. It is continuous on the interior of the pseudo-effective cone.

(ii) The Zariski projection $`Z:𝒩`$ is concave and homogeneous. It is continuous on the interior of $``$.

$`Proof`$: we have already noticed that $`\nu (\alpha +\beta ,D)\nu (\alpha ,D)+\nu (\beta ,D)`$ for every prime $`D`$ and every two pseudo-effective classes $`\alpha `$, $`\beta `$. This implies that $`N(\alpha +\beta )N(\alpha )+N(\beta )`$. Homogeneity is obvious, and the first assertion follows. To show continuity, it is enough as above to show that $`\alpha N(\alpha )\theta `$ is continuous on $`^0`$ for every positive form $`\theta `$. But the latter map is convex, and thus continuous on $`^0`$ as any convex map on an open convex subset of a finite dimensional vector space is. (ii) is now an obvious consequence of (i) and the relation $`Z(\alpha )=\alpha \{N(\alpha )\}`$.

### 3.3 Negative part and exceptional divisors

If $`A=D_1,\mathrm{},D_r`$ is a finite family of prime divisors, we denote by $`V_+(A)H_\overline{}^{1,1}(X,𝐑)`$ the closed convex cone generated by the classes $`\{D_1\},\mathrm{},\{D_r\}`$. Every element of $`V_+(A)`$ writes $`\alpha =\{E\}`$ for some effective $`𝐑`$-divisor supported by the $`D_j`$’s. Since $`[E]`$ is a positive current in $`\alpha `$, we have $`N(\alpha )E`$, and thus $`Z(\alpha )`$ can be represented by the effective $`𝐑`$-divisor $`EN(\alpha )`$, which is also supported by the $`D_j`$’s. We conclude: $`V_+(A)`$ is stable under the Zariski projection $`Z`$. In particular, we have $`Z(V_+(A))=0`$ iff $`V_+(A)`$ meets $`𝒩`$ at $`0`$ only.

###### Definition 3.12 (Exceptional divisors)

(i) A family $`D_1,\mathrm{},D_q`$ of prime divisors is said to be an exceptional family iff the convex cone generated by their cohomology classes meets the modified nef cone $`𝒩`$ at $`0`$ only.

(ii) An effective $`𝐑`$-divisor $`E`$ is said to be exceptional iff its prime components constitute an exceptional family.

We have the following

###### Proposition 3.13

(i) An effective $`𝐑`$-divisor $`E`$ is exceptional iff $`Z(\{E\})=0`$.

(ii) If $`E`$ is an exceptional effective $`𝐑`$-divisor, we have $`E=N(\{E\})`$.

(iii) If $`D_1,\mathrm{},D_q`$ is an exceptional family of primes, then their classes $`\{D_1\},\mathrm{},\{D_q\}`$ are linearly independent in $`NS(X)_𝐑H_\overline{}^{1,1}(X,𝐑)`$. In particular, the length of the exceptional families of primes is uniformly bounded by the Picard number $`\rho (X)`$.

$`Proof`$: (i) let $`A=D_1,\mathrm{},D_r`$ denote the family of primes supporting $`E`$, and choose a Gauduchon metric $`\omega `$ (cf. section 2.2.4). Since $`\omega ^{n1}`$ is $`\overline{}`$-closed, $`Z(\alpha )\omega ^{n1}`$ is well defined, and defines a map $`𝐑`$ $`\alpha Z(\alpha )\omega ^{n1}`$, which is concave and homogeneous (by proposition 3.11), and everywhere non-negative. The restriction of this map to $`V_+(A)`$ shares the same properties, and the class $`\alpha :=\{E\}`$ is a point in the relative interior of the convex cone $`V_+(A)`$ at which $`Z(\alpha )\omega ^{n1}=0`$. By concavity, we thus get $`Z(\alpha )\omega ^{n1}=0`$ for every $`\alpha V_+(A)`$, and thus $`Z(\alpha )=0`$ for every such $`\alpha V_+(A)`$, qed.
(ii) When $`E`$ is exceptional, we have both $`EN(\{E\})`$ (because the positive current $`[E]`$ lies in the class $`\{E\}`$) and $`\{E\}=\{N(\{E\})\}`$ (because $`Z(\{E\})=0`$). Since a closed positive current which yields zero in $`H_\overline{}^{1,1}(X,𝐑)`$ is itself zero, we get the result.
(iii) Since $`D_1,\mathrm{},D_q`$ are linearly independent in Div$`(X)𝐑`$, the assertion is equivalent to the fact that the quotient map $`D\{D\}`$ is injective on the $`𝐑`$-vector space of divisors generated by the $`D_j`$’s. But this is easy: if $`E=a_jD_j`$ lies in the kernel, we can write $`E=E_+E_{}`$ with $`E_+`$ and $`E_{}`$ effective such that $`\{E_+\}=\{E_{}\}`$. By (iii), we get $`E_+=E_{}`$, whence $`E=0`$, qed.

We state as a theorem the following important consequences of (iii):

###### Theorem 3.14

(i) For every pseudo-effective class $`\alpha `$, the negative part $`N(\alpha )`$ is an exceptional effective $`𝐑`$-divisor supported by at most $`\rho (X)`$ primes.

(ii) $`X`$ carries at most countably many exceptional primes.

(iii) The exceptional fiber $`Z^1(0)`$ is contained in $`NS(X)_𝐑`$, and is a union of at most countably many simplicial cones over exceptional families of primes.

$`Proof`$: (i) We have $`Z(\alpha )Z(Z(\alpha ))+Z(\{N(\alpha )\})`$, and $`Z(Z(\alpha ))=Z(\alpha )`$ by proposition 3.10, thus $`Z(\{N(\alpha )\})=0`$. We immediately deduce from this that any family of primes $`D_1,\mathrm{},D_r`$ such that $`\nu (\alpha ,D_j)>0`$ for every $`j`$ is an exceptional family, and the assertion follows from (iii) of proposition 3.13.
(ii) We just have to notice that $`D\{D\}`$ is injective on the set of exceptional primes, and maps into the lattice $`NS(X)NS(X)_𝐑`$.
(iii) Since $`\{A\}`$ is a linearly independent set for every exceptional family of primes $`A`$, we see that $`V_+(A)=_{DA}𝐑_+\{D\}`$ is a simplicial cone. It remains to observe that $`\alpha `$ lies in the exceptional fiber $`Z^1(0)`$ iff $`\alpha =\{N(\alpha )\}`$, thus $`Z^1(0)`$ is covered by the simplicial cones $`V_+(A)`$.

We will see in section 4.3 that a family $`D_1,\mathrm{},D_q`$ of primes on a surface is exceptional iff the Gram matrix $`(D_iD_j)`$ is negative definite, i.e. iff $`D_1,\mathrm{},D_q`$ can all be blown down to points by a modification towards an analytic surface (singular in general). On a general compact complex $`n`$-fold $`X`$, an exceptional divisor is still very rigidly embedded in $`X`$:

###### Proposition 3.15

If $`E`$ is an exceptional effective $`𝐑`$-divisor, then its class $`\{E\}`$ contains but one positive current, which is $`[E]`$. In particular, when $`E`$ is rational, its Kodaira-Iitaka dimension $`\kappa (X,E)`$ is zero.

$`Proof`$: if $`T`$ is a positive current in $`\{E\}`$, we have $`\nu (T,D)\nu (\{E\},D)`$ for every prime $`D`$. Using the Siu decomposition of $`T`$, we thus see that $`T\nu (\{E\},D)D=N(\{E\})=E`$, since $`E`$ is exceptional. But we also have $`\{T\}=\{E\}`$, hence $`T=E`$, as was to be shown. To get the last point, let $`D`$ be an element of the linear system $`|kE|`$ for some integer $`k>0`$ such that $`kE`$ is Cartier. The positive current $`\frac{1}{k}[D]`$ then lies in $`\{E\}`$, thus we have $`[D]=k[E]`$ as currents, hence $`D=kE`$ as divisors. This shows that $`h^0(kE)=1`$ for each $`k>0`$, qed.

### 3.4 Discontinuities of the Zariski projection

It is remarkable that the Zariski projection $`Z`$ is not continuous in general up to the boundary $``$.

###### Proposition 3.16

If $`X`$ carries infinitely many exceptional primes, then the Zariski projection $`Z:𝒩`$ is not continuous.

$`Proof`$: we use the following

###### Lemma 3.17

If $`D_k`$ is an infinite sequence of divisors, the rays $`𝐑_+\{D_k\}`$ can accumulate on $`𝒩`$ only.

$`Proof`$: suppose that $`t_k\{D_k\}`$ converges to some non-zero $`\alpha `$ (for $`t_k>0`$). For each prime $`D`$, we then have $`D_kD`$ and thus $`\nu (t_k\{D_k\},D)=t_k\nu (\{D_k\},D)=0`$ for infinitely many $`k`$, because the family $`D_k`$ is infinite. By lower semi-continuity (proposition 3.7) we deduce $`\nu (\alpha ,D)=0`$ for every prime $`D`$, i.e. $`\alpha `$ is modified nef (by proposition 3.2).

Assume now that an infinite sequence of exceptional prime divisors $`D_k`$ exists. Since $``$ has compact base, upon extracting a subsequence, we can assume that $`t_k\{D_k\}`$ converges to some non-zero $`\alpha `$ (with $`t_k>0`$ an appropriate sequence). Since $`D_k`$ is exceptional, we have $`Z(t_k\{D_k\})=0`$ for every $`k`$, but $`Z(\alpha )=\alpha `$ since $`\alpha `$ is modified nef by the above lemma. Consequently, $`Z^1(0)`$ is not closed, and $`Z`$ is not continuous.

To get an example of discontinuous Zariski projection, just take $`X`$ to be the blow-up of $`𝐏^2`$ in at least 9 general points. Such a rational surface is known to carry countably many exceptional curves of the first kind (cf. \[Har77\], p.409). Since a prime divisor $`C`$ on a surface is exceptional iff $`C^2<0`$ (cf. section 4.3), the set of exceptional primes on $`X`$ is infinite, and we have our example.

### 3.5 When is a decomposition the Zariski decomposition?

Suppose that we have a decomposition $`\alpha =p+\{N\}`$ of a pseudo-effective class $`\alpha `$ into the sum of a modified nef class $`p`$ and the class of an effective $`𝐑`$-divisor $`N`$. We want a criterion that tells us when it is the Zariski decomposition of $`\alpha `$. We have $`N(\alpha )N(p)+N`$, and $`N(p)=0`$ since $`p`$ is modified nef, thus $`N(\alpha )=N`$ happens iff $`Z(\alpha )=p`$, and our question is equivalent to the study of the fibers $`Z^1(p)`$, with $`p𝒩`$.
We will need the following

###### Definition 3.18 (Non-Kähler locus)

If $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ is a big class, we define its non-Kähler locus as $`E_{nK}(\alpha ):=_TE_+(T)`$ for $`T`$ ranging among the Kähler currents in $`\alpha `$.

Let us explain the terminology:

###### Theorem 3.19

Let $`\alpha H_\overline{}^{1,1}(X,𝐑)`$ be a big class. Then:

(i) The non-nef locus $`E_{nn}(\alpha )`$ is contained in the non-Kähler locus $`E_{nK}(\alpha )`$.

(ii) There exists a Kähler current with analytic singularities $`T`$ in $`\alpha `$ such that $`E_+(T)=E_{nK}(\alpha )`$. In particular, the non-Kähler locus $`E_{nK}(\alpha )`$ is an analytic subset of $`X`$.

(iii) $`\alpha `$ is a Kähler class iff $`E_{nK}(\alpha )`$ is empty. More generally, $`\alpha `$ is a Kähler class iff $`\alpha _{|Y}`$ is a Kähler class for every irreducible component $`Y`$ of the analytic set $`E_{nK}(\alpha )`$.

$`Proof`$:(i) Since $`\alpha `$ is big, its non-nef locus $`E_{nn}(\alpha )`$ is just the set $`\{xX,\nu (T_{\mathrm{min}},x)>0\}`$, since we have $`\nu (\alpha ,x)=\nu (T_{\mathrm{min}},x)`$ in that case (cf. proposition 3.8). For every Kähler current $`T`$ in $`\alpha `$, we have $`\nu (T,x)\nu (T_{\mathrm{min}},x)`$ by minimality, and the inclusion $`E_{nn}(\alpha )E_{nK}(\alpha )`$ ensues.

(ii) First, we claim that given two Kähler currents $`T_1`$, $`T_2`$ in $`\alpha `$, there exists a Kähler current with analytic singularities $`T`$ such that $`E_+(T)E_+(T_1)E_+(T_2)`$. Indeed, we can find $`\epsilon >0`$ small enough such that $`T_j\epsilon \omega `$. Our currents $`T_1`$ and $`T_2`$ thus belong to $`\alpha [\epsilon \omega ]`$, and admit an infimum $`T_3`$ in that set with respect to $``$ (cf. section 2.8). In particular, $`T_3`$ is a current in $`\alpha `$ with $`T_3\epsilon \omega `$ and $`\nu (T_3,x)=\mathrm{min}\{\nu (T_1,x),\nu (T_2,x)\}`$ for every $`xX`$. By (ii) of theorem 2.1, there exists a Kähler current with analytic singularities $`T`$ in $`\alpha `$ such that $`\nu (T,x)\nu (T_3,x)`$ for every $`xX`$, hence $`E_+(T)E_+(T_1)E_+(T_2)`$, and this proves the claim.

Using the claim and (ii) of theorem 2.1, it is easy to construct a sequence $`T_k`$ of Kähler currents with analytic singularities such that $`E_+(T_k)`$ is a decreasing sequence with $`E_{nK}(\alpha )=_kE_+(T_k)`$. Since $`T_k`$ has analytic singularities, $`E_+(T_k)`$ is an analytic subset, thus the decreasing sequence $`E_+(T_k)`$ has to be stationary (by the strong Nötherian property), and we eventually get $`E_{nK}(\alpha )=E_+(T_k)`$ for some $`k`$, as desired.

(iii) If $`\alpha `$ is a Kähler class, $`E_+(\omega )`$ is empty for every Kähler form $`\omega `$ in $`\alpha `$, and thus so is $`E_{nK}(\alpha )`$. Conversely, assume that $`\alpha _{|Y}`$ is a Kähler class for every component $`Y`$ of $`E_+(\alpha )`$, and let $`T`$ be a Kähler current with analytic singularities such that $`E_+(T)=E_{nK}(\alpha )`$. $`\alpha `$ is then a Kähler class by proposition 3.3 of \[DP01\], qed.

We can now state the following

###### Theorem 3.20

Let $`p`$ be a big and modified nef class. Then the primes $`D_1,\mathrm{},D_r`$ contained in the non-Kähler locus $`E_{nK}(p)`$ form an exceptional family $`A`$, and the fiber of $`Z`$ above $`p`$ is the simplicial cone $`Z^1(p)=p+V_+(A)`$. When $`p`$ is an arbitrary modified nef class, $`Z^1(p)`$ is an at most countable union of simplicial cones $`p+V_+(A)`$, where $`A`$ is an exceptional family of primes.

$`Proof`$: note that, by the very definitions, for every pseudo-effective class $`\alpha `$, the prime components of its negative part $`N(\alpha )`$ are exactly the set $`A`$ of primes $`D`$ contained in the non-nef locus $`E_{nn}(\alpha )`$. Furthermore, $`Z(\alpha )+V_+(A)`$ is entirely contained in the fiber $`Z^1Z(\alpha )`$. Indeed, the restriction of $`Z`$ to this simplicial cone is a concave map above the affine constant map $`Z(\alpha )`$, and both coincide at the relative interior point $`\alpha `$, thus they are equal on the whole of $`Z(\alpha )+V_+(A)`$. This already proves the last assertion.
Assume now that $`p`$ is modified nef and big, and suppose first that $`\alpha `$ lies in $`Z^1(p)`$. To see that $`\alpha `$ lies in $`p+V_+(A)`$, we have to prove that every prime $`D_0`$ with $`\nu (\alpha ,D_0)>0`$ lies in $`E_{nK}(p)`$, that is: $`\nu (T,D_0)>0`$ for every Kähler current $`T`$ in $`p`$. If not, choose a smooth form $`\theta `$ in $`\{D_0\}`$. Since $`T`$ is a Kähler current, so is $`T+\epsilon \theta `$ for $`\epsilon `$ small enough. For $`0<\epsilon <\nu (\alpha ,D_0)`$ small enough, $`T_\epsilon :=T+\epsilon \theta +(\nu (\alpha ,D_0)\epsilon )[D_0]+_{DD_0}\nu (\alpha ,D)[D]`$ is then a positive current in $`\alpha `$ with $`\nu (T_\epsilon ,D_0)=\nu (\alpha ,D_0)\epsilon <\nu (\alpha ,D)=\nu (T_{\mathrm{min}},D_0)`$ (the last equality holds by proposition 3.8 because $`\alpha `$ is big since $`p`$ is); this is a contradiction which proves the inclusion $`Z^1(p)p+V_+(A)`$.
In the other direction, let $`T`$ be a Kähler current in $`p`$, and let $`T=R+\nu (T,D)D`$ be its Siu decomposition. $`R`$ is then a Kähler current with $`\nu (R,D)=0`$ for every prime $`D`$, thus its class $`\beta :=\{R\}`$ is a modified Kähler class. We first claim that we have $`D_jE_{nn}(p\epsilon \beta )`$ for every $`\epsilon >0`$ small enough and every prime component $`D_j`$ of the non-Kähler locus $`E_{nK}(p)`$ of $`p`$. Indeed, since $`p\epsilon \beta `$ is big for $`\epsilon >0`$ small enough, we have $`\nu (p\epsilon \beta ,D_j)=\nu (T,D_j)`$ if $`T`$ is a positive current with minimal singularities in $`p\epsilon \beta `$, and we have to see that $`\nu (T,D_j)>0`$. But $`T+\epsilon R`$ is a Kähler current in $`p`$, thus $`D_jE_{nK}(p)E_+(T+\epsilon R)`$ by definition, which exactly means that $`\nu (T+\epsilon R,D_j)>0`$. The claim follows since $`\nu (R,D_j)=0`$ by construction of $`R`$.
As a consequence of this claim, each prime $`D_1,\mathrm{},D_r`$ of our family $`A`$ occurs in the negative part $`N(p\epsilon \beta )`$ for $`\epsilon >0`$ small enough. Consequently, by the first part of the proof, the Zariski projection of $`Z(p\epsilon \beta )+\{E\}`$ is just $`Z(p\epsilon \beta )`$ for every effective $`𝐑`$-divisor $`E`$ supported by the $`D_j`$’s and every $`\epsilon >0`$ small enough. Since $`p`$ is big, $`Z`$ is continuous at $`p`$, thus $`Z(p\epsilon \beta )`$ converges to $`Z(p)`$, which is just $`p`$ because the latter is also modified nef. Finally, $`Z`$ is also continuous at the big class $`p+\{E\}`$, thus the Zariski projection of $`Z(p\epsilon \beta )+\{E\}`$ converges to that of $`p+\{E\}`$, and thus $`Z(p+\{E\})=p`$ holds. This means that $`p+V_+(A)Z^1(p)`$, and concludes the proof of theorem 3.20.

### 3.6 Structure of the pseudo-effective cone

Using our constructions, we will prove the

###### Theorem 3.21

The boundary of the pseudo-effective cone is locally polyhedral away from the modified nef cone, with extremal rays generated by (the classes of) exceptional prime divisors.

$`Proof`$: this is in fact rather straightforward by now: for each prime $`D`$, the set $`_D:=\{\alpha ,\nu (\alpha ,D)=0\}`$ is a closed convex subcone fo $``$. This follows from the fact that $`\alpha \nu (\alpha ,D)`$ is convex, homogeneous, lower semi-continuous and everywhere non-negative. If $`\alpha `$ does not belong to $`𝒩`$, it does not belong to $`_D`$ for some prime $`D`$ by proposition 3.2. For every $`\beta `$, we have either $`\beta _D`$, or $`D`$ occurs in the negative part $`N(\beta )`$. Therefore, $``$ is generated by $`𝐑_+\{D\}`$ and $`_D`$, and the latter does not contain $`\alpha `$. This means that $``$ is locally polyhedral near $`\alpha `$. Since $`\nu (\alpha ,D)>0`$, we also see that $`D`$ is exceptional. Finally, the extremal rays of $``$ not contained in $`𝒩=_D_D`$ have to lie outside $`_D`$ for some exceptional prime $`D`$, and since $`=_D+𝐑_+\{D\}`$, each such extremal ray is generated by $`\{D\}`$ for some $`D`$, qed.

### 3.7 Volumes

Recall that the volume of a pseudo-effective class $`\alpha `$ on a compact Kähler $`n`$-fold is defined to be the supremum $`v(\alpha )`$ of $`_XT_{ac}^n`$ for $`T`$ a closed positive $`(1,1)`$-current in $`\alpha `$ (cf. \[Bou02\]). A class $`\alpha `$ is big iff $`v(\alpha )>0`$, and the volume is a quantitative measure of its bigness. We have already noticed that $`Z(\alpha )`$ is big iff $`\alpha `$ is; we have the following quantitative version:

###### Proposition 3.22

Let $`\alpha `$ be a pseudo-effective class on $`X`$ compact Kähler. Then $`v(Z(\alpha ))=v(\alpha )`$.

The proof is in fact immediate: if $`T`$ is a positive current in $`\alpha `$, then we have $`TN(\alpha )`$ since $`T`$ belongs to $`\alpha [\epsilon \omega ]`$ for each $`\epsilon >0`$, and we deduce that $`TTN(\alpha )`$ is a bijection between the positive currents in $`\alpha `$ and those in $`Z(\alpha )`$. It remains to notice that $`(TN(\alpha ))_{ac}=T_{ac}`$ to conclude the proof.

## 4 Zariski decomposition on a surface and a hyper-Kähler manifold

It is known since the pioneering work of Zariski \[Zar62\] that any effective divisor $`D`$ on a projective surface admits a unique Zariski decomposition $`D=P+N`$, i.e. a decomposition into a sum of $`𝐐`$-divisors $`P`$ and $`N`$ with the following properties:

(i) $`P`$ is nef, $`N=a_jN_j`$ is effective,

(ii) $`PN=0`$,

(iii) The Gram matrix $`(N_iN_j)`$ is negative definite.

We want to show that our divisorial Zariski decomposition indeed is a generalization of such a Zariski decomposition on a surface.

### 4.1 Notations

$`X`$ will stand for a compact Kähler surface, or a compact hyper-Kähler manifold. For such an $`X`$, we denote by $`q`$ the quadratic form on $`H^{1,1}(X,𝐑)`$ defined as follows: when $`X`$ is a surface, we set $`q(\alpha ):=\alpha ^2`$, and when $`X`$ is hyper-Kähler, we choose a symplectic holomorphic form $`\sigma `$, and let $`q(\alpha ):=\alpha ^2(\sigma \overline{\sigma })^{m1}`$ be the usual Beauville-Bogomolov quadratic form, with $`\sigma `$ normalized so as to achieve $`q(\alpha )^m=_X\alpha ^{2m}`$ (with $`dimX=n=2m`$). In both cases $`(H^{1,1}(X,𝐑),q)`$ is Lorentzian, i.e. it has signature $`(1,h^{1,1}(X)1)`$; the open cone $`\{\alpha H^{1,1}(X,𝐑),q(\alpha )>0\}`$ has thus two connected components which are convex cones, and we denote by $`𝒫`$ the component containing the Kähler cone $`𝒦`$. We call $`𝒫`$ the positive cone (attached to the quadratic form $`q`$). In general, given a linear form $`\lambda `$ on $`H^{1,1}(X,𝐑)`$, we will denote its kernel by $`\lambda ^{}`$ and the two open half-spaces it defines by $`\lambda _{>0}`$ and $`\lambda _{<0}`$. The dual $`𝒞^{}`$ of a convex cone $`𝒞`$ in $`H^{1,1}(X,𝐑)`$ is seen as a cone in $`H^{1,1}(X,𝐑)`$, using the duality induced by $`q`$.

### 4.2 The dual pseudo-effective cone

In both cases, we shall prove that the modifies nef cone is the dual cone to the pseudo-effective cone.

#### 4.2.1 The case of a surface

We suppose that $`X`$ is a surface. We prove the following essentially well-known

###### Theorem 4.1

When $`X`$ is surface, the Kähler cone and the modified Kähler cone coincide. The dual pseudo-effective cone is just the nef cone.

$`Proof`$: if $`\alpha 𝒦`$, it can be represented by a Kähler current with analytic singularities in codimension 2, that is at some points $`x_1,\mathrm{},x_r`$. Therefore we see that the non-Kähler locus $`E_{nK}(\alpha )`$ is a discrete set. Since the restriction of any class to a point is (by convention) a Kähler class, theorem 3.19 shows that $`\alpha `$ lies in fact in $`𝒦`$.
Since $`_X\omega T`$ is positive for every Kähler form $`\omega `$ and every positive current $`T`$, we of course have $`𝒦^{}`$, and thus also $`𝒩=\overline{K}^{}`$. The other inclusion is much deeper, since it is a consequence of the Nakai-Moishezon criterion for Kähler classes on a surface, as given in \[Lam99\]. Indeed, this criterion implies that a real $`(1,1)`$-class $`\alpha `$ on a Kähler surface is a nef class iff $`\alpha \omega 0`$ for every $`\omega 𝒦`$ and $`\alpha C0`$ for every irreducible curve $`C`$. Since a class in $`^{}`$ clearly satisfies these conditions, we get $`^{}𝒩`$, and the proof of theorem 4.1 is over.

As a consequence, since $`𝒦`$ is contained in $`𝒫`$ and since $`\overline{𝒫}`$ is self dual (just because $`q`$ is Lorentzian), we get dually that $`\overline{𝒫}`$ and thus that $`𝒫^0=`$, which means the following: if $`\alpha `$ is a real $`(1,1)`$-class with $`\alpha ^2>0`$, then $`\alpha `$ or $`\alpha `$ is big. This generalizes the well known case where $`\alpha `$ is (the first Chern class of) a line bundle (whose proof is based on Riemann-Roch).

#### 4.2.2 The hyper-Kähler case

In that case, the dual peudo-effective cone is also equal to the modified nef cone, but the proof uses another description, due to D.Huybrechts, of the dual pseudo-effective cone. In the easy direction, we have:

###### Proposition 4.2

(i) The modified nef cone $`𝒩`$ is contained in both the dual pseudo-effective cone $`^{}`$ and the closure of the positive cone $`\overline{𝒫}`$

(ii) We have $`q(D,D^{})0`$ for any two distinct prime divisors $`DD^{}`$.

$`Proof`$: to prove (i), we only have to prove that $`𝒦^{}`$. Indeed, $`𝒦^{}^{}`$ is trivially contained in $`\overline{𝒫}`$. We pick a modified Kähler class $`\alpha `$ and a pseudo-effective class $`\beta `$, and choose a Kähler current $`T`$ in $`\alpha `$ with analytic singularities in codimension at least 2, and a positive current $`S`$ in $`\beta `$. By section 2.6, the wedge product $`TS`$ is well defined as a closed positive $`(2,2)`$-current, and lies in the class $`\alpha \beta `$. Since $`(\sigma \overline{\sigma })^{m1}`$ is a smooth positive form of bidimension $`(2,2)`$, the integral $`_XTS(\sigma \overline{\sigma })^{m1}`$ is positive. But $`(\sigma \overline{\sigma })^{m1}`$ is also closed, thus we have

$$_XTS(\sigma \overline{\sigma })^{m1}=\alpha \beta \{(\sigma \overline{\sigma })^{m1}\}=q(\alpha ,\beta ),$$

so we have proven that $`q(\alpha ,\beta )0`$ as desired.
The second contention is obtained similarly, noting that $`\{D\}\{D^{}\}`$ contains a closed positive $`(2,2)`$-current, which is $`[DD^{}]`$, where $`DD^{}`$ is the effective intersection cycle.

The other direction $`^{}𝒩`$ is much deeper. The effective $`1`$-dimensional cycles $`C`$ and the effective divisors $`D`$ define linear forms on $`H^{1,1}(X,𝐑)`$ via the intersection form and the Beauville-Bogomolov form $`q`$ respectively, and we define a rational (resp. uniruled) chamber of the positive cone $`𝒫`$ to be a connected component of $`𝒫C^{}`$ (resp. $`𝒫D^{}`$), where $`C`$ (resp. $`D`$) runs over the rational curves (resp. the uniruled divisors). By a rational curve (resp. a uniruled divisor) we mean an effective $`1`$-dimensional cycle all of whose components are irreducible rational curves (resp. an effective divisor all of whose components are uniruled prime divisors). The rational chamber of $`𝒫`$ cut out by all the $`C_{>0}`$’s (resp. $`D_{>0}`$)’s will be called the fundamental rational chamber (resp. the fundamental uniruled chamber). When $`X`$ is a $`K3`$ surface, the rational and uniruled chambers are the same thing and coincide with the traditional chambers in that situation. We can now state the following fundamental result:

###### Theorem 4.3 (Huy99)

(i) The positive cone $`𝒫`$ is contained in $``$.

(ii) If $`\alpha 𝒫`$ belongs to one of the rational chambers, then there exists a bimeromorphic map $`f:XX^{}`$ to a hyper-Kähler $`X^{}`$ such that

$$f_{}\alpha =\omega ^{}+\{D^{}\},$$

where $`\omega ^{}𝒦_X^{}`$ is a Kähler class and $`D^{}`$ is an uniruled $`𝐑`$-divisor.
(iii) When $`\alpha 𝒫`$ lies in both the fundamental uniruled chamber and one of the rational chambers, then no uniruled divisor $`D^{}`$ occurs in (ii).
(iv) The fundamental rational chamber coincides with the Kähler cone of $`X`$.

In fact, \[Huy99\] states this only for a very general element $`\alpha 𝒫`$, but we have noticed in \[Bou01\] that the elements of the rational chambers are already very general in that respect.
In the situation (iii), $`\alpha `$ lies in $`f^{}𝒦_X^{}`$ for some bimeromorphic $`f:XX^{}`$ towards a hyper-Kähler $`X^{}`$. The union of such open convex cones $`𝒦_f:=f^{}𝒦_X^{}`$ is called the bimeromorphic Kähler cone, and is denoted by $`𝒦`$. The union in question yields in fact a partition of $`𝒦`$ into open convex cones $`𝒦_f`$ (since a bimeromorphic map between minimal manifolds which sends one Kähler class to a Kähler class is an isomorphism by a result of A.Fujiki); $`𝒦`$ is an open cone, but definitely not convex in general. (iii) tells us that each intersection of a rational chamber with the fundamental uniruled chamber is contained in $`𝒦`$, and thus in one of the $`𝒦_f`$’s.
We can now describe the dual pseudo-effective cone:

###### Proposition 4.4

The dual pseudo-effective $`^{}`$ of a hyper-Kähler manifold coincides with the modified nef cone $`𝒩`$.

$`Proof`$: by proposition 4.2, it remains to see that $`^{}`$ is contained in the modified nef cone $`𝒩`$. By (i) of theorem 4.3, we have $`^{}\overline{𝒫}`$, and it will thus be enough to show that an element of the interior of $`^{}`$ which belongs to one of the rational chambers lies in $`𝒩`$. But an element $`\alpha `$ of the interior of $`^{}`$ has $`q(\alpha ,D)>0`$ for every prime $`D`$, thus it certainly lies in the fundamental uniruled chamber. If $`\alpha `$ lies in both the interior of $`^{}`$ and one of the rational chambers, it therefore lies in $`𝒦_f=f^{}𝒦_X^{}`$ for some bimeromorphic $`f:XX^{}`$, and it remains to see that $`𝒦_f𝒩`$. But if $`\omega `$ is a Kähler form on $`X^{}`$, its pull-back $`T:=f^{}\omega `$ can be defined using a resolution of $`f`$, and it is easy to check that $`T`$ is a Kähler current with $`\nu (T,D)=0`$ for every prime $`D`$, since $`f`$ induces an isomorphism $`XAX^{}A^{}`$ for $`A`$, $`A^{}`$ analytic subsets of codimension at least 2 (this is because $`X`$ and $`X^{}`$ are minimal). Therefore, $`\{T\}=f^{}\{\omega \}`$ belongs to $`𝒦𝒩`$, qed.

### 4.3 Exceptional divisors

When $`X`$ is a surface or a hyper-Kähler manifold, the fact that a family $`D_1,\mathrm{},D_r`$ of prime divisors is exceptional can be read off its Gram matrix.

###### Theorem 4.5

A family $`D_1,\mathrm{},D_r`$ of prime divisors is exceptional iff its Gram matrix $`(q(D_i,D_j))`$ is negative definite.

$`Proof`$: let $`V`$ (resp. $`V_+`$) be the real vector space of $`𝐑`$-divisors (resp. effective $`𝐑`$-divisors) supported by the $`D_j`$’s. We begin with a lemma of quadratic algebra:

###### Lemma 4.6

Assume that $`(V,q)`$ is negative definite. Then every $`EV`$ such that $`q(E,D_j)0`$ for all $`j`$ belongs to $`V_+`$.

$`Proof`$: if $`EV`$ is non-positive against each $`D_j`$, we write $`E=E_+E_{}`$ where $`E_+`$ and $`E_{}`$ are effective with disjoint supports. We have to prove that $`E_{}=0`$, and this is equivalent by assumption to $`q(E_{})0`$. But $`q(E_{})=q(E_{},E_+)q(E_{},E)`$. The first term is positive because $`E_+`$ and $`E_{}`$ have disjoint supports, using (ii) of proposition 4.2, whereas the second is positive by assumption on $`E`$.

Let $`D_1,\mathrm{},D_r`$ be primes with negative definite Gram matrix. In particular, we then have that $`\{V_+\}H^{1,1}(X,𝐑)`$ meets $`\overline{𝒫}`$ at $`0`$ only. Since the modified nef cone $`𝒩`$ is contained in $`\overline{𝒫}`$ by proposition 4.2, $`\{V_+\}`$ $`a`$ $`fortiori`$ meets the modified nef cone at $`0`$ only, which means by definition that $`D_1,\mathrm{},D_r`$ is an exceptional family, and this proves necessity in theorem 4.5. In the other direction, assume that $`D_1,\mathrm{},D_r`$ is an exceptional family of primes. We first prove that the matrix $`(q(D_i,D_j))`$ is semi-negative. If not, we find an $`𝐑`$-divisor $`E`$ in $`V`$ with $`q(E)>0`$. Writing again $`E=E_+E_{}`$, with $`E_+`$ and $`E_{}`$ two effective divisors in $`V_+`$ with disjoint supports, we have again $`q(E_+,E_{})0`$ by (ii) of proposition 4.2, and thus $`q(E_+)+q(E_{})q(E)>0`$. We may therefore assume that $`E`$ lies in $`V_+`$, with $`q(E)>0`$. But then $`E`$ or $`E`$ is big, and it has to be $`E`$ because it is already effective. Its Zariski projection $`Z(\{E\})`$ is then non-zero since it is also big (by proposition 3.10), and it lies in both $`\{V_+\}`$ and $`𝒩`$, a contradiction.
To conclude the proof of theorem 4.5, we may assume (by induction) that the Gram matrix of $`D_1,\mathrm{},D_{r1}`$ is negative definite. If $`(V,q)`$ is degenerate, the span $`V^{}`$ of $`D_1,\mathrm{},D_{r1}`$ is such that its orthogonal space $`V^{}`$ in $`V`$ is equal to the null-space of $`V`$. We then decompose $`D_r=E+F`$ in the direct sum $`V=V^{}V^{}`$. Since $`q(E,D_j)=q(D_r,D_j)0`$ for $`j<r`$, lemma 4.6 yields that $`E0`$. Therefore, $`F=D_rE`$ lies in $`V_+`$, and is certainly non-zero. We claim that $`\{F\}`$ is also modified nef, which will yield the expected contradiction. But $`F`$ lies in the null-space of $`V`$, and is therefore non-negative against every prime divisor $`D`$. If $`\alpha `$ is a pseudo-effective class, we have $`q(\{F\},\alpha )=q(\{F\},Z(\alpha ))+q(F,N(\alpha ))`$. The first term is positive since $`Z(\alpha )𝒩=^{}`$, and the the second one is positive because $`F`$ is positive against every effective divisor. We infer from all this that $`\{F\}`$ lies in $`^{}=𝒩`$, and the claim follows.

The theorem says in particular that a prime divisor $`D`$ is negative iff $`q(D)<0`$. On a K3 surface, an easy and well-known argument using the adjunction formula shows that the prime divisors with negative square are necessarily smooth rational curves with square $`2`$. In higher dimension, we have:

###### Proposition 4.7

On a hyper-Kähler manifold $`X`$, the exceptional prime divisors are uniruled.

$`Proof`$: since $`D`$ is exceptional, it lies outside $`\overline{𝒫}=𝒫^{}`$, and we thus find a class $`\alpha 𝒫`$ lying in one of the rational chambers such that $`q(\alpha ,D)<0`$. By (ii) of theorem 4.3, there exists a bimeromorphic map between hyper-Kähler manifolds $`f:XX^{}`$ such that $`f_{}\alpha =\omega ^{}+a_jD_j^{}`$ with $`\omega ^{}`$ a Kähler class, $`a_j0`$ and $`D_j^{}`$ a uniruled prime divisor. Since the quadratic form is preserved by $`f`$, we have $`0>q(\alpha ,D)=q(\omega ^{},f_{}D)+a_jq(D_j^{},f_{}D)`$, and $`q(D_j^{},f_{}D)`$ has to be negative for some $`j`$. But this implies that the two primes $`D_j^{}`$ and $`f_{}D`$ coincide, and thus $`D=f^{}D_j^{}`$ is uniruled since $`D_j^{}`$ is.

### 4.4 Rationality of the Zariski decomposition

We want to prove that the divisorial Zariski decomposition is rational (when $`X`$ is a surface or a hyper-Kähler manifold) in the sense that $`N(\alpha )`$ is a rational divisor when $`\alpha `$ is a rational class. We first show the following characterization of the divisorial Zariski decomposition:

###### Theorem 4.8

If $`\alpha H^{1,1}(X,𝐑)`$ is a pseudo-effective class, its divisorial Zariski decomposition $`\alpha =Z(\alpha )+\{N(\alpha )\}`$ is the unique orthogonal decomposition of $`\alpha `$ into the sum of a modified nef class and the class of an exceptional effective $`𝐑`$-divisor.

$`Proof`$: we first prove uniqueness: assume that $`\alpha =p+\{N\}`$ is an orthogonal decomposition with $`p`$ a modified nef class and $`N`$ an effective exceptional $`𝐑`$-divisor. We claim that $`N(\alpha )=N`$. To see this, let $`D_1,\mathrm{},D_r`$ be the support of $`N`$; the Gram matrix $`(q(D_i,D_j))`$ is negative definite by theorem 4.5, and $`p`$ is orthogonal to each $`D_j`$ because $`q(p,N)=0`$ and $`q(p,D_j)0`$ for all $`j`$ since $`p`$ is a modified nef class. We have $`N(\alpha )N(p)+N`$ and $`N(p)=0`$ since $`p`$ is modified nef, thus $`N(\alpha )N`$. But $`N(\alpha )N`$ is supported by primes $`D_1,\mathrm{},D_r`$ whose Gram matrix is negative definite, and $`q(N(\alpha )N,D_j)=q(p,D_j)q(Z(\alpha ),D_j)`$ is non-positive since $`p`$ is orthogonal to $`D_j`$ and $`Z(\alpha )`$ belongs to $`𝒩=^{}`$. Lemma 4.6 thus yields $`N(\alpha )N`$, and the claim follows. To prove theorem 4.8, we will show the existence of an orthogonal decomposition $`\alpha =p+\{N\}`$ with $`p`$ a modified nef class and $`N`$ an exceptional $`𝐑`$-divisor. When this is done, we must have $`N=N(\alpha )`$ by the claim, so that that $`\alpha =Z(\alpha )+\{N(\alpha )\}`$ is itself an orthogonal decomposition.

###### Lemma 4.9

A pseudo-effective class $`\alpha `$ lies in $`^{}`$ iff $`q(\alpha ,D)0`$ for every prime $`D`$.

$`Proof`$: if $`\beta `$ is a pseudo-effective class, we write $`q(\alpha ,\beta )=q(\alpha ,Z(\beta ))+q(\alpha ,N(\beta ))`$. The first term is positive because $`Z(\beta )`$ lies in $`^{}`$, and the second one is positive if $`q(\alpha ,D)0`$ for each prime $`D`$.

###### Lemma 4.10

Let $`\alpha `$ be a pseudo-effective class and let $`D_1,\mathrm{},D_r`$, $`E_1,\mathrm{},E_p`$ be two families of primes such that:

(i) $`q(\alpha ,D_j)<0`$ and $`q(\alpha ,E_i)0`$ for every $`j`$ and $`i`$.

(ii) $`E_1,\mathrm{},E_r`$ is an exceptional family.

Then the union of these two families is exceptional.

$`Proof`$: let $`F`$ be an effective divisor supported by $`D_j`$’s and $`E_i`$’s, and assume that $`\{F\}`$ is a modified nef class. We have to see that $`F=0`$. But $`q(\alpha ,F)`$ is positive since $`F`$ is modified nef, thus we see using (i) that $`F`$ is in fact supported by $`E_i`$’s, and then (ii) enables us to conclude that $`F=0`$ as desired.

At this point, the argument is similar to \[Fuj79\]. If the pseudo-effective class $`\alpha `$ is already in $`^{}`$, we trivially have our decomposition. Otherwise, consider the family $`A`$ of primes $`D`$ such that $`q(\alpha ,D)<0`$. That family is exceptional by lemma 4.10 with $`E_1,\mathrm{},E_p`$ an empty family, thus $`A`$ is finite with negative definite Gram matrix, and is non-empty by lemma 4.9. Let

$$\alpha =\alpha _1+\{N_1\}$$

be the decomposition in the direct sum $`V^{}V`$, where $`VH^{1,1}(X,𝐑)`$ is spanned by $`A`$. We claim that $`N_1`$ is effective and that $`\alpha _1`$ is pseudo-effective. Since $`q(N_1,D)=q(\alpha ,D)<0`$ for every $`DA`$, lemma 4.6 yields that $`N_1`$ is effective. We can also write $`N(\alpha )=E+F`$ where $`E`$ and $`F`$ are effective with disjoint supports and $`F`$ is supported by elements of $`A`$. Then for every $`DA`$ we have $`q(FN_1,D)q(N(\alpha )N_1,D)`$ since $`E`$ and $`D`$ are disjoint, and $`q(N(\alpha )N_1,D)=q(\alpha _1,D)q(Z(\alpha ),D)`$ is non-positive because $`\alpha _1`$ and $`D`$ are orthogonal and $`Z(\alpha )`$ lies in $`^{}`$. We infer from this that $`N(\alpha )N_1`$ using lemma 4.6, and $`\alpha _1=Z(\alpha )+\{N(\alpha )N_1\}`$ is thus pseudo-effective, and this proves our claim.
If $`\alpha _1`$ lies in $`^{}`$, we have our decomposition by construction; otherwise, we iterate the construction: let $`B`$ be the non-empty exceptional family of primes $`D`$ such that $`q(\alpha _1,D)<0`$. Since $`A`$ is already exceptional and $`q(\alpha _1,D)=0`$ for $`DA`$, we infer from lemma 4.10 that the union $`A_1`$ of $`A`$ and $`B`$ is again an exceptional family. We decompose

$$\alpha _1=\alpha _2+\{N_2\}$$

in the direct sum $`V_1^{}V_1`$, where $`V_1H^{1,1}(X,𝐑)`$ is spanned by $`A_1`$. The same arguments as above show in that case also that $`\alpha _2`$ is pseudo-effective, and also that $`N_2`$ is effective (since $`q(N_2,D)=q(\alpha _1,D)0`$ for each $`DA_1`$). But since $`B`$ is non-empty, $`A_1`$ is an exceptional family strictly bigger than $`A`$. Since the length of the exceptional families is uniformly bounded by the Picard number $`\rho (X)`$ by theorem 3.14, the iteration of the construction has to stop after $`l`$ steps, for which we get a class $`\alpha _l`$ which is modified nef. The desired decomposition is then obtained by setting $`p:=\alpha _l`$ and $`N:=N_1+\mathrm{}+N_l`$, which is exceptional since it is supported by elements of $`AA_1\mathrm{}A_l=A_l`$ (since $`AA_1\mathrm{}A_1`$ by construction). This concludes the proof of theorem 4.8.

###### Corollary 4.11 (Rationality of the Zariski decomposition)

The divisorial Zariski decomposition is rational in case $`X`$ is a surface or a hyper-Kähler manifold. In particular, when $`D`$ is a pseudo-effective divisor on $`X`$, the modified nef $`𝐑`$-divisor $`P:=DN(\{D\})`$ is rational and such that the canonical inclusion of $`H^0(X,𝒪(kP))`$ in $`H^0(X,𝒪(kD))`$ is surjective for every $`k`$ such that $`kP`$ is Cartier.

$`Proof`$: if $`\alpha NS(X)𝐐`$ is a rational class, $`N(\alpha )`$ is necessarily the image of $`\alpha `$ by the orthogonal projection $`NS(X)𝐐V_𝐐(\alpha )`$, where $`V_𝐐(\alpha )`$ is the $`𝐐`$-vector space generated by the cohomology classes of the components of $`N(\alpha )`$. The latter is therefore rational. As to the second part, let $`E`$ be an element of the linear system $`|kD|`$. Since the integration current $`\frac{1}{k}[E]`$ is positive and lies in $`\{D\}`$, we have $`EkN(\{D\})`$. But this exactly means that $`kN(\{D\})`$ is contained in the base scheme of $`|kD|`$, as was to be shown.

###### Proposition 4.12 (Rationality of the volume)

If $`pH^{1,1}(X,𝐑)`$ is a modified nef class on $`X`$, its volume is equal to

$$v(p)=q(p)^m=p^{dimX}.$$

In general, we have $`v(\alpha )=Z(\alpha )^{dimX}`$; in particular, the volume of a rational class is rational.

$`Proof`$: we have already proven in proposition 3.22 that $`v(\alpha )=v(Z(\alpha ))`$, so only the first assertion needs a proof. We have shown in \[Bou02\] that the equality $`v(p)=p^{dimX}`$ is always true when $`p`$ is a nef class, so the contended equality holds on a surface. In the hyper-Kähler case, since we have chosen the symplectic form $`\sigma `$ so that $`q(\alpha )^m=\alpha ^{2m}`$ for any class $`\alpha `$, we just have to prove $`v(p)=q(p)^m`$ for $`p𝒩`$. The latter cone is also the closure of the bimeromorphic Kähler cone $`𝒦`$, so we may assume that $`p`$ lies in $`f^{}𝒦_X^{}`$ for some bimeromorphic map $`f:XX^{}`$ between hyper-Kähler manifolds (because both $`q`$ and the volume are continuous). But since $`f`$ is an isomorphism in codimension 1, the volume is invariant under $`f`$, and so is the quadratic form $`q`$, so we are reduced to the case where $`p`$ is a Kähler class, for which the equality is always true as we’ve said above.

## 5 The algebraic approach

In this section, we would like to show what the constructions we have made become when $`\alpha =c_1(L)`$ is the first Chern class of a line bundle on a projective complex manifold $`X`$. The general philosophy is that the divisorial Zariski decomposition of a big line bundle can be defined algebraically in terms of the asymptotic linear series $`|kL|`$. When $`L`$ is just pseudo-effective, sections are of course not sufficient, but we are led back to the big case by approximating. For those who are reluctant to assume projectivity too quickly, we remark that a compact Kähler manifold carrying a big line bundle is automatically projective.

### 5.1 From sections to currents and back

Let $`LX`$ be a line bundle over the projective manifold $`X`$. Each time $`L`$ has sections $`\sigma _1,\mathrm{},\sigma _lH^0(X,L)`$, there is a canonical way to construct a closed positive current $`Tc_1(L)`$ with analytic singularities as follows: choose some smooth Hermitian metric $`h`$ on $`L`$, and consider

$$\phi (x):=\frac{1}{2}\mathrm{log}\underset{j}{}h(\sigma _j(x)).$$

Then we define $`T=\mathrm{\Theta }_h(L)+dd^c\phi `$, where $`\mathrm{\Theta }_h(L)`$ is the first Chern form of $`h`$. One immediately checks that $`T`$ is positive and independent of the choice of $`h`$, and thus depends on the sections $`\sigma _j`$ only. $`T`$ has analytic singularities exactly along the common zero-scheme $`A`$ of the $`\sigma _j`$’s, and its Siu decomposition therefore writes $`T=R+D`$, where $`D`$ is the divisor part of $`A`$. When $`(\sigma _j)`$ is a basis of $`H^0(X,L)`$, we set $`T_{|L|}:=T`$. Another way to see $`T_{|L|}`$ is as the pull-back of the Fubiny-Study form on $`𝐏H^0(X,L)^{}=𝐏^N`$ (the identification is determined by the choice of the basis of $`H^0(L)`$) by the rational map
$`\varphi _{|L|}:X𝐏H^0(X,L)^{}`$. $`T_{|L|}`$ is independent of the choice of the basis up to equivalence of singularities, and carries a great deal of information about the linear system $`|L|`$: the singular scheme $`A`$ of $`T_{|L|}`$ is the base scheme $`B_{|L|}`$ of the linear system $`|L|`$, the Lelong number $`\nu (T_{|L|},x)`$ at $`x`$ is just the so-called multiplicity of the linear system at $`x`$, which is defined by

$$\nu (|L|,x):=\mathrm{min}\{\nu (E,x),E|L|\}.$$

If a modification $`\mu :\stackrel{~}{X}X`$ is chosen such that $`\mu ^{}|L|=|M|+F`$, where $`M`$ has non base-point and $`F`$ is an effective divisor, then $`\mu ^{}T_{|L|}=T_{\mu ^{}|L|}=T_{|M|}+F`$ where $`T_{|M|}`$ is smooth since $`|M|`$ is generated by global sections. The so-called moving self-intersection of $`L`$, which is by definition $`L^{[n]}:=M^n`$, is thus also equal to $`_X(T_{|L|})_{ac}^n`$.
When $`L`$ is a big line bundle, we get for each big enough $`k>0`$ a positive current $`T_k:=\frac{1}{k}T_{|kL|}`$ in $`c_1(L)`$. A result of Fujita (cf. \[DEL00\]) claims that the volume $`v(L)`$ is the limit of $`\frac{1}{k^n}(kL)^{[n]}`$, thus we have $`v(L)=lim_{k+\mathrm{}}_XT_{k,ac}^n`$.
Finally, if $`T_{\mathrm{min}}`$ is a positive current with minimal singularities in $`c_1(L)`$, we can choose a singular Hermitian metric $`h_{\mathrm{min}}`$ on $`L`$ whose curvature current is $`T_{\mathrm{min}}`$ (by section 2.4). If $`L`$ is still big and if for each $`k`$ we choose the basis of $`H^0(kL)`$ to be orthonormal with respect to $`h_{\mathrm{min}}^k`$, then it can be shown that $`T_kT_{\mathrm{min}}`$, and we will see in 5.2 that $`\nu (T_k,x)=\frac{1}{k}\nu (|kL|,x)`$ converges to $`\nu (T_{\mathrm{min}},x)=\nu (c_1(L),x)`$. In some sense, the family $`T_k`$ deriving from $`|kL|`$ is cofinite $`(c_1(L)^+,)`$.
It should however be stressed that $`T_{|kL|}`$ will in general $`not`$ be a Kähler current, even if $`L`$ is big. Indeed, consider the pull-back $`L=\mu ^{}A`$ of some ample line bundle $`A`$ by a blow-up $`\mu `$. Then $`kL`$ will be generated by global sections for $`k`$ big enough, and $`T_{|kL|}`$ is thus smooth for such a $`k`$, but not a Kähler current, since $`L`$ is not ample and a smooth Kähler current is just a Kähler form.

Conversely, to go from currents to sections is the job of the $`L^2`$ estimates for the $`\overline{}`$ operator, e.g. in the form of Nadel’s vanishing theorem. Recall that the multiplier ideal sheaf $`(T)`$ of a closed almost positive $`(1,1)`$-current $`T`$ is defined locally as follows: write $`T=dd^c\phi `$ locally at some $`x`$. Then the stalk $`(T)_x`$ is the set of germs of holomorphic functions at $`x`$ such that $`|f|^2e^{2\phi }`$ is locally integrable at $`x`$. Then Nadel’s vanishing states that if $`T`$ is a Kähler current in the first Chern class $`c_1(L)`$ of a line bundle $`L`$, then $`H^q(X,𝒪(K_X+L)(T))=0`$ for every $`q>0`$. In particular, if $`V(T)`$ denotes the scheme $`V((T))`$, then the restriction map

$$H^0(X,𝒪_X(K_X+L))H^0(V(T),𝒪_{V(T)}(K_X+L))$$

is surjective. This affords a tool to prove generation of jets at some points, using the following lemma (cf. \[DEL00\]):

###### Lemma 5.1 (Skoda’s lemma)

If $`\nu (T,x)<1`$, then $`(T)_x=𝒪_x`$. If $`\nu (T,x)n+s`$, we have $`(T)_x_x^{s+1}`$.

To illustrate how this works, let us prove the following algebraic characterization of the non-Kähler locus:

###### Proposition 5.2

If $`L`$ is a big line bundle, then the non-Kähler locus
$`E_{nK}(c_1(L))`$ is the intersection of the non-finite loci $`\mathrm{\Sigma }_k`$ of the rational maps $`\varphi _{|kL|}`$, defined as the union of the reduced base locus $`B_{|kL|}`$ and the set of $`xXB_{|kL|}`$ such that the fiber through $`x`$ $`\varphi _{|kL|}^1(\varphi _{|kL|}(x))`$ is positive dimensional somewhere.

$`Proof`$: If $`x_1,\mathrm{},x_rX`$ lie outside $`E_{nK}(c_1(L))`$, then we can find a Kähler current $`Tc_1(L)`$ with analytic singularities such that each $`x_j`$ lies outside the singular locus of $`T`$. The latter being closed, there exists a neighbourhood $`U_j`$ of $`x_j`$ such that $`\nu (T,z)=0`$ for every $`zU_j`$. We artificially force an isolated pole at each $`x_j`$ by setting $`\stackrel{~}{T}=T+_{1jr}dd^c(\epsilon \theta _j(z)\mathrm{log}|zx_j|)`$, where $`\theta _j`$ is a smooth cut-off function near $`x_j`$, and $`\epsilon >0`$ is so small that $`\stackrel{~}{T}`$ is still Kähler. We have $`\nu (\stackrel{~}{T},x_j)=\epsilon `$, whereas $`\nu (\stackrel{~}{T},z)`$ is still zero for every $`zx_j`$ in $`U_j`$. We now choose a some smooth form $`\tau `$ in $`c_1(K_X)`$, and consider the current $`T_k:=k\stackrel{~}{T}\tau `$. It lies in the first Chern class of $`L_k:=kLK_X`$, and is certainly still Kähler for $`k`$ big enough. We also have $`\nu (T_k,z)=0`$ for every $`zx_j`$ close to $`x_j`$, and $`\nu (T_k,x_j)=k\epsilon `$. Given $`s_1,\mathrm{},s_r`$, we see that, for $`k`$ big enough, each $`x_j`$ will be isolated in $`E_1(T_k)`$, whereas $`(T_k)_{x_j}_{x_j}^{s_j+1}`$, using Skoda’s lemma. Nadel’s vanishing then implies that the global sections of $`kL`$ generate $`s_j`$-jets at $`x_j`$ for every $`j`$. This implies that the non-finite locus $`\mathrm{\Sigma }_k`$ is contained in $`E_{nK}(c_1(L))`$.
To prove the converse inclusion, we have to find for each $`m`$ a Kähler current $`T_m`$ in $`c_1(L)`$ with $`E_+(T_m)\mathrm{\Sigma }_m`$. To do this, we copy the proof of proposition 7.2 in \[Dem97\].

###### Lemma 5.3

If $`L`$ is any line bundle such that the non-finite locus $`\mathrm{\Sigma }_m`$ of $`mL`$ is distinct from $`X`$ for some $`m`$, then, for every line bundle $`G`$, the base locus of $`|kLG|`$ is contained in $`\mathrm{\Sigma }_m`$ for $`k`$ big enough.

We then take $`G`$ to be ample, and set $`T_m:=\frac{1}{k}(T_{|kLG|}+\omega )`$ with $`k`$ big enough so that $`B_{|kLG|}\mathrm{\Sigma }_m`$ and $`\omega `$ a Kähler form in $`c_1(G)`$.
To prove lemma 5.3, note that $`|mL|`$ is not empty, so we can select a modification $`\mu :\stackrel{~}{X}X`$ such that $`\mu ^{}|mL|=|\stackrel{~}{L}|+F`$, where $`|\stackrel{~}{L}|`$ is base point free. It is immediate to check that it is enough to prove the lemma for $`\stackrel{~}{L}`$, so we can assume from the beginning that $`L`$ is base-point free, with $`m=1`$. We set $`\varphi :=\varphi _{|L|}:X𝐏^N`$ and $`\mathrm{\Sigma }:=\mathrm{\Sigma }_1`$. Upon adding a sufficiently ample line bundle to $`G`$, it is also clear that we may assume $`G`$ to be very ample. If $`xX`$ lies outside $`\mathrm{\Sigma }`$, the fiber $`\varphi ^1(\varphi (x))`$ is a finite set, so we can find a divisor $`D|G|`$ which doesn’t meet it. Therefore we have $`\varphi (x)𝐏^N\varphi (D)`$, so that for $`k`$ big enough there exists $`H|𝒪_{𝐏^N}(k)|`$ with $`H\varphi _{}D`$ which doesn’t pass through $`\varphi (x)`$. The effective divisor $`\varphi ^{}HD`$ is then an element of $`|kLG|`$ which doesn’t pass through $`x`$. The upshot is: for every $`xX`$ outside $`\mathrm{\Sigma }`$, we have $`xXB_{|kLG|}`$ for $`k`$ big enough. By Nötherian induction, we therefore find $`k`$ big enough such that $`B_{|kLG|}`$ is contained in $`\mathrm{\Sigma }`$, as was to be shown.

### 5.2 Minimal Lelong numbers

When $`L`$ is a big $`𝐑`$-divisor, we denote by $`L_k:=kL`$ the round-down of $`kL`$, and by $`R_k:=kLL_k`$ the fractional part of $`kL`$. We then consider the sequence $`\frac{1}{k}\nu (|L_k|,x)`$. It is easily seen to be subadditive, and therefore $`\nu (L,x):=lim_{k+\mathrm{}}\frac{1}{k}\nu (|kL|,x)`$ exists. We then prove the following

###### Theorem 5.4

If $`L`$ is a big $`𝐑`$-divisor on $`X`$ and $`\alpha :=\{L\}NS(X)_𝐑`$, then

$$\nu (\alpha ,x)=\nu (L,x)$$

for every $`xX`$.

$`Proof`$: let $`L=a_jD_j`$ be the decomposition of $`L`$ into its prime components. We choose arbitrary smooth forms $`\eta _j`$ in $`\{D_j\}`$, and denote by $`\tau _k:=(ka_jka_j)\eta _j`$ the corresponding smooth form in $`\{R_k\}`$. Since $`\tau _k`$ has bounded coefficients, we can choose a fixed Kähler form $`\omega `$ such that $`\omega \tau _k\omega `$ for every $`k`$. If $`E`$ is an effective divisor in $`|L_k|`$, then $`1/k([E]+\tau _k)`$ is a current in $`\alpha [1/k\omega ]`$, therefore $`\frac{1}{k}\nu (E,x)\nu (T_{\mathrm{min},1/k},x)`$, where $`T_{\mathrm{min},1/k}`$ is a current with minimal singularities in $`\alpha [1/k\omega ]`$, and this yields $`lim_k\mathrm{}\frac{1}{k}\nu (|L_k|,x)lim_k\mathrm{}\nu (T_{\mathrm{min},1/k},x)=\nu (\alpha ,x)`$. In the other direction, we use a related argument in \[DEL00\], Theorem 1.11. The Ohsawa-Takegoshi-Manivel $`L^2`$ extension theorem says in particular that if we are given a Hermitian line bundle $`(A,h_A)`$ with sufficiently positive curvature form, then for every pseudo-effective line bundle $`G`$ and every singular Hermitian metric $`h`$ on $`G`$ with positive curvature current $`Tc_1(G)`$ and every $`xX`$, the evaluation map

$$H^0(X,𝒪(G+A)(T))𝒪_x(G+A)(T)_x$$

is surjective, with an $`L^2`$ estimate independent of $`(G,h)`$ and $`xX`$.
We now fix a Hermitian line bundle $`(A,h_A)`$ with a sufficiently positive curvature form $`\omega _A`$ to satisfy the Ohsawa-Takegoshi theorem. We select a positive current with minimal singularities $`T_{\mathrm{min}}`$ in $`\alpha `$, and also a Kähler current $`T`$ in $`\alpha `$, which is big by assumption; we can then find almost pluri-subharmonic functions $`\phi _{\mathrm{min}}`$ and $`\phi `$ on $`X`$ such that $`T_{\mathrm{min}}dd^c\phi _{\mathrm{min}}`$ and $`Tdd^c\phi `$ are smooth. We set $`G_k:=L_kA=kLR_kA=(kk_0)L+(k_0LR_kA)`$, and fix $`k_0`$ big enough so that $`k_0T\omega \omega _A`$ is a Kähler current. For $`kk_0`$, the current $`T_k:=(kk_0)T_{\mathrm{min}}+(k_0T\tau _k\omega _A)`$ is then a positive current in $`c_1(G_k)`$, thus we can choose for each $`k`$ a smooth Hermitian metric $`h_k`$ on $`G_k`$ such that $`T_k`$ is the curvature current of the singular Hermitian metric $`\mathrm{exp}(2(kk_0)\phi _{\mathrm{min}}2k_0\phi )h_k`$. Applying the Ohsawa-Takegoshi to $`G_k`$ equipped with this singular Hermitian metric, we thus get a section $`\sigma H^0(X,L_k)`$ such that

$$h_k(\sigma (x))\mathrm{exp}(2(kk_0)\phi _{\mathrm{min}}(x)2\phi (x))=1$$

and

$$_Xh_k(\sigma )\mathrm{exp}(2(kk_0)\phi _{\mathrm{min}}2\phi )𝑑VC_1,$$

where $`C_1`$ does not depend on $`k`$ and $`x`$. If we choose a basis $`\sigma _1,\mathrm{},\sigma _l`$ of $`H^0(X,L_k)`$, we infer from this that

$$\phi _{\mathrm{min}}(x)+\frac{1}{kk_0}\phi (x)=\frac{1}{2(kk_0)}\mathrm{log}h_k(\sigma (x))$$

$$\frac{1}{2(kk_0)}\mathrm{log}h_k(\sigma _j(x))+C_2,$$

where $`C_2`$ does not depend on $`x`$. The latter inequality comes from the bound on the $`L^2`$ norm of $`\sigma `$, since the $`L^2`$ norm dominates the $`L^{\mathrm{}}`$ norm. Therefore

$$\frac{1}{kk_0}\nu (|L_k|,x)\nu (\phi _{\mathrm{min}},x)+\frac{C_3}{kk_0},$$

where $`C_3`$ is a bound on the Lelong numbers of $`T`$. If we let $`k\mathrm{}`$ in the last inequality, we get $`\nu (L,x)\nu (\alpha ,x)`$ as desired.

### 5.3 Zariski decompositions of a divisor

The usual setting for the problem of Zariski decompositions is the following: let $`X`$ be a projective manifold, and $`L`$ a divisor on it. One asks when it is possible to find two $`𝐑`$-divisors $`P`$ and $`N`$ such that:

(i) $`L=P+N`$

(ii) $`P`$ is nef,

(iii) $`N`$ is effective,

(iv) $`H^0(X,kL)=H^0(X,kP)`$ for all $`k>0`$, where the round-down $`F`$ of an $`𝐑`$-divisor $`F`$ is defined coefficient-wise.

This can of course happen only if $`L`$ is already pseudo-effective. When this is possible, one says that $`L`$ admits a Zariski decomposition (over $`𝐑`$ or $`𝐐`$, depending whether the divisors are real or rational). We want to show that, for a big divisor $`L`$, this can be read off the negative part $`N(\{L\})`$.

###### Theorem 5.5

Let $`L`$ be a big divisor on $`X`$, and let $`N(L):=N(\{L\})`$ and $`P(L):=LN(L)`$. Then $`L=P(L)+N(L)`$ is the unique decomposition $`L=P+N`$ into a modified nef $`𝐑`$-divisor $`P`$ and an effective $`𝐑`$-divisor $`N`$ such that the canonical inclusion $`H^0(kP)H^0(kL)`$ is an isomorphism for each $`k>0`$.

$`Proof`$: first, we have to check that $`H^0(X,kL)=H^0(X,kP(L))`$. If $`E`$ is an effective divisor in the linear system $`|kL|`$, we have to see that $`EkN(L)`$. But $`\frac{1}{k}[E]`$ is a positive current in $`\{L\}`$, thus $`EkN(L)`$, and so $`EkN(L)`$ since $`E`$ has integer coefficients.
Conversely, assume that $`L=P+N`$ is a decomposition as in theorem 5.5. We have to show that $`N=N(L)`$, i.e. $`\nu (\{L\},D)=\nu (N,D)`$ for every prime $`D`$. In view of theorem 5.4, this will be a consequence of the following

###### Lemma 5.6

Suppose that a big divisor $`L`$ writes $`L=P+N`$, where $`P`$ is an $`𝐑`$-divisor and $`N`$ is an effective $`𝐑`$-divisor such that $`H^0(X,kL)=H^0(X,kP)`$ for every $`k>0`$. Then we have:

(i) If $`P`$ is nef, then $`\nu (L,x)=\nu (N,x)`$ for every $`xX`$.

(ii) If $`P`$ is modified nef, then $`\nu (L,D)=\nu (N,D)`$ for every prime $`D`$.

$`Proof`$: the assumption $`H^0(X,kL)=H^0(X,kP)`$ means precisely that for every $`E|kL|`$ we have $`EkN`$, thus $`\nu (|kL|,x)\frac{ka_j}{k}\nu (D_j,x)`$ if we write $`N=a_jD_j`$. We deduce from this the inequality $`lim_k\mathrm{}\frac{1}{k}\nu (|kL|,x)a_j\nu (D_j,x)=\nu (N,x)`$. To get the converse inequalities, notice that

$$\nu (|kL|,x)\nu (|P_k|,x)+\nu (kN,x)$$

with $`P_k:=kP`$ as before; dividing this out by $`k`$ and letting $`k+\mathrm{}`$, we deduce

$$\underset{k\mathrm{}}{lim}\frac{1}{k}\nu (|kL|,x)\underset{k\mathrm{}}{lim}\frac{1}{k}\nu (kN,x)=\nu (N,x)$$

when $`P`$ is nef, since $`\nu (\{P\},x)=lim_k\mathrm{}\frac{1}{k}\nu (P_k,x)`$ is then always zero, and similarly with $`D`$ in place of $`x`$ when $`P`$ is modified nef (remark that $`P`$ is big because $`L`$ is). This concludes the proof of theorem 5.5.

###### Corollary 5.7 (Cutkosky’s criterion)

Let $`L`$ be a big divisor on $`X`$, and assume that $`\nu (\{L\},D)`$ is irrational for some irreducible divisor $`D`$. Then there cannot exists a modification $`\mu :\stackrel{~}{X}X`$ such that $`\mu ^{}L`$ admits a Zariski decomposition over $`𝐐`$.

$`Proof`$: if a modification $`\mu `$ as stated exists, then the negative part $`N(\mu ^{}L)`$ has to be rational by theorem 5.5, and we get a contradiction using the following easy

###### Lemma 5.8

Let $`\alpha `$ be a pseudo-effective class on $`X`$, and let $`\mu :\stackrel{~}{X}X`$ be a modification. Then we have

$$N(\alpha )=\mu _{}N(\mu ^{}\alpha ).$$

$`Proof`$: very easily checked using that a modification is an isomorphism in codimension 1.

#### 5.3.1 An example of Cutkosky.

We propose to analyze in our setting an example due to S.D.Cutkosky \[Cut86\] of a big line bundle $`L`$ on a 3-fold $`X`$ whose divisorial Zariski decomposition is not rational, but whose Zariski projection $`Z(\{L\})`$ is nef. We start from any projective manifold $`Y`$ for which $`𝒩_Y=_Y`$. Thus $`Y`$ might be a smooth curve or any manifold with nef tangent bundle (cf. \[DPS94\]). We pick two very ample divisors $`D`$ and $`H`$ on $`Y`$, and consider $`X:=𝐏(𝒪(D)𝒪(H))`$, with its canonical projection $`\pi :XY`$. If we denote by $`L:=𝒪(1)`$ the canonical relatively ample line bundle on $`X`$, then it is well known that

$$H^{1,1}(X,𝐑)=\pi ^{}H^{1,1}(Y,𝐑)𝐑L.$$

Since $`D`$ is ample, $`L`$ is big, but it won’t be nef since $`H`$ is not. We are first interested in the divisorial Zariski decomposition of $`L`$. We have a hypersurface $`E:=𝐏(𝒪(H))X`$, and since $`D`$ has a section, we see that $`E+\pi ^{}D|L|`$. Therefore we get $`N(L)N(\pi ^{}D)+E`$; but $`\pi ^{}D`$ is nef, so has $`N(\pi ^{}D)=0`$, and we deduce $`N(L)E`$. Consequently, $`N(L)=\mu _LE`$ for some $`0\mu _L1`$, and $`L=Z(L)+\mu _LE`$. We claim that

$$\mu _L=\mathrm{min}\{t>0,(LtE)_{|E}𝒩_E\}.$$

First, we have $`LtE=\pi ^{}D+(1t)E`$, and since $`\pi ^{}D`$ is nef, we get that the non-nef locus $`E_{nn}(LtE)`$ is contained in $`E`$ for $`0<t<1`$. Therefore $`LtE𝒩_X`$ iff $`(LtE)_{|E}𝒩_E`$. If this is the case, we have $`N(L)N(LtE)+tE=tE`$, and thus $`t\mu _L`$. Conversely, since $`L\mu _LE=Z(L)`$ lies in $`𝒩`$, we get that $`Z(L)_{|E}_E=𝒩_E`$ by proposition 2.4 (since $`E`$ is isomorphic to $`Y`$ via $`\pi `$), and we deduce the equality. Now, notice that the projection $`\pi `$ induces an isomorphism $`EY`$ such that $`L`$ becomes $`H`$ and thus $`E_{|E}`$ becomes $`DH`$. The condition $`(LtE)_{|E}𝒩_E`$ is turned into $`H+t(D+H)𝒩_Y`$, and we get in the end

$$\mu _L=\mathrm{min}\{t>0,H+t(D+H)𝒩_Y\}$$

The picture can be made more precise:

###### Proposition 5.9

(i) The nef cone $`𝒩_X`$ is generated by $`\pi ^{}𝒩_Y`$ and $`L+\pi ^{}H`$.

(ii) The pseudo-effective cone $`_X`$ is generated by $`\pi ^{}𝒩_Y`$ and by $`E`$.

(iii) The only exceptional divisor on $`X`$ is $`E`$, and the modified Kähler cone coincides with the Kähler cone. The Zariski projection $`Z(\alpha )`$ of a pseudo-effective class $`\alpha `$ is thus the projection of $`\alpha `$ on $`𝒩_X`$ parallel to $`𝐑_+E`$.

$`Proof`$: given line bundles $`L_1,\mathrm{},L_r`$ on a compact Kähler manifold $`Y`$, a class $`\alpha =\pi ^{}\beta `$ over $`X:=𝐏(L_1\mathrm{}L_r)`$ is nef (resp. pseudo-effective) iff $`\beta `$ is. A class $`\alpha =𝒪(1)+\pi ^{}\beta `$ is nef iff $`\beta +L_j`$ is nef forall $`j`$, and $`\alpha `$ is big iff the convex cone generated by $`\beta +L_1,\mathrm{},\beta +L_r`$ meets the big cone of $`Y`$, which condition is equivalent (by homogeneity) to: $`\beta +`$conv$`(L_1,\mathrm{},L_r)`$ meets the big cone; finally $`\alpha `$ is pseudo-effective iff $`\beta +`$conv$`(L_1,\mathrm{},L_r)`$ meets $`_Y`$. In our case $`\alpha =\pi ^{}\beta +L`$ is thus nef iff $`\beta H`$ is nef, and $`\alpha `$ is pseudo-effective iff $`\alpha +[H,D]`$ meets $`𝒩_Y`$. The latter condition is clearly equivalent to $`\alpha D𝒩_Y`$. Now an arbitrary class $`\alpha `$ on $`X`$ uniquely writes $`\alpha =tL+\pi ^{}\beta `$. If $`\alpha `$ is pseudo-effective, then $`t0`$ (since $`L`$ is relatively ample); if $`t=0`$, then $`\alpha \pi ^{}𝒩_Y`$. Otherwise, we may assume by homogeneity that $`t=1`$, and thus (i) and (ii) follow from the above discussion.
By (ii), a pseudo-effective class $`\alpha `$ writes $`\pi ^{}\beta +tE`$ with $`\beta `$ nef. Therefore we get $`N(\alpha )tE`$, and $`E`$ is thus the only exceptional divisor on $`X`$. In fact, we even have $`E_{nn}(\alpha )E`$, and thus $`\alpha `$ is nef iff $`\alpha _{|E}`$ is nef. In particular, we see that $`𝒦=𝒦`$ as desired (use proposition 2.4 again).

We now assume that $`Y`$ is a surface. The assumption $`𝒩_Y=_Y`$ implies that $`𝒩_Y=\overline{𝒫}_Y=_Y`$, and $`\mu _L`$ is none but the least of the two roots of the quadratic polynomial in $`t`$ $`(H+t(D+H))^2`$; it will thus be irrational for most choices of $`H`$ and $`D`$ (on, say, an abelian surface). This already yields that the divisorial Zariski decomposition of the rational class $`c_1(L)`$ will not be rational in general, that is, the analogue of corollary 4.11 is not true in general on a 3-fold.
Since $`Z(L)`$ is nef, the volume of $`L`$ is just $`v(Z(L))=Z(L)^3`$, with $`Z(L)=(1\mu _L)L+\mu _L\pi ^{}D`$. The cubic intersection form is explicit on $`H^{1,1}(X,𝐑)`$ from the relations

$$L^3\pi ^{}(DH)L^2DHL=0$$

and $`\pi _{}L=1`$, $`\pi _{}L^2=DH`$, thus we can check that $`v(L)`$ is an explicit polynomial of degree 3 in $`\mu _L`$ which is also irrational for most choices of $`D`$ and $`H`$. We conclude: there exists a big line bundle on a projective 3-fold with an irrational volume, by contrast with proposition 4.12.

## 6 References.

* \[Bou01\] Boucksom, S. — Le cône kählerien d’une variété hyperkählerienne, C.R.A.S. (2001), –.
* \[Bou02\] Boucksom, S. — On the volume of a line bundle, math.AG/0201031 (2002).
* \[Cut86\] Cutkosky, S.D. — Zariski decomposition of divisors on algebraic varieties, Duke Math. J. 53 (1986), 149–156.
* \[Dem82\] Demailly, J.-P. — Estimations $`L^2`$ pour l’opérateur $`\overline{}`$ d’un fibré vectoriel holomorphe semi-positif au dessus d’une variété kählerienne complète, Ann. Sci. Ecole Norm. Sup. 15 (1982), 457–511.
* \[Dem92\] Demailly, J.-P. — Regularization of closed positive currents and intersection theory, J. Alg. Geom. 1 (1992), 361–409.
* \[Dem97\] Demailly, J.-P. — Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials, Proc. Symp. Pure Math. 62.2 (1997).
* \[DPS94\] Demailly, J.-P.; Peternell, T.; Schneider, M. — Compact complex manifolds with numerically effective tangent bundles, J. Alg. Geom. 3 (1994), 295-345.
* \[DEL00\] Demailly, J.-P.; Ein, L.; Lazarsfeld, R. — A subadditivity property of multiplier ideals, math.AG/0002035 (2000).
* \[DPS00\] Demailly, J.-P.; Peternell, T.; Schneider, M. — Pseudoeffective line bundles on compact Kähler manifolds, math.AG/0006205 (2000).
* \[Fuj79\] Fujita, T. — On Zariski problem, Proc. Japan Acad., Ser. A 55 (1979), 106–110.
* \[Fuj89\] Fujita, T. — Remarks on quasi-polarized varieties, Nagoya Math. J. 115 (1989), 105–123.
* \[Har77\] Hartshorne, R. — Algebraic geometry, Springer Verlag, GTM 52 (1977).
* \[Huy99\] Huybrechts, D. — The Kähler cone of a compact hyperkähler manifold, math.AG/9909109 (1999).
* \[Lam99\] Lamari, A. — Courants kähleriens et surfaces compactes, Ann. Inst. Fourier 49 (1999), 249–263.
* \[Pau98\] Paun, M. — Sur l’effectivité numérique des images inverses de fibrés en droites, Math. Ann. 310 (1998), 411–421.
* \[Siu74\] Siu, Y.T. — Analyticity of sets associated to Lelong numbers and the extension of closed positive currents, Invent. Math. 27(1974), 53–156.
* \[Zar62\] Zariski, O. — The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface, Ann. of Math. (2) 76 (1962), 560–615.