[论文解读] 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代数。该方法避免使用bar分解和Alexander-Whitney映射，转而采用Volkov的同伦提升技术，提供了一种更具概念性且计算更高效的方法，适用于量子完全交截和截断多项式环。

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上同调同构提供一种新的理论证明。
• 展示Volkov同伦提升技术在简化和推广现有Gerstenhaber代数同构证明方面的实用性。
• 通过同伦提升实现Hochschild上同调中Gerstenhaber括号的显式计算，尤其适用于量子完全交截和截断多项式环。
• 以基于投射分解和同伦提升的更清晰、更具概念性的框架，取代bar分解及其相关映射（如Alexander-Whitney和Eilenberg-Zilber映射）。

提出的方法

• 利用Volkov的同伦提升技术处理任意投射分解，避免使用bar分解及其相关映射。
• 应用Koszul符号惯例以处理分解张量积中的分次结构。
• 构造一个链映射 σ: (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上同调代数同构，而无需依赖bar分解？
• RQ2 Volkov的同伦提升技术如何简化Hochschild上同调中Gerstenhaber括号的计算？
• RQ3 截断多项式环的Hochschild上同调中，代表性上循环的同伦提升的显式形式是什么？
• RQ4 同伦提升方法是否能以更少的计算开销，获得与先前方法（如[5]）相同的结果？
• RQ5 同伦提升在多大程度上可用于计算HH∗(A ⊗t B)上的完整Gerstenhaber代数结构？

主要发现

• 本文通过使用同伦提升而非bar分解，建立了一个新的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（满足h(e₂) = 1）的有效同伦提升，从而简化计算。
• 该方法确认了[5, §5.2]中发现的Gerstenhaber括号结构，但计算量显著减少，且更具概念清晰性。
• 该方法可推广至量子完全交截及其他由双特征标扭曲的代数，展现出广泛适用性。