[论文解读] Hyperkahler SYZ conjecture and semipositive line bundles

Misha Verbitsky|arXiv (Cornell University)|Nov 5, 2008

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

一句话总结

本文证明，在紧致全纯对称双全纯凯勒流形上，任何具有半正曲率的非平凡线丛都存在有效幂，从而支持了超凯勒 SYZ 期望。通过使用乘子理想层与奇异度量下的硬莱夫谢茨定理，证明了此类线丛是 Q-有效，将超凯勒几何中的几何正性与代数有效性联系起来。

ABSTRACT

Let $M$ be a compact, holomorphic symplectic Kaehler manifold, and $L$ a non-trivial line bundle admitting a metric of semi-positive curvature. We show that some power of $L$ is effective. This result is related to the hyperkaehler SYZ conjecture, which states that such a manifold admits a holomorphic Lagrangian fibration, if $L$ is not big.

研究动机与目标

• 在紧致全洁对称双全洁凯勒流形上建立半正线丛的有效性。
• 通过将全纯拉格朗日子纤维丛的存在性与线丛的有效性联系起来，为超凯勒 SYZ 期望提供证据。
• 使用乘子理想层将硬莱夫谢茨定理推广至 nef 线丛的奇异度量。
• 在 L-值全纯微分形式的背景下，分析双有理凯勒锥与 Zariski 分解。
• 通过曲率与上同调技术，解决半正线丛在超凯勒流形上为 Q-有效的猜想。

提出的方法

• 利用半正线丛系数的上同调中的硬莱夫谢茨定理，推导出消去结果。
• 将乘子理想层理论应用于具有正当前曲率的 nef 线丛的奇异度量。
• 在一线丛 $ L $ 上构造一个奇异度量 $ h = h_0 e^{-2\psi} $，其中 $ \psi $ 为拟次调和函数，且满足 $ \partial\bar{\partial}\psi + \theta = \Xi $，$ \Xi $ 为正当前。
• 使用当前的 $ \partial\bar{\partial} $-引理，将第一陈类表示为凯勒形式的极限。
• 通过奇异度量下的 $ L^2 $-可积截面层 $ \mathcal{I}(L^m) $ 分析 $ L $-值全纯微分形式。
• 通过在 $ E \otimes L^{\otimes i_k} $ 中无限选择截面的反证法，证明 $ (\det E_\infty)^* \cong L^{\otimes I} $ 对于大 $ I $ 不可能成立，从而推出存在某个 $ k > 0 $ 使得 $ L^k $ 有效。

实验结果

研究问题

• RQ1 在紧致全洁对称双全洁凯勒流形上，任何具有半正曲率的非平凡线丛是否都存在有效幂？
• RQ2 全纯拉格朗日子纤维丛的存在性与半正线丛的有效性之间有何关系？
• RQ3 能否将硬莱夫谢茨定理推广至与 nef 线丛奇异度量相关的乘子理想层？
• RQ4 在 $ L $-值全纯微分形式的背景下，双有理凯勒锥与 Zariski 分解起什么作用？
• RQ5 在什么条件下，超凯勒流形上的半正线丛是 $ \mathbb{Q} $-有效的？

主要发现

• 在紧致全洁对称双全洁凯勒流形上，任何非平凡线丛 $ L $，若其允许半正曲率度量，则存在某个正整数 $ k $ 使得 $ L^k $ 有效。
• 该证明依赖于在 $ L $ 上构造一个具有正当前曲率的奇异度量，利用当前的 $ \partial\bar{\partial} $-引理。
• 乘子理想层 $ \mathcal{I}(L^m) $ 捕获了 $ L^2 $-可积截面，且 $ H^i(\mathcal{I}(L^m)) $ 的非零性意味着存在 $ L^m $-值全纯微分形式。
• 若 $ L $ 的 Lelong 数为零，则 $ \mathcal{I}(L^m) = L^m $，且标准欧拉示性数 $ \chi(L^m) = n+1 $ 暗示 $ L $ 是 $ \mathbb{Q} $-有效的。
• 通过在 $ E \otimes L^{\otimes i_k} $ 中无限选择截面的反证法，迫使 $ (\det E_\infty)^* \cong L^{\otimes I} $ 对于大 $ I $ 不成立，从而证明了存在某个 $ k > 0 $ 使得 $ L^k $ 有效。
• 该结果通过表明 $ L $ 不具备大性时，经形变后必存在全纯拉格朗日子纤维丛，从而支持了超凯勒 SYZ 期望。