Modifying the notion of numerically trivial foliation of a pseudo-effective line bundle L introduced by the author in math.AG/0304312 it can be shown that the leaves of this foliation have codimension bigger or equal to the numerical dimension of L as defined by Boucksom, Demailly, Paun and Peternell, math.AG/0405285. Furthermore, if the Kodaira dimension of L equals its numerical dimension the Kodaira-Iitaka fibration is its numerically trivial foliation. Both statements together yield a sufficient criterion for L not being abundant.
We prove the effectiveness of the log Iitaka fibration in Kodaira codimension two for varieties of dimension$\le 4$. In particular, we finish the proof of effective log Iitaka fibration in dimension two. Also, we show that for the log Iitaka fibration, if the fiber is of dimension two, the denominator of the moduli part is bounded.
We give effective bounds for the uniformity of the Iitaka fibration. These bounds follow from an effective theorem on the birationality of some adjoint linear series. In particular we derive an effective version of the main theorem in [17].
We study the relationship between Iitaka fibrations and the conjecture on the existence of complements, assuming the good minimal model conjecture. In one direction, we show that the conjecture on the existence of complements implies the effective log Iitaka fibration conjecture. As a consequence, the effective log Iitaka fibration conjecture holds in dimension $3$. In the other direction, for any Calabi-Yau type variety $X$ such that $-K_X$ is nef, we show that $X$ has an $n$-complement for some universal constant $n$ depending only on the dimension of $X$ and two natural invariants of a gene…
We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational.
It is conjectured that the base varieties of the Iitaka fibrations are bounded when the Iitaka volumes are bounded above. We confirm this conjecture for Iitaka $ε$-lc Fano type fibrations.
We study lc pairs polarized by a nef and log big divisor. After proving the minimal model theory for projective lc pairs polarized by a nef and log big divisor, we prove the effectivity of the Iitaka fibrations and some boundedness results for dlt pairs polarized by a nef and log big divisor.
For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.
Let $alb_X: X \rightarrow A$ be the Albanese map of a smooth projective variety and $f: X \rightarrow Y$ the fibration from the Stein factorization of $alb_X$. For a positive integer $m$, if $f$ and $m$ satisfy the assumptions AS(1,2), then the translates through the origin of all components of cohomological locus $V^0(ω_X^m, alb_X)$ generates $I^*Pic^0(S)$ where $I: X \rightarrow S$ denotes the Iitaka fibration. This result applies to studying pluricanonical maps. We also considered the problem about whether a fibration is isotrivial and isogenous to a product.
We prove an analogue of Fujino and Mori's ``bounding the denominators'' in the log canonical bundle formula (see also Prokhorov and Shokurov) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a klt pair $(X,Δ)$ of Kodaira codimension one and dimension at most three such that the coefficients of $Δ$ are in a DCC set $\mathcal{A}$, there is a natural number $N$ that depends only on $\mathcal{A}$ for which the round down of $\N(K_X+Δ)$ induces the Iitaka fibration. We also prove a birational boundedness result for klt surfaces of general type.
A vector bundle on a smooth projective variety, if it is generically generated by global sections, yields a rational map to a Grassmannian, called Kodaira map. We investigate the asymptotic behaviour of the Kodaira maps for the symmetric powers of a vector bundle, and we show that these maps stabilize to a map dominating all of them, as it happens for a line bundle via the Iitka fibration. Through this Iitaka-type construction, applied to the cotangent bundle, we give a new characterization of Abelian varieties.
The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations.
We study pluricanonical systems on smooth projective varieties of positive Kodaira dimension, following the approach of Hacon-McKernan, Takayama and Tsuji succesfully used in the case of varieties of general type. We prove a uniformity result for the Iitaka fibration of smooth projective varieties of positive Kodaira dimension, provided that the base of the Iitaka fibration is not uniruled, the variation of the fibration is maximal, and the generic fiber has a good minimal model.
We show that the M-canonical map of an n-dimensional complex projective manifold X of Kodaira dimension two is birational to an Iitaka fibration for a computable positive integer M. M depends on the index b of a general fibre F of the Iitaka fibration and on the Betti number of the canonical covering of F, In particular, M is a universal constant if the dimension n is smaller than or equal to 4.
We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor.
Given a positive singular hermitian metric of a pseudoeffective line bundle on a complex Kaehler manifold, a singular foliation is constructed satisfying certain analytic analogues of numerical conditions. This foliation refines Tsuji's numerically trivial fibration and the Iitaka fibration. Using almost positive singular hermitian metrics with analytic singularities on a pseudo-effective line bundle, a foliation is constructed refining the nef fibration. If the singularities of the foliation are isolated points, the codimension of the leaves is an upper bound to the numerical dimension of the…
Let $f:X\to Y$ be a fibration from a smooth projective 3-fold to a smooth projective curve, over an algebraically closed field $k$ of characteristic $p >5$. We prove that if the generic fiber $X_η$ has big canonical divisor $K_{X_η}$, then $$κ(X)\geκ(Y) + κ(X_η).$$
In this paper, we prove that for a fibration $f:X\to Z$ from a smooth projective 3-fold to a smooth projective curve, over an algebraically closed field $k$ with $\mathrm{char} k =p >5$, if the geometric generic fiber $X_{\overlineη}$ is smooth, then subadditivity of Kodaira dimensions holds, i.e. $$κ(X)\geκ(X_{\overlineη})+κ(Z).$$
Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under some natural conditions, a line subbundle of the sheaf of $p$-forms induces the Iitaka fibration.
In this paper we investigate various properties of generalised pairs in families, especially boundedness of several kinds. We show that many statements for usual pairs do not hold for generalised pairs. In particular, we construct an unexpected counter-example to boundedness of generalised lc models with fixed appropriate invariants. We also show that the DCC of Iitaka volumes and existence of nef reduction maps fail in families of generalised pairs. In a positive direction we show boundedness of bases of log Calabi-Yau fibrations with their induced generalised pair structure under natural ass…
We give a Kodaira-type classification of general singular fibers of a holomorphic Lagrangian fibration in Fujiki's class $\mathcal C$. Our approach is based on the study of the characteristic vector field of the discriminantal hypersurface, which naturally arises from the defining equation of the hypersurface via the symplectic form. As an application, we show that the characteristic foliation of the discriminantal hypersurface has algebraic leaves which are either rational curves or smooth elliptic curves.
Given a compact complex manifold X of dimension n, we define a bimeromorphic invariant $κ_+(X)$ as the maximum p for which there is a saturated line subsheaf L of the sheaf of holomorphic p forms whose Kodaira dimension $κ(L)$ equals p. We call X special if $κ_+(X)=0$. We give some evidence that this condition characterizes X to have identically vanishing Kobayashi pseudometric. We use the well-known construction of F. Campana to give, for each projective X a canonical fibration $f: X\to Y$ holomorphic outside a proper subvariety of Y and whose general fibers are special. We show that the inhe…
Let $Y$ be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold $X$ of dimension $2n$. The characteristic foliation $F$ is the kernel of the symplectic form restricted to $Y$. Assume that $X$ is equipped with a Lagrangian fibration $π:X\to B$ and $Y=π^{-1}D$, where $D$ is a hypersurface in $B$. It is easy to see that the leaves of $F$ are contained in the fibers of $π$. We prove that a very general leaf is Zariski dense in a fiber of $π$.
We will use flat divisors, and canonically associated singular holomorphic foliations, to investigate some of the geometry of compact complex manifolds. The paper is mainly concerned with three distinct problems: the existence of fibrations, the topology of smooth hypersurfaces and the topological closure of transcendental leaves of foliations.
We prove that for any smooth complex projective threefold of Kodaira dimension one, the $m$-th pluricanonical map is birational to the Iitaka fibration for every $m\geq5868$ and divisible by $12$.
In this paper we will prove a uniformity result for the Iitaka fibration $f:X \rightarrow Y$, provided that the generic fiber has a good minimal model and the variation of $f$ is zero or that $κ(X)=\rm{dim}(X)-1$.
We look at natural foliations on the Painlevé VI moduli space of regular connections of rank 2 on $\pp ^1 -{t_1,t_2,t_3,t_4}$. These foliations are fibrations, and are interpreted in terms of the nonabelian Hodge filtration, giving a proof of the nonabelian Hodge foliation conjecture in this case. Two basic kinds of fibrations arise: from apparent singularities, and from quasiparabolic bundles. We show that these are transverse. Okamoto's additional symmetry, which may be seen as Katz's middle convolution, exchanges the quasiparabolic and apparent-singularity foliations.
We prove that there exists a universal constant $r_3$ such that if $X$ is a smooth projective threefold over $\mathbb{C}$ with non-negative Kodaira dimension, then the linear system $|r K_X|$ admits a fibration that is birational to the Iitaka fibration as soon as $r \geq r_3$ and sufficiently divisible. This gives an affirmative answer to a conjecture of Hacon and McKernan in the case of threefolds. Viehweg and Zhang have posted a stronger result along these lines using different methods.
Motivated by an example, due to Voisin, of a smooth simply-connected projective variety with trivial canonical class and cyclic Picard group, admitting a meromorphic endomorphism of high degree, we study meromorphic fibrations on certain varieties with trivial canonical class. We show (theorem 2.1) that any nontrivial meromorphic fibration of a variety with trivial canonical class and cyclic Picard group is in varieties of general type. Therefore, Voisin's endomorphism cannot preserve a fibration, at least in the generic case. As this example is symplectic, we study meromorphic fibrations on s…
We consider the stable ruled surface $S_1$ over an elliptic curve. There is a unique foliation on $S_1$ transverse to the fibration. The minimal self-intersection sections also define a 2-web. We prove that the 4-web defined by the fibration, the foliation and the 2-web is locally parallelizable.
Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. …
This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the …
This is the first of a series of papers, in which we study the plurigenera, the Kodaira dimension and more generally the Iitaka dimension on compact almost complex manifolds. Based on the Hodge theory on almost complex manifolds, we introduce the plurigenera, Kodaira dimension and Iitaka dimension on compact almost complex manifolds. We show that the plurigenera and the Kodaira dimension as well as the irregularity are birational invariants in almost complex category, at least in dimension $4$, where a birational morphism is defined to be a degree one pseudoholomorphic map. However, they are n…
We sketch a proof of the abundance conjecture that the Kodaira dimension of a compact complex algebraic manifold equals its numerical Kodaira dimension. The proof consists of the following three parts: (i) the case of numerical Kodaira dimension zero, (ii) the general case under the assumption of the coincidence of the numerically trivial foliation and fibration for the canonical bundle, and (iii) the verification of the coincidence of the numerically trivial foliation and fibration for the canonical bundle. Besides the use of standard techniques such as the L2 estimates of d-bar, the first pa…
