2002•arXiv (Cornell University)Open access

A refined Kodaira dimension and its canonical fibration

Steven Lu

Open full text 15 citations

Abstract

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. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.

Open-access reader

About this research paper

What this paper is about

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. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.

Why it matters

OpenAlex reports 15 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

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. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.

Key concepts: Kodaira dimension, Fibration, Dimension (graph theory), Mathematics, Pure mathematics, Homotopy

Related papers

Back to paper searchBrowse research topicsOriginal source
A refined Kodaira dimension and its canonical fibration — Research Paper | ScholarLens