[论文解读] Algebraic surfaces with quotient singularities - including some discussion on automorphisms and fundamental groups

JongHae Keum, D.-Q. Zhang|arXiv (Cornell University)|Oct 1, 2002

Algebraic Geometry and Number Theory参考文献 51被引用 5

一句话总结

本文研究具有商奇点的代数曲面，重点关注其拓扑性质、基本群与自同构群。研究结果表明，对数终端 Fano 曲面的光滑部分的基本群是有限的，并对 Picard 数为 1 的 Gorenstein del Pezzo 曲面的自同构群进行了分类，表明此类群要么是有限的，要么包含所有满足 $ p \geq 5 $ 的素数 $ p $ 的 $ \mathbb{Z}/p\mathbb{Z} $ 子群。

ABSTRACT

We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or singular) X when dim X = 2. The full automorphism groups of a few interesting types of K3 surfaces are described, mainly by Keum-Kondo. We conjecture that when X is Q-Fano then X^0 has a finite fundamental group, which had been proved if either dim X < 3 or the Fano index is bigger than dim X - 2. We also conjecture that when X is a log Enriques (e.g. a normal K3 or a normal Enriques) surface then either pi_1(X^0) is finite or X has an abelian surface as its quasi-etale cover, which has been proved by Catanese-Keum-Oguiso under some extra conditions.

研究动机与目标

• 对具有商奇点的 Picard 数为 1 的 Gorenstein del Pezzo 曲面的自同构群进行分类。
• 研究对数终端曲面光滑部分的基本群，特别是在 Fano 曲面与 Enriques 曲面的背景下。
• 将光滑有理曲面自同构结果推广至奇异情形，特别是具有商奇点的曲面。
• 通过对数不变量探讨一般型非完备代数曲面的拓扑与几何约束。
• 为理解奇点、典范除子与曲面上自同构作用之间的相互作用提供一个框架。

提出的方法

• 使用具有商奇点的曲面的极小解析解剖方法，通过公式 $ f^*K_Y = K_{\tilde{Y}} + D^* $ 分析例外除子及其对典范除子的贡献，其中 $ D^* $ 是满足 $ 0 \leq d_i < 1 $ 的 $ \mathbb{Q} $-除子。
• 应用对数 Kodaira 维数 $ \kappa(Y^0) $，通过具有简单交叉除子的光滑完备化对曲面进行双有理类型分类。
• 运用对数终端与 Du Val 奇点的理论，证明二维空间中的商奇点等价于对数终端奇点。
• 应用 Lefschetz 超平面截面定理与 Van Kampen 定理，证明对数终端 Fano 曲面光滑部分的基本群是有限的。
• 利用 K3 曲面与 Leech 格的几何结构分析自同构群，特别是在 Picard 格正交于根子格的情形下。
• 应用正特征下超奇异 K3 曲面的 Torelli 型定理，通过 Picard 格作用计算自同构群。

实验结果

研究问题

• RQ1 具有商奇点的 Picard 数为 1 的 Gorenstein del Pezzo 曲面的自同构群结构如何？
• RQ2 对数终端 Fano 曲面的光滑部分是否具有有限基本群？
• RQ3 在何种条件下，Picard 数为 1 的 Gorenstein del Pezzo 曲面会允许对所有满足 $ p \geq 5 $ 的素数 $ p $ 的 $ \mathbb{Z}/(p) $-作用？
• RQ4 对数不变量如 $ c_1^2 $、$ c_2 $ 与 $ p_g $ 如何约束一般型非完备曲面的存在性？
• RQ5 K3 曲面的 Picard 格与自同构群结构之间有何关系？

主要发现

• 对数终端 Fano 曲面的光滑部分具有有限基本群，该结论通过三种独立证明得到确认：Lefschetz 理论、有理连通性与几何方法。
• 对于 Picard 数为 1 的 Gorenstein del Pezzo 曲面 $ Y $，有 $ \text{Aut}(Y) $ 要么是有限的（其阶整除 $ 2^a 3^b $，且满足 $ a+b \leq 7 $），要么包含所有满足 $ p \geq 5 $ 的素数 $ p $ 的 $ \mathbb{Z}/(p) $ 子群，这意味着 $ |\text{Aut}(Y)| = \infty $。
• 此类曲面的自同构群为有限群当且仅当 $ \text{Sing}(Y) = A_7 $，或 $ K_Y^2 = 1 $ 且 $ |-K_Y| $ 至少有三个奇异成员。
• 对于素数 $ p \geq 5 $，曲面 $ Y $ 上至多存在 $ p+1 $ 个非等价的 $ \mathbb{Z}/(p) $-作用，且这些作用在 [Z9] 中已完全分类。
• 在光滑有理曲面（次数 $ \leq 5 $）的情形下，有 $ |\text{Aut}(X)| $ 整除 $ 5! $，但该界对奇异 del Pezzo 曲面不成立，后者可能具有无限自同构群。
• 在 $ \Lambda \oplus U $ 中，Picard 格的正交补是秩为 10 的本原子格，其包含一个类型为 $ A_5 + A_1^5 $ 的负定根格，该子格的指数为 2，该结构有助于自同构的分类。