[论文解读] Vertex operator algebras and associative algebras

Chongying Dong, Haisheng Li+1 more|ArXiv.org|Dec 5, 1996

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

一句话总结

本文引入了一组与顶点算子代数 $V$ 相关的结合代数 $A_n(V)$，建立了可允许 $V$-模与那些不是 $A_{n-1}(V)$-模的 $A_n(V)$-模之间的范畴等价。关键结果表明，当且仅当所有 $A_n(V)$ 都是有限维半单代数时，$V$ 是有理的，从而在顶点算子代数表示理论与结合代数结构之间建立了桥梁。

ABSTRACT

Let V be a vertex operator algebra. We construct a sequence of associative algebras A_n(V) (n=0,1,2,...) such that A_{n}(V) is a quotient of A_{n+1}(V) and a pair of functors between the category of A_n(V)-modules which are not A_{n-1}(V)-modules and the category of admissible V-modules. These functors exhibit a bijection between the simple modules in each category. We also show that V is rational if and only if all A_n(V) are finite-dimensional semisimple algebras.

研究动机与目标

• 建立顶点算子代数表示理论与结合代数之间系统性的联系。
• 利用代数结构对顶点算子代数中的可允许模进行分类。
• 以有限维半单结合代数的形式，提供顶点算子代数有理性的一个判别准则。
• 构造函子，使其在 $A_n(V)$-模的简单模与可允许 $V$-模的范畴之间诱导双射。

提出的方法

• 将一系列结合代数 $A_n(V)$ 定义为彼此的商，这些代数源自顶点算子代数 $V$ 的结构。
• 在不从 $A_{n-1}(V)$ 提升而来的 $A_n(V)$-模范畴与可允许 $V$-模范畴之间构造一对函子。
• 利用 $V$ 中的分次结构与换位关系来定义 $A_n(V)$ 中的乘法，确保其与顶点算子代数公理相容。
• 证明函子互为拟逆，从而在指定的模范畴之间建立范畴等价。
• 通过 $G_n$-子代数与第 $n$ 个 Zhu 代数构造分析 $A_n(V)$ 的结构。
• 利用范畴等价性与合成列的有限性，证明 $V$ 是有理的当且仅当所有 $A_n(V)$ 都是有限维且半单的。

实验结果

研究问题

• RQ1 如何系统地将顶点算子代数的表示理论与结合代数联系起来？
• RQ2 在顶点算子代数中，第 $n$ 个 Zhu 代数构造会涌现出何种代数结构？
• RQ3 在何种条件下，$A_n(V)$-模的范畴能够对可允许 $V$-模进行分类？
• RQ4 能否通过其关联的结合代数，纯粹以代数方式表征顶点算子代数的有理性？
• RQ5 有限维性与半单性在 $A_n(V)$ 中与 $V$ 的有理性之间存在何种精确关系？

主要发现

• 该构造产生了一组结合代数 $A_n(V)$，使得 $A_n(V)$ 是 $A_{n+1}(V)$ 的商，形成嵌套结构。
• 一对函子在不来自 $A_{n-1}(V)$ 的 $A_n(V)$-模的简单模与可允许 $V$-模的简单模之间建立了双射。
• 函子互为拟逆，从而在指定的模范畴之间诱导出范畴等价。
• 顶点算子代数 $V$ 是有理的当且仅当所有 $A_n(V)$ 都是有限维且半单的结合代数。
• 该结果为 $V$ 的有理性提供了纯粹代数的判别准则，将表示理论与有限维结合代数结构联系起来。
• 本文纠正了原始版本中的一个错误，确认了代数构造与范畴等价性的有效性。