[论文解读] Smooth projective horospherical varieties with nef tangent bundles

Qifeng Li|arXiv (Cornell University)|Dec 15, 2015

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

一句话总结

本文证明了具有 nef 切丛的光滑射影 Horospherical 代数簇是齐性有理空间，从而证实了该类代数簇的 Campana-Peternell 猜想。证明利用 Mori 理论将问题约化至 Picard 数为一的情形，分析了指标条件，并揭示了例外情形中 VMRT 的奇点，从而排除其具有 nef 切丛的可能性。

ABSTRACT

We show that smooth projective horospherical varieties with nef tangent bundles are rational homogeneous spaces.

研究动机与目标

• 验证光滑射影 Horospherical 代数簇的 Campana-Peternell 猜想，该猜想指出：具有 nef 切丛的 Fano簇是齐性有理空间。
• 将已知的 CP-簇（具有 nef 切丛的 Fano 嶺）分类推广至更广泛的 Horospherical 代数簇类。
• 通过分析 Mori 收缩、指标条件与 VMRT 奇点，解决 Horospherical 代数簇情形下的猜想。
• 证明唯一具有 nef 切丛的光滑射影 Horospherical 代数簇是齐性有理空间，从而完成该情形下的分类。

提出的方法

• 利用 Mori 理论将问题约化至 Picard 数为一的 Horospherical 代数簇情形，借助初等 Mori 收缩的结构。
• 分析 Picard 数为一的光滑非齐性 Horospherical 代数簇的指标，表明仅有两个例外情形可能具有 nef 切丛。
• 研究这两个例外情形的 VMRT（极小有理切线簇）的奇点，证明其为奇点，从而排除其具有 nef 切丛的可能性。
• 应用 Demailly-Peternell-Schneider 建立的通过 Albanese 映射与纤维分解刻画具有 nef 切丛的 Fano 嶺的方法。
• 利用 Horospherical 代数簇的着色扇与轨道结构，通过群 $ P_I $ 与特征格 $ M_{G/H} $ 描述轨道及其稳定子的几何结构。
• 构造从 VMRT 到射影空间的显式态射，通过交比几何与奇数辛 Grassmannian 情形下的辛结构分析纤维维数与奇点。

实验结果

研究问题

• RQ1 具有 nef 切丛的光滑射影 Horospherical 代数簇是否必为齐性有理空间？
• RQ2 Picard 数为一的哪些光滑射影 Horospherical 代数簇可具有 nef 切丛？
• RQ3 在指标分析中识别出的两个例外情形（命题 3.1 (2)(ii) 与 (iii)）是否具有光滑的 VMRT？这对其切丛的 nef 性有何含义？
• RQ4 例外情形中 VMRT 的奇点是否可用于排除其具有 nef 切丛的可能性？
• RQ5 Horospherical 代数簇上 Mori 收缩的结构是否允许将一般情形约化至 Picard 数为一的情形？

主要发现

• 具有 nef 切丛的光滑射影 Horospherical 代数簇是齐性有理空间，从而证实了该类代数簇的 Campana-Peternell 猜想。
• 唯一可能的非齐性候选者为两个 Picard 数为一的例外情形，其因 VMRT 奇点分析而被排除。
• 对于奇数辛 Grassmannian $ G_ ho(k,2m+1) $ 且 $ m eq 1 $ 的情形，当 $ x $ 位于闭轨道 $ Z $ 上时，VMRT $ F(x,X) $ 为奇点，意味着切丛非 nef。
• 当 $ x otin Z $ 时，VMRT $ F(x,X) $ 是 $ bP^{2m-2k+1} $-丛覆于 $ bP^{k-1} $，因此为光滑，与可能的 nef 性一致。
• 当 $ x otin Z $ 时，$ F(x,X) $ 在 $[l]$ 处为奇点，但该奇点可通过纤维丛结构在 $ x otin Z $ 情形下被消除。
• 通过分解 $ X o ext{pt} imes G/P $ 将一般情形约化至 Picard 数为一的情形，表明若某因子具有 nef 切丛，则其必为齐性有理空间。