[論文レビュー] Derived Algebraic Geometry II: Noncommutative Algebra

Jacob Lurie|ArXiv.org|Feb 11, 2007

Advanced Topics in Algebra被引用数 7

ひとこと要約

この論文は、∞-圏を用いた導来代数幾何の枠組みにおいて、A∞-環およびその加群の理論を展開し、平坦性、完全性、Tor-幅に関する基礎的結果を確立する。連結なA∞-環に対して、左加群が完全であることと、ほぼ完全でかつ有限なTor-幅を持つこととは同値であることを証明し、ホモトピー的設定におけるホモロジー代数の古典的結果を一般化する。

ABSTRACT

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits in each variable), and thereby recover the classical smash-product operation on spectra. We develop a general theory of algebras in a monoidal infinity category, which we use to (re)prove some basic results in the theory of associative ring spectra. We also develop an infinity-categorical theory of monads, and prove a version of the Barr-Beck theorem.

研究の動機と目的

• ∞-圏の文脈においてA∞-環を発展させることで、古典的非可換代数の強固なホモトピー的一般化を確立すること。
• A∞-環上の加群を定義し、特に導来的状況における有限性および平坦性の性質を研究すること。
• 連結なA∞-環上の完全加群を、Tor-幅とほぼ完全性を用いて特徴付けることにより、古典的結果を一般化すること。
• バーバー構成やバランスの取れたペアリングといった構成を可能にする、非可換代数のホモトピー的枠組みを提供すること。
• 安定∞-圏におけるモノイダル構造と加群圏の形式化を通じて、導来代数幾何の土台を築くこと。

提案手法

• 集合を空間に、環をA∞-環に置き換えることで、古典的代数的概念を一般化するため、∞-圏とモノイダル構造を用いる。
• モノイダル∞-圏および代数的対象の理論を適用し、A∞-環をスペクトラの∞-圏内の代数的対象として定義する。
• テンソル付き∞-圏と自己準同型代数を用いて、A∞-環上の加群を導入・研究し、ホモトピー的加群論を可能にする。
• アドジョイントと降下を分析する上で不可欠な、∞-圏的設定におけるBarr-Beck定理を適用する。
• バーバー構成とバランスの取れたペアリングを用いて、テンソル積を定義し、導来加群圏における有限性条件を導出する。
• ホモトピー的代数的手法（ホモトピー極限、余極限、再び取り戻し）を用いて、有限生成および完全加群を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、∞-圏を用いて古典的非可換環論をホモトピー的設定に一般化できるか？
• RQ2 ホモトピー的不変量（例：Tor-幅）を用いて、連結なA∞-環上の完全加群をどのように特徴づけられるか？
• RQ3 導来的状況において、平坦かつほぼ完全な加群が、なぜ必ず完全になるのか、どのような条件下で成立するか？
• RQ4 モノイダル構造やアドジョイントといった∞-カテゴリー的道具を用いて、A∞-環上の加群理論を体系的にどのように展開できるか？
• RQ5 Tor-幅は、A∞-環上の有限生成表示および完全加群を分類する上で果たす役割は何か？

主な発見

• 連結なA∞-環は、平坦性とほぼ完全性が共に成立するならば、適切に定義された加群理論を備え、それらが射影的であることを示す。
• 連結なA∞-環Aに対して、左A加群Mは、Mがほぼ完全かつ有限なTor-幅を持つことと、完全であることとは同値である。
• 左A加群Mが平坦かつほぼ完全であれば、Mは射影的であり、したがって有限生成自由A加群の再び取り戻しである。
• 左A加群のうち、有限なTor-幅を持つものの集合は、再び取り戻し、有限余極限、およびシフトに関して閉じており、すべての整数nに対してA[n]を含む。
• 連結なA∞-環上の任意の完全加群は、有限生成射影的加群によって生成される最小の安定部分圏に含まれる。
• 離散的なA∞-環Aに対して、左A加群の上に有界な複体が完全であることと、有限生成射影的π0A加群の上に有界な複体に擬同型であることは同値である。