Related papers: On the numerical dimension of pseudo-effective div…

Let $X$ be a smooth projective variety. The Iitaka dimension of a divisor $D$ is an important invariant, but it does not only depend on the numerical class of $D$. However, there are several definitions of ``numerical Iitaka dimension'',…

The numerical dimension is a numerical measure of the positivity of a pseudo-effective divisor $L$. There are several proposed definitions of the numerical dimension due to Nakayama (2004) and Boucksom et al. (2004). We prove the equality…

Let X be a smooth, projective variety over the field of complex numbers. Here we focus on a conjecture attributed to Shigefumi Mori, which claims that X is uniruled if and only if the Kodaira dimension of X is negative.

We show that any pseudo-effective divisor on a normal surface decomposes uniquely into its "integral positive" part and "integral negative" part, which is an integral analog of Zariski decompositions. By using this decomposition, we give…

This paper is an enhancement of the previous note "Explicit computations of Zariski decompositions on P_Z^1". In this paper, we observe several properties of a certain kind of an arithmetic divisor D on the n-dimensional projective space…

Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $\alpha$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of…

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

Let $(X,D)$ be a log smooth pair of dimension $n$, where $D$ is a reduced effective divisor such that the log canonical divisor $K_X + D$ is pseudo-effective. Let $G$ be a connected algebraic subgroup of $\mathrm{Aut}(X,D)$. We show that…

We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…

We show that a pseudoeffective R-divisor has numerical dimension 0 if it is numerically trivial on a subvariety with ample normal bundle. This implies that the cycle class of a curve with ample normal bundle is big, giving an affirmative…

We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds,…

Let $(X,\Delta)$ be a 4-dimensional log variety which is proper over the field of complex numbers and with only divisorial log terminal singularities. The log canonical divisor $K_X+\Delta$ is semi-ample, if it is nef (numerically…

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

In this paper, we prove a positive characteristic analog of Nakayama's inequality on the numerical Kodaira dimension of algebraic fiber spaces when the generic fibers have nef canonical divisors. To this end, we establish variants of Popa…

We prove that a smooth projective variety of dimension n is isomorphic to projective n-space iff the canonical class is -(n+1)-times an ample divisor. In characteristic zero this was proved by Kobayashi-Ochiai. We also extend the second…

In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be…

We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting…

Let $(X,\Delta)$ be a projective, $\mathbb{Q}$-factorial log canonical pair and let $L$ be a pseudoeffective $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is pseudoeffective. Is there an effective $\mathbb{Q}$-divisor $M$ on $X$…

Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive…

We show that the anti-canonical bundle of any $\mathbb Q$-factorial surface is numerically effective if and only if it is pseudo-effective. To prove this, we establish a numerical non-vanishing theorem for surfaces polarized with…