[論文レビュー] Good moduli spaces for Artin stacks

Jarod Alper|ArXiv.org|Apr 14, 2008

Algebraic Geometry and Number Theory参考文献 17被引用数 41

ひとこと要約

この論文は、任意のアーティンスタックに対する「良いモジュライ空間」の概念を導入し、幾何的不変量理論（GIT）およびタウムスタック理論を一般化する。アーティンスタックから代数的空間への準同型が、準同型の押し出しによる準同型の完全性および構造層の写像が同型であるとき、それが良いモジュライ空間であると示している。主な貢献は、このようなモジュライ空間が一意的であり、代数的空間への写像に関して普遍的であり、基底変換に関して安定であり、ベクトルバンドルの自明性による安定化表現の特徴付けを含む強力な幾何的性質を備えていることの証明である。

ABSTRACT

We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.

研究の動機と目的

• 有限なインertiaやタウムスタックの範囲を超えて、任意のアーティンスタックの一般のモジュライ空間理論を構築すること。
• Mumfordの幾何的不変量理論（GIT）を、ベクトルバンドルをパラメータ化するような無限大の安定化群をもつスタックへ一般化すること。
• 望ましい幾何的および関手的性質を保つ新しいモジュライ空間クラス「良いモジュライ空間」を定義し、特徴づけること。
• 良いモジュライ空間が代数的空間の圏において一意的かつ普遍的であることを確立すること。
• 良いモジュライ空間が古典的GIT商を要約し、線形的に再帰的（reductive）な群作用へその結果を拡張できることを示すこと。

提案手法

• 良いモジュライ空間を、アーティンスタック X から代数的空間 Y への準同型 φ: X → Y として定義する。このとき、2つの条件を満たすものとする：(1) 準同型の押し出しによる準同型の完全性、(2) 自然な写像 O_Y → φ_*O_X が同型であること。
• 良いモジュライ空間が全射的であり、普遍的に閉じており、Y に X からの商位相が誘導されることを証明する。
• エタール準同型の下での降下を確立し、基底変換に関して性質が保たれることを示す。
• X 上のベクトルバンドル F が、すべての幾何的点（像が閉じている点）におけるそのファイバーが、安定化群の表現として自明であるときに限り、Y 上のベクトルバンドルの引き戻しであると特徴づける。
• コhomologically affine 準同型および線形的に再帰的群スケーマを用いて、G が線形的に再帰的であるとき、商スタック [X/G] に対して良いモジュライ空間が存在することを証明する。
• 理論を適用し、線形的に再帰的群によるGIT商が良いモジュライ空間であることを示し、半安定および安定な部分集合の構成といった結果を、この一般枠組みへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 有限なインertiaがなく、かつタウムでないような任意のアーティンスタックに対しても、良い幾何的および関手的性質を備えたモジュライ空間を定義できるか？
• RQ2 良いモジュライ空間の概念は、古典的GIT商およびタウムモジュライ空間を一般化し、それらの主要な性質を保つのか？
• RQ3 良いモジュライ空間は代数的空間の圏において一意的であり、代数的空間への写像に関して普遍的性質を満たすのか？
• RQ4 良いモジュライ空間は基底変換に関してどのように振る舞い、その位相的構造はどのようなものか？
• RQ5 良いモジュライ空間から引き戻されたベクトルバンドルであるスタック上のベクトルバンドルの特徴づけは何か？

主な発見

• 良いモジュライ空間は代数的空間の圏において一意的であり、局域ネーター的スタックでは普遍的性質が成り立つ。
• 準同型 φ: X → Y が良いモジュライ空間であるための必要十分条件は、準同型の押し出しによる準同型の完全性および O_Y → φ_*O_X が同型であることである。
• 良いモジュライ空間は普遍的に閉じており、全射的であり、Y は X からの商位相を引き受ける。
• 良いモジュライ空間の形成は任意の基底変換と可換であり、良いモジュライ空間の基底変換も良いモジュライ空間のままである。
• スタック X 上のベクトルバンドル F が、Y 上のベクトルバンドルの引き戻しであるための必要十分条件は、すべての幾何的点（像が閉じている点）におけるファイバーが、安定化群の表現として自明であることである。
• 線形的に再帰的群 G がスキーム X に作用するとき、商スタック [X/G] は、Spec(p_*O_X)^G に同型な良いモジュライ空間を持つ。これは古典的GITを一般化する。