[论文解读] The product in the Hochschild cohomology ring of preprojective algebras of Dynkin quivers

Ching-Hwa Eu|ArXiv.org|Mar 20, 2007

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

一句话总结

本文计算了在特征零域上，D型与E型Dynkin箭图对应的预投射代数的Hochschild上同调环中的完整上积结构。利用Schofield分解与通过分次上同调构造的基，证明了大多数上积因度数约束而为零，而非平凡上积则源于Gerstenhaber括号与Batalin-Vilkovisky结构的特定配对。关键结果是为所有D型与E型提供了统一的环结构描述。

ABSTRACT

In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.

研究动机与目标

• 完全确定D型与E型Dynkin箭图的预投币代数的Hochschild上同调环中上积结构。
• 将[ES2]中关于A型的结果扩展至完整分类所有ADE箭图在特征零域上的上积结构。
• 尽管对每种Dynkin类型采用逐案计算，仍提供环结构的统一描述。
• 利用度数论证与Batalin-Vilkovisky结构，确立许多上积的零化结果。
• 通过显式配对识别非平凡上积，特别是涉及Gerstenhaber括号与上同调最高度分量的配对。

提出的方法

• 本文使用Schofield分解——一种预投币代数的6-周期分解——通过同构 $ HH^i(A) \cong \underline{Hom}(\Omega^i A, A) $ 计算Hochschild上同调。
• 通过利用自然箭头度数为1的分次结构，显式构造每个上同调空间 $ HH^i(A) $ 的基。
• 上积通过复合计算：$ [f][g] = [f \circ \Omega^i g] $，其中 $ f \in HH^i(A) $，$ g \in HH^j(A) $。
• 利用度数约束确立上积的零化：$ \deg HH^i(A) \leq -h $ 对于 $ i \geq 4 $，其中 $ h $ 为Coxeter数。
• 利用Batalin-Vilkovisky结构，特别是Gerstenhaber括号与 $ \Delta $ 的作用，分析非平凡上积，推导出某些配对必为零。
• 对于 $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $，证明该上积由一个斜对称双线性形式 $ \Omega $ 给出，其矩阵为 $ -M_\beta $，该矩阵源自 $ HH^1 \times HH^5 \to HH^6 $ 的上积。

实验结果

研究问题

• RQ1 D型与E型Dynkin箭图的预投币代数的Hochschild上同调环中，完整的上积结构是什么？
• RQ2 哪些上积在上同调群之间为零，哪些是非平凡的，原因是什么？
• RQ3 Batalin-Vilkovisky结构如何约束上积关系，特别是在高阶度数中？
• RQ4 尽管采用逐案计算，是否能为所有D型与E型提供统一的上积结构描述？
• RQ5 配对 $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $ 的精确形式是什么，它与Gerstenhaber括号有何关联？

主要发现

• 上积 $ HH^2(A) \times HH^4(A) \to HH^6(A) $ 因度数约束及 $ f_k \zeta_{h-4} $ 的零化而为零，后者源于Batalin-Vilkovisky结构中Gerstenhaber括号对 $ m $ 的选择无关性。
• 上积 $ HH^2(A) \times HH^5(A) \to HH^7(A) $ 为零，因为若该上积非零，则会导致矛盾，因为 $ a \zeta_k \in HH^2(A) \times HH^4(A) = 0 $。
• 上积 $ HH^3(A) \times HH^3(A) \to HH^6(A) $ 因度数不匹配而为零：$ \deg HH^6(A) \leq -h-2 < -4 = \deg HH^3(A) + \deg HH^3(A) $。
• 对于 $ Q = D_{n+1} $ 且 $ n $ 为偶数，或 $ Q = E_6 $，上积 $ HH^4(A) \times HH^5(A) \to HH^9(A) $ 通过反证法证明为零，利用了非退化的配对 $ HH^2 \times HH^3 \to HH^5 $。
• 上积 $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $ 由一个斜对称双线性形式 $ \Omega $ 给出，其矩阵为 $ -M_\beta $，该矩阵源自 $ HH^1 \times HH^5 \to HH^6 $ 的上积。
• 所有满足 $ i,j \leq 5 $ 的上积 $ HH^i(A) \times HH^j(A) \to HH^{i+j}(A) $ 均显式计算得出，其余上积则由周期性与分次交换性推出。