[論文レビュー] Non-commutative derived moduli prestacks

J. P. Pridham|arXiv (Cornell University)|Aug 26, 2020

Algebraic structures and combinatorial models参考文献 28被引用数 4

ひとこと要約

本稿は、微分 graded 代数的代数 (DGAAs) を用いた、非可換 (NC) モジュライ形式主義の導出を提示し、降下に依存しない導出 NC 前スタックの枠組みを確立する。同定子パラメータ化とホモトピーエタール準同型を用いてアトラスを構成し、スタック的 DGAAs を導出非可換 Lie アルベイドの類似物として導入することで、剛性点を介した不変量の回復と、シフトされた双対シンプレクティック構造および二重ポアソン構造を導出 NC 前スタックへと拡張することが可能になる。

ABSTRACT

We introduce a formalism for derived moduli functors on differential graded associative algebras, which leads to non-commutative enhancements of derived moduli stacks and naturally gives rise to structures such as Hall algebras. Descent arguments are not available in the non-commutative context, so we establish new methods for constructing various kinds of atlases. The formalism permits the development of the theory of shifted bi-symplectic and shifted double Poisson structures in the companion paper.

研究の動機と目的

• 微分 graded 代数的代数 (DGAAs) を根拠とする非可換代数幾何における導出モジュライ形式主義の構築を目的とし、可換設定を超えた導出代数幾何の拡張を図ること。
• 非可換設定において降下が成立しないという問題を克服するため、同定子パラメータ化とホモトピーエタール準同型を用いてアトラスを構成すること。
• スタック的 DGAAs の新しい枠組みを用いて、特に完全複体および射影的加群のモジュライに対する導出 NC アルチン前スタックを定義・研究すること。
• スタック的 DGAAs の剛性コアを介して、シフトされた双対シンプレクティック構造および二重ポアソン構造を導出 NC 前スタックへと拡張可能にする仕組みを提供すること。
• 導出 NC 前スタックの不変量が、スタック的 DGAA フレームワークにおけるその剛性点から回復可能であることを示し、構造分類問題をエタール関手的性質に還元すること。

提案手法

• 非負整数グレーディングを持つ DGAAs に対する関手としての導出 NC 前スタックの形式主義を提案し、CDGAs 上では可換導出モジュライ関手、Artinian DGAAs 上では非可換変形関手に制限されることを示す。
• スタック的 DGAAs — 導出構造のための一つのグレーディングとスタック的構造のためのもう一つのグレーディングを持つ二重グレーディング付き結合代数 — を導入し、同値関係は導出グレーディングに相対的に定義される。
• 導出 NC 前スタック $ F $ に付随する導出前スタック $ D_*F $ を定義し、その剛性コア $ (D_*F)_{\mathrm{rig}} $ を特定する。剛性コアは、適切にエタールなスタック的 DGAAs からの写像に対応する点からなる。
• ホモトピーコロイムと導出左随伴を用いて、$ D_*F \simeq \mathbf{L}\theta^*(D_*F)_{\mathrm{rig}} $ を示し、$ D_*F $ がその剛性部分によって完全に決定されることを確立する。
• DGAAs 内の同定子のパラメータ化を用いて、完全複体および射影的加群のモジュライに対するアトラスを構成する。
• 関手 $ G $ への $ F $ からの写像が $ D_*F $ 上の構造に対応することを示し、主な結果として $ D_*G $ のホモトピーエタール関手的性質のみが必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換設定において降下が失敗するため、降下に依存しない導出モジュライ関手を非可換設定に一般化する方法は何か？
• RQ2 導出代数幾何において、滑らかなアトラスまたは Lie アルベイドの適切な非可換類似物は何か？
• RQ3 降下が利用できない状況において、導出 NC 前スタック上にシフトされた双対シンプレクティック構造および二重ポアソン構造をどのように定義できるか？
• RQ4 スタック的 DGAA フレームワークにおいて、導出 NC 前スタックの不変量はその剛性点から回復可能か？
• RQ5 導出 NC 前スタック $ F $、その関連するスタック的 DGAA 前スタック $ D_*F $、および剛性コア $ (D_*F)_{\mathrm{rig}} $ の間の関係は何か？

主な発見

• DGAA 上の射影的加群および完全複体のモジュライ関手が、導出 NC アルチン ∞-前スタックであることが示され、新しい形式主義における基礎的例が確立される。
• DGAAs 内の同定子のパラメータ化を用いた、アトラスを構築する新しい手法が開発され、非可換設定において降下を回避する。
• 導出 NC 前スタック $ F $ に付随する前スタック $ D_*F $ が、その剛性コアの導出左随伴と同値であることが示され、$ D_*F \simeq \mathbf{L}\theta^*(D_*F)_{\mathrm{rig}} $ が成り立つ。
• 剛性コア $ (D_*F)_{\mathrm{rig}} $ は $ F $ のすべての本質的不変量を捉え、$ F $ 上の構造分類問題を $ (D_*F)_{\mathrm{rig}} $ 上のものに還元可能である。
• 関手 $ G $ への $ F $ からの写像と $ D_*F $ から $ D_*G $ への写像との間で自然な弱同値が確立され、$ D_*G $ のホモトピーエタール関手的性質のみが要求されることを示す。
• このフレームワークにより、[Pri9] の補足論文で示されるように、シフトされた二重ポアソン構造および双対シンプレクティック構造を導出 NC 前スタックへと拡張可能になる。