[论文解读] Mirror extensions of rational vertex operator algebras

Xingjun Lin|arXiv (Cornell University)|Nov 25, 2014

Algebraic structures and combinatorial models参考文献 17被引用 4

一句话总结

本文通过建立顶点算子代数及其对偶代数的模类别之间的辫子反转等价性，证明了有理顶点算子代数的镜像扩展猜想。利用张量范畴理论及有理、$C_2$-余有限VOA的模分解结构，证明了若顶点算子代数$V^e$是$V$的扩展，则其对偶代数$(V^c)^e$是$V^c$的顶点算子代数扩展，从而推广了仿射李代数表示中的水平-秩对偶性。

ABSTRACT

In this paper, mirror extensions of vertex operator algebras is considered via tensor categories. The mirror extension conjecture is proved.

研究动机与目标

• 证明有理顶点算子代数的镜像扩展猜想，即若$V^e$是$V$的顶点算子代数扩展，则其对偶代数$V^c$也存在相应的镜像扩展$(V^c)^e$。
• 建立$V$及其对偶代数$V^c$的模类别之间的辫子反转等价性，推广仿射李代数表示中的水平-秩对偶性。
• 证明$U$作为$V \otimes V^c$-模的分解蕴含其在张量积与对偶运算下封闭，从而实现镜像扩展的构造。
• 证明当$V^e$为单代数时，其镜像对偶$(V^c)^e$也继承单性，确保构造保持关键代数性质。

提出的方法

• 利用有理、$C_2$-余有限顶点算子代数的辫子张量范畴及模类别的理论，分析$U$作为$V \otimes V^c$-模的结构。
• 证明$V$-模集合$\{V, M^i\}$与$V^c$-模集合$\{V^c, N^i\}$分别构成在张量积下封闭的辫子张量子范畴${\mathcal{C}}_V^0$与${\mathcal{C}}_{V^c}^0$。
• 构造一个从${\mathcal{C}}_V^0$到${\mathcal{C}}_{V^c}^0$的辫子反转等价映射$\mathcal{T}$，使得$\mathcal{T}(M^i) = (N^i)'$。
• 应用[HKL]中关于张量范畴内交换代数的结果，证明$U^c$可从${\mathcal{C}}_{V^c}^0$中的代数数据继承顶点算子代数结构。
• 利用$U^c$的共形权重整数性，证明反辫子条件$\mu \circ C^{-1}_{U^c,U^c} = \mu$蕴含乘法的交换性，从而实现顶点算子代数结构。
• 通过[HKL]定理3.4的逆否命题推理，利用理想提升方法反证法证明：当$V^e$为单代数时，$(V^c)^e$亦为单代数。

实验结果

研究问题

• RQ1 镜像扩展猜想是否成立：若$V^e$是$V$的顶点算子代数扩展，则$(V^c)^e$是否为$V^c$的顶点算子代数扩展？
• RQ2 能否通过$U$的分解，建立$V$的模类别与其对偶代数$V^c$的模类别之间的辫子反转等价性？
• RQ3 在何种条件下，$V^e$具有顶点算子代数结构可推出$(V^c)^e$也具有相同结构？
• RQ4 当$V^e$为单代数时，其镜像对偶$(V^c)^e$的单性如何关联？
• RQ5 仿射李代数表示中的水平-秩对偶性是否为此镜像扩展构造的特例？

主要发现

• 镜像扩展猜想已得证明：若$V^e$是$V$的顶点算子代数扩展，则$(V^c)^e$可作为$V^c$的顶点算子代数扩展而存在。
• 分解式$U = V \otimes V^c \oplus \bigoplus_{i=1}^n M^i \otimes N^i$表明，集合$\{V, M^i\}$与$\{V^c, N^i\}$在其各自模类别中对张量积封闭。
• 构造了一个辫子反转等价映射$\mathcal{T}: \mathcal{C}_V^0 \to \mathcal{C}_{V^c}^0$，满足$\mathcal{T}(M^i) = (N^i)'$，从而在模类别之间建立了对偶性。
• $(V^c)^e$的顶点算子代数结构通过${\mathcal{C}}_{V^c}^0$中的交换代数构造，利用其与$U^c$的等价性及辫子性质实现。
• 若$V^e$为单代数，则$(V^c)^e$亦为单代数，因为$(V^c)^e$中的非平凡理想将诱导出$V^e$中的非平凡理想，与单性矛盾。
• 该结果推广了水平-秩对偶性：当$V = L_{\widehat{sl}_m}(n,0)$且$V^c = L_{\widehat{sl}_n}(m,0)$时，镜像扩展恢复了可积最高权表示之间的已知对偶性。