[論文レビュー] Closed Orbits and uniform S-instability in Geometric Invariant Theory

Michael Bate, Benjamin Martin+2 more|arXiv (Cornell University)|Apr 30, 2009

Advanced Algebra and Geometry参考文献 21被引用数 7

ひとこと要約

この論文は、代数閉体でない体上の再帰的群作用におけるG-軌道の合理性に関する結果を確立し、Kempf-Hesselinkの最適性理論を一様S不安定性へと拡張する。体k上での共型閉軌道を導入し、任意の部分群に対して最適な不安定化パラボリック部分群の存在を証明し、幾何的不変量理論と構成理論を用いてティーツの中心予想の特殊な場合を解決する。

ABSTRACT

In this paper we consider various problems involving the action of a reductive group $G$ on an affine variety $V$. We prove some general rationality results about the $G$-orbits in $V$. In addition, we extend fundamental results of Kempf and Hesselink regarding optimal destabilizing parabolic subgroups of $G$ for such general $G$-actions. We apply our general rationality results to answer a question of Serre concerning the behaviour of his notion of $G$-complete reducibility under separable field extensions. Applications of our new optimality results also include a construction which allows us to associate an optimal destabilizing parabolic subgroup of $G$ to any subgroup of $G$. Finally, we use these new optimality techniques to provide an answer to Tits' Centre Conjecture in a special case.

研究の動機と目的

• 幾何的不変量理論におけるG-軌道の合理性結果を代数閉体でない体へ一般化すること。
• KempfとHesselinkの不安定化共型に関する最適性理論を、一様S不安定性の設定へ拡張すること。
• 再帰的群Gの任意の部分群に対して最適な不安定化パラボリック部分群の構成を提供すること。
• 新しい最適性フレームワークを応用し、分離体拡張におけるG-完全可約性に関するセールの問いに答えること。
• 最適パラボリック部分群と構成論的技法を用いて、ティーツの中心予想の特殊な場合を証明すること。

提案手法

• 体k上での共型閉G(k)-軌道の概念を導入し、代数閉でない設定における閉G-軌道の一般化を行う。
• 適切な条件下で、共型作用の極限点が関連するパラボリック部分群の可解核内に存在することを証明する。
• 部分群K ≤ Gに対する最適な不安定化共型理論を適用し、Kを含む最適なパラボリック部分群P(K)を構成する。
• 共型上のノルム関数とそのガロア作用による不変性を用いて、最適パラボリック部分群が体自己同型作用で安定することを保証する。
• 再帰的群の構成に理論を適用し、単体の重心を用いて部分複体の安定化部分群の固定点が存在することを示す。
• 代数的群自己同型とガロア作用を組み合わせ、G(k)-不変な最適パラボリック部分群を構成し、中心予想への応用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト＝ムーディの基準およびケンプの最適性理論は、代数閉でない体上の作用へ拡張可能か？
• RQ2 共型閉G(k)-軌道の概念は、代数閉でない設定における閉G-軌道の適切な一般化を提供するか？
• RQ3 任意の再帰的群Gの部分群Kに対して、最適な不安定化パラボリック部分群を一意的に関連付けることができるか？
• RQ4 最適な不安定化共型理論は、分離体拡張におけるG-完全可約性に関するセールの問いを解けるか？
• RQ5 再帰的群に関連する構成の固定点部分複体に対して、中心予想は成り立つか？

主な発見

• 適切な仮定の下で、k-定義の共型λがlim_{a→0} λ(a)·v = v′ かつ v′ ∈ G(k)·v を満たすならば、v′ ∈ R_u(P_λ)(k)·v が成り立つことを証明した。これはクラフトとカットラーの結果を拡張する。
• 再帰的群Gの任意の部分群Kに対して、最適な不安定化共型を用いて一意に定まるパラボリック部分群P(K)が存在する。
• P(K)の構成はAut(G)(k)の作用で安定しており、関連するパラボリック部分群はk上に定義されており、代数的合理性を保証する。
• 論文はセールの問いを解決した：G-完全可約性は分離体拡張においても保存される。幾何的基準を用いたG-完全可約性の特徴付けを用いた。
• ティーツの中心予想の特殊な場合を証明した：連結再帰的群Gと部分群Hに対し、固定点部分複体X^Hが可縮であれば、X^H内にG(k)-不変な中心点が存在する。
• X^H内のパラボリック部分群の交わりKに対する最適パラボリック部分群P(K)がガロア群Γ_Yによって安定化されることを示し、その関連単体の重心が固定中心として機能することを確立した。