[論文レビュー] On the Morita invariance of the Hochschild homology of superalgebras

Paul A. Blaga|ArXiv.org|May 26, 2009

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

ひとこと要約

この論文は、モーリタ同値データからなる双複体を構成し、そのスペクトル系列を解析することにより、$ℤ_2$-符号付き代数（スーパー代数）におけるホッシャルドホモロジーのモーリタ不変性を確立する。主な結果は、モーリタ同値なスーパー代数は、ホッシャルドホモロジーが同型であるということであり、符号付きテンソル積と微分構造を用いた直接的で関手的な証明により、古典的な未符号付き結果をスーパー代数の文脈に一般化する。

ABSTRACT

We provide a direct proof that the Hochschild homology of a $\mathbb{Z}_2$-graded algebra is Morita invariant.

研究の動機と目的

• Z_2-符号付き代数の文脈において、ホッシャルドホモロジーがモーリタ同値に対して不変であることを確立すること。
• 古典的なホッシャルドホモロジーのモーリタ不変性結果を、スーパー代数の文脈に拡張すること。
• 符号付きホッシャルド複体とスペクトル系列の技法を用いた直接的で関手的な証明を提供すること。
• 射影的双加群と符号付きテンソル積が、モーリタ同値のもとでのホモロジー不変量の保存に果たす役割を明確にすること。

提案手法

• モーリタ同値双加群$P$とその準逆双加群$Q$から、双複体$C_{m,n} = P \otimes B^n \otimes Q \otimes A^m$を構成する。
• Aのホッシャルド微分と、Bに対しては符号付き交換性に起因する符号補正を含む修正版微分を用いて、縦方向および横方向の微分$d'$と$d''$を定義する。
• 循環置換$\omega_{m+1,n+1}$を用いて、A-鎖とB-鎖を関連づけ、二つのホッシャルド複体の比較を可能にする。
• 全複体$Tot_n = \bigoplus_{p+q=n} C_{p,q}$を微分$d_n = \sum (d'_n + d''_n)$で構成し、$d'd'' + d''d' = 0$を満たす双複体を形成する。
• 全複体の二つのフィルトレーションにスペクトル系列の議論を適用し、両方の系列が第二ページですでに収束することを示す。
• Qが射影的であるとき$H_n(A, M \otimes Q) = 0$（$n \geq 1$）であるという補題を活用し、$E^2$項が次数0に集中していることを示す。

実験結果

リサーチクエスチョン

• RQ1 未符号付きの場合と同様に、スーパー代数の文脈でもホッシャルドホモロジーはモーリタ同値に対して不変であるか？
• RQ2 古典的証明を符号付き文脈に適応するには、特に符号規則とテンソル積構造に関してどのように修正すればよいか？
• RQ3 射影的双加群は、符号付きホッシャルド設定におけるスペクトル系列の収束を保証するために果たす役割は何か？
• RQ4 モーリタ同値なスーパー代数のホッシャルドホモロジーの間の同型を誘導するための双複体構成は可能か？
• RQ5 4-組$(A,B;P,Q)$に関して、ホッシャルドホモロジーの同型は関手的か？

主な発見

• スーパー代数のホッシャルドホモロジーはモーリタ同値に対して不変である：AとBがモーリタ同値ならば、$H_*(A) \cong H_*(B)$である。
• 同型$F_*: H_*(A, P \otimes_B Q) \to H_*(B, Q \otimes_A P)$は明示的に構成され、モーリタデータに関して関手的である。
• 双複体の全複体に付随するスペクトル系列は第二ページですでに収束し、$E^2$項は次数0に集中している。
• 縦フィルトレーションの$E^2$項は$H_p(A, P \otimes_B Q)$、横フィルトレーションの$E^2$項は$H_p(B, Q \otimes_A P)$であり、両者は同じ極限に収束するため、同型でなければならない。
• 補題による高次ホモロジーの消滅（$H_n(A, M \otimes Q) = 0$ for $n \geq 1$）は、スペクトル系列の収束に不可欠である。
• 証明は、テンソル積における符号付き規則と、双複体内でのA-鎖とB-鎖を結ぶ循環置換$\omega_{m+1,n+1}$に依存している。