[论文解读] Locally nilpotent derivations on affine surfaces with a $\C^*$-action

Hubert Flenner, Mikhail Zaidenberg|arXiv (Cornell University)|Mar 12, 2004

Advanced Differential Equations and Dynamical Systems参考文献 32被引用 45

一句话总结

该论文利用局部幂零导子和Dolgachev-Pinkham-Demazure（DPD）构造，对具有ℂ*-作用和ℂ+-作用的正常仿射曲面进行分类。提供了坐标环和定义方程的显式代数描述，恢复了已知结果，并表明此类曲面要么是商奇点，要么是纤维化于仿射曲线且纤维为仿射直线的曲面。

ABSTRACT

We give a classification of normal affine surfaces admitting an algebraic group action with an open orbit. In particular an explicit algebraic description of the affine coordinate rings and the defining equations of such varieties is given. By our methods we recover many known results, e.g. the classification of normal affine surfaces with a `big' open orbit of Gizatullin and Popov or some of the classification results of Danilov-Gizatullin, Bertin and others.

研究动机与目标

• 对所有定义在ℂ上的正常仿射曲面进行分类，这些曲面允许代数群作用且具有开轨道。
• 提供此类曲面的坐标环和定义方程的显式代数描述。
• 利用局部幂零导子，恢复并推广已知分类结果，包括Gizatullin、Popov和Bertin的结果。
• 刻画具有平凡Makar-Limanov不变量的曲面，并对ℂ*-曲面上的ℂ+-作用族进行分类。
• 建立此类曲面具有唯一仿射纤维化结构以及特定Picard群或典范类性质的条件。

提出的方法

• 利用ℂ+-作用与局部幂零导子（LNDs）之间的对应关系，以及ℂ*-作用与坐标环上的ℤ-分次结构之间的对应关系。
• 应用Dolgachev-Pinkham-Demazure（DPD）构造，将坐标环A表示为A₀[D]的形式，其中D是光滑仿射曲线Spec A₀上的ℚ-除子。
• 将曲面分为三类：椭圆型（A₀ ≅ ℂ）、抛物型（A₀ ≠ ℂ，纤维化于仿射曲线）和双曲型（非正则分次）。
• 分析分次环上次数为e的齐次LND，利用环的结构以及ℤ/dℤ在正规化上的作用，描述商奇点。
• 通过正规化和商构造方法，证明某些曲面是有限群作用下（如toric或DPD型曲面）的商曲面。
• 利用[FlZa1]中关于Picard群和典范除子的结果，确定不变量如Pic(W_d) ≅ ℤ和K_W = 0。

实验结果

研究问题

• RQ1 哪些定义在ℂ上的正常仿射曲面允许代数群作用且具有开轨道？
• RQ2 如何利用分次代数和ℚ-除子显式描述此类曲面的坐标环？
• RQ3 在ℂ*-曲面具有ℂ+-作用时，何种条件可保证其具有唯一仿射纤维化结构或平凡Makar-Limanov不变量？
• RQ4 有限群（如ℤ/dℤ）的商构造与具有奇点的曲面分类有何关系？
• RQ5 ℂ+-作用下ℂ*-曲面上的不变量环结构如何？其与DPD表示有何关联？

主要发现

• 所有具有ℂ*-作用和ℂ+-作用的正常仿射曲面，根据坐标环的分次结构，被分类为三类：椭圆型、抛物型和双曲型。
• 在椭圆型情形下，曲面同构于ℂ[X,Y]^ℤ_d，其中ℤ_d作用为ζ·X = ζX，ζ·Y = ζ^eY，且gcd(e,d)=1，对应的LND为∂ = X^e ∂/∂Y。
• 在抛物型情形下，坐标环为A = A₀[D]，其中A₀是光滑仿射曲线的坐标环，D是ℚ-除子，从而诱导出A₀上的纤维化结构。
• 对于Bertin的曲面W_{d,n}（d,n ≥ 2），坐标环同构于A₀[D₊,D₋]，其中D₊ = (1/n)[0]，D₋ = -(1/n)[0] - (1/(n(d-1)))[-1]，且Makar-Limanov不变量为ℂ[x]。
• 曲面W_d和W_{d,n}具有平凡典范类（K = 0），且Picard群满足Pic(W_d) ≅ ℤ，Pic(W_{d,n}) ≅ ℤ/nℤ。
• 曲面W_d和W_{d,n}是非可消去的：对所有d,d'有W_d × 𝔸¹ ≅ W_{d'} × 𝔸¹，但当d ≠ d'时，W_d ≇ W_{d'}。