Note on Iitaka Conjecture $C_{n,m}$
Extracted source text · arXiv 2510.06412
\documentclass[12pt]{article}
\usepackage{amsfonts}
\usepackage{amsmath,amsthm,amssymb}
\usepackage[all,dvips]{xy}
\usepackage{eucal}
\usepackage{comment}
\usepackage{tikz-cd}
\usepackage{geometry}
\newcommand{\rk}{\operatorname{rk}}
\newcommand{\Cliff}{\operatorname{Cliff}}
\renewcommand{\deg}{\operatorname{deg}}
\newcommand{\Ind}{\operatorname{Ind}}
\renewcommand{\min}{\operatorname{min}}
\renewcommand{\max}{\operatorname{max}}
\newcommand{\Pic}{\textbf{Pic}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\C}{\mathbb{C}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Document formatting stuff %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength\oddsidemargin{0in}
\setlength\evensidemargin{0in}
\setlength{\footskip}{.3in}
\setlength{\textwidth}{16.5cm}
\setlength{\parskip}{5pt}
%%%%%%%%%%%%%%%%
%Theorem numbering etc %
%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem*{theorem*}{Theorem}
\newtheorem*{corollary*}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}[theorem]{Definition}
\newtheorem{defns}[theorem]{Definitions}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{remarks}[theorem]{Remark}
\newtheorem{example}[theorem]{Example}
\newtheorem{variant}[theorem]{Variant}
\newtheorem{examples}[theorem]{Examples}
\newtheorem{Notation}[theorem]{Notation}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{question}[theorem]{Question}
\newtheorem{assumption}[theorem]{Assumption}
%%%%%%%%%%%%%%%%%
%Equation numbering%
%%%%%%%%%%%%%%%%%
\numberwithin{equation}{section}
%%%%%%%%%%%%%%%%%%%%%%%%%
% Start document here %
%%%%%%%%%%%%%%%%%%%%%%%%%
\author{Houari Benammar Ammar}
\AtEndDocument{\bigskip{\footnotesize%
\textsc{Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1, Canada} \par
\textit{E-mail address :} \texttt{hbenamma@ualberta.ca}
}}
\large
\title{Note on Iitaka Conjecture $C_{n,m}$}
\begin{document}
\normalsize
\maketitle
\begin{abstract}
Let \( f: X \to Y \) be an algebraic fiber space, where \( X \) and \( Y \) are smooth projective varieties of dimensions \( n \) and \( m \), respectively.
In \cite{Caopaun}, Cao and Păun proved \( C_{n,m} \) when \( Y \) has maximal Albanese dimension.
In this short note, we prove \( C_{n,m} \) in the cases where the Albanese dimension $\alpha(Y)$ of \( Y \) satisfies \( \alpha(Y) = m-1 \) or \( \alpha(Y) = m-2 \).
\end{abstract}
\section{Introduction}
In this note, we work over $\C$. An algebraic fiber space is a surjective morphism $f: X \to Y$ of
smooth varieties, with connected fibers. A fundamental problem
in birational geometry is the following Iitaka conjecture, denoted by $C_{n,m}$.
\begin{conjecture}\label{Conj1}
Let $f : X \to Y$ be an algebraic fiber space, where $X$ and $Y$ are smooth projective varieties of dimension $n$ and $m$,
respectively, and let $F$ be a general fiber of $f$. Then
\[
\kappa(X) \geq \kappa(F) + \kappa(Y).
\]
\end{conjecture}
Kawamata~\cite{Kawamatacurves} proved \( C_{n,1} \). He also established the conjecture in the case where the general fiber \( F \) admits a good minimal model~\cite{kawamataminimalmodel}. In particular, this result covers Kollár's result~\cite{kollargeneraltype} when \( F \) is of general type, as well as Fujino's results~\cite{fujinomaximal} when \( F \) has maximal Albanese dimension.
Indeed, by~\cite{bchm} and~\cite{fujinogood}, varieties of general type and varieties with maximal Albanese dimension admit good minimal models, respectively. Viehweg \cite{viehweglitaka} proved $C_{n,m}$ when $Y$ is of general type. Moreover, Birkar~\cite{Birkar_2009} proved \( C_{n,m} \) for \( n \leq 6 \), and Cao~\cite{Caolitaka2} proved \( C_{n,2} \).
Here, we are particularly interested in the case where \( Y \) is irregular (and hence \( X \) is irregular as well).
Recall that Cao and Păun~\cite{Caopaun} settled \( C_{n,m} \) when \( Y \) has maximal Albanese dimension (see \cite{HSP} for a nice exposition).
In this note, we prove the following theorem.
\begin{theorem}\label{maintheorem}
Iitaka conjecture $C_{n,m}$ holds when $\alpha(Y) = m-1$ or $\alpha(Y) = m-2$.
\end{theorem}
\subsection*{Acknowledgments}
I would like to thank Xi Chen for remarks and insightful questions. I decided to write this note when Mihai Păun visited Steven Lu in Montreal in August 2025. I benefited from discussions with both of them, as well as from conversations with Emanuele Ronda on the subject.
\section{Preliminaries}
\begin{defn}
We define the Albanese dimension $\alpha(X)$ of an irregular variety $X$ by
\[
\alpha(X):= \dim \operatorname{alb}_{X}(X).
\]
Here, $\operatorname{alb}_{X}(X)$ is the image of the Albanese map $\operatorname{alb}_{X}: X \to \operatorname{alb}_{X}(X) \subseteq \operatorname{Alb}(X)$, where $\operatorname{Alb}(X)$ is the Albanese variety.
\par We call $\alpha_{f}(X): = \dim X - \alpha(X)$ the Albanese fiber dimension of $X$. By the Definition $ 0\leq \alpha(X) \leq \dim X$ and $0 \leq \alpha_{f}(X) \leq \dim X$.
\end{defn}
Recall the following proposition due to Fujino, which will be indispensable for the proof of our main theorem~\ref{maintheorem}.
\begin{proposition}[{\cite[Proposition 2.5]{fujinoremarks}}]\label{propo}
Let $V$ be a non-singular projective variety and $W$ a closed subvariety of $V$. If $W$ is general in $V$, then
\[
\alpha_{f}(W) \leq \dim W - \dim \operatorname{alb}_{V}(W) \leq \alpha_{f}(V).
\]
\end{proposition}
The next Lemma is due to Kawamata as mentioned by Fujino \cite{fujinomaximal}.
\begin{lemma}[{\cite[Lemma 4.3]{fujinomaximal}}]\label{lemma}
Let $f : X \to Y$ and $g : X \to Z$ be surjective morphisms between
normal projective varieties with connected fibers. Then there exist a general subvariety $\Gamma$ of $Z$ , a projective variety $\widehat{Y}$ and morphisms $\gamma: \widehat{Y} \to \Gamma , \beta : \widehat{Y} \to Y$ such that
$\gamma$ is a surjective morphism with connected fibers, and $\gamma^{-1}(z) \simeq f(g^{-1}(z))$ for $z \in \Gamma$, and $\beta$ is generically finite.
\end{lemma}
\section{Proof}
\begin{proof}[Proof of Theorem \ref{maintheorem}] Let $f: X \to Y$ be the given algebraic fiber space. We divide the proofs is several steps.
\par Step 1. If $\kappa(F) = -\infty$ or $\kappa(Y) = -\infty$, then the inequality is satisfied. From now, we assume that $\kappa(F) \geq 0$ and $\kappa(Y) \geq 0$.
\par Step 2. We use the Albanese map $\operatorname{alb}_{Y}: Y \to \operatorname{alb}_{Y}(Y) \subseteq \operatorname{Alb}(Y)$, and obtain the following diagram
\[
\begin{tikzcd}
X \arrow[r, "f"] \arrow[rd, "h"] & Y \arrow[d, "\operatorname{alb}_{Y}"] \\
& \operatorname{alb}_{Y}(Y)
\end{tikzcd}
\]
Up to birational modification and Stein factorization, we assume that $\operatorname{alb}_{Y}(Y)$ is smooth, $\operatorname{alb}_{Y}$ is an algebraic fiber space and $G$ its general fiber. We denote by $h$ the composition morphism $h:=\operatorname{alb}_{Y} \circ f$, and by $H$ its general fiber. Here $\operatorname{alb}_{Y}(Y)$ has maximal Albanese dimension. Thus, we apply $\cite{Caopaun}$ to the morphism $h$, and obtain
\begin{equation}\label{eq1}
\kappa(X) \geq \kappa(H) + \kappa(\operatorname{alb}_{Y}(Y)).
\end{equation}
We define the restriction $f_{|_{H}} : H \to G$. Here $F$ is the general fiber of $f_{|_{H}}$. By assumption $\alpha(Y) = m-1$ or $\alpha(Y) = m-2$, which implies that $\dim G = \alpha_{f}(Y) =1$ or $\dim G= \alpha_{f}(Y) =2$. Thus, we apply \cite{Caolitaka2} and \cite{Kawamatacurves} to obtain
\begin{equation}\label{eq2}
\kappa (H) \geq \kappa(F) + \kappa(G).
\end{equation}
Combining inequalities (\ref{eq1}) and (\ref{eq2}), we obtain
\begin{equation}\label{eq3}
\kappa(X) \geq \kappa(F) + \kappa(G) + \kappa(\operatorname{alb_{Y}(Y)}).
\end{equation}
\par Step 3. $\kappa(Y)=0$: Recall that \(\operatorname{alb}_{Y}(Y)\) has maximal Albanese dimension. Hence, \(\kappa(\operatorname{alb}_{Y}(Y)) \geq 0\) by \cite{Kawamatacarecterization}. Applying \cite{Caopaun} to \(\operatorname{alb}_{Y}\), we obtain
\begin{equation}\label{eq4}
0 = \kappa(Y) \geq \kappa(G) + \kappa(\operatorname{alb}_{Y}(Y)).
\end{equation}
Since \(\kappa(Y) = 0\), it follows that \(\kappa(G) \geq 0\). By inequality~\eqref{eq4}, we deduce that \(\kappa(G) = \kappa(\operatorname{alb}_{Y}(Y)) = 0\). Hence, by inequality~\eqref{eq3}, we obtain
\[
\kappa(X) \geq \kappa(F),
\]
and the theorem is proved.
\par Step 4. $\kappa(Y) > 0 \implies \kappa(X) > 0$: By assumption $\kappa(Y) > 0$. Thus $\kappa(G) \geq 0$. By inequality (\ref{eq3}), $\kappa(X) \geq 0$, and it is enough to assume $\kappa(F) = \kappa(G) = \kappa(\operatorname{alb}_{Y}(Y)) =0$. Otherwise, $\kappa(X) > 0$. We take the Iitaka fibration $\phi : Y \to M$ of $Y$, and obtain the diagram
\[
\begin{tikzcd}
X \arrow[r, "f"] \arrow[rd, "\psi"] & Y \arrow[d, "\phi"] \\
& M
\end{tikzcd}
\]
Up to a birational modification, we may assume that $M$ is smooth. Let $Y_M$ denote the general fiber of $\phi$. We have $\kappa(Y_{M})=0$, and $\kappa(M) = \kappa(Y) = \dim M >0$. let $\psi$ be the composition morphism $\psi:=\phi \circ f$, and let $X_{M}$ denote its general fiber. Applying \cite{viehweglitaka} to $\psi$, we obtain
\begin{equation}\label{eq5}
\kappa(X) \geq \kappa(X_{M}) + \kappa(M).
\end{equation}
If \( \kappa(X_{M}) \geq 0 \), then by inequality~(\ref{eq5}) we deduce that \( \kappa(X) > 0 \), and we are done.
Next, we show that \( \kappa(X_{M}) \neq -\infty \). Indeed, by Mori's easy addition formula, we have
\[
0 \leq \kappa(X) \leq \kappa(X_{M}) + \dim M.
\]
Thus, \( \kappa(X_{M}) \geq 0 \).
\par Step 5. Induction: We proceed by induction on the dimension of \( X \).
If \( \dim X = 1 \), then there is nothing to prove.
Now assume that Theorem~\ref{maintheorem} holds in all dimensions \( < n \). Let \( f: X \to Y \) be the given algebraic fiber space with \( \dim X = n \).
If \( \kappa(X) = -\infty \), then by inequality~(\ref{eq3}) we have \( \kappa(F) = -\infty \), and the theorem follows from Step~1.
If \( \kappa(X) = 0 \), then by Step~4 we deduce that \( \kappa(Y) = 0 \), and by Step~3 the theorem is proved.
Now assume \( \kappa(X) > 0 \). Let $g: X \to Z$ be the Iitaka fibration of $X$, and let $X_{Z}$ be the general fiber of $g$. We know that $\kappa(X_{Z}) = 0$ and $\kappa(Z) =\kappa(X) = \dim Z > 0$.
\[
\begin{tikzcd}
X \arrow[r, "g"] \arrow[d, "f"] & Z \\
Y &
\end{tikzcd}
\]
We define the restriction $f_{|_{X_{Z}}} : X_{Z} \to B :=f(X_{Z})$. By Lemma \ref{lemma}, there exist a general subvariety $\Gamma$ of $Z$ , a projective variety $\widehat{Y}$ and morphisms $\gamma: \widehat{Y} \to \Gamma , \beta : \widehat{Y} \to Y$ such that
$\gamma$ is a surjective morphism with connected fibers, and $\gamma^{-1}(z) \simeq f(g^{-1}(z)) =B$ for $z \in \Gamma$, and $\beta$ is generically finite. By Proposition \ref{propo}, $\alpha_{f}(B) \leq \alpha_{f}(\widehat{Y}) \leq \alpha_{f}(Y) \leq 2$. Thus applying the induction hypothesis to $f_{|_{X_{Z}}}$, and obtain
\begin{equation}\label{eq6}
0 = \kappa(X_{Z}) \geq \kappa(X_{Y,Z}) + \kappa(B).
\end{equation}
Here $X_{Y,Z}$ is the general fiber of $f_{|_{X_{Z}}}$. Clearly $\kappa(X_{Y,Z}) \geq 0$. Next, we will see that $K(B) \geq 0$. Indeed, by Mori's easy addition formula, we get
\begin{equation}\label{eq7}
0 \leq \kappa(Y) \leq \kappa(\widehat{Y}) \leq \kappa(B) + \dim \Gamma.
\end{equation}
This implies $\kappa(B) \geq 0$. By inequality (\ref{eq6}), we deduce that $\kappa(X_{Y,Z}) = \kappa(B) = 0$. Now, we consider the restriction $g_{|_F}: F \to g(F)$ with general fiber $X_{Y,Z}$. Therefore, we apply Mori's easy addition formula to $g_{|_{F}}$:
\[
\kappa(F) \leq \kappa(X_{Y,Z}) +\dim g(F).
\]
Then, $\kappa(F) \leq \dim g(F)$. Furthermore, we have
\[
\dim g(F) = \dim F - \dim X_{Y,Z}
\]
\[
= \dim X - \dim Y - (\dim X_{Z} -\dim B)
\]
\[
=\dim Z + \dim B - \dim Y
\]
\[
=\kappa(X) + \dim B - \dim Y.
\]
So,
\[
\kappa(X) \geq \kappa(F) +\dim Y - \dim B \]
\[= \kappa(F) + \dim \Gamma \geq \kappa(F) + \kappa(Y).
\]
The last inequality follows from inequality (\ref{eq7}) and the fact that $\kappa(B)=0$.
\end{proof}
\bibliographystyle{plain}
\bibliography{slope paper}
\end{document}
\begin{thebibliography}{10}
\bibitem{Birkar_2009}
Caucher Birkar.
\newblock The iitaka conjecture cn,m in dimension six.
\newblock {\em Compositio Mathematica}, 145(6):1442–1446, 2009.
\bibitem{bchm}
Caucher Birkar, Paolo Cascini, Christopher~D. Hacon, and James McKernan.
\newblock Existence of minimal models for varieties of log general type.
\newblock {\em J. Amer. Math. Soc.}, 23(2):405--468, 2010.
\bibitem{Caolitaka2}
Junyan Cao.
\newblock Kodaira dimension of algebraic fiber spaces over surfaces.
\newblock {\em Algebr. Geom.}, 5(6):728--741, 2018.
\bibitem{Caopaun}
Junyan Cao and Mihai Păun.
\newblock Kodaira dimension of algebraic fiber spaces over abelian varieties.
\newblock {\em Invent. Math.}, 207(1):345--387, 2017.
\bibitem{fujinomaximal}
Osamu Fujino.
\newblock Algebraic fiber spaces whose general fibers are of maximal {A}lbanese dimension.
\newblock {\em Nagoya Math. J.}, 172:111--127, 2003.
\bibitem{fujinoremarks}
Osamu Fujino.
\newblock Remarks on algebraic fiber spaces.
\newblock {\em J. Math. Kyoto Univ.}, 45(4):683--699, 2005.
\bibitem{fujinogood}
Osamu Fujino.
\newblock On maximal {A}lbanese dimensional varieties.
\newblock {\em Proc. Japan Acad. Ser. A Math. Sci.}, 89(8):92--95, 2013.
\bibitem{HSP}
Christopher Hacon, Mihnea Popa, and Christian Schnell.
\newblock Algebraic fiber spaces over abelian varieties: around a recent theorem by {C}ao and {P}\u{a}un.
\newblock In {\em Local and global methods in algebraic geometry}, volume 712 of {\em Contemp. Math.}, pages 143--195. Amer. Math. Soc., [Providence], RI, [2018] \copyright 2018.
\bibitem{Kawamatacarecterization}
Yujiro Kawamata.
\newblock Characterization of abelian varieties.
\newblock {\em Compositio Math.}, 43(2):253--276, 1981.
\bibitem{Kawamatacurves}
Yujiro Kawamata.
\newblock Kodaira dimension of algebraic fiber spaces over curves.
\newblock {\em Invent. Math.}, 66(1):57--71, 1982.
\bibitem{kawamataminimalmodel}
Yujiro Kawamata.
\newblock Minimal models and the {K}odaira dimension of algebraic fiber spaces.
\newblock {\em J. Reine Angew. Math.}, 363:1--46, 1985.
\bibitem{kollargeneraltype}
J\'anos Koll\'ar.
\newblock Subadditivity of the {K}odaira dimension: fibers of general type.
\newblock In {\em Algebraic geometry, {S}endai, 1985}, volume~10 of {\em Adv. Stud. Pure Math.}, pages 361--398. North-Holland, Amsterdam, 1987.
\bibitem{viehweglitaka}
Eckart Viehweg.
\newblock Weak positivity and the additivity of the {K}odaira dimension for certain fibre spaces.
\newblock In {\em Algebraic varieties and analytic varieties ({T}okyo, 1981)}, volume~1 of {\em Adv. Stud. Pure Math.}, pages 329--353. North-Holland, Amsterdam, 1983.
\end{thebibliography}