[论文解读] On the extendability of projective surfaces and a genus bound for Enriques-Fano threefolds

Andreas Leopold Knutsen, Angelo Felice Lopez+1 more|arXiv (Cornell University)|May 30, 2006

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

该论文提出了一种基于高斯映射的新方法，用于研究在具有指定法丛的三叉三倍中，射影曲面作为非常 ample 除子的可延拓性。该方法建立了 Enriques-Fano 三叉三倍的亏格上界为 $ g \leq 17 $，证明了某些 Enriques 曲面不可延拓，并构造了一个新的 genus 9 的 Enriques-Fano 三叉三倍，其具有 canonical 但非 terminal 的奇点，且不具有 $ \mathbb{Q} $-光滑化。

ABSTRACT

We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section a smooth Enriques surface (by definition an Enriques-Fano threefold) has genus g < 18 (where g is the genus of its smooth curve sections). The latter bound was also proved recently by Prokhorov, who also found an example of genus 17. Moreover we find a new Enriques-Fano threefold of genus 9 whose normalization has canonical but not terminal singularities and does not admit Q-smoothings.

研究动机与目标

• 开发一种基于高斯映射的新方法，以确定给定射影曲面是否可作为具有指定法丛的三叉三倍中的非常 ample 除子实现。
• 将该方法应用于一般型曲面和 Enriques 曲面，特别关注 Enriques-Fano 三叉三倍的背景。
• 为 Enriques-Fano 三叉三倍建立一个精确的亏格上界，并分类超平面线丛的可能超平面截面分解。
• 构造新的 Enriques-Fano 三叉三倍示例，并分析其奇点和形变性质。
• 证明某些具有 canonical 但非 terminal 奇点的三叉三倍不存在 $ \mathbb{Q} $-光滑化。

提出的方法

• 在曲面 $ Y \subset \mathbb{P}^r $ 满足上同调和几何条件的前提下，给出 $ h^0(N_{Y/\mathbb{P}^r}(-1)) $ 的一般公式，其表达式基于高斯映射 $ \Phi_{H_D, \omega_D} $ 的余秩。
• 利用曲面截线 $ D \in |D_0| $ 上高斯映射和乘法映射的满射性，控制法丛的上同调。
• 将该方法应用于一般型曲面，证明其 pluricanonical 嵌入通常无法延拓至三叉三倍。
• 分析 Enriques 曲面上的超平面线丛分解 $ H \equiv D_0 + (H - D_0) $，以分类可能的三叉三倍延拓。
• 利用形变理论和 $ \mathbb{Q} $-光滑化存在的事实，证明某些三叉三倍在 $ \mathbb{Q} $-范畴中无法光滑化。
• 通过形变和特殊化论证构造一个新的 genus 9 的 Enriques-Fano 三叉三倍，证明其具有 canonical 但非 terminal 的奇点。

实验结果

研究问题

• RQ1 曲面 $ Y \subset \mathbb{P}^r $ 需满足何种条件，才能确保其无法作为具有指定法丛的非常 ample 除子延拓至三叉三倍？
• RQ2 在何种情况下，Enriques 曲面可作为三叉三倍的超平面截面（即 Enriques-Fano 三叉三倍）存在，其最大亏格 $ g $ 是多少？
• RQ3 具有 canonical 但非 terminal 奇点的三叉三倍是否可进行 $ \mathbb{Q} $-光滑化？这对它在 Enriques-Fano 三叉三倍模空间中的位置有何含义？
• RQ4 Enriques 曲面上超平面线丛的分解如何限制三叉三倍延拓的存在性？
• RQ5 在存在有理曲线的情况下，Enriques 曲面延拓至三叉三倍的几何与上同调障碍是什么？

主要发现

• 任何 Enriques-Fano 三叉三倍的亏格均被上界控制为 $ g \leq 17 $，且该上界是精确的。
• 构造了一个新的 genus 9 的 Enriques-Fano 三叉三倍，其正规化具有 canonical 但非 terminal 的奇点。
• 该新三叉三倍不具有 $ \mathbb{Q} $-光滑化，表明 Minagawa 关于 $ \mathbb{Q} $-光滑化的定理无法推广至 canonical 情况。
• 该 genus 9 的三叉三倍作为具有循环商 terminal 奇点的三叉三倍族的极限而出现，但该极限不具有 $ \mathbb{Q} $-光滑化性。
• 该方法证明了某些 Enriques 曲面（特别是具有 $ 2A $ 类型超平面线丛的曲面）在不满足特定上同调条件时，无法延拓至三叉三倍。
• 任何亏格 $ g \leq 17 $ 的 Enriques-Fano 三叉三倍的通用 Enriques 曲面截面必须包含有理曲线，这是由超平面线丛分解的几何性质所决定的。