[论文解读] The subadditivity of the Kodaira Dimension for Fibrations of Relative Dimension One in Positive Characteristics

Yifei Chen, Lei Zhang|arXiv (Cornell University)|May 26, 2013

Algebraic Geometry and Number Theory参考文献 17被引用 6

一句话总结

该论文在正特征下建立了相对维数为一的纤维化中Kodaira维数的次可加性，证明了在代数闭域上光滑射影簇上，$κ(X) \geq \u03ba(Z) + \u03ba(F)$，其中$F$为通纤维的正规化。对于纤维化在曲线上的曲面，通过使用变换和稳定曲线模理论，克服了奇异点解消的缺失，证明了更强的不等式$\u03ba(S) \geq \u03ba_1(F) + \u03ba(C)$。

ABSTRACT

Let $f:X ightarrow Z$ be a separable fibration of relative dimension 1 between smooth projective varieties over an algebraically closed field $k$ of positive characteristic. We prove the subadditivity of Kodaira dimension $κ(X)\geqκ(Z)+κ(F)$, where $F$ is the generic geometric fiber of $f$, and $κ(F)$ is the Kodaira dimension of the normalization of $F$. Moreover, if $\dim X=2$ and $\dim Z=1$, we have a stronger inequality $κ(X)\geq κ(Z)+κ_1(F)$ where $κ_1(F)=κ(F,ω^o_F)$ is the Kodaira dimension of the dualizing sheaf $ω_F^o$.

研究动机与目标

• 在正特征下，建立相对维数为一的纤维化中Kodaira维数的次可加性。
• 解决正特征下奇异点解消和弱正性失效的问题，这些障碍阻碍了经典方法的应用。
• 证明曲面纤维化在曲线上时涉及对偶线丛的更强不等式。
• 通过用de Jong的变换替代解消，将Viehweg的方法推广到正特征。
• 证明即使通纤维为奇异时，次可加性不等式依然成立，通过正规化和利用变换的稳定化方法。

提出的方法

• 使用de Jong的变换构造光滑基变换$Z' \to Z$，使得拉回纤维化具有温和的奇点。
• 通过收缩纤维中非稳定分支，构造稳定纤维化$f'' : X'' \to Z'$，确保$X''$具有有理双面点。
• 对纤维化$X'' \to Z'$应用相对canonical层的弱正性，以估计$\kappa(X'', \omega_{X''/Z'}) \geq \kappa(\tilde{F})$，其中$\tilde{F}$为通纤维的正规化。
• 通过拉回比较canonical层：利用定理2.4，有$\kappa(X'', \omega_{X''/Z'}) \leq \kappa(X', \omega_{X'/Z'}) \leq \kappa(X, \omega_{X/Z})$。
• 利用带水平结构的稳定曲线模理论，构造有限且满射的基变换$Z_4' \to Z_4$，使得纤维化可提升至$\bar{M}_g^{(m)}$上的普遍族，从而在进一步基变换后实现族的同构。
• 构造一个解消$\mu: X_5' \to X_5$，满足$R\mu_*\mathcal{O}_{X_5'} \cong \mathcal{O}_{X_5}$，并利用$\nu: X_5' \to \bar{X}_5$通过$R\nu_*\mathcal{O}_{X_5'} \cong \mathcal{O}_{\bar{X}_5}$关联canonical层。

实验结果

研究问题

• RQ1 在正特征下，对于光滑射影簇之间相对维数为一的可分纤维化$f: X \to Z$，次可加性不等式$\kappa(X) \geq \kappa(Z) + \kappa(F)$是否成立？
• RQ2 在正特征下，对于曲面纤维化$f: S \to C$（纤维化在曲线上），不等式是否可加强为$\kappa(S) \geq \kappa_1(F) + \kappa(C)$？
• RQ3 当正特征下奇异点解消失效时，如何将Viehweg的次可加性方法进行适应？
• RQ4 是否可利用变换和稳定曲线模理论构造具有可控canonical层行为的稳定纤维化？
• RQ5 弱正性$f_*\omega_{X/Z}^l$对次可加性是否必要？若非必要，在正特征下何种替代工具已足够？

主要发现

• 对于代数闭域上正特征的光滑射影簇之间相对维数为一的任意可分纤维化$f: X \to Z$，次可加性不等式$\kappa(X) \geq \kappa(Z) + \kappa(F)$成立。
• 对于曲面纤维化$f: S \to C$（纤维化在曲线上），更强的不等式$\kappa(S) \geq \kappa_1(F) + \kappa(C)$成立，其中$\kappa_1(F) = \kappa(F, \omega_F^o)$为相对于对偶线丛的Kodaira维数。
• 证明方法使用de Jong的变换，构造光滑基变换$Z' \to Z$，使得拉回纤维化获得温和奇点并具备稳定化。
• 稳定纤维化$X'' \to Z'$的canonical层满足$\kappa(X'', \omega_{X''/Z'}) \geq \kappa(\tilde{F})$，其中$\tilde{F}$为通纤维的正规化。
• 通过拉回比较canonical层，确保$\kappa(X'', \omega_{X''/Z'}) \leq \kappa(X, \omega_{X/Z})$，从而保持次可加性界限。
• 该方法通过使用稳定曲线的模空间和有限满射基变换，避免了奇异点解消，实现了与普遍族的同构，从而实现了对canonical束的控制。