數學中的頂點算子代數 (vertex operator algebra，VOA) 為一代數結構，於二維共形場論及弦論扮演了非常重要的角色，此外並應用在物理上，而頂點算子代數在基礎數學方面更已經被證實其用處，如在怪獸月光理論及幾何朗蘭茲綱領。

因著 Igor Frenkel 曾提出想構造一無限維李代數，1986 年由理察・博赫茲 (Richard Borcherds) 提出一個相關的名詞 頂點代數，在這樣的路徑發展後，人們允以附絡向量之頂點算子作用之 Fock 空間，而 Borcherds 透過將絡頂點算子間的關聯及名詞公理化後，造出允許 Frenkel 所提方法構造新李代數的代數結構。

頂點算子代數的名詞引入則是於 1988 年由 Igor Frenkel、James Lepowsky 與 Arne Meurman 修正頂點代數後而被正式提出，作為它們計畫中構造月光模的部分方法。他們發現很多的頂點代數很自然地就給出了有用的加法結構 (Virasoro 代數之作用)，並且滿足關於能量算子之有界下方性質，基於如此的觀察，他們添加了 Virasoro 作用與有界下方性質於所提公理中。

名詞提出後我們亦於物理上觀察並檢核這些名詞的概念，並有起初公理提出時並未明的幾種解釋。物理上，頂點算子是在允許算子積展開附加之二維共形場中，由其上的點上附加全純場而提出 (i.e., 頂點) ，而其所附加的全純場相互碰撞時，並恰好滿足頂點算子代數公理下所指之關聯性。實際上，頂點算子代數公設就是物理學家稱為 chiral 代數或 "chiral 對稱代數" 的正式代數解釋，而該對稱代數描述了由共形場論給出包含保守不變量的 Ward 恆等式。其餘頂點代數公理之公式包含博赫茲後續於奇異交換環的工作、由 Huang, Kriz 等提出於某曲線上算子上之代數、以及由亞歷山大・貝林森 (Alexander Beilinson) 和弗拉基米爾・德林費爾德 (Vladimir Drinfeld) 提出稱為 chiral 代數 D - 模 - 理論之物等。然這些擬 chiral 代數並不完全與物理學家所用之物等同。

頂點算子代數基礎之重要例子包含絡頂點算子代數 (用以模式化絡保守場論)、由仿射 卡茨 - 穆迪代數 (自 WZW 模型) 之表示給定之頂點算子代數、Virasoro 頂點算子代數 (i.e., 對應 維拉宿代數表示之頂點算子代數) 與 月光模 _V_♮等；至於較複雜的例子就如由幾何表示理論及數學物理引出在複流形上的仿射 W - 代數與 chiral de Rham 複叢等。



定義

一頂點代數由以下資料組成：


* 向量空間 _V_,

* 「單位元」1 $\in $ V ,

* 自態射 _T_,

* 乘法性映射: $Y:V\otimes V\to V((z))$ 或書作 $(a,b)\mapsto Y(a,z)b=\sum _{n\in \mathbb {Z} }a_{n}bz^{-n-1}$ ；

並滿足以下條件：:

1. (單位)_V_ 中每一元 _a_, 均符合

　
: $Y(1,z)a=a=az^{0}$ and $Y(a,z)1\in a+zV[[z]]$

1. (位移) _T(1) = 0_, 且 _V_ 中每元 _a_, _b_, 均符合

　
: $Y(a,z)Tb-TY(a,z)b={\frac {d}{dz}}Y(a,z)b$

1. (四頂點函數)_V_ 中每元 _a_, _b_, _c_ , 均符合

　
: $X(a,b,c;z,w)\in V[[z,w]][z^{-1},w^{-1},(z-w)^{-1}]$

其中 _Y(a,z)Y(b,w)c_, _Y(b,w)Y(a,z)c_, 與 _Y(Y(a,z-w)b,w)c_ 分別為 _X(a,b,c;z,w)_ 在 _V((z))((w))_ , _V((w))((z))_, 與 _V((w))((z-w))_ 中之級數展開式.

此乘法映射常被寫作「狀態 — 場 對應」（state-field correspondence）：

　
: $Y:V\to (EndV)[[z^{\pm 1}]]$ ,

給 V 中每一向量配上一支以算子為值之形式分佈（formal distribution），稱作「頂點算子」；其物理意義為在原點插入一算子。_T_ 則是無窮小位移之一生成元。 「四頂點函數」公理統一了（誤差不過奇異值之）結合律與交換律。 位移公理涵蘊 _Ta = a-2_1, 故 _Y_ 的值決定了 _T_ 的值。

分階頂點代數

一 Z+-分階頂點代數為


* 一頂點代數 _V_:

* _V_ 的分階:
   
* : $V=\bigoplus _{n=0}^{\infty }V_{n}\,$

使每 _a_ ∈ Vk 與 _b_ ∈ Vm, 符合 _a_n _b_ ∈ Vk+m-n-1.

設有一 Z+- 分階頂點代數。其一 Virasoro 元 為 _V_ 中 2 一元 ω , 使頂點算子

　
: $Y(\omega ,z)=\sum _{n\in \mathbb {Z} }\omega _{(n)}{z^{-n-1}}=\sum _{n\in \mathbb {Z} }L_{n}z^{-n-2}$

符合以下條件: _V_n 中每一元 _a_ 符合:

 1. $L_{0}a=na$
2. $Y(L_{-1}a,z)={\frac {d}{dz}}Y(a,z)=[Y(a,z),T]$
3. $[L_{m},L_{n}]a=(m-n)L_{m+n}a+\delta _{m+n,0}{\frac {m^{3}-m}{12}}ca$

其中 _c_ 為一常值，稱「中心荷」（central charge）， 或「_V_ 之秩」。 此亦使 _V_ 成為 維拉宿代數的一表示。



參考資料


* Richard Borcherds, 《Vertex algebras, Kac-Moody algebras, and the Monster》, _Proc. Natl. Acad. Sci. USA._ 83 (1986) 3068-3071

* Igor Frenkel, James Lepowsky, Arne Meurman, 《Vertex operator algebras and the Monster》. _Pure and Applied Mathematics, 134._ Academic Press, Inc., Boston, MA, 1988. liv+508 pp. ISBN 0-12-267065-5

* Edward Frenkel, David Ben-Zvi, 《Vertex algebras and Algebraic Curves》. _Mathematical Surveys and Monographs, 88._ American Mathematical Society, 2001. xii+348 pp. ISBN 0-8218-2894-0

* Huang Yi Zhi,《Two-Dimensional Conformal Geometry and Vertex Operator Algebras》(Progress in Mathematics) ISBN 0817638296

* Victor Kac, 《Vertex Algebras for Beginners》, _University Lecture Series, 10._, 亞美利根數學會，1996. ISBN 0-8218-0643-2



註