[論文レビュー] Quotient sheaves of algebraic supergroups are superschemes

Akira Masuoka, Alexandr N. Zubkov|arXiv (Cornell University)|Jul 14, 2010

Algebraic structures and combinatorial models参考文献 8被引用数 7

ひとこと要約

本稿では、代数的スーパ[group] G と閉じたスーパ的部分群 H との間の自明な商の fppf シーヴ化 $G\tilde{/}H$ が、H が正規でない場合でさえもネーター的スーパarnesscheme であることを確立する。幾何的比較定理とホップスーパ-algebra 技術（特にテンソル積分解と反対作用の性質）を組み合わせることで、$G\tilde{/}H$ がアフィンであるための必要十分条件は、対応する古典的商 $G_{\text{res}}\tilde{/}H_{\text{res}}$ がアフィンであることであることを証明し、Brundan が提起した3つの未解決問題を解決する。

ABSTRACT

To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G ilde{/} H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $ eq$ 2. Our main theorem states that $G ilde{/} H$ is a Noetherian superscheme. This together with derived results give positive answers to interesting questions posed by J. Brundan.

研究の動機と目的

• 古典的代数群の商に関する結果を関手的アプローチを用いてスーパigroup の設定に一般化すること。
• J. Brundan が提示した、代数的スーパigroup の商シーヴ $G\tilde{/}H$ の性質に関する3つの未解決問題を解明すること。
• H が正規でない場合でさえも、$G\tilde{/}H$ がネーター的スーパarnesscheme であることを確立すること。
• G\tilde{/}H がアフィンであるための必要十分条件が、対応する古典的商 $G_{\text{res}}\tilde{/}H_{\text{res}}$ がアフィンであることであることを証明すること。
• Brundan の商構成が、シーヴ化された商 $G\tilde{/}H$ と一致することを示すこと。

提案手法

• 超代数の圏における $K$-関手と $K$-シーヴを用いた関手的枠組みを採用し、fppf 位相によるシーヴ化を実行する。
• 幾何的スーパ-spaces とスーパarnesscheme の間の関係を示す、デムルール＝ガブリエル比較定理のスーパigroup版を導入し、証明する。
• ホップスーパ-algebra のテンソル積分解を用いて、特に写像 $\phi$、$\psi$、$\theta$ を通じて $G\tilde{/}H$ の構造を分析する。
• ホップスーパ-algebra における反対作用とコアクション写像の性質を活用し、とくに反対作用が双射である場合に注目する。
• スミスナーの定理（忠実平坦な降下とコモジュールの単射性）を応用し、主要な写像の平坦性と双射性を関連付ける。
• G\tilde{/}H と古典的商 $G_{\text{res}}\tilde{/}H_{\text{res}}$ 間の関係を分析することで、問題を古典的状況に還元する。

実験結果

リサーチクエスチョン

• RQ1 代数的スーパigroup $G$ と閉じたスーパ的部分群 $H$ との間の自明な商の fppf シーヴ化 $G\tilde{/}H$ は、常にスーパarnesscheme であるか？
• RQ2 H_{\text{res}} が幾何的に再帰的である場合、$G\tilde{/}H$ は常にアフィン的であるか？
• RQ3 Brundan による $G$ と $H$ との間の商構成は存在し、シーヴ化された商 $G\tilde{/}H$ と一致するか？
• RQ4 G\tilde{/}H がネーター的スーパarnesscheme であるための条件は何か？
• RQ5 G\tilde{/}H のアフィン性は、古典的商 $G_{\text{res}}\tilde{/}H_{\text{res}}$ のアフィン性とどのように関係するか？

主な発見

• 任意の代数的スーパigroup $G$ と閉じたスーパ的部分群 $H$ に対して、商シーヴ $G\tilde{/}H$ はネーター的スーパarnesscheme であることが示され、(Q1) に対して肯定的に解決された。
• G\tilde{/}H がアフィンであるための必要十分条件は、対応する古典的商 $G_{\text{res}}\tilde{/}H_{\text{res}}$ がアフィンであることである。H_{\text{res}} が幾何的に再帰的である場合に成立するため、(Q2) に対しても肯定的に解決された。
• Brundan の商構成は $G\otimes\tilde{/}H$ と一致する。なぜなら、商写像 $G \to G\tilde{/}H$ がアフィン的かつ忠実平坦的であり、Brundan の商の普遍性を満たすからであり、(Q3) が解決された。
• 本稿の比較定理は、デムルール＝ガブリエル定理をスーパーセットに一般化し、スーパarnesscheme と幾何的スーパースペース間の位相的・幾何的性質の移行を可能にする。
• 証明はホップスーパ-algebra のテンソル積分解と反対作用の双射性に依存しており、$\beta_{\hat{B}}$ が双射であるための必要十分条件は、$B$ が $C$ に対して忠実平坦的かつコhomological 条件を満たすことであると示された。
• 命題 10.4 の条件 (1)、(2)、(3) の同値性は、与えられた仮定のもとで、$B$ がコモジュールとして単射であること、$C$ に対して平坦であること、および $\beta_B$ が双射であることの3つがすべて同値であることを示している。