[論文レビュー] 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 $-括弧、指数写像といった基礎的道具を確立すること。

提案手法

• 形式的変数 $ \alpha $ を用いて、ベクトル空間に偶数の双線形作用 $ a \otimes b \mapsto a_\alpha b $ を定義し、頂点代数を形式化する。
• $ \lambda $-括弧と形式的冪級数 $ E[\![\lambda]\!] $ を用いて、演算子積展開を代数的に表現する。
• 代数的指数関数として $ a^{(n)} = a^n / n! $ と $ \binom{a}{n} $ を定義し、分割冪と二項係数を導入する。
• 超代数の慣習に従い、$ E = E_{\bar{0}} \oplus E_{\bar{1}} $ と階数を定め、準同型が階数を保存するとは限らない。
• $ E_\alpha F $ を $ a \in E, b \in F $ に対して $ a_\alpha b $ の張る空間として定義し、作用の代数的閉包を形式化する。
• $ \zeta = -1 $ とし、$ \zeta^{ab} $ を用いて符号を付加することで、階数付き可換性を符号化し、超代数的表現の記法を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 物理的場理論に依存せずに、頂点代数を体系的に代数的対象として発展させることは可能か？
• RQ2 頂点代数理論の背後にある代数的構造——$ \lambda $-括弧、分割冪、$ \rho\mathbb{Z} $-階数など——は何か？
• RQ3 超代数的技法（階数付き準同型、超可換性など）を用いて、頂点代数の公理をどのように形式化できるか？
• RQ4 形式的冪級数と指数写像は、頂点代数の構成と解析において果たす役割は何か？
• RQ5 非可換環やリー代数に類する圏論的・環論的言語を用いて、頂点代数をどのように特徴づけられるか？

主な発見

• 頂点代数は、形式的パラメータ $ \alpha $ を備えた非可換代数的構造である、ベクトル空間に偶数の双線形作用 $ a \otimes b \mapsto a_\alpha b $ を備えたものとして定義される。
• 形式的冪級数 $ E[\![\lambda]\!] $ と多項式 $ E[\lambda] $ の使用により、演算子積展開の代数的取り扱いが可能になる。
• 分割冪 $ a^{(n)} $ と二項係数 $ \binom{a}{n} $ は代数的に定義され、$ \exp(a) = \sum a^{(n)} $ により形式的指数写像が得られる。
• 符号 $ \zeta^{ab} $ を用いて階数付き可換性が符号化され、$ \zeta = -1 $ であり、超可換関係を表現するのに用いられる。
• 理論は特性がゼロの体 $ \mathbb{K} $ 上で展開されており、$ n! $ での除法が正しく定義され、分割冪の定義に不可欠である。
• 本書では $ \rho^{-1} \in \mathbb{N} $ を満たす $ \rho\mathbb{Z} $-階数を確立し、頂点代数の公理と整合する柔軟な階数構造を可能にする。