[論文レビュー] Hom stacks

Masao Aoki|arXiv (Cornell University)|Mar 17, 2005

Algebraic Geometry and Number Theory被引用数 19

ひとこと要約

この論文は、代数的スタック間の1-準同型をパラメトライズするHom 2-関手が、適切な条件下で代数的スタックにより表現可能であることを示している。これは、代数的可解性のためのアーティンの基準を用いて証明される。主な応用として、代数的スタック上のラインバンドルを分類するピカード2-関手も同様に代数的スタックにより表現可能であることが証明されている。

ABSTRACT

We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that it is representable by an algebraic stack under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterizes line bundles on algebraic stacks.

研究の動機と目的

• 代数的スタック間の1-準同型をパラメトライズするHom 2-関手の表現可能性を調査すること。
• このHom 2-関手が代数的スタックにより表現可能となる条件を特定すること。
• 表現可能性の結果を、代数的スタック上のラインバンドルを分類するピカード2-関手に応用すること。
• 代数的スタックを用いて、高階カテゴリカル構造への古典的モジュライ理論の拡張を図ること。
• 2-カテゴリカルな手法を用いて、代数的幾何におけるラインバンドルおよび準同型を研究するための基礎的枠組みを提供すること。

提案手法

• 関手の代数的可解性のためのアーティンの基準を適用し、Hom 2-関手の表現可能性を確立する。
• 代数的スタック間の1-準同型の2-関手を、大きなfppfサイト上のスタックとして分析する。
• 変形理論および無限小の持ち上げ性質を用いて、アーティンの基準の条件を検証する。
• Hom 2-関手が必要な局所的有限性および普遍族の開性の条件を満たすことを確立する。
• 同じ基準を満たすことを示すことにより、表現可能性の結果をピカード2-関手に適用する。
• ピカード2-関手が、Hom 2-関手と同一の条件下で代数的スタックにより表現可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的スタック間の1-準同型のHom 2-関手が代数的スタックにより表現可能となる条件は何か？
• RQ2 代数的スタックの文脈において、アーティンの基準を用いてHom 2-関手の表現可能性を証明できるか？
• RQ3 代数的スタック上のラインバンドルを分類するピカード2-関手は、代数的スタックにより表現可能か？
• RQ4 準同型の変形的性質は、Hom 2-関手の表現可能性にどのように影響するか？
• RQ5 代数的スタックのどのような構造的性質が、Hom やピカードのようなモジュライ2-関手の表現可能性を保証するか？

主な発見

• 目標のスタックが局所的に有限型であり、対角が局所的に有限型である限り、代数的スタック間の1-準同型をパラメトライズするHom 2-関手は代数的スタックにより表現可能である。
• Hom 2-関手の表現可能性は、変形理論および障害理論に依存するアーティンの基準によって確立される。
• 各スキームに対してそのスタックの引き戻し上のラインバンドルのグループイドを割り当てるピカード2-関手は、同様の条件下で代数的スタックにより表現可能である。
• 証明は、ピカード2-関手が代数的可解性に必要な条件、特に普遍族の開性および有効な形式的貼り合わせを満たすことを示している。
• 結果として、古典的な表現可能性定理が2-カテゴリカルな代数的スタックの文脈へと拡張された。
• この枠組みは、高次代数的幾何における準同型およびラインバンドルのモジュライ空間を体系的に構成するための方法を提供する。