[论文解读] Completions of $\C^*$-surfaces

Hubert Flenner, Shulim Kaliman+1 more|ArXiv.org|Nov 10, 2005

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

一句话总结

本文通过光滑仿射曲线上的ℚ-除子对 (D₊, D₋) 的DPD表示，为双曲ℂ*-曲面提供了规范的等变完备化。通过初等变换构造自然完备化，证明了在某些情况下完备化的唯一性，并完全刻画了Zigzag边界——实现了对光滑或正规ℂ*-曲面边界上出现的所有Zigzag的完整分类。

ABSTRACT

Following an approach of Dolgachev, Pinkham and Demazure, we classified in math.AG/0210153 normal affine surfaces with hyperbolic $\C^{*}$-actions in terms of pairs of $\Q$-divisors $(D_+,D_-)$ on a smooth affine curve. In the present paper we show how to obtain from this description a natural equivariant completion of these $\C^*$-surfaces. Using elementary transformations we deduce also natural completions for which the boundary divisor is a standard graph in the sense of math.AG/0511063 and show in certain cases their uniqueness. This description is especially precise in the case of normal affine surfaces completable by a zigzag i.e., by a linear chain of smooth rational curves. As an application we classify all zigzags that appear as boundaries of smooth or normal $\C^*$-surfaces.

研究动机与目标

• 通过DPD表示构造双曲ℂ*-曲面的显式、自然的等变完备化。
• 证明在特定条件下，具有标准边界图的完备化存在且唯一。
• 对作为光滑或正规ℂ*-曲面边界的全部Zigzag（有理曲线的线性链）进行分类。
• 为Danilov-Gizatullin曲面在每个k下恰好存在k个非共轭ℂ*-作用提供新的证明。
• 将等变完备化理论推广至一般代数群作用于正规仿射曲面的情形。

提出的方法

• 利用光滑仿射曲线C = Spec A₀上的ℚ-除子对 (D₊, D₋) 对ℂ*-曲面进行DPD表示，其中D₊ + D₋ ≤ 0。
• 通过展开曲面并进行爆破和初等变换以消除奇点并紧化，构造规范的等变完备化。
• 应用标准图理论（如[FKZ]中所述）以确保边界除子具有标准对偶图结构。
• 运用初等变换修改完备化，使边界除子的图结构达到标准形式。
• 利用Kambayashi-Mumford-Sumihiro定理和Zariski的奇点解消定理，确保等变SNC完备化的存在性。
• 应用等变爆破与收缩引理，以在奇点解消和正规化过程中保持群作用不变。

实验结果

研究问题

• RQ1 如何利用其DPD表示，为双曲ℂ*-曲面构造规范的等变完备化？
• RQ2 在何种条件下，具有标准边界图的等变完备化是唯一的？
• RQ3 哪些有理曲线的线性链（Zigzag）可作为光滑或正规ℂ*-曲面的边界出现？
• RQ4 给定的Danilov-Gizatullin曲面上存在多少个非共轭的ℂ*-作用？
• RQ5 当G不是环面时，能否系统地构造出所有正规仿射G-曲面的等变标准完备化？

主要发现

• 从ℚ-除子对 (D₊, D₋) 显式构造出双曲ℂ*-曲面的规范等变完备化，其边界除子的对偶图结构在推论LABEL:boundarydivisor中给出描述。
• 对于可通过Zigzag完成的曲面，本文对可能作为边界除子出现的所有Zigzag提供了完整分类。
• 在某些情况下，具有标准对偶图的完备化是唯一的，如定理LABEL:unimain所确立。
• 本文确认：对每个k ≥ 1，Danilov-Gizatullin曲面V_{k+1}上恰好存在k个两两不共轭的ℂ*-作用，该结果通过DPD表示提供了新证明。
• 除三种例外情况外，所有正规仿射G-曲面均存在等变标准完备化：ℙ²∖Q、ℙ¹×ℙ¹∖Δ 和 Veronese曲面V_{d,1}，如定理LABEL:equivariant.5所示。
• 任何具有连通代数群作用的正规仿射曲面均存在等变SNC完备化，且任意两个此类完备化均被第三个等变支配。