[論文レビュー] On the Cohomology Comparison Theorem

Alin Stancu|arXiv (Cornell University)|Oct 22, 2010

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

ひとこと要約

本稿は、k-代数のプレシェーブの代数上の双モジュールの相対的導来圏を導入し、相対的ヤノダおよびホッシャルトコホモロジーをこの圏内の自己準同型群として同定することを可能にする。プレシェーブとその関連代数の相対的導来圏の間の全単射関手を確立し、ゲルステンハーバーとシャックの特殊コホモロジー比較定理を一般化する。

ABSTRACT

A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category and the relative derived category of modules over the algebra associated to the presheaf are studied. We obtain a generalization of the $Special$ $ Cohomology$ $Comparison$ $Theorem$ of M. Gerstenhaber and S. D. Schack.

研究の動機と目的

• k-代数のプレシェーブ上の双モジュールのカテゴリに対して相対的導来圏を構成すること。
• 相対的ヤノダおよびホッシャルトコホモロジーをこの導来圏内の自己準同型群として同定すること。
• プレシェーブの代数への関連付けによって誘導される関手が、相対的導来圏の文脈で果たす役割を研究すること。
• ゲルステンハーバーとシャックの特殊コホモロジー比較定理を相対的設定に一般化すること。

提案手法

• k-代数のプレシェーブ $\mathbb{A}$ の双モジュールに対して相対的導来圏 $\mathcal{D}_{k}^{-}(\mathbb{A}\text{-bimod})$ を構成する。
• 相対的射影双モジュールと許容的分解を定義し、相対的設定における分解の存在を保証する。
• $\mathbb{A}$-双モジュールの相対的導来圏から $\mathbb{A}!$-双モジュールの相対的導来圏への関手 $!$ を確立する。
• $\mathbb{A}$-双モジュールと $\mathbb{A}!$-双モジュールの相対的導来圏間の誘導関手 $!$ が全単射であることを証明する。
• テンソル積とベースチェンジに関連する随伴関手と自然同型を用いて、関連図式の可換性を検証する。
• 半順序集合と関手の構造を活用して、$!$-関手が複体の上での挙動を定義および分析する。

実験結果

リサーチクエスチョン

• RQ1 k-代数のプレシェーブ上の相対的ヤノダおよびホッシャルトコホモロジーは、どのように導来圏内の自己準同型群として解釈できるか？
• RQ2 プレシェーブからその関連代数への関連付けによって誘導される関手 $!$ が相対的導来圏内で持つ性質は何か？
• RQ3 導来圏を用いて、特殊コホモロジー比較定理を相対的設定に一般化できるか？
• RQ4 許容的写像と相対的射影分解は、代数のプレシェーブのための導来圏を構成する上で果たす役割は何か？
• RQ5 $!$-関手は、相対的導来圏内の複体の微分構造とどのように相互作用するか？

主な発見

• 相対的ヤノダコホモロジー $\mathrm{Ext}^{i}_{\mathbb{A}-\mathbb{A},k}(\mathbb{M},\mathbb{N})$ は、相対的導来圏内の自己準同型群 $\mathrm{Mor}_{\mathcal{D}_{k}^{-}(\mathbb{A}\text{-bimod})}(\mathbb{M}_{\bullet}, \mathbb{N}_{\bullet}[i])$ と同型である。
• $\mathbb{A}$-双モジュールと $\mathbb{A}!$-双モジュールの相対的導来圏間の関手 $!$ は全単射である。
• 任意の $\mathbb{A}$-双モジュールに対して、相対的射影許容的分解が存在し、これによりカテゴリが十分な相対的射影的を備えることが保証される。
• $!$-関手は余極限を保存し、関連する随伴と可換であり、複体間の自然同型の構成を可能にする。
• $\mathcal{T}_p\mathbb{N}$、$\mathcal{S}_p\mathbb{N}$ およびそれらの $!$-変換を含む図式は可換であり、同型の自然性が確認される。
• 特殊コホモロジー比較定理の一般化は、相対的導来圏において成立し、ヤノダとホッシャルトコホモロジーの同型が相対的設定に拡張される。