[論文レビュー] Canonical abelianization of finite group actions

Victor V. Batyrev|ArXiv.org|Sep 5, 2000

Homotopy and Cohomology in Algebraic Topology被引用数 8

ひとこと要約

本稿では、滑らかな複素代数的多様体上の有限群作用を、$G$-不変な blown-up を用いて、すべての安定化部分群がアーベルになるように正規化する標準的アルゴリズムを提示する。この方法は、最大の非アーベル安定化部分群の存在する部分多様体とその関連表現論的データに基づき、繰り返し滑らかで $G$-不変な中心による blown-up を行い、最終的にアーベル安定化部分群を持つ $G$-正規対を得る。

ABSTRACT

In these notes we present a corrected version of the algorithm for abelianization of stabilizers of finite group actions on smooth manifolds using equivariant blow ups.

研究の動機と目的

• 元々 [1] §5 で提案された有限群作用のアーベル化アルゴリズムを、是正・形式化すること。
• 任意の $G$-正規対を、アーベル安定化部分群を持つものに変換する、標準的かつ $G$-同相的な解消プロセスを構成すること。
• 得られる双正則写像が $G$-不変性と正規交叉除法構造を保つようにすること。
• 安定化部分群の表現論的データに基づいた体系的手続きを用いて、非アーベル安定化部分群を解消すること。

提案手法

• $D$ が $G$-不変な ${\mathbb{Q}}$-除法で、正規交叉をもつ $G$-正規対 $(V,D)$ を定義する。
• 最大の非アーベル安定化部分群を持つ点の集合 $Z_{\rm max}(V,G)$ を特定し、これは余次元 2 以上の $G$-不変な滑らかな部分多様体をなす。
• 各成分 $Z_i$ に対して、安定化表現 $\rho_i$ を一様型と高次元の既約表現に分解し、一様型の核を $\overline{H_i}$ と定義する。
• $\overline{H_i} = H_i$ ならば、$C(V,G)$（このような $Z_i$ の和集合）を吹き上げて、最大の非アーベル安定化部分群のサイズを小さくする。
• $\overline{H_i} \neq H_i$ ならば、$W_i = V^{\overline{H_i}}$ を定義し、$Z_i$ を含む。$W(V,G)$ が滑らかならばそれを吹き上げ、そうでなければ最大特異点集合 $B(V,G)$ を吹き上げる。
• 各ステップで $s(V,G)$ と $m(V,G)$ に関する帰納法を用い、厳密に減少するように繰り返し処理を行い、すべての安定化部分群がアーベルになるまで続ける。

実験結果

リサーチクエスチョン

• RQ1 滑らかな複素代数的多様体上の有限群作用を、$G$-同相性と除法の正規交叉構造を保ちながら、どのようにして標準的にアーベル化できるか。
• RQ2 非アーベル安定化部分群を除去するための、適切な幾何学的および表現論的基準は何か。
• RQ3 アーベル化プロセスが有限ステップで終了し、一意的かつ標準的な結果を得られるようにするにはどうすればよいか。
• RQ4 次元 ≥2 の既約表現と一様型の核は、吹き上げ中心の構成において果たす役割は何か。
• RQ5 各 $\overline{H_i}$-固定部分多様体の特異点集合が滑らかでない場合でも、このアルゴリズムを体系的に適用可能か。

主な発見

• アルゴリズムは、$G$-同相な blown-up の列 $V = V_0 \to V_1 \to \cdots \to V_k = V^{ab}$ を生成し、$V^{ab}$ はすべての安定化部分群がアーベルである。
• 各 blown-up は、$(V_i, D_i)$ の $G$-正規性を保ち、除法構造が良好に保たれる。
• プロセスは、最大の非アーベル安定化部分群のサイズ $s(V,G)$ または $Z_{\rm max}(V,G)$ の成分数を減少させ、終了を保証する。
• もし $C(V,G) = \emptyset$ ならば、中心 $W_i = V^{\overline{H_i}}$ は余次元 2 以上の滑らかな多様体であり、さらなる blown-up が可能である。
• $W(V,G)$ が特異ならば、アルゴリズムは最大多重度集合 $B(V,G)$ を用いて次の blown-up 中心を定義し、多重度不変量 $m(V,G)$ の減少を保証する。
• 最終的な $V^{ab}$ は、$G$-正規対 $(V^{ab}, D^{ab})$ をもつ滑らかな $G$-多様体であり、すべての安定化部分群がアーベルである。これにより、標準的アーベル化が達成される。