[論文レビュー] The étale local structure of algebraic stacks

Jarod Alper, Jack Hall+1 more|arXiv (Cornell University)|Dec 12, 2019

Algebraic Geometry and Number Theory参考文献 39被引用数 22

ひとこと要約

本稿は、任意の基底上におけるアフィン安定化子をもつ代数的スタックについて、一般化された局所構造定理を確立し、特に点における安定化子が線型再帰的である場合にはエタール局所で商スタックであることを証明する。また、連接的完全性およびadic列の効果性に関する基礎的結果を導入し、古典的定理をスタックへと拡張することで、等変幾何学およびモジュライ理論における新たな応用を可能にする。

ABSTRACT

We prove that an algebraic stack with affine stabilizers over an arbitrary base is étale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundational results, which are new even over a field. These include various coherent completeness and effectivity results for adic sequences of algebraic stacks. Finally, we give several applications of our results and methods, such as structure theorems for linearly reductive group schemes and generalizations to the relative setting of Sumihiro's theorem on torus actions and Luna's étale slice theorem.

研究の動機と目的

• 代数的閉体に限らない一般の（混合特徴指数を含む）基底上への代数的スタックのエタール局所構造定理の一般化。
• ネーター代数的スタックについて、連接的完全性およびadic列の効果性に関する基礎的結果の確立。これは体上でも新規である。
• 等変幾何学における古典的結果（例えば須本文の定理やルーナのエタールスライス定理）を相対的かつより一般の設定へと拡張すること。
• 適切なモジュライ空間が代数的空間への写像に関して普遍的であることを証明し、正標数における幾何的不変量理論における長年の未解決問題を解決すること。
• 閉部分スタック上で定義された性質や対象（例えばベクトル束、有限エタール被覆）がエタール近傍へと拡張可能である条件を提示し、局所から大域への議論を可能にする。

提案手法

• Tannaka双対性と連接的完全性の結果を併用して、代数的スタックの構造を分析する。
• ネーター代数的スタックのadic列の効果性定理を構築し、形式的スキームのGrothendieckの代数化と類似させる。
• ヘンゼリアンおよび連接的に完全な対を用いて、局所問題を完全局所環へと還元する。
• gerbesおよび商スタックを用いてエタール近傍を構成し、線型再帰的安定化子を活用して代表可能性および降下を保証する。
• 相対的基本スタックおよび線型再帰的群スキームを用いて、良いモジュライ空間をもつスタックの局所モデルを構成する。
• 混合特徴指数における反例を用いて、主定理における条件（Q_open）、（FC）、（PC）の必要性を明確にする。

実験結果

リサーチクエスチョン

• RQ1 アフィン安定化子をもつ代数的スタックが、どのような条件下で任意の点においてエタール局所で商スタックとなるか？
• RQ2 ネーター代数的スタックのadic列の効果性はどのように確立され、代数化にどのような影響を及えるか？
• RQ3 良いモジュライ空間をもつ場合、スタックの性質が閉部分スタックからエタール近傍へとどの程度拡張可能か？
• RQ4 須本文の定理（トーラス作用）およびルーナのエタールスライス定理は、任意の基底上での相対的設定へと一般化可能か？
• RQ5 非完備体上の線型再帰的群スキームの構造的制約は何か。また、スタックの局所構造とどのように関係するか？

主な発見

• 任意の基底上におけるアフィン安定化子をもつ代数的スタックは、線型再帰的安定化子をもつ任意の点の近傍でエタール局所に商スタックである。これは、代数的閉体上での先行結果を一般化する。
• 本稿では代数的スタックについての連接的完全性結果（定理1.6）を証明し、Tannaka双対性と組み合わせることで、新たな降下および再構成技法を可能にする。
• ネーター代数的スタックのadic列の効果性定理（定理1.10）を確立した。これは形式的スキームのGrothendieckの代数化と類似し、スタックにおいて初の同種の結果である。
• 適切なモジュライ空間が代数的空間への写像に関して普遍的であることが示された。これは、正標数におけるGIT商が代数的空間における圏的商であることを意味する。
• 閉部分スタック上で定義された性質（解消性質、有限エタール被覆、ベクトル束など）は、スタックがアフィンな良いモジュライ空間をもてば、エタール近傍へと拡張可能である。
• 須本文の定理の一般化を証明した：トーラス作用をもつ代数的空間は、任意の基底上で$T$-不変なアフィンエタール近傍をもつ。