[论文解读] Hochschild cohomology of group extensions of quantum complete intersections

Lauren Grimley|arXiv (Cornell University)|Jun 6, 2016

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

一句话总结

本论文计算了在特征零域上，量子完全交截群扩张 $Λ_{\mathbf{q}}^{(2,2,\dots,2)}$ 的 Hochschild 上同调的 Gerstenhaber 代数结构——特别是上乘积与带秩的李括号。该研究推广了先前的结果，提供了李括号与代数结构的显式公式，尤其在群作用平凡的情况下，将已知的双生成器情形结果推广至一般 $n$-生成器情形。

ABSTRACT

We formulate the Gerstenhaber algebra structure of Hochschild cohomology of finite group extensions of some quantum complete intersections. When the group is trivial, this work characterizes the graded Lie brackets on Hochschild cohomology of these quantum complete intersections, previously only known for a few cases. As an example, we compute the algebra structure for two generator quantum complete intersections extended by select groups.

研究动机与目标

• 刻画有限群扩张的量子完全交截群 $Λ_{\mathbf{q}}^{(2,2,\dots,2)}$ 的 Hochschild 上同调的 Gerstenhaber 代数结构。
• 将先前关于双生成器量子完全交截群的带秩李括号结构结果推广至一般 $n$-生成器情形。
• 以量子系数与群作用为参数，提供上乘积与带秩李括号的显式公式。
• 在对角群作用下分析上同调结构，特别关注代数为 Koszul 代数的情形。
• 与文献中已知例子进行比较，特别是在特征零情形下，将结果推广至群扩张情形。

提出的方法

• 使用 Bergh 与 Oppermann 提出的扭曲张量积构造来建模量子完全交截群的群扩张。
• 应用 Wambst 的方法通过收缩同伦计算 Hochschild 上同调，该方法在特征零下成立。
• 利用标准单纯复形及其余乘法定义上乘积与 Gerstenhaber 括号。
• 采用 Negron 与 Witherspoon 提出的替代括号描述，适用于 Koszul 代数。
• 将上同调计算为基于整数与群元素索引的基元素张量空间的直和，条件基于奇偶性与量子系数。
• 通过取 $G$-不变量，获得斜群代数的上同调，利用群作用对基元素进行过滤与分类。

实验结果

研究问题

• RQ1 对于量子完全交截群 $Λ_{\mathbf{q}}^{(2,2,\dots,2)}$ 的群扩张，其 Hochschild 上同调上的带秩李括号行为如何？
• RQ2 当群平凡时，这些扩张的 Hochschild 上同调的显式代数结构（上乘积与括号）是什么？
• RQ3 量子系数 $\mathbf{q}$ 与群作用如何影响上同调结构？
• RQ4 能否对具有群扩张的 $n$-生成器量子完全交截群完整描述 Gerstenhaber 代数结构？
• RQ5 与文献中已知例子相比，特别是 $q=1$（截断多项式环）的情形，结果如何？

主要发现

• 当群平凡时，本文完全刻画了 $Λ_{\mathbf{q}}^{(2,2,\dots,2)}$ 的 Hochschild 上同调上的带秩李括号，推广了 [3, 5, 20] 中的结果。
• 当 $Λ_{\mathbf{q}}^{(2,2)}\rtimes G$ 时，Hochschild 上同调被计算为基元素 $(x_i \otimes g^i)\epsilon_{\gamma}^*$ 的张量空间的直和，其索引受奇偶性与群作用条件的约束。
• 当 $q=1$ 时，上同调结构退化为截断斜多项式环的结构，结果与 [5, 第 3.5 节] 和 [10, 第 5.6 节] 中的已知计算一致。
• 李括号通过 Negron 与 Witherspoon 提出的替代描述显式计算，该方法对 Koszul 代数有效。
• 上同调结构明显依赖于量子系数与群作用，当 $q$ 为单位根与非单位根时，会呈现出不同的结构。
• 向量空间分解 $HH^*(\Lambda_{\mathbf{q}}^{(2,2)}\rtimes G)$ 完全以 $G$-不变基元素描述，其索引明确表示为 $t, t' \in \mathbb{N}$ 与群索引。