[论文解读] Homologie et cohomologie de Hochschild de certaines algebres polynomiales classiques et quantiques

Lionel Richard|arXiv (Cornell University)|Jul 8, 2002

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

一句话总结

该论文计算了一类统一经典与量子结构的非交换多项式代数的Hochschild同调与上同调，该类代数由矩阵Λ和整数r参数化。通过量子Koszul复形和约化技术，证明在半经典情形（r = n）下，Hochschild同调集中在度数2n，且同构于基域k，满足Poincaré对偶性。在自由情形（Λ生成自由阿贝尔群）下，同调在度数0、1和2r处非平凡。

ABSTRACT

We study Hochschild homology and cohomology for some polynomial algebras mixing both ``classical'' relations ($XY-YX=1$) and ``quantum'' relations ($XY=łYX$). More specifically, we prove that the algebra of differential operators on any quantum affine space (quantum Weyl algebra) have the same Hochschild homology, and satisfy the same duality relation, as the classical Weyl algebra does.

研究动机与目标

• 计算一类在经典Weyl代数与量子多项式代数之间插值的非交换多项式代数的Hochschild同调与上同调。
• 理解作为多参数量子空间上扭曲微分算子而出现的代数的同调结构。
• 确定Poincaré对偶性是否在半经典情形（r = n）下成立，从而将经典与纯量子情形下的已知结果推广。
• 分析当参数λi,j生成最大秩的自由阿贝尔群时的‘自由’情形下的同调结构。
• 通过低维显式计算，研究当参数为单位根时对偶性失效的情形。

提出的方法

• 将代数AΛn,r构造为迭代Ore扩张，其生成元为xi（经典）和yj（量子），并满足由矩阵Λ决定的特定交换关系。
• 应用Wambst提出的量子Koszul复形来计算Hochschild同调，通过滤子和约化至更小的子复形（KC）实现。
• 通过生成元数量的降阶归纳法，证明商复形K/KC的无瑕性。
• 利用单项式xαyβ作为k-基来分析微分算子的作用，并计算低度数的同调。
• 通过导子与自同态理论，在特殊情形（n=2, r=1, λ为单位根）下显式计算HH0与HH1。
• 通过分析相同复形的上同调并应用同调代数中的对偶定理，建立半经典情形下的Poincaré对偶性。

实验结果

研究问题

• RQ1 当r = n（半经典情形）时，AΛn,r的Hochschild同调是什么，对任意Λ？
• RQ2 当参数λi,j生成秩为n(n−1)/2的自由阿贝尔群时，AΛn,r的Hochschild同调如何表现？
• RQ3 Poincaré对偶性是否对AΛn,n的Hochschild同调成立，若成立，其条件是什么？
• RQ4 在λ为单位根的特殊情形下（如AΛ2,1），同调结构如何？
• RQ5 除了半经典与自由情形外，此类混合量子-经典代数的同调能否显式计算？

主要发现

• 在半经典情形（r = n）下，AΛn,n的Hochschild同调集中在度数2n，且同构于k，即HH∗(AΛn,n) = k[2n]。
• 在自由情形（Λ生成秩为n(n−1)/2的自由阿贝尔群）下，AΛn,r的Hochschild同调仅在度数0、1和2r处非平凡。
• 在特殊情形n=2, r=1，且λ为单位根时，HH0(AΛ2,1) = HH1(AΛ2,1) = k，且HH2(AΛ2,1)非平凡，但不满足对偶性。
• 代数AΛn,n满足Poincaré对偶性：HH∗(AΛn,n) ≅ HH2n−∗(AΛn,n)，对偶模为度数2n处的k。
• AΛn,r的上同调一般通过同一复形计算，对偶性由Koszul复形及其子复形的结构建立。
• 当λ为单位根时对偶性失效，通过证明HHd−1与HHd不能同时为k，除非d=2，从而与已知的度数2同调矛盾，得以证明。