[论文解读] Equivalence of Borcherds G-Vertex Algebras and Axiomatic Vertex Algebras

Craig T. Snydal|ArXiv.org|Apr 20, 1999

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

一句话总结

本文通过基于以树为索引的奇异映射构建多重线性框架，建立了博赫尔斯 G-顶点代数与公理化顶点代数之间的严格等价性。它表明，有理性、交换性和结合性自然地源自公理结构，证明了在特定条件下，公理化顶点代数与顶点群表示之间存在双射对应关系。

ABSTRACT

In this paper we build an abstract description of vertex algebras from their basic axioms. Starting with Borcherds' notion of a vertex group, we naturally construct a family of multilinear singular maps parameterised by trees. These singular maps are defined in a way which focusses on the relations of singularities to their inputs. In particular we show that this description of a vertex algebra allows us to present generalised notions of rationality, commutativity and associativity as natural consequences of the definition. Finally, we show that for a certain choice of vertex group, axiomatic vertex algebras correspond bijectively to algebras in the relaxed multilinear category of representations of a vertex group.

研究动机与目标

• 基于博赫尔斯的顶点群概念，提供一个抽象的、公理化的顶点代数描述。
• 通过以有根树为参数的多重线性奇异映射，形式化顶点代数运算中奇点的作用。
• 表明有理性、交换性和结合性等基本性质可直接作为公理定义的推论。
• 在特定条件下，建立公理化顶点代数与顶点群表示的松弛多重线性范畴中代数之间的双射对应关系。

提出的方法

• 从博赫尔斯的顶点群出发，本文构造了一组以有限有根树为索引的多重线性奇异映射族。
• 该构造强调奇点结构与输入数据之间的关系，通过树的拓扑结构编码代数关系。
• 形式化方法使用 Xy-pic 和 amslatex 来表达松弛多重线性范畴中的范畴关系与图表关系。
• 采用顶点群表示的松弛多重线性范畴来建模顶点代数结构，允许广义的结合性与交换性。
• 本文运用范畴论与量子代数工具，定义并分析这些奇异映射的普遍性质。
• 通过证明：在特定顶点群选择下，公理化顶点代数结构与表示范畴中的代数之间存在双射对应，从而确立了等价性。

实验结果

研究问题

• RQ1 如何利用博赫尔斯的顶点群形式化系统地描述顶点代数？
• RQ2 顶点算子的奇点如何与其输入结构及基于树的索引相关联？
• RQ3 有理性、交换性和结合性能否作为公理定义的自然推论，而非作为附加公理？
• RQ4 公理化顶点代数与顶点群表示之间的确切范畴对应关系是什么？
• RQ5 在何种条件下，顶点群能与公理化顶点代数建立双射对应？

主要发现

• 本文构造了一组以有根树为参数的多重线性奇异映射，为顶点代数运算提供了结构基础。
• 有理性、交换性和结合性被证明可自然地从公理定义中导出，无需额外公理。
• 在特定顶点群选择下，公理化顶点代数与松弛多重线性表示范畴中的代数之间存在双射对应。
• 该框架通过聚焦奇点关系与输入的关系，成功推广了顶点代数运算的概念。
• 该构造使用 Xy-pic 和 amslatex 提供了顶点代数的范畴化与图表化描述，增强了形式清晰度。
• 结果证实，在指定范畴条件下，博赫尔斯 G-顶点代数与公理化顶点代数是等价的。