[论文解读] Support varieties and the Hochschild cohomology ring modulo nilpotence

Nicole Snashall|ArXiv.org|Nov 27, 2008

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

一句话总结

本文研究了有限维代数的Hochschild上同调环模幂零元的结构，重点关注支集簇与有限生成性。论文提出了一个反例，推翻了该商环总是有限生成的猜想，证明在特征为2的域上，特定Koszul代数的模幂零元商环作为代数并非有限生成。

ABSTRACT

This is a survey paper based on my talks at the 41st Symposium on Ring Theory and Representation Theory, held in Shizuoka University, Japan in September 2008, and will appear in the conference proceedings. The paper begins with a brief introduction to the use of Hochschild cohomology in developing the theory of support varieties for a module over an artin algebra, by Snashall and Solberg (Proc. London Math. Soc.(3) 88 (2004), 705-732). The paper then describes the current status of research concerning the structure of the Hochschild cohomology ring modulo nilpotence.

研究动机与目标

• 研究有限维代数的Hochschild上同调环模幂零元的有限生成性。
• 利用Hochschild上同调研究支集簇在表示理论中的作用。
• 分析特定代数类（尤其是Koszul代数）中Hochschild上同调环模幂零元的结构。
• 评估该商环总是有限生成的猜想的有效性。
• 确定Hochschild上同调环模幂零元有限生成的必要与充分条件。

提出的方法

• 通过Yoneda乘积和环的包络代数 $\Lambda^e = \Lambda^{\mathrm{op}} \otimes_K \Lambda$ 上的Ext群使用Hochschild上同调。
• 应用bar分解计算低阶上同调群：$\mathrm{HH}^0(\Lambda) = Z(\Lambda)$，$\mathrm{HH}^1(\Lambda)$ 为导子模内导子，$\mathrm{HH}^2(\Lambda)$ 为无穷小形变。
• 研究商环 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$，其中 $\mathcal{N}$ 是由齐次幂零元生成的理想。
• 利用Koszul对偶性将 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 与Koszul对偶代数 $E(\Lambda)$ 的分次中心联系起来。
• 分析特定代数 $\mathcal{A}$，其有向图关系为 $ab + ba = 0$，$bc = 0$，并在特征2与非2下显式计算 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N}$。
• 利用同构 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong Z_{\mathrm{gr}}(E(\mathcal{A}))/\mathcal{N}_Z$ 确定商环的结构。

实验结果

研究问题

• RQ1 对于有限维代数，Hochschild上同调环模幂零元是否总是作为代数有限生成？
• RQ2 结构 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 如何与表示理论中的支集簇相关联？
• RQ3 Koszul代数（尤其是正特征情形）下，$\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 的精确结构是什么？
• RQ4 有限生成性猜想的反例能否推广或特征化？
• RQ5 什么条件能确保 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 是有限生成的？

主要发现

• 当域的特征为2时，例4.1中的代数 $\mathcal{A}$ 的Hochschild上同调环模幂零元 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N}$ 作为代数并非有限生成。
• 当 $\operatorname{char} K = 2$ 时，$\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong K \oplus K[a,b]b$，其中 $b$ 的次数为1，$ab$ 的次数为2，该环并非有限生成。
• 当 $\operatorname{char} K \neq 2$ 时，$\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong K \oplus K[a^2, b^2]b^2$，该环同样作为代数不是有限生成的。
• 反例源于一个Koszul代数，其有向图有顶点1,2，箭头 $a,b,c$，满足关系 $ab + ba = 0$，$bc = 0$。
• 通过Koszul对偶性建立了同构 $\mathrm{HH}^*(\mathcal{A})/\mathcal{N} \cong Z_{\mathrm{gr}}(E(\mathcal{A}))/\mathcal{N}_Z$，其中 $E(\mathcal{A})$ 是Koszul对偶代数，其有向图关系为 $a^o b^o + b^o a^o = 0$，$b^o c^o = 0$。
• 该结果否定了[50]中的猜想，即 $\mathrm{HH}^*(\Lambda)/\mathcal{N}$ 总是有限生成，从而引发关于有限生成性必要与充分条件的新问题。