[論文レビュー] Applications of the change-of-rings spectral sequence to the computation of Hochschild cohomology

Mariano Suárez-Álvarez|ArXiv.org|Jul 21, 2007

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

ひとこと要約

本稿では、変換環スペクトル系列を用いて、特に単生成代数および1点（余）拡張のホッフハルド・コホモロジーを計算する。E₂微分の明示的公式がヤネダ積およびクラス $ϴ_q(\phi)$ を用いて導かれる。これにより、$k[X]/(f)$ のコホモロジー代数およびゲルステンハーバー括弧の完全な計算が可能となり、ハッパエルの長完全系列の一般化がなされる。

ABSTRACT

We consider the change-of-rings spectral sequence as it applies to Hochschild cohomology, obtaining a description of the differentials on the first page which relates it to the multiplicative stucture on cohomology. Using this information, we are able to completely describe the cohomology structure of monogenic algebras as well as some information on the structure of the cohomology in more general situations. We also show how to use the spectral sequence to reprove and generalize results of M. Auslander et. al. about homological epimorphisms. We derive from this a rather general version of the long exact sequence due to D. Happel for a one-point (co)-extension of a finite dimensional algebra and show how it can be put to use in concrete examples.

研究の動機と目的

• 標準的解体の計算不能性を克服するため、スペクトル系列を用いたホッフハルド・コホモロジーの体系的計算手法の開発。
• 変換環スペクトル系列のE₂頁における微分をヤネダ積および新しい不変量 $\mathcal{O}_q(\phi)$ を用いて記述すること。
• スペクトル系列を用いて、単生成代数 $k[X]/(f)$ の完全なホッフハルド・コホモロジー代数およびゲルステンハーバー括弧の計算。
• 1点（余）拡張におけるホモロジー的エピモルフィズムおよびハッパエルの長完全系列に関する結果の一般化と再証明。
• 乗法的およびリー構造を明示的に制御可能なホッフハルド・コホモロジーの計算フレームワークの提供。

提案手法

• $k$-代数の準同型 $\phi: A \to B$ に対して、変換環スペクトル系列を用い、$E_2^{p,q} \cong \operatorname{Ext}_{B^e}^p(\operatorname{Tor}_q^A(B,B), M) \Rightarrow HH^{\bullet}(A,M)$ と表す。
• E₂微分 $d_2^{p,q}$ を $d_2^{p,q}(\zeta) = (-1)^p \zeta \circ \mathcal{O}_q(\phi)$ として導出。ここで $\circ$ はヤネダ積を表す。
• クラス $\mathcal{O}_q(\phi) \in \operatorname{Ext}_{B^e}^2(\operatorname{Tor}_{q-1}^A(B,B), \operatorname{Tor}_q^A(B,B))$ を導入し、代数拡張の特徴的クラスの高次版として解釈。
• スペクトル系列を単生成代数 $k[X]/(f)$ に適用し、$HH^\bullet(k[X]/(f))$ およびゲルステンハーバー括弧を明示的に計算。
• スペクトル系列の枠組みを用いて、1点（余）拡張におけるハッパエルの長完全系列を再構成および一般化。
• 解体間の比較写像を用いてヤネダ積とスペクトル系列微分を関連付け、乗法的構造の制御を可能にする。

実験結果

リサーチクエスチョン

• RQ1 変換環スペクトル系列を用いて、乗法的構造を制御しながらホッフハルド・コホモロジーを計算する方法は何か？
• RQ2 ホッフハルド・コホモロジーにおける変換環スペクトル系列のE₂微分の代数的意味は何か？
• RQ3 スペクトル系列を用いて、単生成代数の完全なホッフハルド・コホモロジー代数およびゲルステンハーバー括弧を計算可能か？
• RQ4 クラス $\mathcal{O}_q(\phi)$ は、拡張の特徴的クラスなどの既知の不変量とどのように関係するか？
• RQ5 スペクトル系列の枠組みは、1点（余）拡張におけるハッパエルの長完全系列を一般化し、再証明可能か？

主な発見

• E₂微分 $d_2^{p,q}$ は明示的に $d_2^{p,q}(\zeta) = (-1)^p \zeta \circ \mathcal{O}_q(\phi)$ と与えられ、ここで $\circ$ はヤネダ積を表す。
• 全射準同型 $\phi: A \to B$ に対して $I = \ker \phi$ とすると、クラス $\mathcal{O}_1(\phi)$ は拡張 $0 \to I/I^2 \to A/I^2 \to B \to 0$ の特徴的クラスと一致し、古典的代数的構造と結びつく。
• ホッフハルド・コホモロジー代数 $HH^\bullet(k[X]/(f))$ は完全に記述され、ゲルステンハーバーリー括弧の表示も含む。
• スペクトル系列により、非1点（余）拡張代数 $A$ に対して $HH^0(A) \cong k^2$ および $HH^1(A) \cong k$ を計算可能であり、古典的設定を超える有効性を示す。
• 本手法によりハッパエルの長完全系列が一般化され、古典的系列が適用できない場合でも、1点（余）拡張の統一的フレームワークが提供される。
• クラス $\mathcal{O}_q(\phi)$ は特徴的クラスの高次元版として機能し、代数準同型の新たな不変量を提供する。