[論文レビュー] On the uniqueness of ${\bf C}^*$-actions on affine surfaces

Hubert Flenner, Zaidenberg, Mikhail|HAL (Le Centre pour la Communication Scientifique Directe)|Jun 11, 2004

Geometric and Algebraic Topology参考文献 16被引用数 9

ひとこと要約

本稿は、特定の正則なアフィン曲面上におけるℂ*-作用の、自己同型群内での自己同型による同値性に関して一意性を確立する。非自明なMakar-Limanov不変量をもつ曲面、トーリック曲面、ℙ²およびℙ¹×ℙ¹における特定の補集合に関して、任意の2つの有効なℂ*-作用がAut(V)内で同型であることを示し、DPD表現と不変量論を用いて、長年の予想をいくつかの重要なケースで解決する。

ABSTRACT

We prove that a normal affine surface $V$ over $\bf C$ admits an effective action of a maximal torus ${\bf T}={\bf C}^{*n}$ ($n\le 2$) such that any other effective ${\bf C}^*$-action is conjugate to a subtorus of $\bf T$ in Aut $(V)$, in the following particular cases: (a) the Makar-Limanov invariant ML$(V)$ is nontrivial, (b) $V$ is a toric surface, (c) $V={\bf P}^1 imes {\bf P}^1\backslash Δ$, where $Δ$ is the diagonal, and (d) $V={\bf P}^2\backslash Q$, where $Q$ is a nonsingular quadric. In case (a) this generalizes a result of Bertin for smooth surfaces, whereas (b) was previously known for the case of the affine plane (Gutwirth) and (d) is a result of Danilov-Gizatullin and Doebeli.

研究の動機と目的

• 複素数体上の正則なアフィン曲面が、すべて最大のℂ*-作用をもち、かつそれ以外のすべてのℂ*-作用がAut(V)内での部分トーラスに同型であるかどうかという未解決問題を解消すること。
• 完了理論に依存しない新しい証明を用いて、滑らかな曲面におけるBertinの結果を正則なアフィン曲面へと拡張すること。
• 非自明なMakar-Limanov不変量、トーリック曲面、ℙ¹×ℙ¹∖Δ、ℙ²∖Qをもつ特定の曲面上におけるℂ*-作用の一意性を確立すること。
• これらの曲面クラスにおいて、Aut(V)の最大の連結再帰的部分群がAut(V)内で同型であることを、やや弱い条件下で証明すること。
• 正則なアフィン曲面にℂ*-作用が存在する場合、そのDPD（Dolgachev-Pinkham-Demazure）表現が自然な同値関係を除いて一意的であることを示すこと。

提案手法

• 特にML(V) ≠ ℂの場合を区別するために、ℂ*-作用を分類する主要な不変量としてMakar-Limanov不変量ML(V)を用いる。
• 座標環の構造を分析するために、階数付き代数的技法および局所冪零微分作用素（LND）の理論を適用する。
• ℂ*-作用をもつアフィン曲面のDPD表現を用いて、除数データ（D₊, D₋）による作用のパラメトライゼーションと比較を行う。
• 自己同型群による基底曲線（特にℙ¹または𝔸¹）の自己同型の下での除数データの比較に帰着することで、同型性問題を簡略化する。
• SL₂作用をもつ曲面の分類（Gizatullin-Popov）を用いて、Aut(V)にSL₂を含む場合の解析を行う。
• トーリック幾何学および自己同型群の構造に関する結果を応用し、トーリック曲面上のℂ*-作用が部分トーラス作用に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非自明なMakar-Limanov不変量（ML(V) ≠ ℂ）をもつ正則なアフィン曲面上のすべての有効なℂ*-作用は、Aut(V)内で同型であるか？
• RQ2 トーリック曲面上のすべてのℂ*-作用は、Aut(V)内で部分トーラス作用に同型であるか？
• RQ3 ℙ¹×ℙ¹∖Δ や ℙ²∖Q 上の任意の2つのℂ*-作用は、それらの自己同型群内で同型であるか？
• RQ4 ML(V) ≠ ℂ の場合、正則なアフィン曲面にℂ*-作用が存在するとき、そのDPD表現は自然な同値関係を除いて一意的か？
• RQ5 正則なアフィン曲面に対して、Aut(V)のすべての最大の連結再帰的部分群は、Aut(V)内で同型であるか？

主な発見

• 非自明なMakar-Limanov不変量（ML(V) ≠ ℂ）をもつ正則なアフィン曲面に対して、任意の2つの有効なℂ*-作用はAut(V)内で同型であり、Bertinの結果を特異な場合へ一般化する。
• トーリック曲面上では、すべての有効なℂ*-作用がAut(V)内で部分トーラス作用に同型であり、Gutwirthの結果をアフィン平面から拡張する。
• ℙ¹×ℙ¹∖Δ および ℙ²∖Q 上では、すべてのℂ*-作用がAut(V)内で同型であり、非トーリックな場合の同型の一意性を確認する。
• ML(V) ≠ ℂ の場合、そのような曲面のDPD表現は自然な同値関係を除いて一意的であり、ℙ¹×ℙ¹∖Δ のような非トーリック曲面に対しても成立する。
• 非トーリック曲面でML不変量が自明でなく、かつℙ¹×ℙ¹∖Δ や ℙ²∖Q に同型でないもの以外のすべての正則なアフィン曲面に対して、Aut(V)の最大の連結再帰的部分群はAut(V)内で同型である。
• 本稿では、Russellによる反例を提示し、一般の予想が高次元（複雑度k ≥ 2）では成り立たないことを示している：自明なML不変量をもち、かつAut(V)内に同型でないℂ*-部分群がk ≥ 2個存在する滑らかな非トーリック曲面が存在する。