[论文解读] Singular rationally connected surfaces with non-zero pluri-forms

Wenhao Ou|arXiv (Cornell University)|Jan 5, 2013

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

一句话总结

该论文通过精确的逐次 blows-up 和 blows-down 操作（中心位于 P^1 上的多重纤维），对具有非零可反射多重微分形式的奇异有理通约曲面进行分类。关键结果表明，m-重微分形式的空间同构于 O_{P^1}(-2m + ⌊m/2⌋r)，从而证明非零多重微分形式的存在性仅由 Mori 纤维空间结构中 P^1 上的多重纤维数 r ≥ 4 所决定。

ABSTRACT

This paper is concerned with projective rationally connected surfaces $X$ with canonical singularities and having non-zero pluri-forms, i.e. $(Ω_X^1)^{[\otimes m]}$ has non-zero global sections for some m > 0, where $(Ω_X^1)^{[\otimes m]}$ is the reflexive hull of $(Ω_X^1)^{\otimes m}$. We show that any such surface can be obtained from a rational ruled surface by a very explicit sequence of blow-ups and blow-downs. Moreover, we interpret the existence of non-zero pluri-forms in terms of semistable reduction.

研究动机与目标

• 对具有典范奇点且存在非零可反射多重微分形式的射影有理通约曲面进行分类。
• 解决 GKP12 中提出的关于非因子情形下此类形式存在性的问题。
• 证明所有此类曲面均可通过在有理规则曲面进行特定 blows-up 和 blows-down 构造而得到。
• 通过半稳定约化和伽罗瓦覆盖，从几何上解释非零多重微分形式的存在性。

提出的方法

• 通过一系列双有理变换构造曲面：在 P^1 上四个或更多不同点的上方进行 blows-up，随后对 (-2)-曲线进行 blows-down。
• 使用极小模型程序（MMP）得到一个 Mori 纤维空间 X_f → P^1，其在 r ≥ 4 个点上具有非约化纤维。
• 通过伽罗瓦覆盖 γ: E → P^1 应用半稳定约化，以解析多重纤维，并将 X 上的多重微分形式与 E 上的截面联系起来。
• 使用投影公式和 G-不变层理论，计算 H^0(X, (Ω_X^1)^{[⊗m]}) 为 H^0(P^1, O(-2m + ⌊m/2⌋r))。
• 证明 X 上的可反射多重微分形式同构于覆盖 E 上 (Ω_E^1)^{⊗m} 的 G-不变截面。
• 建立 m-重微分形式空间的维数仅通过公式 dim H^0(P^1, O(-2m + ⌊m/2⌋r)) 依赖于 r，即多重纤维的数量。

实验结果

研究问题

• RQ1 每个具有典范奇点且存在非零可反射多重微分形式的有理通约曲面是否都能通过统一的双有理过程从有理规则曲面构造得到？
• RQ2 此类曲面中非零多重微分形式的精确几何起源是什么？
• RQ3 Mori 纤维空间结构中多重纤维的数量与多重微分形式空间维数之间有何关系？
• RQ4 半稳定约化能否用于刻画奇异有理通约曲面上非零多重微分形式的存在性？
• RQ5 m-重微分形式空间是否仅由多重纤维的数量决定，而与其他几何数据无关？

主要发现

• 每个具有典范奇点且存在非零可反射多重微分形式的射影有理通约曲面，均可通过构造 1.2 中的显式过程从光滑有理规则曲面得到。
• 在 P^1 上的 Mori 纤维空间结构中，多重纤维数 r 必须满足 r ≥ 4。
• m-重微分形式的空间同构于 H^0(P^1, O(-2m + ⌊m/2⌋r))，因此其维数仅依赖于 m 和 r。
• 当 r = 4 时，存在非零的 2-重微分形式（维数为 1），但不存在奇数 m 的重微分形式。
• 当 r = 5 时，h(2,5) = 2 且 h(3,5) = 0，但对所有 m ≥ 4 有 h(m,5) > 0。
• 当 r ≥ 6 时，对所有 m ≥ 2 有 h(m,r) > 0，表明存在丰富的多重微分形式。