[論文レビュー] 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

ひとこと要約

この論文は、局所的ナイルポテンシャル微分（LND）と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不変量をもつ曲面を特徴づけ、ℂ*-曲面へのℂ⁺-作用の族を分類すること。
• このような曲面が一意なアフィンルーリングをもつ条件、および特定のピカール群や標準クラスの性質を満たす条件を確立すること。

提案手法

• ℂ⁺-作用と局所的ナイルポテンシャル微分（LND）との対応関係、およびℂ*-作用と座標環へのℤ-次数割り当てとの対応関係を用いる。
• Dolgachev-Pinkham-Demazure（DPD）構成を用いて、座標環 A を A₀[D] の形に記述する。ここで D は滑らかなアフィン曲線 Spec A₀ 上のℚ-除因子である。
• 曲面を3つの場合に分類する：楕円型（A₀ ≅ ℂ）、放物型（A₀ ≠ ℂ でアフィン曲線に沿ってファイバー化）、双曲型（非正の次数割り当て）。
• 次数 e の斉次LNDを次数付き環上で分析し、環の構造と正規化へのℤ/dℤ作用の性質を用いて商特異点を記述する。
• 正規化と商構成を用いて、特定の曲面が有限群作用（例えば ℤ/dℤ）によるトーリック曲面またはDPD型曲面の商として生じることを示す。
• Picard群と標準除因子に関する[FlZa1]の結果を活用し、Pic(W_d) ≅ ℤ および K_W = 0 などの不変量を決定する。

実験結果

リサーチクエスチョン

• RQ1 ℂ 上の正則なアフィン曲面で、開軌道をもつ代数的群作用をもつものはどれか？
• RQ2 次数付き代数とℚ-除因子を用いて、このような曲面の座標環をどのように明示的に記述できるか？
• RQ3 ℂ*-曲面にℂ⁺-作用をもつ場合、一意なアフィンルーリングや自明なMakar-Limanov不変量をもつための条件は何か？
• RQ4 有限群（例：ℤ/dℤ）による商構成は、特異点をもつ曲面の分類とどのように関係するか？
• RQ5 ℂ⁺-作用の下でのℂ*-曲面の不変式環の構造は何か？また、DPD表現とどのように関係するか？

主な発見

• ℂ*-作用とℂ⁺-作用をもつすべての正則なアフィン曲面は、座標環の次数割り当てに基づき、3つのタイプに分類される：楕円型、放物型、双曲型。
• 楕円型の場合、曲面は ℂ[X,Y]^ℤ_d に同型であり、ℤ_d は ζ·X = ζX、ζ·Y = ζ^eY により作用する。ここで gcd(e,d)=1 であり、LND は ∂ = X^e ∂/∂Y である。
• 放物型の場合、座標環は A = A₀[D] であり、A₀ は滑らかなアフィン曲線の座標環、D はℚ-除因子である。これにより、A₀ 上へのファイブレーション構造が得られる。
• d,n ≥ 2 に対してBertinの曲面 W_{d,n} では、座標環は 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）であり、ピカール群は 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'} である。