[论文解读] (Co)homology of quantum complete intersections

Petter Andreas Bergh, Karin Erdmann|ArXiv.org|Sep 19, 2007

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

一句话总结

本文为二维余维数的有限维量子完全交构作了一个极小的投射双模解析，从而实现了其Hochschild上同调与同调的显式计算。结果表明，当且仅当量子参数 $ q $ 不是单位根时，Hochschild上同调在高阶次处消失；而Hochschild同调始终非零，从而提供了一类与[BGMS]中四维自对偶代数具有相同同调行为的代数。

ABSTRACT

We construct a minimal projective bimodule resolution for every finite dimensional quantum complete intersection of codimension two. Then we use this resolution to compute both the Hochschild cohomology and homology for such an algebra. In particular, we show that the cohomology vanishes in high degrees, while the homology is always nonzero.

研究动机与目标

• 为二维余维数的量子完全交构作一个极小的投射双模解析。
• 显式计算此类代数的Hochschild上同调与同调。
• 确定Hochschild上同调在高阶次处消失的条件。
• 阐明量子参数 $ q $ 与代数同调性质之间的关系。
• 当 $ q $ 是单位根时，确立Hochschild上同调环的乘法结构。

提出的方法

• 为代数 $ A = k\ngle X,Y \rangle / (X^a, XY - qYX, Y^b) $ 构作一个极小的投射双模解析 $ \bb{P} $，其中 $ P_n $ 为秩 $ n+1 $ 的自由模。
• 定义 $ P_n $ 的生成元 $ \epsilon(i,j) $（满足 $ i+j = n $），并利用它们将解析构作为 $ A^e $-模的直和。
• 在 $ A^e $ 中引入关键元素 $ \tau_1(s), \tau_2(s), \gamma_1(s), \gamma_2(s) $，以定义微分 $ d_1, d_2 $ 及更高阶映射。
• 通过自同态 $ \sigma_1, \sigma_2 $ 对子代数 $ R_1 = k\langle x \rangle $、$ R_2 = k\langle y \rangle $ 的扭曲解析，构建双复形。
• 利用所得解析，通过复形 $ \Hom_{A^e}(\bb{P}, A) $ 计算Hochschild上同调，通过 $ \bb{P} \otimes_{A^e} A $ 计算同调。
• 通过计算微分（特别是 $ \delta_n^\nu $）的核与像的维数，分析上同调与同调，并通过不可提升的映射验证其非零性。

实验结果

研究问题

• RQ1 当量子参数 $ q $ 满足何种条件时，二维余维数量子完全交的Hochschild上同调在高阶次处消失？
• RQ2 此类代数的Hochschild同调是否始终非零？
• RQ3 当 $ q $ 是单位根时，Hochschild上同调环的乘法结构如何？
• RQ4 代数 $ A $ 的极小投射双模解析与它的子代数 $ R_1 $ 和 $ R_2 $ 的解析有何关系？
• RQ5 当 $ q $ 不是单位根时，上同调环能否被描述为纤维积？

主要发现

• 当且仅当 $ q $ 不是单位根时，Hochschild上同调 $ \operatorname{HH}^n(A) $ 对所有 $ n \geq 3 $ 消失。
• 无论 $ q $ 是否为单位根，Hochschild同调 $ \operatorname{HH}_n(A) $ 对所有 $ n \geq 0 $ 均非零。
• 当 $ q $ 不是单位根时，$ \operatorname{HH}^1(A) $ 为二维，$ \operatorname{HH}^2(A) $ 为一维。
• Hochschild上同调环 $ \operatorname{HH}^*(A) $ 为有限维当且仅当 $ q $ 不是单位根。
• 当 $ q $ 不是单位根时，有 $ \operatorname{HH}^*(A) \cong k[U]/(U^2) \times_k k\langle V,W\rangle/(V^2, VW+WV, W^2) $，其中 $ U $ 的次数为 0，$ V,W $ 的次数为 1。
• 乘积 $ hg \in \operatorname{HH}^2(A) $ 非零，证实了上同调环中存在非平凡的乘法结构。