[论文解读] Vertex tensor category structure on a category of Kazhdan--Lusztig

Lin Zhang|ArXiv.org|Jan 9, 2007

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

一句话总结

本文通过验证黄-莱波夫斯基-张广义对数张量积理论所需条件，建立了仿射李代数在非正整数水平时卡兹丹-卢斯蒂格的模范畴 $\mathcal{O}_\kappa$ 上的顶点张量范畴结构。关键贡献在于提出了一种新的、基于顶点代数的结合律同构构造，证明了 $\mathcal{O}_\kappa$ 具有自然的顶点张量范畴结构，从而将卡兹丹-卢斯蒂格的有 braided 结构的张量范畴嵌入到顶点算子代数的框架中。

ABSTRACT

We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic tensor product theory for generalized modules for a vertex operator algebra developed by Huang, Lepowsky and the author. We do this by proving that the conditions for applying this general logarithmic tensor product theory hold. As a consequence, we prove that this category has a natural vertex tensor category structure, and in particular we obtain a new, vertex-algebraic, construction of the natural associativity isomorphisms and proof of their properties.

研究动机与目标

• 将卡兹丹-卢斯蒂格在非正整数水平下的模范畴 $\mathcal{O}_\kappa$ 纳入顶点算子代数表示理论的框架中。
• 验证广义对数张量积理论（黄、莱波夫斯基、张）所需的条件在 $\mathcal{O}_\kappa$ 上成立。
• 利用广义张量积框架，建立 $\mathcal{O}_\kappa$ 中结合律同构的新颖的、基于顶点代数的构造。
• 证明 $\mathcal{O}_\kappa$ 拥有自然的顶点张量范畴结构，包括有 braided 结构的张量范畴结构。
• 证明卡兹丹-卢斯蒂格原始张量积构造与广义张量积理论导出的构造之间等价。

提出的方法

• 通过引入涉及对换算子和对数项的等价条件，验证广义张量积理论中的相容性条件。
• 将 [HLZ1] 和 [HLZ2] 中的广义对数张量积理论应用于顶点算子代数 $V_{\hat{\mathfrak{g}}}(\ell,0)$ 的广义模范畴 $\mathcal{O}_\kappa$。
• 证明 $\mathcal{O}_\kappa$ 中的对象是 $C_1$-余有限且拟有限维的，满足张量理论的关键有限性条件。
• 利用 $L(-1)$-导数性质，证明广义模在模 $C_1(W)$ 后由有限维子空间张成，从而保证 $C_1$-余有限性。
• 证明 $\mathcal{O}_\kappa$ 在对偶函子、$Q(z)$- 和 $P(z)$-张量积下封闭，确认范畴的封闭性。
• 通过相容性条件，建立卡兹丹-卢斯蒂格原始张量积与广义理论构造的张量积之间的等价性。

实验结果

研究问题

• RQ1 卡兹丹-卢斯蒂格在非正整数水平下的范畴 $\mathcal{O}_\kappa$ 是否满足黄、莱波夫斯基、张广义对数张量积理论所需的条件？
• RQ2 能否基于对数对换算子的顶点代数框架，重构 $\mathcal{O}_\kappa$ 中的结合律同构？
• RQ3 通过广义理论构造的 $\mathcal{O}_\kappa$ 中的张量积函子是否与卡兹丹-卢斯蒂格的原始构造等价？
• RQ4 $\mathcal{O}_\kappa$ 中的对象是否为 $C_1$-余有限且拟有限维的，以确保广义张量理论的适用性？
• RQ5 $\mathcal{O}_\kappa$ 是否具有自然的顶点张量范畴结构，包括有 braided 结构的张量范畴结构？

主要发现

• 范畴 $\mathcal{O}_\kappa$ 满足 [HLZ1] 和 [HLZ2] 中广义对数张量积理论所需的所有必要条件。
• 建立了张量积构造中微妙相容性条件的等价条件，使得该理论适用性的验证成为可能。
• 证明了卡兹丹-卢斯蒂格原始张量积与广义张量积理论导出的张量积是完全相同的。
• 所有 $\mathcal{O}_\kappa$ 中的对象作为广义 $V_{\hat{\mathfrak{g}}}(\ell,0)$-模都是 $C_1$-余有限的，即对每个 $W \in \mathcal{O}_\kappa$，有 $W/C_1(W)$ 是有限维的。
• 所有 $\mathcal{O}_\kappa$ 中的对象都是拟有限维的，即对任意实数 $N$，有 $\coprod_{\Re(n)<N} W_{[n]}$ 是有限维的。
• 范畴 $\mathcal{O}_\kappa$ 具有自然的顶点张量范畴结构，因此也具有自然的有 braided 结构的张量范畴结构，这是其满足广义张量积理论条件的直接结果。