Smoothness of stabilisers in generic characteristic

技術的概要：一般特性における安定化部分群の滑らかさ

問題提起
本論文は、正の標数における代数群作用に対する安定化部分群（中心化部分群および正規化部分群）の滑らかさを取り扱う。分裂半単純群がそれ自身またはそのリー代数に作用する場合、要素の中心化部分群は「非常に良い」素数に対して滑らかであることはよく知られているが、これらの結果はしばしば特定の分類や制限的な仮定に依存している。著者らは、これらの知見を、可換単位的環 $R$ 上の有限型で分離的なスキーム $X$ に作用する任意の有限表示アフィン群スキーム $G$ に対して一般化することを目的としている。具体的には、任意の代数閉体 $k$ に対して、標数 $p \ge p_0$ ならば、任意の閉部分スキーム $Y \subseteq X_k$ の中心化部分群が滑らかとなるような閾値素数 $p_0$ が存在することを証明することを目指す。また、正規化部分群についても調査しており、正規化部分群に対する境界は $Y$ に依存しうるが、中心化部分群に対する境界は作用の複雑さのみに依存することを指摘している。

方法論
著者らは、第一階モデル理論と計算機代数幾何学の革新的な組み合わせを採用している。具体的には以下の通りである：

1. ルフェシュツ原理：モデル理論におけるルフェシュツ原理の一種を利用する。これは、標数 0 の代数閉体で真である第一階文は、十分に大きな正の標数を持つ代数閉体でも真であることを主張する。
2. グレブナー基底の手法：ルフェシュツ原理を適用するため、著者らは滑らかさやイデアルへの所属性といった幾何学的性質を、環の言語（$L_{ring}$）における第一階文として表現しなければならない。これを実現するために、有界次数のグレブナー基底に対して量化を行う。
3. 複雑性の尺度：著者らは、スキーム、射、および群作用に対する「複雑性」の正確な概念を導入する。これには、イデアルを定義する多項式の次数、共射における射の次数、およびホップ代数における構造射（余積、対極、余単位）の次数を有界化することが含まれる。
   • 彼らは $d$-有界グレブナー基底 を定義し、グレブナー基底であること、スキームの次元、およびイデアルへの所属性といった性質が、自由変数の数が境界 $d$ のみに依存する第一階論理式によって符号化可能であることを示す。
   • 群作用と部分スキームとの間の相互作用を有界化するため、$G$-複雑性 および $(G, \Delta)$-複雑性 を導入する。

主要な貢献と結果
本論文は、以下の主要定理を確立する：

• 定理 1.1（滑らかな中心化部分群）：$G$ を $R$-代数群とし、$X$ を $R$ 上の有限型で分離的な $G$-スキームとする。ある素数 $p_0$ が存在し、標数 $p \ge p_0$ である任意の $R$-体 $k$ に対して、任意の閉部分スキーム $Y \subseteq X_k$ について、中心化部分群 $C_{G_k}(Y)$ は滑らかである。重要なのは、$p_0$ は特定の閉部分スキーム $Y$ には依存せず、$G$ と $X$ の複雑さのみに依存することである。
• 定理 1.2（滑らかな正規化部分群）：$G$ と $X$ を上記と同様とし、$Y$ を $X$ の特定の閉部分スキームとする。$Y$ に依存する素数 $p_1$ が存在し、$p \ge p_1$ ならば、正規化部分群 $N_{G_k}(Y_k)$ は滑らかである。著者らは、$p_1$ の $Y$ への依存性は必要であり、一般的な場合において除去することはできないと指摘している。
• 系 1.3（加群）：有限生成射影 $G$-加群 $V$ に対して、ある素数 $p_V$ が存在し、$p \ge p_V$ ならば、任意の $k$-部分空間 $W \subseteq V_k$ の中心化部分群および正規化部分群は滑らかである。
• 定理 5.2（モジュラー・コスタン＝キリロフ＝スールアウ）：著者らは主要結果をシンプレクティック幾何学に応用する。標数 $p$ が十分に大きな代数閉体上の代数群 $G$ に対して、コスタン＝キリロフ＝スールアウ（KKS）定理が成り立つことを証明する。すなわち、リー代数の双対 $\mathfrak{g}^*$ は、各多様体が随伴軌道であるシンプレクティック多様体の非交和に分解される。これは、大きな $p$ において $\mathfrak{g}^*$ の点の安定化部分群が滑らかであるという事実に基づいており、軌道写像の分離性を保証する。

意義と範囲
本論文は、代数幾何学における一般的な滑らかさに関する特定の問題を解決するために、ルフェシュツ原理とグレブナー基底を組み合わせるというシュタウテン（2000 年）が提案したプログラムを初めて成功裏に実行したと主張している。

• 一般性：結果はアフィンな場合を超えて、準射影多様体および他の有限型スキームに拡張される。これらは、体上の分裂半単純群だけでなく、環上の任意の代数群に適用される。
• 一様性：重要な発見として、与えられた複雑性を持つすべての閉部分スキームにわたって、中心化部分群の滑らかさに対する境界が一様であるのに対し、正規化部分群には特定の閉部分スキームに依存する境界が必要であることが挙げられる。
• 限界：著者らは、複雑性の有界化なしには結果が成立しないことを明示的に指摘している。作用が有界な複雑性を持たない（例えば、フロベニウスねじれや加群の無限非交和を含む）場合の反例を提供しており、そのような場合、標数に関係なく安定化部分群は滑らかでないままである。
• 応用：示された主要な応用は、KKS 定理を大きな正の標数に拡張することであり、ポアソン多様体 $\mathfrak{g}^*$ をシンプレクティック随伴軌道に構造的に分解するものである。これは、軌道写像が非分離的であるため、一般に小さな標数では失敗する結果である。

本論文は、これらの構造定理の直接的な数学的帰結を超えて、新しい実験的応用や将来の研究方針を提案するものではない。その貢献は、モデル論的およびアルゴリズム的代数的手法を通じて、標数 0 の滑らかさの性質を大きな正の標数へ転送するための堅牢な枠組みを確立することにある。