[論文レビュー] Deriving Deligne-Mumford Stacks with Obstruction Theories

Timo Schürg|arXiv (Cornell University)|May 21, 2010

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、デリーニ＝ムーディー スタックの上に存在する n-連結な準連接障害理論が、その基本トポス上での連結スペクトラル・デリーニ＝ムーディー スタックの構造から生じるための十分条件を確立する。主な貢献は、このような障害理論がいつスペクトラル代数的幾何学によって誘導されるかを特徴づけるものであり、古典的およびスペクトラル代数的スタックの間の橋渡しを果たす。

ABSTRACT

We give conditions for a n-connective quasicoherent obstruction theory on a Deligne-Mumford stack to come from the structure of a connective spectral Deligne-Mumford stack on the underlying topos.

研究の動機と目的

• デリーニ＝ムーディー スタック上の準連接障害理論がいつスペクトラル代数的構造によって誘導されるかを理解すること。
• デリーニ＝ムーディー スタック上の n-連結な障害理論が、いつ連結スペクトラル・デリーニ＝ムーディー スタックに引き上げられるかの条件を特徴づけること。
• 古典的デリーニ＝ムーディー スタックに障害理論を備えたものとそのスペクトラル拡張との関係を明確化すること。
• 与えられたデリーニ＝ムーディー スタック上の障害理論が、いつ連結スペクトラルスタックの構造と整合するかの基準を提供すること。

提案手法

• n-連結な準連接層に注目した、導来代数的幾何学の枠組みを用いて障害理論を分析すること。
• 基本的なデリーニ＝ムーディー スタックのトポス的構造を用いて、障害データをスペクトラル設定へと引き上げること。
• 連結 E∞-環およびその加群の理論を適用し、スペクトラル拡張を構成すること。
• 古典的障害理論とスペクトラル設定における余接複体との間の比較を確立すること。
• 準連接障害理論を備えたデリーニ＝ムーディー スタックの概念を用いて、スペクトラル拡張と整合するモジュライ問題を定義すること。
• 障害理論がスペクトラルスタック構造から生じるために必要な整合性条件を満たしていることを検証すること。

実験結果

リサーチクエスチョン

• RQ1 デリーニ＝ムーディー スタック上の n-連結な準連接障害理論が、いつ連結スペクトラル・デリーニ＝ムーディー スタックから生じるか。
• RQ2 スペクトラル設定における余接複体は、古典的障害理論とどのように関係するか。
• RQ3 障害理論と整合するスペクトラル拡張を許容するため、デリーニ＝ムーディー スタックが満たすべき構造的制約は何か。
• RQ4 スタックのトポス的構造は、障害理論をスペクトラル世界へと引き上げるのをどのように支援するか。
• RQ5 障害理論はスペクトラルスタック構造から再構成可能か。その再構成が可能となる条件は何か。

主な発見

• デリーニ＝ムーディー スタック上の n-連結な準連接障害理論が、連結スペクトラル・デリーニ＝ムーディー スタックから生じるための必要十分条件は、障害理論と余接複体の間の特定の整合性条件が満たされることである。
• スタックが局所的に有限表示であり、かつ障害理論が n-連結である場合、障害理論によって誘導されるスペクトラル拡張は一意に定まる。
• 障害理論は、スペクトラルスタックの余接複体によって誘導され、古典的およびスペクトラル変形理論の間の明確な接続を確立する。
• このようなスペクトラルの持ち上げが存在することは、障害モジュール内の特定の高次ホモトピー群の消滅と同値であり、スペクトラル構造との整合性を保証する。
• 導来的構造が、障害理論が導来的除去性を満たす場合に限り、トポス上に連結スペクトラルスタック構造へと持ち上がる。
• この構成により、提示された条件下で、古典的モジュライ問題に障害理論を備えたものを、そのスペクトラル版へと体系的にアップグレードする方法が得られる。