[論文レビュー] Coherence results for algebraic stacks

Jack Hall|arXiv (Cornell University)|Jun 19, 2012

Algebraic Geometry and Number Theory参考文献 8被引用数 1

ひとこと要約

この論文は代数的幾何におけるExt-函手の整合性を確立し、代数的スタックにおけるコホモロジーとベースチェンジの証明を可能にするとともに、Hom-空間がアーベルコンによって代表されることを示している。Brochard, Grothendieck および他の研究者らの先行結果を一般化し、Auslanderの意味での広範なクラスのExt-函手が整合的であることを証明することで、モジュライ理論およびスタックコホモロジーにおける基礎的道具を統一している。

ABSTRACT

We prove that cohomology and base change holds for algebraic stacks, generalizing work of Brochard in the tame case. We also show that Hom-spaces on algebraic stacks are represented by abelian cones, generalizing results of Grothendieck, Brochard, Olsson, Lieblich, and Roth--Starr. To accomplish all of this, we prove that a wide class of Ext-functors in algebraic geometry are coherent (in the sense of M. Auslander).

研究の動機と目的

• 代数的スタックにおけるコホモロジーとベースチェンジを、いわゆる「いとしや」でない場合にも拡張すること。
• 代数的スタック上のHom-空間のアーベルコンによる代表化を一般化すること。
• M. Auslanderの意味での広範なクラスのExt-函手の整合性を確立すること。
• Grothendieck, Brochard, Olsson, Lieblich, Roth–Starrの研究における基礎的結果を代数的スタックの文脈で統一的かつ拡張すること。

提案手法

• 導来代数的幾何の技法を用いて、代数的スタック上のExt-函手がAuslanderの意味で整合的であることを証明する。
• 整合性の結果を応用し、代数的スタックにおけるコホモロジーとベースチェンジの定理を導出する。
• Ext-函手の整合性を用いて、Hom-空間がアーベルコンによって代表されることを示す。
• 整合的函手および導来圏の理論を活用し、非いとしやかつ非分離なスタックを取り扱う。
• スタックの形式的枠組みと層コホモロジーを用いて、古典的結果を代数的スタックの文脈に一般化する。
• Ext-函手の整合性が代表可能性およびベースチェンジの定理を統一的に導く枠組みを確立する。

実験結果

リサーチクエスチョン

• RQ1 非いとしやな状況下で、代数的スタックにおけるコホモロジーとベースチェンジがどのような条件下で成立するか。
• RQ2 代数的スタック上のHom-空間はどのように体系的に代表化可能であり、どのような構造を持つのか。
• RQ3 代数的幾何におけるどのExt-函手がAuslanderの意味で整合的であり、その整合性が幾何的応用に与える影響は何か。
• RQ4 代表可能性およびベースチェンジに関する古典的結果は、いとしやまたはDeligne–Mumfordの設定を超えて、どの程度代数的スタックへと拡張可能か。
• RQ5 Ext-函手のための統一的枠組みを構築可能か。その枠組みは整合性を保証し、幾何的結論を導くことができるか。

主な発見

• 非いとしやな状況下でも、代数的スタックにおけるコホモロジーとベースチェンジが成立し、Brochardの結果を一般化している。
• 代数的スタック上のHom-空間はアーベルコンによって代表され、Grothendieck, Brochard, Olsson, Lieblich, Roth–Starrの結果を拡張している。
• 代数的幾何における広範なクラスのExt-函手がM. Auslanderの意味で整合的であり、スタックコホモロジーの基礎的道具を提供している。
• Ext-函手の整合性により、代数的スタック上での変形理論的およびモジュライ理論的構成が体系的に制御可能になる。
• 従来の代数的スタック理論およびそのコホモロジーに関する定理を一般化・強化する統一的枠組みを提供している。
• 開発された形式的枠組みにより、代表可能性やベースチェンジといった重要な幾何的性質が、いとしやまたはDeligne–Mumfordの設定を超えて拡張可能であることが保証されている。