[论文解读] Affine cones over Fano threefolds and additive group actions

Takashi Kishimoto, Yuri Prokhorov+1 more|arXiv (Cornell University)|Jun 7, 2011

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

一句话总结

本文建立了一個幾何準則，將光滑法諾三繩上仿射錐存在有效加法群作用與三繩本身存在柱形（一個與仿射直線雙有理等價的開子集）的條件聯繫起來。對於指數為1、Picard數為1、虧格為9或10的法諾三繩，作者證明：若其直線的法諾綱維（Fano scheme of lines）是奇異的，則其仿射錐會存在非平凡的 ${\mathbb{G}}_a$-作用，從而提供了此前已知情形之外的新家族法諾三繩。

ABSTRACT

We address the following question: When an affine cone over a smooth Fano threefold admits an effective action of the additive group? In this paper we deal with Fano threefolds of index 1 and Picard number 1. Our approach is based on a geometric criterion from our previous paper, which relates the existence of an additive group action on the cone over a smooth projective variety X with the existence of an open polar cylinder in X. Non-trivial families of Fano threefolds carrying a cylinder were found in loc. cit. Here we provide new such examples.

研究动机与目标

• 確定光滑法諾三繩的仿射錐何時會存在有效的加法群 ${\mathbb{G}}_a$-作用。
• 將已知的法諾三繩家族中，其仿射錐具有 ${\mathbb{G}}_a$-作用的情形，擴展至此前未識別出的情況。
• 建立一個幾何準則，將法諾三繩中柱形的存在性與其仿射錐上 ${\mathbb{G}}_a$-作用的存在性聯繫起來。
• 研究直線的法諾綱維（$\tau(X)$）在決定此類作用存在性中的角色。

提出的方法

• 作者應用 [KPZ] 中的幾何準則，將仿射錐上 ${\mathbb{G}}_a$-作用的存在性與法諾三繩中極化 ${\mathbb{A}}^1$-柱形的存在性聯繫起來。
• 他們分析三繩 $X$ 上直線的法諾綱維 $\tau(X)$，專注於其是否光滑。
• 對於虧格為9與10、Picard數為1、指數為1的法諾三繩，他們證明：若 $\tau(X)$ 是奇異的，則 $X$ 包含一個柱形。
• 柱形的構造依賴於涉及二次曲面的爆破與奇點解析的幾何技術。
• 他們使用附著公式與微分理論來排除在奇異二次曲面上存在某些曲線的可能性。
• 證明過程涉及在奇異二次曲面的最小解析上的交點理論分析，當假設存在一個虧格3、度數7的曲線時導出矛盾。

实验结果

研究问题

• RQ1 在何種條件下，光滑法諾三繩的仿射錐會存在有效的 ${\mathbb{G}}_a$-作用？
• RQ2 法諾三繩上直線的法諾綱維 $\tau(X)$ 的奇異點集與 $X$ 中柱形的存在性有何關係？
• RQ3 能否在先前已知例子之外，構造出新的法諾三繩家族，使其仿射錐具有 ${\mathbb{G}}_a$-作用？
• RQ4 在具有 $A_3$-奇點、圓錐奇點或 $E_6$-奇點的二次曲面上，存在虧格3、度數7的曲線的障礙是什麼？

主要发现

• 對於虧格為9或10、且滿足 $\operatorname{Pic}(X) \simeq \mathbb{Z} \cdot (-K_X)$ 的法諾三繩 $X$，若其法諾綱維 $\tau(X)$ 不是光滑的，則其仿射錐會存在有效的 ${\mathbb{G}}_a$-作用。
• 此類法諾三繩的集合在所有此類三繩的模空間中形成codimension一的子簇。
• 在Picard數為1的假設下，$X$ 中柱形的存在性等價於其仿射錐上 ${\mathbb{G}}_a$-作用的存在性。
• 對於具有 $A_3$-奇點的二次曲面，存在光滑的虧格3、度數7的曲線，並可導出對應法諾三繩中的柱形。
• 在具有孤立圓錐奇點或 $E_6$-奇點的二次曲面上，此類曲線不存在，這阻礙了在這些情況下構造柱形。
• 微分計算中的矛盾表明，虧格3、度數7的曲線無法與通過 $E_6$-奇點的直線共存，且與附著公式一致。