[論文レビュー] Homotopy liftings and Hochschild cohomology of some twisted tensor products

Pablo S. Ocal, Tolulope Oke+1 more|arXiv (Cornell University)|May 13, 2020

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

ひとこと要約

本稿は、代数のねじれテンソル積のHochschildコホモロジー代数の同型を、ホモトピー上昇に基づく新しい証明を提示する。HH∗(A ⊗t B) ≅ HH∗(A) ⊗ HH∗(B) がGerstenhaber代数として成り立つことを示し、バーレゾリューションやアレクサンダー＝ホイットニー写像を避ける。代わりにボルコフのホモトピー上昇を用いることで、より概念的で計算的に有効なアプローチを提供し、量子完全交差や切断多項式環への応用が可能である。

ABSTRACT

The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes.

研究の動機と目的

• 代数のねじれテンソル積におけるHochschildコホモロジー同型の新しい理論的証明を提供すること。
• ボルコフのホモトピー上昇技術が、Gerstenhaber代数同型の既存証明を単純化・一般化する有効性を示すこと。
• ホモトピー上昇を用いて、特に量子完全交差や切断多項式環に対して、HochschildコホモロジーにおけるGerstenhaber括弧の明示的計算を可能にすること。
• バーレゾリューションおよび煩わしいアレクサンダー＝ホイットニー／アイレンバーグ＝ジルバ写像の使用を、射影レゾリューションとホモトピー上昇に基づく洗練された、より概念的な枠組みに置き換えること。

提案手法

• 任意の射影レゾリューションに対してボルコフのホモトピー上昇技術を適用し、バーレゾリューションやそれに関連する写像を避ける。
• テンソル積のレゾリューションにおける次数付き構造を扱うために、コーゾル・サイン規約を適用する。
• 写像 σ: (P ⊗t Q) ⊗A⊗tB (P ⊗t Q) → (P ⊗A P) ⊗t (Q ⊗B Q) を構成し、これは (A ⊗t B)e-加群としての同型であることを示す。
• レゾリューション上の対角写像 ∆P と ∆Q を用いて、Hochschildコサイクル f と g に対するホモトピー上昇写像 ψf と ψg を定義する。
• 方程式 (2.9) を用いて、fi と gi がコサイクル f と g に対してホモトピー上昇条件を満たすことを検証する。
• 公式 (2.11) を用いて、ホモトピー上昇写像がコサイクルに作用する形でGerstenhaber括弧を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー上昇を用いて、バーレゾリューションに依存せずに、ねじれテンソル積のHochschildコホモロジー代数の同型を証明できるか？
• RQ2 ボルコフのホモトピー上昇技術は、HochschildコホモロジーにおけるGerstenhaber括弧の計算をどのように単純化するか？
• RQ3 切断多項式環のHochschildコホモロジーの代表コサイクルに対するホモトピー上昇の明示的形は何か？
• RQ4 ホモトピー上昇法は、従来の手法（例：[5]）と同等の結果を得るが、計算の負荷を軽減できるか？
• RQ5 ホモトピー上昇は、HH∗(A ⊗t B) 上のGerstenhaber代数構造をどの程度まで計算に利用できるか？

主な発見

• 本稿は、バーレゾリューションを避けてホモトピー上昇を用いることで、HH∗(A ⊗t B) ≅ HH∗(A) ⊗ HH∗(B) がGerstenhaber代数として成り立つという新しい証明を確立する。
• この方法は計算的に有効である。特に、k[x,y]/(x²,y²) という切断多項式環に対して、特定の基底要素において、Gerstenhaber括弧 [f⊗f′, h⊗h′] が明示的に 2y と -2x として計算される。
• コサイクル f と g のテンソル積に対して、ホモトピー上昇写像 ψf⊗g が明示的に構成され、ψf⊗g(e1⊗e′₂) = e1⊗e′₀y + xe₀⊗e′₁ となる。
• Hochschild 2-コサイクル h に対して、零写像が有効なホモトピー上昇として機能し、計算を単純化する。
• 本手法は [5, §5.2] で得られたGerstenhaber括弧構造を確認するが、はるかに少ない作業量とより明確な概念的枠組みを提供する。
• このアプローチは、量子完全交差や双文字でねじれた他の代数へも一般化可能であり、広範な応用可能性を示している。