[論文レビュー] Shukla cohomology and additive track theories

Hans-Joachim Baues, Teimuraz Pirashvili|ArXiv.org|Jan 14, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 10

ひとこと要約

本稿は、原始的単体的手法の代わりにチェーン代数を用いることで、Shuklaコホモロジーの新たな基礎を確立し、その計算を簡略化するとともに、Mac Laneコホモロジーとの直接的な比較を可能にした。主な貢献は、ℤ/p²ℤ 上の Shukla コホモロジーが、0〜2次の度において、𝔽_p 上のそれと同型であることを示し、3次の核が H⁰(A, M) に同型であることを特定したことである。これにより、加法的トラック圏における障害理論への応用が可能になった。

ABSTRACT

The approach of Quillen to the cohomology of general algebraic systems is based on simplicial methods, which are usually quite hard to deal with. The aim of this work is to give the foundation of Shukla cohomology (of algebras over a commutative ring) based on chain algebras. We also give an application to the problem of strengthening additive track theories, which is based on the comparison homomorphism between Shukla and Mac Lane cohomology theories.

研究の動機と目的

• 原始的単体的手法の複雑さを避けることで、Shuklaコホモロジーのより単純な、チェーン代数に基づく基礎を構築すること。
• 特に体上の代数に対して、ShuklaコホモロジーとMac Laneコホモロジーの関係を明確にすること、特に3次の度において。
• コホモロジカルな比較を通じて、障害を同定することにより、加法的トラック理論の強化問題にShuklaコホモロジーを応用すること。
• テンソルに基づく構成を用いて、体に値をとる係数を持つ代数上のShuklaコホモロジーの標準的コチェーン複体を構成すること。
• ℤ/p²ℤ 上のShuklaコホモロジーからℤ 上のそれへのベースチェンジ写像が、0〜2次の度において同型であり、3次の核を同定すること。

提案手法

• 地面リング上のチェーン代数の圏における導来HochschildコホモロジーとしてShuklaコホモロジーを定義する。
• 付録で確立されたチェーン代数の閉じたモデルカテゴリ構造を用い、コホモロジカル性質を導出する。
• Shuklaの元来の明示的だが扱いにくい複体とは対照的に、テンソル積を用いた新しいコチェーン複体を構成する。
• ℤ/p²ℤ 上のShuklaコホモロジーとℤ 上のそれとの間のベースチェンジ写像を分析し、それが全射であり、その核を計算すること。
• 交差双モジュールとトラック理論的構造との同値性を用い、障害をコホモロジーの観点から解釈すること。
• ShuklaとMac Laneコホモロジーの比較同型が ≤2次の度において成り立つことを応用し、体上の代数に対して3次の度へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 Shuklaコホモロジーは、原始的単体的手法の代わりにチェーン代数を用いて再定義可能であり、計算を簡略化できるか？
• RQ2 体上の代数に対して、ShuklaコホモロジーとMac Laneコホモロジーの3次の度における正確な関係は何か？
• RQ3 ℤ/p²ℤ 上のShuklaコホモロジーからℤ 上のそれへのベースチェンジ写像は、低次の度においてどのように振る舞うか？
• RQ4 加法的トラック理論が、強い積と強い余積の両方を持つように強化されない障害は何か？
• RQ5 どのような条件下で、加法的トラック理論は、強い積と強い余積の両方を持つ理論に同値に置き換え可能か？

主な発見

• ℤ/p²ℤ 上のShuklaコホモロジーからℤ 上のそれへのベースチェンジ写像は、すべての度において全射である。
• 体𝔽_p 上の代数と双モジュール係数に対するShuklaコホモロジーにおいて、ベースチェンジ写像は0、1、2次の度で同型である。
• 3次の度において、ベースチェンジ写像の核は、双モジュールMの0次コホモロジーH⁰(A, M)に同型である。
• 体上の代数に対して、ShuklaコホモロジーとMac Laneコホモロジーは3次の度において同型であり、既知の≤2次の度における同型性を拡張する。
• 加法的トラック理論を、強い積と強い余積の両方を持つように強化するための障害は、第3のShuklaコホモロジー群に存在する。
• 第3のShuklaコホモロジーとMac Laneコホモロジーを関係付ける完全系列を通じて、障害が明示的に記述され、強化可能性のためのコホモロジカルな基準が得られた。