[论文解读] Heisenberg algebra and a graphical calculus

Mikhail Khovanov|arXiv (Cornell University)|Sep 16, 2010

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

一句话总结

本文提出了一种新的图形演算方法，利用平面图来对无穷多个变量的海森堡代数进行范畴化。通过从双自伴函子和退化仿射赫尔代数构造一个张量范畴，作者证明该范畴的格罗滕迪克环实现了海森堡代数的一个整形式，且通过奎伦的K-理论定理，在特殊情况下证实了格罗滕迪克群与代数整形式之间的猜想同构。

ABSTRACT

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of the Heisenberg algebra in infinitely many variables. We construct bases of vector spaces of morphisms between products of generating objects in this category.

研究动机与目标

• 开发一种用于对无穷多个变量的海森堡代数进行范畴化的新型图形演算。
• 构造一个张量范畴，其格罗滕迪克环包含海森堡代数的一个整形式。
• 证明从海森堡代数的整形式到该范畴格罗滕迪克群的典范映射是单射。
• 猜想并部分证明该映射为同构，借助K-理论与奎伦定理。

提出的方法

• 定义一个严格张量范畴 H'，其生成元为 Q+ 和 Q-，态射由模局部关系的平面图给出。
• 引入卡鲁比包络以构造生成对象的对称幂与外幂，记为 S^n_+ 和 Λ^n_+。
• 使用对称群与有限群之间诱导与限制函子的图示法来建模代数结构。
• 应用伯格曼钻石引理，为该范畴的格罗滕迪克环建立基。
• 应用奎伦的K-理论定理，关联群代数与退化仿射赫尔代数的格罗滕迪克群。
• 利用对称群代数与退化仿射赫尔代数的 K₀ 之间的同构，支持全同构的猜想。

实验结果

研究问题

• RQ1 基于平面图的图形演算能否对无穷多个变量的海森堡代数实现范畴化？
• RQ2 从海森堡代数的整形式到所构造范畴的格罗滕迪克群的典范映射是否为单射？
• RQ3 该范畴的格罗滕迪克群是否实现了海森堡代数的一个完整整形式？
• RQ4 卡鲁比包络在范畴中构造生成对象的对称幂与外幂时起什么作用？
• RQ5 K-理论技术（如奎伦定理）如何帮助证明K₀群之间猜想同构？

主要发现

• 范畴 H 的格罗滕迪克环同构于无穷多个变量的海森堡代数的整形式 H_Z。
• 典范映射 γ: H_Z → K₀(H) 是单射，如第3.3节所证明。
• 猜想1.1（即 γ 为同构）在 m=0 的情况下，通过奎伦定理与K-理论同构关系得以证明。
• 代数自同态代数 End(+ⁿ⁻ᵐ) 的 K₀ 分解为 K₀(DHₙ,ₘ) ⊕ K₀(Jₙ,ₘ)，且猜想可归约为 K₀(Jₙ,ₘ) 的消失。
• 对所有 n，有同构 K₀(ℤ[Sₙ]) ≅ K₀(DHₙ)，且该同构可延拓至 n 的直极限，支持全猜想。
• 通过对称幂与外幂的图示同构，海森堡代数的代数关系在格罗滕迪克群中被恢复。