[论文解读] Higher direct images of Lagrangian fibrations

Daisuke Matsushita|arXiv (Cornell University)|Oct 29, 2000

Algebraic Geometry and Number Theory参考文献 2被引用 11

一句话总结

该论文证明了对于光滑射影流形之间的拉格朗日纤维化 $f: X \to S$，对偶化层的高阶直接像满足 $R^i f_* \omega_X \cong \Omega^i_S$，即与底空间上的微分形式层同构。这表明底空间 $S$ 的霍奇数与射影空间相同，且该结果即使在判别分支不是横截相交除数的情况下依然成立，是对先前结果的关键推广。

ABSTRACT

We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base space of a fibre space of an irreducible symplectic manifold is the same to that of a projective space if the base space is smooth.

研究动机与目标

• 建立拉格朗日纤维化中对偶化层的高阶直接像与底空间微分形式层之间的同构关系。
• 证明对于光滑射影流形之间的拉格朗日纤维化，即使判别分支不是横截相交除数，也有 $R^i f_* \mathcal{O}_X \cong \Omega^i_S$。
• 证明不可约辛流形的纤维空间的底空间具有与射影空间相同的霍奇数。
• 研究 $R^{n-1}f_* \omega_{X/S}$ 的拟正性与充分正性，特别是在 $\dim X = 4$ 的情形下。

提出的方法

• 利用具有单峰单值性且具有受控奇点纤维的阿贝尔纤维化的相对紧化技术。
• 应用扇形模型理论与奇点纤维的对偶图上的群作用，分析判别分支附近全空间的结构。
• 采用相对 canonical 线丛公式与 $\mathcal{O}_X$-对偶性，将 $R^i f_* \omega_X$ 与 $\Omega^i_S$ 关联起来。
• 利用 $K_X$ 是 $f$-平凡且纤维为约化的事实，确保上同调性质的相容性。
• 应用极小模型理论与 étale 覆盖，以解决奇点并构造相对极小模型。
• 依赖于对余维数为一的点上奇点纤维的分类，以验证纤维化的局部结构及其在群作用下的不变性。

实验结果

研究问题

• RQ1 当拉格朗日纤维化的判别分支不是横截相交除数时，$R^i f_* \omega_X$ 是否仍为局部自由层？
• RQ2 不可约辛流形的纤维空间的底空间 $S$ 是否必为法诺流形，且其霍奇数与 $\mathbb{P}^n$ 相同？
• RQ3 当 $X$ 为不可约辛流形时，$R^{n-1}f_* \omega_{X/S}$ 是否为拟正或充分正？
• RQ4 同构 $R^i f_* \omega_X \cong \Omega^i_S$ 是否可推广至非射影的拉格朗日纤维化？
• RQ5 在判别分支非横截相交的拉格朗日纤维化中，余维数为一的点上的奇点纤维具有何种结构？

主要发现

• 高阶直接像 $R^i f_* \mathcal{O}_X$ 与底空间 $S$ 上的微分形式层 $\Omega^i_S$ 同构，即 $R^i f_* \mathcal{O}_X \cong \Omega^i_S$。
• 不可约辛流形的纤维空间的底空间 $S$ 具有与 $\mathbb{P}^n$ 相同的霍奇数，即当 $p=q$ 时 $h^{p,q}(S) = 1$，否则为 0。
• 即使判别分支不是横截相交除数，该结果依然成立，从而推广了先前要求此条件的研究结果。
• 当 $\dim X = 4$ 时，层 $R^{n-1}f_* \omega_{X/S}$ 是拟正的，若 $X$ 为不可约辛流形，则其为充分正的。
• 相对对偶化层 $\omega_{X/S}$ 诱导出一个典范同构 $R^{n-1}f_* \omega_{X/S} \cong T_S$，即 $S$ 的切丛，这是一个关键的对偶性陈述。
• 证明依赖于通过群作用与 étale 覆盖构造相对极小模型，确保全空间保持光滑且在 canonical 类下 $f$-平凡。