[论文解读] Almost del Pezzo manifolds

Priska Jahnke, Thomas Peternell|ArXiv.org|Dec 18, 2006

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

一句话总结

本文通过分析其Mori收缩和到奇异Gorenstein Fano簇的反 canonical态射，对几乎del Pezzo流形——即具有 nef 且 big 反 canonical bundle 的光滑射影流形——进行了分类。关键贡献在于在所有维度上实现了完整分类，表明此类流形均来自点的blow-up、秩2向量丛的射影化，或P^1上的二次包络，且给出了明确的几何实现与次数约束。

ABSTRACT

We classify almost del Pezzo manifolds in arbitrary dimension n, i.e., projective manifolds X with big and nef anticanonical bundle -K_X, such that -K_X is divisible by n-1.

研究动机与目标

• 对具有 nef 且 big 反 canonical bundle 的光滑射影流形（称为‘几乎del Pezzo’流形）进行分类，将经典的del Pezzo流形分类推广至任意维度。
• 通过其到具有典范奇点的奇异Gorenstein Fano三倍体X′（满足ρ(X′)=1且−K_X′=(n−1)H′）的反 canonical态射，理解这些流形的结构。
• 确定此类流形在何时为光滑点的blow-up或在曲面上的秩2向量丛的射影化。
• 利用纤维化与blow-up方法，在≥4维情况下对几乎del Pezzo流形进行分类，建立在低维结果之上。
• 通过分析奇点与crespant分解的因子分解，解决某些奇异反 canonical模型的存在性问题。

提出的方法

• 应用Mori理论对Picard数为2的三倍体的极小收缩进行分类，识别其为二次包络、P^1-丛或光滑点的blow-up。
• 利用反 canonical态射ψ:X→X′，将几乎del Pezzo流形映射到奇异Gorenstein Fano三倍体X′，其中ρ(X′)=1且−K_X′=(n−1)H′。
• 通过Fujita对Gorenstein Fano n-流形的分类，特别是n≥4的情形，分析X′的双有理几何。
• 利用Riemann–Roch定理与消去定理计算h⁰(X,H)=d+n−1，其中d=Hⁿ为流形的次数。
• 通过flop与crespant分解将分类约化为已知情形，尤其排除非终端或非Q-因子化模型。
• 通过在P²、F₂或P¹×P¹上对秩2丛进行射影化，以及通过Grassmannian或Veronese锥的超平面截面，构造显式例子。

实验结果

研究问题

• RQ1 哪些具有 nef 且 big 反 canonical bundle 的光滑射影流形可在任意维度下被分类为几乎del Pezzo流形？
• RQ2 对于Picard数为2且非Fano反 canonical bundle 的三倍体，可能的Mori收缩有哪些？
• RQ3 几乎del Pezzo流形的反 canonical态射ψ:X→X′在何时通过小收缩或除子收缩分解，其对X′奇点的影响是什么？
• RQ4 在何种条件下，几乎del Pezzo流形中光滑点的blow-up仍为几乎del Pezzo？
• RQ5 几乎del Pezzo流形的奇异反 canonical模型X′能否作为光滑del Pezzo流形的超平面截面实现？在何种情况下其为非Q-因子化或非终端？

主要发现

• 对于满足ρ(X)=2的三倍体，唯一的极小收缩要么是二次包络，要么是P¹-丛，要么是光滑点的blow-up；反 canonical态射为小态射当且仅当X′为奇异且非Q-因子化。
• 在维度3且ρ(X)≥3时，经有限次flop后，X要么是ρ=2情形中已分类的三倍体中某点的blow-up，要么是P²、F₂或P¹×P¹上秩2丛的射影化。
• 对于n≥4，任意几乎del Pezzo流形的Mori收缩要么是光滑曲面上的P^{n−2}-丛，要么是P¹上的二次包络，要么是另一几乎del Pezzo流形中光滑点的blow-up。
• 对于维度5且H⁵=5的几乎del Pezzo流形，其反 canonical模型X′是Grassmannian G(1,4)的奇异超平面截面，即为次数为5的del Pezzo五倍体。
• 对于维度4且H⁵=4的情形，X′是前述情形中五倍体的超平面截面，且此类流形存在。
• 若假设X存在，则当X′为具有典范非终端奇点的奇异Fano三倍体的锥时，将导致矛盾，从而排除此类模型作为反 canonical像。