[論文レビュー] Introduction to A-infinity algebras and modules

Bernhard Keller|ArXiv.org|Nov 1, 1999

Algebraic structures and combinatorial models参考文献 19被引用数 61

ひとこと要約

この論文は、A-infinity代数とその加群について包括的な紹介を提供し、ホモロジー代数と導来圏におけるそれらの役割に焦点を当てる。複体のホモロジーおよび加群圏の拡張代数が、擬同型写像による再構成に必要な欠落したデータを符号化する自然なA-infinity構造を持つことが示され、主な貢献は最小モデルの存在と、ねじれた複体を用いた導来圏の構成にある。

ABSTRACT

These are expanded notes of four introductory talks on A-infinity algebras, their modules and their derived categories.

研究の動機と目的

• 複体をそのホモロジーから擬同型写像の意味で再構成する問題を解消するA-infinity構造の方法を説明すること。
• 加群圏の拡張代数が反復拡張のカテゴリを符号化するA-infinity構造を持つことの証明。
• ねじれた対象を用いたA-infinity代数の導来圏の基礎的枠組みの提供。
• A-infinity代数に対する最小モデルの存在を、主要な技術的道具として確立すること。
• A-infinity構造が位相的起源から生じる仕組みと、代数幾何学および数理物理学におけるその重要性の関連を明らかにすること。

提案手法

• 論文はバー構成とねじれた複体を用いて、A-infinity代数の導来圏を定義する。
• 導来圏の計算可能なモデルとして、ねじれた対象の概念を導入する。
• ホモトピー移行定理を用いて、A-infinity代数に対する最小モデルの存在を確立する。
• 導来圏は、最小A-infinity代数上のねじれた複体の圏として構成される。
• 標準的関手の形式的記法を用いて、拡張代数と反復拡張との関係を関連付ける。
• ねじれた複体圏におけるA-infinity関係の検証に、写像φ_{n,t}とb_nを含む符号計算を用いる。

実験結果

リサーチクエスチョン

• RQ1 加群の複体は、そのホモロジーから擬同型写像の意味で再構成可能か？ その再構成に追加でどのような構造が必要か？
• RQ2 加群の集合の拡張代数は、それらの反復拡張のカテゴリを決定するか？ もし決定しない場合、どのような追加構造が必要か？
• RQ3 A-infinity代数の導来圏はどのように構成可能か？ ねじれた複体はこの構成において果たす役割は何か？
• RQ4 A-infinity代数の文脈において最小モデルが果たす意義は何か？ そして導来圏への応用においてどのような役割を果たすか？
• RQ5 A-infinity構造はどのように位相的およびホモロジー的問題から生じるか？ そしてミラー対称性や表現論におけるその役割は何か？

主な発見

• 結合的代数上の加群の複体のホモロジーは、擬同型写像による再構成に必要なデータを符号化する一意的なA-infinity加群構造を持つ。
• 加群Mの拡張代数Ext*(M,M)は、M_iの反復拡張のカテゴリを符号化する自然なA-infinity代数構造を持つ。
• A-infinity代数の導来圏は、その代数の最小モデル上のねじれた複体の圏と同値である。
• ねじれた複体の圏はA-infinity圏をなしており、そのA-infinity構造は写像φ_{n,t}とb_nを含む符号を検証した合成法則によって構成される。
• ねじれた複体圏におけるA-infinity関係の証明は、二つの和Σ₁とΣ₂の比較に依拠しており、Σ₁はb′_{r₂}∘α^⊗r₂に対応する項のキャンセルによって消える。
• この構成により、A-infinity代数の導来圏が三角的であり、標準的関手を備えていることが確認され、導来モリタ理論のための枠組みが提供される。