Toroidal Lie algebras and vertex representations
type: Item
instance of: scholarly article
title: Toroidal Lie algebras and vertex representations
zbMATH Open document ID: 0704.17011
DOI: 10.1007/BF00147350
author: Robert V. Moody
author: S. Eswara Rao
author: Takeo Yokonuma
published in: Geometriae Dedicata
publication date: 1990-01-01T00:00:00Z
review text: The paper under review describes a theory of the toroidal Lie algebra; the Lie algebra \({\mathbb C}[s,s^{-1},t,t^{-1}]\otimes {\mathfrak g}\) of polynomial maps from a complex torus \({\mathbb C}^{\times}\times {\mathbb C}^{\times}\) into a finite dimensional simple Lie algebra \({\mathfrak g}\). The authors describe the universal central extension \({\mathfrak t}\) of this algebra. Unlike the affine case where \(\hat{\mathfrak g}\) is a one dimensional central extension of the loop algebra, \({\mathfrak t}\) is an infinite dimensional central extension of \({\mathbb C}[s,s^{-1},t,t^{- 1}]\otimes {\mathfrak g}.\) Next they give an abstract presentation of \({\mathfrak t}\) in terms of generators and relations involving the extended Cartan matrix of \({\mathfrak g}\). For \(X=A,D,E\), let \(Q\) be the root lattice of the corresponding Lie algebra \(\hat{\mathfrak g}=\hat {\mathfrak g}(X_{{\mathfrak t}}^{(1)})\). Construct the Fock space \(V(Q)={\mathbb C}[Q]\otimes S({\mathfrak a}_ -)\), where \({\mathfrak a}\) is the Heisenberg algebra defined on \(Q\). A representation of \(\hat{\mathfrak g}\) is generated by the Fourier components of the vertex operators \(X(\alpha,z)\), \(\alpha \in \Delta (=\) the affine root system of \(\hat{\mathfrak g})\). This Lie algebra is a non-faithful homomorphic image of \({\mathfrak t}={\mathfrak t}(X_{{\mathfrak t}}^{(1)})\). It can be made faithful by enlarging \(Q\) to a nondegenerate lattice \(\Gamma\), forming the Heisenberg algebra \({\mathfrak b}\) on \(\Gamma\) and using \(V(\Gamma,{\mathfrak b})={\mathbb C}[\Gamma]\otimes S({\mathfrak b}_-).\) Consider the \({\mathfrak t}\)-module \(V(\Gamma)={\mathbb C}[\Gamma]\otimes S({\mathfrak a}_-)\). For \(\lambda\in \Gamma\), set \(V(\lambda)=e^{\lambda+Q}\otimes S({\mathfrak a}_-)\), which is a \({\mathfrak t}\)-submodule of \(V(\Gamma\)). The authors show that \(V(\Gamma)=\oplus V(\lambda)\), where the summation runs over a complete set of representatives of \(\Gamma\) /Q, and that…
reviewed by: Hiromichi Yamada
Mathematics Subject Classification ID: 17B65
Mathematics Subject Classification ID: 17B69
Mathematics Subject Classification ID: 17B67
zbMATH DE Number: 4154683
zbMATH Keywords: toroidal Lie algebra
zbMATH Keywords: infinite dimensional central extension
zbMATH Keywords: generators
zbMATH Keywords: relations
zbMATH Keywords: vertex operators
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00147350
OpenAlex ID: W2017084581
description: scientific article; zbMATH DE number 4154683