[论文解读] Addendum to: On fibre space structures of a projective irreducible symplectic manifold

Daisuke Matsushita|ArXiv.org|Mar 8, 1999

Geometry and complex manifolds参考文献 2被引用 14

一句话总结

本文证明了从一个射影不可约辛流形到射影基的任何纤维丛都是拉格朗日纤维丛，即一般纤维关于全纯辛形式是拉格朗日子流形。通过在上同调上使用双线性形式并比较上同调项，作者证明了一个关键积分的消失，从而确认了拉格朗日条件，并表明纤维是阿贝尔簇。

ABSTRACT

In this note, we prove that every fibre space structures of a projective irreducible symplectic manifold is a lagrangian fibration.

研究动机与目标

• 建立从射影不可约辛流形到射影基的任何纤维丛必为拉格朗日纤维丛的结论。
• 解决关于此类流形中是否存在非拉格朗日纤维丛的理论空白。
• 证明此类纤维丛的一般纤维必为阿贝尔簇，作为拉格朗日条件的推论。
• 澄清先前文献中提到的非拉格朗日环面族与实际纤维丛之间的区别。

提出的方法

• 使用在2n维射影不可约辛流形X上的全纯辛形式ω及其共轭ω̄。
• 应用[3, 定理4.7]中定义的H^2(X, ℂ)上的双线性形式q_X，满足对任意D ∈ H^2(X, ℂ)，有q_X(D,D)^n = D^{2n}。
• 构造一组参数s, t的上同调类族ω + ω̄ + sA + tH，并比较该类在恒等式两边的2n次幂。
• 识别并消去涉及q_X(ω + ω̄, A)和q_X(ω + ω̄, H)的交叉项，这些项由于[1, Théorème 5]中的霍奇理论正交性而消失。
• 比较两边展开式中s^{n-2}t^n的系数，推导出ω̄ ∧ ω ∧ A^{n-2} ∧ H^n = 0。
• 利用此消失性结论，得出∫_F ω ∧ ω̄ ∧ A^{n-2} = 0，从而确认纤维F上的拉格朗日条件。

实验结果

研究问题

• RQ1 从射影不可约辛流形到射影基的任何纤维丛是否必然为拉格朗日纤维丛？
• RQ2 如Markshevich所暗示，不可约辛流形中非拉格朗日环面族是否可能无法形成纤维丛？
• RQ3 积分∫_F ω ∧ ω̄ ∧ A^{n-2}的消失是否意味着一般纤维F为拉格朗日子流形？
• RQ4 双线性形式q_X在此背景下在刻画拉格朗日纤维丛中起什么作用？
• RQ5 流形的上同调结构如何约束其纤维丛的几何性质？

主要发现

• 从射影不可约辛流形X到射影基B的任何纤维丛f: X → B都是拉格朗日纤维丛。
• 此类纤维丛的一般纤维F是拉格朗日子流形，即辛形式ω在F上的限制恒为零。
• 通过上同调比较确立了积分∫_F ω ∧ ω̄ ∧ A^{n-2}的消失，从而确认了拉格朗日条件。
• 双线性形式q_X确保了涉及ω + ω̄与A或H的交叉项消失，这对证明至关重要。
• 该结果意味着一般纤维为阿贝尔簇，因为根据Beauville的结果，拉格朗日纤维丛是完备可积系统。
• 该证明通过表明即使非拉格朗日环面以族的形式存在，也无法形成纤维丛，从而解决了文献中可能存在的混淆。