[论文解读] A Course in Vertex Algebra

Markus Rosellen|ArXiv.org|Jul 12, 2006

Advanced Topics in Algebra被引用 7

一句话总结

本书提供了对顶点代数的严格、代数基础的介绍，强调结构和范畴论概念，而非物理动机。它将顶点代数视为带有分次运算的非交换代数，利用超代数、李理论和形式幂级数的工具，建立基础性质与构造，旨在使该理论对接受过抽象代数训练的数学家更易理解。

ABSTRACT

This book offers an introduction to vertex algebra based on a new approach. The new approach says that a vertex algebra is an associative algebra such that the underlying Lie algebra is a vertex Lie algebra. In particular, vertex algebras can be formulated in terms of a single multiplication and they behave like associative algebras with respect to it. Chapter 1 is the introduction. In chapter 2 we discuss many examples of vertex Lie algebras and we show that vertex Lie algebras form a full subcategory of the category of "local" Lie algebras. In chapter 3 we introduce associative, commutative, and Poisson vertex algebras and vertex algebra modules and we show that graded associative vertex algebras form a full subcategory of the category of "local" associative algebras. In chapter 4 we give a systematic presentation of the vertex algebra identities, proving in particular the equivalence of various axiom systems, and we use filtrations to prove results about generating subspaces with the PBW-property, with and without repeats. In chapter 5 we explain three constructions of the enveloping vertex algebra of a vertex Lie algebra and prove the PBW-theorem. In chapter 6 we prove the Zhu correspondence between N-graded vertex algebra modules and modules over the Zhu algebra.

研究动机与目标

• 将顶点代数理论发展为一个自包含的代数框架，类似于非交换环或李代数教科书的体系。
• 尽量减少对物理解释的依赖，而是将定义和构造建立在代数原理之上。
• 通过强调结构性质、分次和范畴语言，使顶点代数对数学家更具可及性。
• 使用形式幂级数、除幂和超代数技术，对顶点代数进行系统性处理。
• 在纯粹代数设定下建立基础工具，如 $\rho\mathbb{Z}$-分次、$\lambda$-括号和指数映射。

提出的方法

• 将顶点代数形式化为带有偶双线性运算 $ a \otimes b \mapsto a_\alpha b $ 的向量空间，其中 $ \alpha $ 为形式变量。
• 使用 $ \lambda $-括号和形式幂级数 $ E[\![\lambda]\!] $ 代数地编码算符乘积展开。
• 引入除幂 $ a^{(n)} = a^n / n! $ 和二项式系数 $ \binom{a}{n} $，以实现代数化的指数运算。
• 采用超代数惯例：分次 $ E = E_{\bar{0}} \oplus E_{\bar{1}} $，且态射不一定保持分次。
• 将 $ E_\alpha F $ 定义为所有 $ a_\alpha b $（$ a \in E, b \in F $）张成的子空间，以形式化运算下的代数封闭性。
• 使用 $ \zeta = -1 $ 及其超符号 $ \zeta^{ab} $ 编码分次交换性，简化超代数表达式中的记号。

实验结果

研究问题

• RQ1 如何在不依赖物理量子场论的前提下，系统地将顶点代数发展为代数对象？
• RQ2 支撑顶点代数理论的代数结构（如 $ \lambda $-括号、除幂和 $ \rho\mathbb{Z} $-分次）是什么？
• RQ3 如何利用超代数技术（包括分次态射和超交换性）来形式化顶点代数公理？
• RQ4 形式幂级数和指数映射在构造与分析顶点代数中扮演什么角色？
• RQ5 如何使用范畴论和环论语言（类似于非交换环或李代数）来刻画顶点代数？

主要发现

• 顶点代数被定义为带有偶双线性运算 $ a \otimes b \mapsto a_\alpha b $ 的向量空间，形成一个带有形式参数 $ \alpha $ 的非交换代数结构。
• 使用形式幂级数 $ E[\![\lambda]\!] $ 和多项式 $ E[\lambda] $ 可实现算符乘积展开的代数操作。
• 除幂 $ a^{(n)} $ 和二项式系数 $ \binom{a}{n} $ 被代数地定义，且 $ \exp(a) = \sum a^{(n)} $，从而提供一个形式指数映射。
• 超符号 $ \zeta^{ab} $ 编码了分次交换性，其中 $ \zeta = -1 $，并用于表达超交换关系。
• 该理论在特征为零的域 $ \mathbb{K} $ 上建立，确保 $ n! $ 的除法行为良好，这对除幂至关重要。
• 本书建立了 $ \rho\mathbb{Z} $-分次结构，其中 $ \rho^{-1} \in \mathbb{N} $，允许灵活的分次结构，与顶点代数公理相容。