[论文解读] Homological properties of quantum permutation algebras

Julien Bichon, Uwe Franz+1 more|arXiv (Cornell University)|Apr 3, 2017

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

一句话总结

该论文证明了当 $ n \geq 4 $ 时，王的量子置换代数 $ A_s(n) $ 是三维的 Calabi-Yau 代数，其 Hochschild 上同调除度数 0 和 3 外均消失。此外，论文进一步证明了在一大类量子置换代数中，包括与有限图相关的代数在内，其平凡系数下的第二 Hochschild 上同调群消失，从而在量子概率中蕴含 AC 性质——即所有上循环均可延拓为 Schürmann 三元组。

ABSTRACT

We show that $A_s(n)$, the coordinate algebra of Wang's quantum permutation group, is Calabi-Yau of dimension $3$ when $n\geq 4$, and compute its Hochschild cohomology with trivial coefficients. We also show that, for a larger class of quantum permutation algebras, including those representing quantum symmetry groups of finite graphs, the second Hochschild cohomology group with trivial coefficients vanishes, and hence these algebras have the AC property considered in quantum probability: all cocycles can be completed to a Schürmann triple.

研究动机与目标

• 确定王的量子置换代数 $ A_s(n) $ 的同调性质，特别是其 Hochschild 上同调与 Calabi-Yau 结构。
• 建立当 $ n \geq 4 $ 时，$ A_s(n) $ 是三维 Calabi-Yau 代数，扩展了关于上同调维数的已知结果。
• 将第二 Hochschild 上同调群的消失性推广至一大类量子置换代数，包括表示有限图量子对称群的代数。
• 证明这些代数在量子概率中满足 AC 性质，确保所有上循环均可延拓为 Schürmann 三元组。
• 为维度 $\geq 4$ 的有限维半单可归一化测度代数的量子对称代数提供同调特征刻画。

提出的方法

• 利用一个新准则（定理 3.1）来判断扭曲 Calabi-Yau 代数的 Hopf 子代数是否保持 Calabi-Yau 性质。
• 应用 Bichon 最近关于 $ A_s(n) $ 的工作中的技术，以及关于余模范畴与上同调的结果。
• 运用 Mrozinski 与 Wang-Yu-Zhang 关于量子置换代数结构及其表示的关键结果。
• 通过归一化的 Hochschild 2-上循环 $ c $ 构造一个表示 $ \rho_c: A \to T_3(A) $，将生成元映射为包含 $ c(u_{ij} \otimes -) $ 和 $ \lambda_{ij} = -c(u_{ii} \otimes u_{ij}) $ 的条目的上三角矩阵。
• 利用上循环恒等式与归一化条件，验证矩阵条目满足 $ A_s(n) $ 的定义关系，从而确保 $ \rho_c $ 是良定义的代数同态。
• 应用引理 5.4 表明，若存在满足 $ C(a) = c(a \otimes -) $ 的此类表示，则 $ c $ 是一个上边界，从而证明 $ H^2(A, \mathbb{C}) = 0 $。

实验结果

研究问题

• RQ1 当 $ n \geq 4 $ 时，$ A_s(n) $ 是否为三维 Calabi-Yau 代数？其平凡系数下的 Hochschild 上同调如何？
• RQ2 对于与有限图相关的量子置换代数，第二 Hochschild 上同调群 $ H^2(A, \mathbb{C}) $ 是否消失？
• RQ3 量子置换代数上的所有 Hochschild 2-上循环是否均可延拓为 Schürmann 三元组，从而蕴含 AC 性质？
• RQ4 在何种条件下，扭曲 Calabi-Yau 代数的 Hopf 子代数会继承 Calabi-Yau 性质？
• RQ5 有限维半单可归一化测度代数（维度 $\geq 4$）的量子对称代数的同调结构为何？

主要发现

• 当 $ n \geq 4 $ 时，代数 $ A_s(n) $ 是三维 Calabi-Yau 代数，其 Hochschild 上同调满足 $ H^p(A_s(n), \mathbb{C}) \simeq \mathbb{C} $ 当且仅当 $ p = 0,3 $，其余情况为 0。
• 第二 Hochschild 上同调群 $ H^2(A_s(n), \mathbb{C}) $ 消失，确认了 $ A_s(n) $ 在量子概率中满足 AC 性质。
• 第二上同调群的消失性可推广至一大类量子置换代数，包括表示有限图量子对称群的代数。
• 对于任意此类代数 $ A $，每个归一化的 Hochschild 2-上循环 $ c $ 均为上边界，这是通过构造 $ \rho_c $ 到 $ T_3(A) $ 的表示而证明的。
• 表示 $ \rho_c $ 定义为将 $ u_{ij} $ 映射为一个 $ 3 \times 3 $ 上三角矩阵，其条目涉及 $ c(u_{ij} \otimes -) $ 与 $ \lambda_{ij} = -c(u_{ii} \otimes u_{ij}) $，且该构造保持代数关系。
• 证明依赖于利用上循环恒等式与归一化条件，验证矩阵条目满足置换矩阵关系，最终表明 $ c $ 是一个上边界。