Relative Severi inequality for fibrations of maximal Albanese dimension over curves

TL;DR

This paper establishes a new inequality relating the relative canonical divisor and the Euler characteristic for fibrations of maximal Albanese dimension over curves, confirming a conjecture and providing new insights into Severi inequalities.

Contribution

It proves the conjectured inequality for fibrations of maximal Albanese dimension and derives a new proof of the Severi inequality, also characterizing cases of equality.

Findings

Proves $K_{X/B}^n \,\ge\, 2n! \chi_f$ for fibrations of maximal Albanese dimension.

Shows that equality implies the general fiber satisfies the Severi equality.

Provides sharper results under additional assumptions.

Abstract

Let $f: X \to B$ be a relatively minimal fibration of maximal Albanese dimension from a variety $X$ of dimension $n \ge 2$ to a curve $B$ defined over an algebraically closed field of characteristic zero. We prove that $K_{X/B}^n \ge 2n! \chi_f$, which was conjectured by Barja in [2]. Via the strategy outlined in [5], it also leads to a new proof of the Severi inequality for varieties of maximal Albanese dimension. Moreover, when the equality holds and $\chi_f > 0$, we prove that the general fiber $F$ of $f$ has to satisfy the Severi equality that $K_F^{n-1} = 2(n-1)! \chi(F, \omega_F)$. We also prove some sharper results of the same type under extra assumptions.

Equations

$$K_X^n\ge 2n!\chi (X,{\omega }_X)$$

$$K_{X/B}^n\ge 2n!{\chi }_f$$

$$K_F^{n-1}=2(n-1)!\chi (F,{\omega }_F).$$

$$\mathrm{albdim}(f)=\mathrm{albdim}(X).$$

$$\mathrm{albdim}(f)\le \mathrm{albdim}(X)-\mathrm{albdim}(Y).$$

$${\chi }_f:=\chi (X,{\omega }_X)-\chi (Y,{\omega }_Y)\chi (F,{\omega }_F).$$

$${\chi }_f=\mathrm{deg}{f}_{\ast }{\omega }_{X/Y}.$$

$${\chi }_f=\mathrm{deg}{f}_{\ast }({\omega }_{X/Y}\otimes \mathcal{P}),$$

$$K_{X/B}^n\ge 2n!{\chi }_f.$$

$$h^1(X,{\mathcal{O}}_X)-g(B)=n-1;$$

$$K_F^{n-1}=2(n-1)!\chi (F,{\omega }_F).$$

$$K_{X/B}^n\ge \frac{5n!}{2}{\chi }_f.$$

$$K_{X/B}^n\ge \frac{9n!}{4}{\chi }_f.$$

$$K_X^n\ge \frac{5n!}{2}\chi (X,{\omega }_X).$$

$$K_X^n\ge \frac{9n!}{4}\chi (X,{\omega }_X).$$

$$\mathrm{Vol}(D):=\underset{m\to \infty }{\mathrm{limsup}}\frac{h^0(V,\lfloor mD\rfloor )}{m^{\dim V}/(\dim V)!}.$$

$$\epsilon (V,L,M):=({\lambda }_M+1{)}^{n-1}{M}^n.$$

$$\epsilon (V,L,M)=1.$$

$$\epsilon (V,L):=\underset{M}{\inf }\epsilon (V,L,M),$$

$$\epsilon (V,L)=1.$$

$$h^0(V,\lfloor L\rfloor )\le \frac{1}{2n!}\mathrm{Vol}(L)+n\epsilon (V,L).$$

$$h^0(V,\lfloor L\rfloor )\le \frac{1}{2n!}\mathrm{Vol}(\lfloor L\rfloor )+n\epsilon (V,\lfloor L\rfloor ).$$

$$\{(L_i,Z_i,a_i)|i=0,1,\cdots ,N\}$$

$$|L_i-a_i{F}_L|=|L_{i+1}|+Z_{i+1}$$

$${\mathrm{int}}_{f_L}(L_i):=\min \{a\in \mathbb{Z}|L_i-a{F}_L\text{mbox}isnotnef\}.$$

$${\sigma }^{\ast }L=L_0>L_1>\cdots >L_N\ge 0$$

$$h^0(V,L)$$

$$L^n$$

$$L_0^n\ge \left(\sum _{i=0}^N{a}_i-1\right)(L_0{|}_F{)}^{n-1}.$$

$$r(L,M):=\frac{L{M}^{n-1}}{K_V{M}^{n-1}}.$$

$$\delta(x)=\left\{\begin{array}[]{ll}2,&x\leq 1;\\ \frac{2x}{2x-1},&x>1.\end{array}\right.$$

Full text

1. 1 Introduction
2. 2 A Clifford type inequality
3. 3 Sharper estimate under extra assumptions
4. 4 Some results about $\chi_{f}$
5. 5 Slope inequalities for fibrations over curves
6. 6 Proof of the main theorems

1. Introduction

The Severi inequality states that

[TABLE]

for an $n$-dimensional minimal variety $X$ of general type and of maximal Albanese dimension. It was originally stated for surfaces by Severi [21] and was proved by Pardini [20]. Later, it was generalized to arbitrary dimension by Barja [2] as well as the second author [25]. From now on, we refer this inequality as the absolute Severi inequality in order to distinguish from the result in the current paper.

The goal of this paper is to establish a relative version of the absolute Severi inequality. More precisely, we prove that

[TABLE]

for a relatively minimal fibration $f:X\to B$ of maximal Albanese dimension from an $n$-dimensional variety $X$ to a curve $B$. This inequality was conjecturally formulated by Barja in [2, §1]. The $g(B)=0$ case of this relative inequality can be applied to give a new proof of the above absolute Severi inequality. Moreover, the above relative inequality is sharp, and if $K_{X/B}^{n}=2n!\chi_{f}>0$, we prove that the general fiber $F$ of $f$ has to satisfy the absolute Severi equality that

[TABLE]

We also use our method to deduce some shaper relative results of the same type under extra assumptions. As an upshot, the corresponding $g(B)=0$ case implies the recent geographical results of absolute Severi type obtained by Barja, Pardini and Stoppino [6].

Throughout this paper, we work over an arbitrary algebraically closed field $k$ of characteristic zero. All varieties are assumed to be projective.

1.1. Albanese dimension of fibrations and $\chi_{f}$

We start from some notation. In the study of irregular varieties, a major tool is to consider the Albanese map. For an irregular variety $X$, the so-called Albanese dimension ${\mathrm{albdim}}(X)$ of $X$ is one of the most important invariants of $X$. In the following, we consider its relative version.

Let $f:X\to Y$ be a fibration between two normal varieties $X$ and $Y$ with a general fiber $F$. Let $a:X\to{\mathrm{Alb}}(X)$ be the Albanese map of $X$.

Definition 1.1**.**

The Albanese dimension of $f$, denoted by ${\mathrm{albdim}}(f)$, is defined to be $\dim a(F)$, namely the dimension of the image of $F$ under the Albanese map of $X$. We say that $f$ is of maximal Albanese dimension, if ${\mathrm{albdim}}(f)=\dim F$.

It is easy to check that the following properties hold:

• (1)

When $f$ is the structural morphism, i.e., $Y={\mathrm{Spec}}(k)$, then

[TABLE]

Thus the Albanese dimension for fibrations is indeed a generalization of that for varieties.

• (2)

In general, we have

[TABLE]

In particular, if $f$ is the Stein factorization of the Albanese map of $X$, then ${\mathrm{albdim}}(f)=0$.

• (3)

If both $Y$ and $f$ are of maximal Albanese dimension, so is $X$.

Another important invariant associated to $f$ is the relative Euler characteristic

[TABLE]

Regarding this invariant, the first interesting case is when $f:X\to Y$ is a surface fibration, i.e., $X$ is a smooth surface and $Y$ is a curve. In this case, it is well-known that

[TABLE]

In particular, by [11, Main Theorem], we know that $\chi_{f}\geq 0$. There are a number of important results related to $\chi_{f}$, such as the Arakelov inequality [1] (see [22] for a survey together with generalizations), the slope inequality of Cornalba-Harris [9] and Xiao [23], the geography of irregular surfaces (see [17] for a detailed survey). The study of these results as well as their refinements and generalizations has always been active throughout the past decades.

Another interesting case, which is more related to this paper, is when $f$ is a fibration of maximal Albanese dimension and $Y$ is a curve. In this case, by the work of Hacon and Pardini [12, Theorem 2.4] (see Proposition 4.1 for a slightly generalized version adapting to the setting of this paper), we know that

[TABLE]

where ${\mathcal{P}}$ is a general torsion element in ${\mathrm{Pic}}^{0}(X)$. Moreover, they showed loc. cit. that $\chi_{f}\geq 0$ still holds in this case.

1.2. Main results

Now we state the first main theorem of this paper.

Theorem 1.2** (Relative Severi inequality).**

Let $f:X\to B$ be a relatively minimal fibration from a variety $X$ of dimension $n\geq 2$ to a smooth curve $B$. Suppose that $f$ is of maximal Albanese dimension. Then we have the following sharp inequality

[TABLE]

We call the inequality (1.1) a relative Severi inequality because it literally replaces the absolute invariants $K_{X}^{n}$ and $\chi(X,\omega_{X})$ in the absolute Severi inequality by the relative invariants $K_{X/B}^{n}$ and $\chi_{f}$.

Let us put Theorem 1.2 into perspective. When $n=2$, it has already been known by Xiao [23, Corollary 1]. More precisely, Xiao proved that for a relatively minimal surface fibration $f:X\to B$ with a general fiber of genus $g\geq 2$, the inequality (1.1) holds provided that $h^{1}(X,{\mathcal{O}}_{X})>g(B)$. Note that this assumption is equivalent to that $f$ is of maximal Albanese dimension, as the fiber in this case is just a curve.

For general $n>2$, the problem about finding such kind of inequalities has already been addressed by Mendes Lopes and Pardini [17, §5.3], whose purpose was to generalize, using Pardini’s original approach in [20], the Severi inequality for surfaces to higher dimensions. To our knowledge, the precise version of (1.1) was first formulated conjecturally by Barja in [2, §1, Page 545]. Barja also observed loc. cit. that (1.1) is in fact a consequence of the $f$-positivity conjecture [4, Conjecture 1] due to himself and Stoppino.111This conjecture was recently studied by the authors in [13], where it is shown that counterexamples to this conjecture do exist for any $n>2$. Another interesting observation, which probably motivates the formulation (1.1), is that when $X$ itself is of maximal Albanese dimension, one can indeed deduce the absolute Severi inequality just combining Pardini’s approach and (1.1) for $g(B)=0$ (see [4, Proposition 4.4] for details).

When $g(B)=1$, it is easy to see that (1.1) coincides with the absolute Severi inequality. Besides this and prior to our result, Barja has proved (1.1) for $g(B)=0$ under extra assumptions that $X$ is of maximal Albanese dimension and that $K_{X}$ is nef. Barja also obtained a weaker version of (1.1) when $g(B)\geq 2$. See [2, Corollary C] as well as its proof for details.

Our Theorem 1.2 verifies completely the conjectural formulation of Barja for the base curve $B$ of arbitrary genus. Moreover, if $g(B)=0$, our assumption that $f$ is of maximal Albanese dimension is strictly weaker than $X$ itself being of maximal Albanese dimension. As is mentioned before, Theorem 1.2 for $g(B)=0$ can be applied to give an alternative proof of the absolute Severi inequality which is different from those in [2] or [25].222Since a detailed strategy has been carried out in [4, Proposition 4.4], we will not repeat this proof in this paper and just refer the reader to loc. cit. for details.

Since (1.1) is sharp, a new question naturally arises: can one characterize the equality case? In this paper, we also consider this problem. We prove the following result.

Theorem 1.3**.**

In Theorem 1.2, if the equality in (1.1) holds and $\chi_{f}>0$, then

• (1)

the Albanese map of $X$ maps a general fiber of $f$ onto an abelian variety of dimension $n-1$. In particular,

[TABLE]

• (2)

the general fiber $F$ of $f$ satisfies the absolute Severi equality, i.e.,

[TABLE]

Previously, (1) was known only when $n=2$ due to Xiao [23, Theorem 3]. This paper mainly concerns the higher dimensional case, and our result shows that (1) holds for any $n\geq 2$. The much more interesting and stronger part comes from (2): not like (1) or the absolute Severi inequality, (2) is trivial when $n=2$, i.e., when the fiber is a curve, which says that $\deg K_{F}=2\chi(F,\omega_{F})$. It actually holds true for any surface fibration, not necessary of maximal Albanese dimension. However, for $n>2$, (2) was completely unknown before, and it reveals a new connection between the geometry of a family of higher dimensional varieties and the geometry of a general member in this family.

Recall that for a surface fibration $f:X\to B$, the relative irregularity is defined as $q_{f}:=h^{1}(X,{\mathcal{O}}_{X})-g(B)$. Recently, Pardini proposed a problem [8, Problem 2] to study various notions of relative irregularity for families of higher dimensional varieties. The result (1) also sheds some light on this problem, suggesting that the number $h^{1}(X,{\mathcal{O}}_{X})-g(B)$ may also serve as the relative irregularity for higher dimension fibrations over curves.

When $\dim F\geq 2$, by a very recent result of Barja, Pardini and Stoppino [3, Theorem 1.2] characterizing the variety satisfying the absolute Severi equality (see also [5, 16] when $\dim F=2$), we know that (2) actually implies (1). However, our proof of (1) is independent of (2).

1.3. Related results

If more assumptions on the Albanese map of $X$ are imposed, we obtain sharper results. For example, we prove the following theorem.

Theorem 1.4**.**

Let $f:X\to B$ be a relatively minimal fibration from a variety $X$ of dimension $n\geq 3$ to a smooth curve $B$. Denote by $F$ a general fiber of $f$. Suppose that $f$ is of maximal Albanese dimension and $a:X\to{\mathrm{Alb}}(X)$ is the Albanese map of $X$.

• (1)

If $a|_{F}$ is birational, then

[TABLE]

• (2)

If $a|_{F}$ is not composed with an involution, then

[TABLE]

Combining Theorem 1.4 in the $g(B)=0$ case with the method in [4, Proposition 14], it is easy to get the following conclusion which was recently obtained by Barja, Pardini and Stoppino in [6, §1].

Corollary 1.5**.**

Let $X$ be a minimal variety of general type of dimension $n\geq 3$. Suppose that $X$ is of maximal Albanese dimension.

• (1)

If the Albanese map of $X$ is birational onto its image, then

[TABLE]

• (2)

If the Albanese map of $X$ is not composed with an involution, then

[TABLE]

In the same spirit as before, we may view Theorem 1.4 as a relative version of Corollary 1.5.

In [6], Barja, Pardini and Stoppino consider a more general map $a:X\to A$ such that $a^{*}:{\mathrm{Pic}}^{0}(A)\to{\mathrm{Pic}}^{0}(X)$ is injective (which they call strongly generating), and prove Corollary 1.5 when $a$ is birational or when $a$ is not composed with an involution. In fact, by the universal property of the Albanese map, we see that if the $a$ is birational or is not composed with an involution, so is the Albanese map of $X$.

Furthermore, we would like to mention that the proof of the absolute Severi type inequalities by Barja, Pardini and Stoppino in [6] relies on their study of the continuous rank function. More precisely, they deduce these absolute results by integrating the derivative of the so-called continuous rank function. From the viewpoint of our paper, those absolute inequalities are just consequences of their corresponding relative counterparts. To summarize, we have seen again, as in the work of Pardini [20], that the study of the relative geography, namely the relation among relative birational invariants (such as the relative canonical volume, the relative Euler characteristic, etc) does play a crucial role in understanding the geography of algebraic varieties in the classical sense.

Notation and conventions

In this paper, a fibration always means a surjective morphism with connected fibers.

Let $f:X\to B$ be a fibration over a curve $B$. We say that $f$ is relatively minimal, if $X$ is normal with at worst terminal singularities and $K_{X}$ is $f$-nef. The assumption implies that a general fiber $F$ of $f$ is also normal with at worst terminal singularities by the adjunction. Moreover, if a general fiber of $f$ is of maximal Albanese dimension (which is exactly under the setting of Theorem 1.2), then the relative minimality also ensures that $K_{X/B}$ is nef.333In fact, Fujino [10, Theorem 1.1] proved that in this case, the general fiber has a good minimal model. Thus by a result of Nakayama [18, Theorem 5], $K_{X}$ is $f$-semi-ample. Using the argument as in the proof of [19, Theorem 1.4], we deduce that $K_{X/B}$ is nef.

For divisors, we always use $\sim$ to denote the linear equivalence and use $\equiv$ to denote the numerical equivalence. Let $D_{1}$ and $D_{2}$ be two ${\mathbb{Q}}$-divisors on a variety $V$. The notation $D_{1}\geq D_{2}$ means that $D_{1}-D_{2}$ is effective. Let $D$ be a ${\mathbb{Q}}$-divisor on $V$. We use ${\lfloor D\rfloor}$ to denote its integral part. The volume of $D$ is defined as

[TABLE]

Acknowledgment

Y.H. would like to thank Professors JongHae Keum and Jun-Muk Hwang for their generous support during his stay at KIAS. T.Z. would like to thank Professor Miguel Á. Barja for the comment on his conjectural inequality (1.1) in an email in 2017 and a lot more valuable comments on the first version of this paper, as well as Professor Kang Zuo for many enlightening comments about Viehweg’s result in [22] which is crucial for proving Theorem 1.3. T.Z also would like to thank Professors Zhi Jiang and Lidia Stoppino for their interest in this paper. Both authors would like to thank the anonymous referee sincerely for his/her comments and suggestions.

Y. H. is supported by National Researcher Program of National Research Foundation of Korea (Grant No. 2010-0020413) and the Shanghai Pujiang Program Grant No. 21PJ1405200 . T.Z. is supported by the National Natural Science Foundation of China (NSFC) General Grant No. 12071139 and the Science and Technology Commission of Shanghai Municipality (Grant No. 18dz2271000).

2. A Clifford type inequality

In this section, we recall a Clifford type result in [24] that will be used afterwards. All results in this section hold also in positive characteristics.

2.1. $\varepsilon$ for divisors

Let $V$ be a smooth variety of dimension $n>0$ and let $L$ be a ${\mathbb{Q}}$-divisor on $V$. For any big divisor $M$ on $V$ with $|M|$ base point free, take the smallest integer $\lambda_{M}>0$ so that the divisor $\lambda_{M}M-L$ is pseudo-effective. When $n\geq 2$, we define

[TABLE]

When $n=1$, we simply set

[TABLE]

For any $n>0$, define

[TABLE]

where the infimum is taken over all divisors $M$ on $V$ chosen as above. In particular, when $n=1$, we have

[TABLE]

It is straightforward to check that

Proposition 2.1**.**

The above $\varepsilon$ satisfies the following properties:

• (1)

If $L^{\prime}\geq L$, then $\varepsilon(V,L^{\prime},M)\geq\varepsilon(V,L,M)$ for any $M$ chosen as above. In particular, $\varepsilon(V,L^{\prime})\geq\varepsilon(V,L)$.

• (2)

Let $\sigma:V^{\prime}\to V$ be a birational morphism. Then $\varepsilon(V^{\prime},\sigma^{*}L)\leq\varepsilon(V,L)$.

2.2. A Clifford type inequality

The main result in this section is the following one, which will be used later in the proof of Theorem 1.2.

Theorem 2.2**.**

Let $V$ be a smooth variety of dimension $n>0$. Suppose that $L$ is a ${\mathbb{Q}}$-divisor on $V$ such that $K_{V}-L$ is pseudo-effective. Then

[TABLE]

Proof.

By [24, Theorem 1.2] which was stated only for integral divisors, we have

[TABLE]

Note that ${\mathrm{Vol}}({\lfloor L\rfloor})\leq{\mathrm{Vol}}(L)$ and by Proposition 2.1, $\varepsilon(V,{\lfloor L\rfloor})\leq\varepsilon(V,L)$. Thus the result follows easily. ∎

Remark 2.3*.*

As is explained in [24], Theorem 2.2 is a natural generalization of the classical Clifford inequality.

3. Sharper estimate under extra assumptions

To prove Theorem 1.3, we need some estimates on the dimension of $H^{0}(V,L)$ similar to Theorem 2.2 but stronger. All the sharper bounds in this section are inspired by the work of Barja, Pardini, and Stoppino in [6], where they proved the so-called “continuous” estimates. However, under our setting we need explicit results instead, and the method we are going to employ is based on [24, 25, 26].

3.1. A filtration for nef divisors

Let $f:V\to B$ be a fibration from a smooth variety $V$ of dimension $n$ to a smooth curve $B$ with a general fiber $F$. Let $L$ be a nef divisor on $V$. We first recall the following theorem.

Theorem 3.1**.**

[26, Theorem 4.1]** Let $f:V\to B$, $F$ and $L$ be as above. Then there is a birational morphism $\sigma:V_{L}\to V$ and a sequence of triples

[TABLE]

on $V_{L}$ with the following properties:

• •

$(L_{0},Z_{0},a_{0})=(\sigma^{*}L,0,{\mathrm{int}}_{f_{L}}(L_{0}))$* where $f_{L}:V_{L}\stackrel{{\scriptstyle\sigma}}{{\to}}V\stackrel{{\scriptstyle f}}{{\to}}B$ is the induced fibration.*

• •

For any $i=0,\cdots,N-1$, there is a decomposition

[TABLE]

such that $Z_{i+1}\geq 0$ is the fixed part of $|L_{i}-a_{i}F_{L}|$ and that the movable part $|L_{i+1}|$ of $|L_{i}-a_{i}F_{L}|$ is base point free. Here $F_{L}=\sigma^{*}F$ denotes a general fiber of $f_{L}$, and $a_{i}={\mathrm{int}}_{f_{L}}(L_{i})$.

• •

We have $h^{0}(V_{L},L_{N}-a_{N}F_{L})=0$.

In the above theorem, for any $0\leq i\leq N$, the number ${\mathrm{int}}_{f_{L}}(L_{i})$ is defined by

[TABLE]

Thus via Theorem 3.1, we obtain a filtration

[TABLE]

of nef divisors on a birational model $V_{L}$ of $V$. For simplicity, we still denote by $F$ a general fiber of $f_{L}:V_{L}\to B$ in the rest of this section.

Proposition 3.2**.**

[24, Proposition 2.2]** We have the following two inequalities:

[TABLE]

Proposition 3.3**.**

[24, Lemma 2.3]** We have

[TABLE]

3.2. Sharper bound involving the subcanonicity

Let $V$ be a smooth variety of dimension $n>0$ with the Kodaira dimension $\kappa(V)\geq 0$, and let $L$ be a ${\mathbb{Q}}$-divisor on $V$. Let $M$ be a big divisor on $V$ such that $|M|$ is base point free. We recall that the numerical subcanonicity of $L$ with respect to $M$ is defined in [6, Definition 5.1] as follows:

[TABLE]

When $n=1$, set $r(L,M)=\frac{\deg L}{\deg K_{V}}$. When $K_{V}M^{n-1}=0$, we have $\kappa(V)=0$. In this case, we set $r(L,M)=+\infty$. Define a function $\delta$ as follows:

[TABLE]

Theorem 3.4**.**

Let $L$ and $M$ be as above, and write $r=r(L,M)$. Then

[TABLE]

Proof.

The proof is by induction, and we present it in several steps.

Notice that the required inequality holds trivially if $h^{0}(V,{\lfloor L\rfloor})=0$. We may make assumption $h^{0}(V,{\lfloor L\rfloor})>0$ from now on.

Step 1: Reduce to the case when $L$ is nef.

In fact, by replacing $V$ by an appropriate blowing up, we may assume that

[TABLE]

where $L^{\prime}$ is the movable part of $|{\lfloor L\rfloor}|$ and $Z$ is its fixed part. It is clear that

[TABLE]

Thus it suffices to prove Theorem 3.4 for $L^{\prime}$.

From now on, we assume that $L$ is a nef divisor.

Step 2: The $n=1$ case.

When $n=1$, Theorem 3.4 is straightforward. If $h^{1}(V,L)\neq 0$, the classical Clifford inequality implies Theorem 3.4. Otherwise, by the Riemann-Roch theorem,

[TABLE]

Thus the proof is completed.

Step 3: The proof when $L^{n}>0$.

Now we assume that Theorem 3.4 holds for dimension $k<n$. Choose a general pencil in $|M|$ and blow up the indeterminacies of this pencil, denoted by $\pi:V_{0}\to V$. We get a fibration

[TABLE]

such that the general fiber $F$ of $f$ is isomorphic to a general member of the chosen pencil. By the adjunction, $\kappa(F)\geq 0$. Write $M_{0}=\pi^{*}M$ and $L_{0}=\pi^{*}L$. It follows that

[TABLE]

where the last inequality follows from the adjunction.

Apply Theorem 3.1 to $f$ and $L_{0}$. Replacing $V_{0}$ by a further blowing up if necessary, we get triples

[TABLE]

on $V_{0}$, and $L_{i}$ and $a_{i}$ satisfy the inequalities in Proposition 3.2 and 3.3. Note that by the definition of $r(L,M)$, we see that

[TABLE]

By induction and using the fact that the function $\delta$ is non-increasing, we have

[TABLE]

Combine this with Proposition 3.2. It follows that

[TABLE]

To estimate the right hand side of the above inequality, let $\lambda$ be the smallest integer such that $\lambda M-L$ is pseudo-effective. Note that $L^{n}>0$.

• (1)

It implies that $L^{n}\leq\lambda L^{n-1}M=\lambda(L_{0}|_{F})^{n-1}$. In particular, $(L_{0}|_{F})^{n-1}>0$. Thus by Proposition 3.3,

[TABLE]

• (2)

By Proposition 2.1 (1),

[TABLE]

Moreover, since $\lambda M_{0}|_{F}-L_{0}|_{F}$ is also pseudo-effective, we have

[TABLE]

• (3)

We have

[TABLE]

Combining all above inequalities, it follows that

[TABLE]

Thus the proof in this case is completed.

Step 4. The proof when $L^{n}=0$.

In this case, the proof is easier. Since $L$ is not big, we know that

[TABLE]

Take $W$ to be a general member in $|M|$, and we have

[TABLE]

Therefore, by induction, we deduce that

[TABLE]

Let $\lambda$ be the smallest integer such that $\lambda M-L$ is pseudo-effective. Similar to Step 3, we have

• (1)

$(L|_{W})^{n-1}=L^{n-1}M\leq\lambda^{n-1}M^{n}$;

• (2)

$\varepsilon(W,L|_{W},M|_{W})\leq(\lambda+1)^{n-2}M^{n}$.

Combining the above inequalities, it follows that

[TABLE]

Thus the whole proof is completed. ∎

3.3. Sharper bound involving the mapping degree

Let $V$ be a smooth variety of dimension $n\geq 2$, and let $L$ be a ${\mathbb{Q}}$-divisor on $V$ such that $K_{V}-L$ is pseudo-effective. Instead of the subcanonicity, we suppose that

[TABLE]

is a generically finite morphism onto a (possibly singular) variety $\Sigma$. Let $H$ be a sufficiently ample divisor on $\Sigma$, and write $M=a^{*}H$. The assumption will be used till the end of this section.

3.3.1. Preparation

We first assume that $V$ is a surface and $|L|$ is base point free. Though this assumption looks simple, all results we need can be reduced to this setting.

Lemma 3.5**.**

If $h^{0}(V,L-M)=0$, then

[TABLE]

Proof.

Choose a general curve $C\in a^{*}|H|$. By Bertini’s theorem, we may assume that $C$ is smooth. The assumption $h^{0}(V,L-M)=0$ just tells us that $h^{0}(V,L)\leq h^{0}(C,L|_{C})$. Thus the first inequality is just a combination of the Clifford inequality and the Riemann-Roch theorem again.

The second inequality is directly from the definition of $\varepsilon$. Actually, let $\lambda$ be the smallest integer such that $\lambda M-L$ is pseudo-effective. Then

[TABLE]

The proof is completed. ∎

Now suppose that $h^{0}(V,L-M)>0$. Let

[TABLE]

Obviously, $\gamma\geq 1$.

Lemma 3.6**.**

If $h^{0}(V,L-M)>0$, then

[TABLE]

Proof.

Take a general member $D\in|L|$. By assumption, $D$ is big. Thus we may assume that $D$ is smooth and irreducible. Consider the following exact sequence

[TABLE]

Since $K_{V}-L$ is pseudo-effective, we know that $\deg(2L|_{D})\leq\deg(K_{V}|_{D}+L|_{D})=\deg K_{D}$, i.e., $K_{D}-2L|_{D}$ is pseudo-effective. Apply the Clifford inequality (when $h^{1}(D,2L|_{D})>0$) or the Riemann-Roch theorem (when $h^{1}(D,2L|_{D})=0$) for $2L|_{D}$, and it follows that

[TABLE]

The proof is completed. ∎

Let $C\in a^{*}|H|$ be a general member, hence smooth. Consider the following two restriction maps

[TABLE]

and

[TABLE]

The kernels of the above two maps are just $H^{0}(V,L-(i+1)M)$ and $H^{0}(V,2L-(j+1)M)$, respectively.

Let $V_{1,i}$ (resp. $V_{2,j}$) denote the image of $H^{0}(V,L-iM)$ (resp. $H^{0}(V,2L-jM)$) under $\mathrm{res}_{1,i}$ (resp. $\mathrm{res}_{2,j}$).

Lemma 3.7**.**

We have

[TABLE]

Proof.

The two equalities are obvious. The last inequality in the second formula holds simply because $h^{0}(V,2L-2\gamma M)>0$ and $\dim V_{2,2i-1}\geq\dim V_{2,2i}$ for any $1\leq i\leq\gamma-1$. ∎

Let $|N_{i}|$ denote the movable part of $|L-iM|$. Note that the base locus of $|N_{i}|$ is either empty or of dimension zero. We deduce that $N_{i}$ is nef. Also, we have

[TABLE]

Lemma 3.8**.**

For $0\leq i\leq\gamma$, we have

[TABLE]

If moreover, the linear system $|N_{i}||_{C}$ induces a birational map on $C$, then

[TABLE]

Proof.

This is just [6, Lemma 5.3] for $k=2$. ∎

In the following, we will apply the above results to deduce more inequalities subject to the degree of the map $a$. The notation here will be frequently used in the sequel.

3.3.2. $\deg a=1$

We first consider the case when $a$ is birational.

Theorem 3.9**.**

Suppose that $\deg a=1$ and that $K_{V}-L$ is pseudo-effective. Then we have

[TABLE]

Similar to the proof of Theorem 3.4, we may assume that $L$ is nef. Actually, we may even assume that $|L|$ is base point free. Moreover, we only need to prove Theorem 3.9 when $n=2$ (i.e., Lemma 3.10), and the general result follows by an inductive argument almost identical to Step 3 and Step 4 in the proof of Theorem 3.4.

One little difference is that, instead of choosing a general pencil in $|M|$ as in Step 3 of the proof of Theorem 3.4, here we choose a general pencil in the sub linear system $a^{*}|H|\subseteq|M|$. Since $a^{*}|H|$ is also base point free, the smoothness of a general member in it is guaranteed by Bertini’s theorem. This adjustment will be used till the end of this section. Note that the restriction of $a$ on a general member of $a^{*}|H|$ has degree one. This is the key point for us to use the induction.

With this adjustment and by Lemma 3.5, we eventually reduce Theorem 3.9 to the following lemma.

Lemma 3.10**.**

Theorem 3.9 holds when $n=2$, $|L|$ is base point free and $h^{0}(V,L-M)>0$.

Proof.

We claim that

[TABLE]

Suppose the claim holds. Together with Lemma 3.6, we deduce that

[TABLE]

and the proof will be completed just noting that

[TABLE]

just as in the proof of Lemma 3.5.

To prove the claim, let $C$, $\gamma$, $V_{1,i}$, $V_{2,j}$ be the same as in §3.3.1. For $0\leq i\leq\gamma-1$, $|M|$ is a sub linear system of $|L-iM|$, which means that $|M||_{C}$ is a sub linear system of $V_{1,i}$. Note that $|M||_{C}$ induces a birational map from $C$. We deduce that the map induced by $V_{1,i}$ $(0\leq i\leq\gamma-1)$ is birational. Thus it follows from Lemma 3.7 and the second inequality in Lemma 3.8 that

[TABLE]

Let us estimate the right hand side of the above inequality.

• (1)

Since $h^{0}(V,L-(\gamma+1)M)=0$, by Lemma 3.5, we have

[TABLE]

In particular,

[TABLE]

• (2)

Note that $\dim V_{2,0}\leq h^{0}(C,2L|_{C})$. By the Clifford inequality and the Riemann-Roch theorem similar as before, we simply deduce that

[TABLE]

Combining the above two inequalities together, we prove the claim. ∎

3.3.3. $a$ is not composed with an involution

Second, we consider the case when $a$ is not composed with an involution. That is, there is no generically finite map $V\dashrightarrow V^{\prime}$ of degree two through which $a$ factors birationally.

Theorem 3.11**.**

Suppose that $a$ is not composed with an involution and that $K_{V}-L$ is pseudo-effective. Then we have

[TABLE]

Similar as we did for Theorem 3.9, we may assume that $n=2$, $|L|$ is base point free, and $h^{0}(V,L-M)>0$. For general $n$, we just use the induction. Note that by our assumption, the restriction of $a$ on a general member of $a^{*}|H|$ is not composed with an involution, either. See [6, Proposition 2.8] for example. This guarantees that the inductive argument also works in this situation. Therefore, Theorem 3.11 boils down to the following lemma.

Lemma 3.12**.**

Theorem 3.11 holds when $n=2$, $|L|$ is base point free, and $h^{0}(V,L-M)>0$.

Proof.

We sketch the proof here since it is similar to that of Lemma 3.10.

Let $C$, $\gamma$, $V_{1,i}$, $V_{2,j}$, $N_{i}$ be identical to those in §3.3.1. Let

[TABLE]

With this notation, using the same strategy as for proving (3.1), we deduce that

[TABLE]

Comparing to the proof of (3.1), the only modification we make here is that, for $i\geq i_{0}$, we have to use the first inequality in Lemma 3.8 to compare $\dim V_{2,2i}$ with $\dim V_{1,i}$, which is the reason for having an extra term $-2\sum_{i=i_{0}}^{\gamma-1}\dim V_{1,i}$ on the right hand side.

Combining this inequality with Lemma 3.6, it follows that

[TABLE]

On the other hand, recall that for any $0\leq i\leq\gamma-1$, $N_{i}$ is nef and

[TABLE]

Note that in the current setting, $N_{0}=L$ and $|N_{i+1}|$ is also the movable part of $|N_{i}-M|$.

For any $i>0$, we have

[TABLE]

where the last inequality follows from the fact that $K_{C}-(L|_{C}-iM|_{C})$ is pseudo-effective. When $i\geq i_{0}$, $V_{1,i}$ induces a map on $C$ of degree at least three. Otherwise, the map $\phi_{|L-iM|}$ induced by the linear system $|L-iM|$ would factor through a degree two map from $V$, and $a$ would factor through $\phi_{|L-iM|}$, which is a contradiction. Let

[TABLE]

be the morphism induced by the movable part of $V_{1,i}$. Then $\deg\phi_{i}\geq 3$. Since $\phi_{i}$ factor through the normalization of $C^{\prime}_{i}$, we may assume that the curve $C^{\prime}_{i}$ is normal, hence smooth. Then

[TABLE]

where $L^{\prime}_{i}$ and $Z^{\prime}_{i}$ are effective divisors on $C^{\prime}$. Since

[TABLE]

similar to (3.3), we deduce that for $i\geq\max\{1,i_{0}\}$,

[TABLE]

Note that we also have

[TABLE]

Together with (3.3) and (3.4) for all $i>0$, we deduce that

[TABLE]

The third inequality here is due to Lemma 3.7. For the last inequality, by Lemma 3.5 and the definition of $\gamma$, we have

[TABLE]

Then it is easy to deduce that

[TABLE]

Thus (3.5) is verified.

Now adding (3.2) and (3.5) together, it follows that

[TABLE]

i.e.,

[TABLE]

Finally, let $\lambda$ be the smallest integer such that $\lambda M-L$ is pseudo-effective. Noting that $\gamma\leq\lambda$, we deduce that

[TABLE]

Thus the whole proof of this lemma is completed. ∎

3.3.4. $a$ is composed with an involution and $\kappa(\Sigma)>0$

Finally, we consider the case when $a$ is composed with an involution and $\Sigma$ is birational to a smooth projective variety of positive Kodaira dimension. Let $\pi:\Sigma^{\prime}\to\Sigma$ be a resolution of singularities of $\Sigma$. Then $\kappa(\Sigma^{\prime})>0$. Set

[TABLE]

By the assumption, $K_{\Sigma^{\prime}}(\pi^{*}H)^{n-1}>0$. Thus $r^{\prime}(L,M,\Sigma^{\prime})<\infty$.

Theorem 3.13**.**

Let the notation be as above. Write $r^{\prime}=r^{\prime}(L,M,\Sigma^{\prime})$. Suppose that $K_{V}-L$ is pseudo-effective. Then we have

[TABLE]

Moreover, for any ${\mathbb{Q}}$-divisor $L_{1}\leq L$, we have

[TABLE]

Here the function $\delta(x)$ is the same as that in Theorem 3.4. Note that under this setting, $\delta(r^{\prime})>1$. Moreover, since $r^{\prime}_{1}:=r^{\prime}(L_{1},M,\Sigma^{\prime})\leq r^{\prime}$, we have $\delta(r^{\prime}_{1})\geq\delta(r^{\prime})$ and $\frac{2\delta(r^{\prime}_{1})-1}{5\delta(r^{\prime}_{1})-3}\leq\frac{2\delta(r^{\prime})-1}{5\delta(r^{\prime})-3}$. Therefore, the second inequality in Theorem 3.13 can be deduced from the first one for $L_{1}$.

Note that the restriction of $a$ on a general member of $a^{*}|H|$ is composed with an involution. Furthermore, by the adjunction, a smooth model of a general member of $|H|$ has positive Kodaira dimension. Thus the induction method works here, and Theorem 3.13 is finally reduced to the following result.

Lemma 3.14**.**

Theorem 3.13 holds when $n=2$, $|L|$ is base point free, and $h^{0}(V,L-M)>0$.

Proof.

The proof is just a modification of the proof of Lemma 3.12. We sketch it and leave the details to the interested reader.

Let $C$, $\gamma$, $V_{1,i}$, $V_{2,j}$, $N_{i}$ and $i_{0}$ be identical to those in the proof of Lemma 3.12. Then it is easy to see that (3.2) still holds here, i.e.,

[TABLE]

For any $1\leq i\leq\gamma-1$, (3.3) holds also here, i.e.,

[TABLE]

The major modification is a replacement of (3.4). For $i_{0}\leq i\leq\gamma-1$, $V_{1,i}$ induces a map on $C$ of degree at least two. Let $\phi_{i}:C\to C^{\prime}_{i}$, $L^{\prime}_{i}$ and $Z^{\prime}_{i}$ be as in the proof of Lemma 3.12. We may further assume that the curve $C^{\prime}_{i}$ is normal. By Theorem 3.4 and the fact that $\deg\phi_{i}\geq 2$, we deduce that

[TABLE]

where $r^{\prime}_{i}=\frac{\deg L^{\prime}_{i}}{\deg K_{C^{\prime}_{i}}}$. Now we claim that

[TABLE]

for any $i\geq i_{0}$ as above. With this claim, we deduce that for $i\geq\max\{1,i_{0}\}$,

[TABLE]

To prove the claim, we only need to prove that $r^{\prime}_{i}\leq r^{\prime}$. Since we already have $\deg L^{\prime}_{i}\leq\frac{1}{2}LM$ as above, it suffices to prove that $\deg K_{C^{\prime}_{i}}\geq K_{\Sigma^{\prime}}(\pi^{*}H)$. This is rather obvious. The key is to note that $a|_{C}$ factors through $\phi_{i}$. Via this factorization, $C^{\prime}_{i}$ maps to a general curve in $|H|$ on $\Sigma$. Since $\pi^{*}|H|$ is base point free, by Bertini’s theorem, a general member of $\pi^{*}|H|$ is smooth. Moreover, the aforementioned map on $C^{\prime}_{i}$ lifts to a map from $C^{\prime}_{i}$ to a general member $C^{\prime\prime}\in\pi^{*}|H|$. Therefore, by the Hurwitz formula and the adjunction formula,

[TABLE]

Thus the claim is verified, and (3.8) is established.

Having the above modification, we can proceed the proof as before. Sum up (3.7) and (3.8) over all the above $i>0$. Note that

[TABLE]

It follows that

[TABLE]

Using the argument for proving (3.5), we can similarly deduce that

[TABLE]

The above two inequalities imply that

[TABLE]

For simplicity, we just write $\delta=\delta(r^{\prime})$. As before, we use (3.6) and (3.9) together to eliminate $\sum_{i=i_{0}}^{\gamma-1}\dim V_{1,i}$. It follows that

[TABLE]

i.e.,

[TABLE]

Since $1<\delta\leq 2$, it is straightforward to check that the above inequality implies that

[TABLE]

Once again, let $\lambda$ be the smallest integer such that $\lambda M-L$ is pseudo-effective. Since $M^{2}=(\deg a)H^{2}\geq 2$ and $\gamma\leq\lambda$, we deduce that

[TABLE]

Thus the whole proof is completed. ∎

4. Some results about $\chi_{f}$

Let $f:X\to B$ be a fibration from a smooth variety $X$ to a smooth curve $B$ of genus $g$, with a general fiber $F$. Recall that

[TABLE]

The goal of this section is to list some results about this relative invariant. We always assume that $f$ is of maximal Albanese dimension. Denote by

[TABLE]

the Albanese map of $X$. Let $q=\dim A=h^{1}(X,{\mathcal{O}}_{X})$. The above notation will be used throughout this section.

4.1. $\chi_{f}$ equals the degree of a twisted Hodge bundle

The following result relates $\chi_{f}$ to the degree of a twisted Hodge bundle.

Proposition 4.1**.**

With the above notation, we have

[TABLE]

where ${\mathcal{P}}$ is a general torsion element in ${\mathrm{Pic}}^{0}(X)$.444Here being general means that ${\mathcal{P}}$ is not contained in a certain proper subvariety (usually called the cohomological jumping loci) of ${\mathrm{Pic}}^{0}(X)$.

Proof.

This result has been proved by Hacon and Pardini [12, Theorem 2.4] assuming $g(B)\geq 2$. In fact, this assumption can be removed. Here we give a slightly different proof which works for any curve $B$.

By the assumption, $a|_{F}:F\to A$ is generically finite onto its image. Let ${\mathcal{P}}\in{\mathrm{Pic}}^{0}(X)$ be a general torsion element. Applying exactly the proof of [12, Corollary 2.3], we conclude that $f_{*}(\omega_{X/B}\otimes{\mathcal{P}})$ is a torsion free, hence a locally free sheaf on $B$ of rank $r=\chi(F,\omega_{F})$. Still by [12, Corollary 2.3], for any $i>0$,

[TABLE]

Together with the Leray spectral sequence, we know that for any $i\geq 0$,

[TABLE]

In particular,

[TABLE]

Combine all above together and apply the Riemann-Roch theorem for $f_{*}(\omega_{X}\otimes{\mathcal{P}})$. It follows that

[TABLE]

Thus the proof is completed. ∎

4.2. The degree of the Hodge bundle under étale covers

In this subsection, we assume that $g>0$. Thus $X$ itself is of maximal Albanese dimension.

Let $\mu_{m}:A\to A$ be the multiplication-by-$m$ map of $A$. Let $X_{m}=X\times_{\mu_{m}}A$. Since $a$ is the Albanese map, $X_{m}$ is irreducible. Let $J(B)$ be the Jacobian variety of $B$. By the abuse of notation, let $\mu_{m}:J(B)\to J(B)$ also denote the multiplication-by-$m$ map of $J(B)$, and let $B_{m}=B\times_{\mu_{m}}J(B)$. Thus we have the following commutative diagram:

[TABLE]

Now we claim that if $m$ is a sufficiently large prime number, the morphism

[TABLE]

is always a fibration, i.e., it has connected fibers. To see this, let $A_{F}=\ker h$, which is also an abelian variety. We may assume that up to a translation by a point in $J(B)$, $a(F)$ generates $A_{F}$. Thus the kernel of the map $(a|_{F})^{*}:{\mathrm{Pic}}^{0}(A_{F})\to{\mathrm{Pic}}^{0}(F)$ is finite. Thus for any integer $m$ coprime to the cardinality of this kernel, the general fiber of $f_{m}$ is irreducible.

Proposition 4.2**.**

With the above notation, we have

[TABLE]

Proof.

From the above construction, we know that for any $m>0$, the morphism $\sigma_{m}:B_{m}\to B$ is étale. By the projection formula,

[TABLE]

where $T_{m}(B)\subset{\mathrm{Pic}}^{0}(B)$ is the subgroup of all $m$-torsion line bundles on $B$. There is a natural injective group homomorphism

[TABLE]

given by the pull-back of $f$, where $T_{m}(X)\subset{\mathrm{Pic}}^{0}(X)$ is the subgroup of all $m$-torsion line bundles on $X$. Let $m$ be a sufficiently large prime number, and let $X^{\prime}_{m}=X\times_{B}B_{m}$. Then we have the following commutative diagram:

[TABLE]

It is clear that $\nu^{\prime}_{m}:X_{m}\to X^{\prime}_{m}$ is a Galois cover with ${\mathrm{Gal}}(\nu^{\prime}_{m})\simeq\frac{T_{m}(X)}{f^{*}T_{m}(B)}$. Thus by the projection formula,

[TABLE]

Here the summation runs over all cosets of $f^{*}T_{m}(B)$ in $T_{m}(X)$ (whose cardinality equals $m^{2q-2g}$), and ${\mathcal{Q}}$ is any representative in each corresponding coset. Thus we have the following splitting:

[TABLE]

All the above imply particularly that

[TABLE]

On the other hand, by the projection formula,

[TABLE]

Thus it follows that

[TABLE]

Let $S_{m}(X)=\{{\mathcal{P}}\in T_{m}(X)|\deg f_{*}(\omega_{X/B}\otimes{\mathcal{P}})=\chi_{f}\}$ be the subset of $T_{m}(X)$. By Proposition 4.1, we know that the set

[TABLE]

is contained in a proper subvariety of ${\mathrm{Pic}}^{0}(X)$. In particular,

[TABLE]

Note that $\deg f_{*}(\omega_{X/B}\otimes{\mathcal{P}})$ is always non-negative (e.g., see [12]) and bounded from above independent of $m$. We deduce that

[TABLE]

Thus the proof is completed. ∎

5. Slope inequalities for fibrations over curves

In this section, we prove a slope inequality for fibrations over curves whose general fiber is a smooth variety of general type. Throughout this section, we always assume that

[TABLE]

is a fibration from a smooth variety $X$ of dimension $n\geq 2$ to a smooth curve $B$. Denote by $F$ a general fiber of $f$.

5.1. Xiao’s method

Here we review Xiao’s method and list some inequalities deduced from it. Most of the following facts can be found in [23] when $n=2$ and in [19, 15, 4] for general $n\geq 2$.

Let $L$ be a nef ${\mathbb{Q}}$-divisor on $X$. Let

[TABLE]

be the Harder-Narasimhan filtration of $f_{*}{\mathcal{O}}_{X}({\lfloor L\rfloor})$. For any $0\leq i\leq m$, set

[TABLE]

Then we have

[TABLE]

as well as

[TABLE]

for each $1\leq k\leq m$.

For each $1\leq i\leq m$, consider the rational map $\phi_{i}:X\dashrightarrow\mathbb{P}_{B}(\mathcal{E}_{i})$ associated to the evaluation morphism $f^{*}{\mathcal{E}}_{i}\to{\mathcal{O}}_{X}({\lfloor L\rfloor})$. We may choose a common blowing up $\sigma:Y\to X$ which resolves all indeterminacies of $\phi_{i}$. Denote by $F_{1}$ a general fiber of $f\circ\sigma:Y\to B$. Applying Xiao’s method, we obtain a sequence of nef $\mathbb{Q}$-Cartier divisors

[TABLE]

on $Y$. Here $N_{i}=(\phi_{i}\circ\sigma)^{*}H_{{\mathcal{E}}_{i}}-\mu_{i}F_{1}$, where $H_{{\mathcal{E}}_{i}}$ is a hyperplane section of ${\mathbb{P}}_{B}({\mathcal{E}}_{i})$. For each $1\leq i\leq m$, $N_{i}|_{F_{1}}$ is Cartier, $h^{0}(F_{1},N_{i}|_{F_{1}})=r_{i}$,

[TABLE]

and

[TABLE]

In particular, $\sigma^{*}L-\mu_{1}F_{1}$ is pseudo-effective, and for $1\leq i\leq m-1$, we have

[TABLE]

Thus the following lemma follows easily by induction.

Lemma 5.1**.**

Keep the same notation as above. Suppose that for some $1\leq i\leq m$, we have $\mu_{i}\geq 0$. Let $k:=\max\{i|\ 1\leq i\leq m\ \text{and}\ \mu_{i}\geq 0\}$. Then we have

[TABLE]

Proof.

Inductively using the above estimate, we have

[TABLE]

The last inequality holds since $N_{1}$ is nef. Notice that $\sigma^{*}L\geq N_{k}+\mu_{k}F_{1}$ and $\mu_{k}\geq 0$, we have

[TABLE]

Thus the proof is completed by combining the above estimates together. ∎

5.2. A basic slope inequality

We have the following result.

Proposition 5.2**.**

Let $f:X\to B$ and $F$ be as before. Suppose that $L$ is a nef ${\mathbb{Q}}$-divisor on $X$ such that $L|_{F}$ is big and that $K_{F}-L|_{F}$ is pseudo-effective. Then we have

[TABLE]

Proof.

The inequality holds trivially when $\deg f_{*}{\mathcal{O}}_{X}({\lfloor L\rfloor})\leq 0$. Thus we may assume that $\deg f_{*}{\mathcal{O}}_{X}({\lfloor L\rfloor})>0$.

Let

[TABLE]

be the Harder-Narasimhan filtration of $f_{*}{\mathcal{O}}_{X}({\lfloor L\rfloor})$. Keep the same notation as in §5.1. Since $\deg f_{*}{\mathcal{O}}_{X}({\lfloor L\rfloor})>0$, we have $\mu_{i}>0$ for some $1\leq i\leq m$. Let $k:=\max\{i|\ 1\leq i\leq m\ \text{and}\ \mu_{i}\geq 0\}$. We have

[TABLE]

By (5.1) and Lemma 5.1, we have the following two inequalities:

[TABLE]

On the other hand, note that $N_{i}|_{F_{1}}\leq\sigma^{*}L|_{F_{1}}$ for any $1\leq i\leq m$ and that $K_{F_{1}}-\sigma^{*}L|_{F_{1}}\geq\sigma^{*}(K_{F}-L|_{F})$ is pseudo-effective. By Theorem 2.2 and Proposition 2.1, we have

[TABLE]

Combine the above three (in)equalities. We deduce that

[TABLE]

where the last inequality follows by (5.2).

What is left to us is to estimate $\mu_{1}$. Note that $\sigma^{*}L-\mu_{1}F_{1}$ is pseudo-effective. Thus

[TABLE]

As a result, we deduce that

[TABLE]

Thus the proof is completed. ∎

Before going further, we would like to remark that the inequality in Proposition 5.2 is by no means sharp. For example, when $n=2$, $f$ is a relatively minimal fibration by curves of genus $g\geq 2$, and $L=K_{X/B}$ (in this case $\varepsilon(F,L|_{F})=1$), Proposition 5.2 yields

[TABLE]

which is weaker than the optimal slope inequality with the slope $\frac{4g-4}{g}$. This is because our estimate is not so delicate as Xiao’s original version in [23] which also considers the intersection number contributed by the horizontal part $N_{i}|_{F_{1}}-N_{i+1}|_{F_{1}}$. See the proof of [23, Lemma 2] for details. In other words, we have not employed Xiao’s method in its full strength. However, Proposition 5.2 is already enough to deduce Theorem 1.2. Moreover, instead of using Theorem 1.2, Proposition 5.2 is sufficient for us to run the argument as in [4, Proposition 4.4] to deduce the absolute Severi inequality.

5.3. Sharper slope inequalities

In the following, we assume that

[TABLE]

is a generically finite map onto a projective variety $\Sigma$. Let $H$ be a sufficiently ample divisor on $\Sigma$. Let $M=a^{*}H$.

Proposition 5.3**.**

Let $f:X\to B$ and $F$ be as before. Suppose that $L$ is a nef ${\mathbb{Q}}$-divisor on $X$ such that $L|_{F}$ is big and that $K_{F}-L|_{F}$ is pseudo-effective.

• (1)

If $a$ is birational, then

[TABLE]

• (2)

If $a$ is not composed with an involution, then

[TABLE]

• (3)

If $a$ is composed with an involution and $\Sigma$ has a smooth model of positive Kodaira dimension, then

[TABLE]

Here $r^{\prime}$ and $\delta$ are the same as in Theorem 3.13.

Proof.

The proof is almost identical to Proposition 5.2. We only need to replace (5.3) by the inequalities in Theorem 3.9, 3.11, and the second inequality in Theorem 3.13, respectively. Then the results will follow. We leave the details to the interested reader. ∎

6. Proof of the main theorems

In the final section, we prove the main theorems of this paper. We always assume that $f:X\to B$ is a relatively minimal fibration from a variety $X$ of dimension $n\geq 2$ to a smooth curve $B$ with a general fiber $F$ and that $f$ is of maximal Albanese dimension. Let

[TABLE]

be the Albanese map of $X$. Write $q=h^{1}(X,{\mathcal{O}}_{X})=\dim A$.

6.1. Preparation when $g(B)>0$

Before proving the results, we list some notation that will be used throughout the section. We first assume that $g(B)>0$. Note that in this case, $X$ itself is of maximal Albanese dimension.

Let $\pi:Y\to X$ be a resolution of singularities of $X$. Thus $Y$ is also of maximal Albanese dimension. Let

[TABLE]

be the induced fibration with a general fiber $F^{\prime}$, and let

[TABLE]

be the Albanese map of $Y$.

Let $m$ be a sufficiently large prime number. Similar to §4.2 but adding $Y$ into it, we have the following commutative diagram:

[TABLE]

Here $\mu_{m}$ still denotes the multiplication-by-$m$ map of $A$ or $J(B)$, the Jacobian variety of $B$, $X_{m}$ and $f_{m}$ are just identical to those in §4.2, $Y_{m}=Y\times_{\mu_{m}}A$, and

[TABLE]

is the Stein factorization of the morphism $Y_{m}\to Y\to B$. Clearly, $X_{m}$ has at worst terminal singularities, and $\pi_{m}:Y_{m}\to X_{m}$ is also a resolution of singularities of $X_{m}$. Denote by $F^{\prime}_{m}$ a general fiber of $f^{\prime}_{m}$. Moreover, we will fix a sufficiently ample divisor $H$ on $A$. By [7, Proposition 2.3.5],

[TABLE]

6.2. Proof of Theorem 1.2

We divide the proof into two cases.

6.2.1. Case I: $g(B)>0$

We first prove Theorem 1.2 when $g:=g(B)>0$.

If $F$ is not of general type, neither is $F^{\prime}$. In this case, for a general torsion element ${\mathcal{P}}\in{\mathrm{Pic}}^{0}(Y)$, $f_{*}(\omega_{Y/B}\otimes{\mathcal{P}})$ is of rank $\chi(F^{\prime},\omega_{F^{\prime}})=0$. We deduce that $f_{*}(\omega_{Y/B}\otimes{\mathcal{P}})=0$. By Proposition 4.1, $\chi_{f}=\chi_{f^{\prime}}=0$. Thus (1.1) holds trivially.

From now on, we will always assume that $F$ is of general type. Set

[TABLE]

Clearly, $L_{m}$ is nef, and $L_{m}|_{F^{\prime}_{m}}$ is big. Since $X$ has at worst terminal singularities, $K_{Y}-\pi^{*}K_{X}$ is effective. Thus $K_{F^{\prime}_{m}}-L_{m}|_{F^{\prime}_{m}}$ is pseudo-effective. Moreover, since

[TABLE]

by [11, Main Theorem], we deduce that ${f^{\prime}_{m}}_{*}{\mathcal{O}}_{Y_{m}}({\lfloor L_{m}\rfloor})$ is semi-positive.

Since $\deg\nu_{m}=m^{2q}$, we have

[TABLE]

There is a natural restriction morphism

[TABLE]

It is an étale morphism and $\deg\nu_{m}|_{F^{\prime}_{m}}=m^{2q-2g}$. Therefore, we deduce that

[TABLE]

Moreover, we claim that

[TABLE]

In fact, we may assume that $b^{*}H-L$ is pseudo-effective. By (6.1), $m^{2}(b_{m}^{*}H)-L_{m}$ is also pseudo-effective. Thus

[TABLE]

Thus the claim is verified.

Now applying Proposition 5.2 to $f^{\prime}_{m}$ and $L_{m}$, we deduce that

[TABLE]

Recall that

[TABLE]

Together with (6.2), (6.3) and (6.4), the above inequality (6.5) implies that

[TABLE]

Let $m\to\infty$. The left hand side of (6.6) clearly tends to $K_{X/B}^{n}$. By Proposition 4.2, the right hand side tends to $\chi_{f^{\prime}}=\chi(Y,\omega_{Y})-\chi(F^{\prime},\omega_{F^{\prime}})\chi(B,\omega_{B})$, which is nothing but $\chi_{f}$. Thus the proof for $g>0$ is completed.

6.2.2. Case II: $g(B)=0$

Now we prove Theorem 1.2 when $g(B)=0$. It is easy to see that the argument for $g(B)>0$ does not apply here directly. However, we can reduce this case to the previous one via a base change.

Choose four general distinct closed points $P_{1}$, …, $P_{4}$ on $B$. Let $\sigma:C\to B$ be a double cover branched along $P_{1}$, …, $P_{4}$. By the Hurwitz formula, $g(C)=1$. Let $Y=X\times_{B}C$ and

[TABLE]

be the induced fibration. Thus we have the following commutative diagram:

[TABLE]

Since $f$ is relatively of maximal Albanese dimension, so is $f^{\prime}$. As $g(C)=1$, $Y$ itself is of maximal Albanese dimension. Since $P_{1}$, …, $P_{4}$ are general, we deduce that $Y$ is normal. Moreover, we claim that $Y$ has at worst terminal singularities. In fact, let $\mu:X^{\prime}\to X$ be a resolution of singularities of $X$. Then $X^{\prime}\times_{B}C\to Y$ is just a resolution of singularities of $Y$, and the claim is just an easy consequence of the adjunction.

Since $K_{Y/C}=\pi^{*}K_{X/B}$, $f^{\prime}$ is also relatively minimal, and we have

[TABLE]

We also have

[TABLE]

from the above double cover. Thus from the adjunction formula, we deduce that

[TABLE]

Now that $g(C)=1>0$. We have

[TABLE]

as in §6.2.1. Together with (6.7) and (6.2.2), it implies that

[TABLE]

Thus the whole proof of Theorem 1.2 is now completed.

Remark 6.1*.*

With this framework, it is easy to see that in order to get inequalities of the same type as (1.1) with various slopes, we only need to (up to a base change to the $g(B)>0$ case) replace (6.5) by a corresponding explicit estimate with the same slope, and the same argument will give rise to the desired results. This is a crucial observation to us.

6.3. Sharper inequalities

As an example of the above remark, we can easily obtain the following result.

Theorem 6.2** (Theorem 1.4).**

Let $f:X\to B$ be a relatively minimal fibration from a variety $X$ of dimension $n\geq 3$ to a smooth curve $B$. Denote by $F$ a general fiber of $f$. Suppose that $f$ is of maximal Albanese dimension and $a:X\to{\mathrm{Alb}}(X)$ is the Albanese map of $X$.

• (1)

If $a|_{F}$ is birational, then

[TABLE]

• (2)

If $a|_{F}$ is not composed with an involution, then

[TABLE]

Proof.

Remark 6.1 allows us to assume that $g>0$. In the following, we just adopt the notation in §6.1.

To prove (1), note that now $B\to J(B)$ is an embedding. It implies that $a$ separates any two distinct fibers of $f$. In particular, $a$ is birational. Thus for every sufficiently large prime number $m>0$, $b_{m}$ is birational. So is $b_{m}|_{F^{\prime}_{m}}$. Then we simply replace the estimate (6.5) in the proof of Theorem 1.2 by the inequality in Proposition 5.3 (1) for $f^{\prime}_{m}$ and $L_{m}$, and the conclusion will follow by letting $m\to\infty$.

The proof of (2) is similar. In this case, we know that $b|_{F^{\prime}}$ is not composed with an involution. Let $d=\deg a|_{F}=\deg b|_{F^{\prime}}$. By the following Lemma 6.3, $b_{m}|_{F^{\prime}_{m}}$ is not composed with an involution as long as $m>d$. Thus the conclusion will follow similarly by letting $m\to\infty$. ∎

Lemma 6.3**.**

Let $\alpha:V\to W$ be a generically finite morphism between two varieties of degree $d>0$ such that $\alpha$ is not composed with an involution. Let $p>d$ be any prime number. Let $W_{p}\to W$ be a Galois cover with $G=\mathrm{Gal}(W_{p}/W)$ a $p$-group. Let $V_{p}:=V\times_{W}W_{p}$ and let $\alpha_{p}:V_{p}\to W_{p}$ be the induced morphism. Then $\alpha_{p}$ is not composed with an involution.

Proof.

By our assumption, $K(V)\simeq\frac{K(W)(t)}{(f(t))}$, where $f(t)$ is an irreducible polynomial of degree $d$ with coefficients in $K(W)$. Using Galois theory, we can find a variety $U$ and a generically finite map $\beta:U\to V$ such that $K(U)$ is the splitting field of $f(t)$. Thus $K(U)/K(W)$ is a Galois extension. Write

[TABLE]

Then $H$ is a subgroup of $S_{d}$. In particular, $|H|$ divides $d!$. Since $p>d$ and $G$ is a $p$-group, we have $(|G|,|H|)=1$.

Let $U_{p}=U\times_{V}V_{p}$. We claim that $U_{p}$ is irreducible. Otherwise, let $U^{\prime}_{p}$ be an irreducible component of $U_{p}$. Now the morphism $U^{\prime}_{p}\to W$ has two factorizations $U^{\prime}_{p}\to U\to W$ and $U^{\prime}_{p}\to W_{p}\to W$. Thus both $|H|$ and $|G|$ divide $[K(U^{\prime}_{p}):K(W)]$. Since $(|G|,|H|)=1$, we have

[TABLE]

On the other hand, since the degree of the map $U^{\prime}_{p}\to V_{p}$ is strictly less than $\deg\beta$, we have

[TABLE]

This is a contradiction. As a result, $U_{p}$ is irreducible. In particular, the natural morphism $U_{p}\to U$ is also a Galois cover and

[TABLE]

We claim that the extension $K(U_{p})/K(W)$ is also Galois. Write

[TABLE]

It is clear that

[TABLE]

On the other hand, since $H={\mathrm{Gal}}(K(U_{p})/K(W_{p}))$, we may view both $G$ and $H$ as subgroups of $G_{p}$. Since $(|G|,|H|)=1$, we deduce that

[TABLE]

Therefore, $|G_{p}|=|G||H|$ and the claim is verified. As a consequence of this claim, $G$ is a normal subgroup in $G_{p}$.

Now suppose that $\alpha_{p}$ is composed with an involution. This means that there exists a variety $V^{\prime}_{p}$ such that $K(V_{p})\supset K(V^{\prime}_{p})\supseteq K(W_{p})$ and

[TABLE]

Write $H_{1}={\mathrm{Aut}}(K(U_{p})/K(V_{p}))$ and $H^{\prime}_{1}={\mathrm{Aut}}(K(U_{p})/K(V^{\prime}_{p}))$. Then the fundamental theorem of Galois theory tells us that $H_{1}\subset H^{\prime}_{1}$ are both subgroups of $G_{p}$ and

[TABLE]

Since $G$ is normal, we consider another two subgroups $H_{1}G\subset H^{\prime}_{1}G$ of $G_{p}$. Then we still have

[TABLE]

Note that $K(U_{p})^{H_{1}G}=K(V)$, by fundamental theorem of Galois theory again, $K(U_{p})^{H^{\prime}_{1}G}$ is a subfield of $K(V)$ and

[TABLE]

This implies that $\alpha$ is composed with an involution. However, this is absurd. Thus the proof is completed. ∎

Remark 6.4*.*

After we finished the first version of the paper, Barja informed us the result [6, Lemma 2.9] which states that if one further assumes that $V$ is of general type, then ${\mathrm{Gal}}(\alpha_{p})={\mathrm{Gal}}(\alpha)$ for any prime number $p$ larger than a certain non-explicit constant depending on the volume and the dimension of $V$.

6.4. An example

We provide an example showing that (1.1) is sharp.

Let $Y:=B\times A$ be a product of a smooth curve $B$ of genus $g$ and an abelian variety $A$ of dimension $n-1$, with two natural projections $p_{1}:Y\to B$ and $p_{2}:Y\to A$. Take two sufficiently ample divisors $L_{1}$ on $B$ and $L_{2}$ on $A$, respectively. Denote $L=p_{1}^{*}L_{1}+p_{2}^{*}L_{2}$. Choose a smooth divisor $D\in|2L|$ on $Y$. Let $\pi:X\to Y$ be a double cover branched along $D$. It is easy to see that

[TABLE]

is a relatively minimal fibration whose general fiber $F$ is a double cover of $A$ branched along $L_{2}$, thus is of general type. Moreover, $f$ is relatively minimal of maximal Albanese dimension.

Since $K_{X/B}\sim\pi^{*}L$, we have

[TABLE]

On the other hand, since

[TABLE]

and

[TABLE]

by the Künneth formula, we have

[TABLE]

and

[TABLE]

It follows that

[TABLE]

Thus for this fibration $f$, we have $K_{X/B}^{n}=2n!\chi_{f}>0$.

6.5. Proof of Theorem 1.3

Since the result is either known or trivial when $n=2$, in the following, we assume that $n\geq 3$ and

[TABLE]

We first prove Theorem 1.3 (1). Via a base change argument as in §6.2.2, we may assume that $g(B)>0$. Thus we are under the setting of §6.1. Moreover, by Theorem 1.4, we know that $a|_{F}$ is composed with an involution.

Resume all notation in §6.1. Write $\Sigma=a(F)$. Then $\Sigma$ is a subvariety of an abelian variety $A_{F}$, a general fiber of $A\to J(B)$ of dimension $q-g(B)$, and $\Sigma$ generates $A_{F}$. To show that $\Sigma=A_{F}$, we only need to show that the smooth model of $\Sigma$ has Kodaira dimension zero.

Let $\sigma:\Sigma^{\prime}\to\Sigma$ be a resolution of singularities of $\Sigma$. Let $\Sigma_{m}=a_{m}(F_{m})$ and $\Sigma^{\prime}_{m}=\Sigma_{m}\times_{\sigma}\Sigma^{\prime}$. Then $\sigma_{m}:\Sigma^{\prime}_{m}\to\Sigma_{m}$ is also a resolution of singularities of $\Sigma_{m}$. Let $\nu_{m}:\Sigma^{\prime}_{m}\to\Sigma^{\prime}$ be the induced étale map. Thus we have the following diagram:

[TABLE]

Denote

[TABLE]

With this notation, by (6.1), we have

[TABLE]

It simply implies that

[TABLE]

Now we use the framework of the proof of Theorem 1.2 again and replace (6.5) by the one in Proposition 5.3 (3). Together with the above equality, we deduce that

[TABLE]

However, if $\kappa(\Sigma^{\prime})>0$, we would have $\delta(r^{\prime})>1$ and thus $\frac{5\delta(r^{\prime})-3}{2\delta(r^{\prime})-1}>2$. This is a contradiction. As a result, $\kappa(\Sigma^{\prime})=0$ and $\Sigma=A_{F}$.

Now we prove Theorem 1.3 (2). Note that $K_{X/B}^{n}>0$ implies that $K_{X/B}$ is also big. In particular, a general fiber $F$ of $f$ is a minimal variety of general type. By [14, Theorem 1-2-5], we have

[TABLE]

for any $i>0$ and $l\geq 2$. Thus for any $l\geq 2$, we have

[TABLE]

Let $P_{l}(F)$ denote the $l^{\mathrm{th}}$ plurigenus of $F$. Then we have

[TABLE]

In particular, for $l\gg 0$, $\det f_{*}\omega_{X/B}^{[l]}$ is an ample line bundle on $B$. By [22, Proposition 4.6], we know that for $l\gg 0$, the vector bundle $f_{*}\omega_{X/B}^{[l]}$ is ample. Thus by [19, Theorem 1.4], $mK_{X/B}-F$ is nef for a sufficiently large $m\in{\mathbb{Z}}$. Replacing $B$ by one of its cyclic cover of degree $m$ which is either étale (if $g(B)>0$) or ramified at general points (if $g(B)=0$) and replacing $f:X\to B$ by the fibration induced by this base change accordingly, we may assume that $K_{X/B}-F$ is nef. Similar to §6.2.2, we know that this induced fibration is also relatively minimal and of maximal Albanese dimension. Moreover, we still have

[TABLE]

for this new fibration $f$.

Using the same strategy as in the proof of Theorem 1.2 but replacing $K_{X/B}$ by $K_{X/B}-F$, we deduce that

[TABLE]

where ${\mathcal{P}}\in{\mathrm{Pic}}^{0}(X)$ is a general torsion element. That is,

[TABLE]

By the assumption that $K_{X/B}^{n}=2n!\chi_{f}$, we have

[TABLE]

Since $F$ is minimal of maximal Albanese dimension, together with the absolute Severi inequality for $F$, we deduce that

[TABLE]

Thus the proof is completed.