Virasoro algebra

수학노트
http://bomber0.myid.net/ (토론)님의 2010년 5월 12일 (수) 10:44 판
둘러보기로 가기 검색하러 가기
introduction
  • Virasoro algebra could be pre-knowledge for the study of CFT
  • important results on Virasoro algebra are
    • (i)Kac Determinant Formula
    • (ii) discrete series (A. J. Wassermann, Lecture Notes on the Kac-Moody and Virasoro algebras)
    • (iii) GKO construction of discrete series (this is added on 22nd of Oct, 2007)

 

 

unitarity and ghost
  • unitarity means the inner product in the space of states is positive definite (or semi-positive definite)
  • A state with negative norm is called a ghost.
  • If a ghost is found on any level the represetation cannot occur in a unitary theory

 

 

central charge and conformal weight
  • \(c\) is called the central charge
  • \(h\) is sometimes called a conformal dimension or conformal weights

 

 

Virasoro algebra
  • Lie algebra of vector fields on the unit circle
    \(f(z)\frac{d}{dz}\)
    \(L_n=-z^{n+1}\frac{d}{dz}\)
  • they satisfy the following relation
    \([L_m,L_n]=(m-n)L_{m+n}\)
  • taking a central extension of lie algebras, we get the Virasoro algebra
    \(L_n,n\in \mathbb{Z}\)
    \([c,L_n]=0\)
    \([L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}(m^3-m)\delta_{m+n}\)

 

 

Verma module
  • start with given c and h
  • construct \(M(c,h)\)
    • quotients from the Universal enveloping algebra
    • tensor product from the one dimensional Borel subalgebra representations
  • there exists a unique contravariant hermitian form
  • contravariance means
    • \(L_n\) and \(L_{-n}\) act as adjoints to each other, i.e.
      \(<{L_n}v,w>=<w,L_{-n}w>\)
  • a natural grading given by the \(L_0\)-eigenvalues
  • contains a unique maximal submodule, and its quotient is the unique (up to isomorphism) irreducible representation with highest weight
  • When is \(M(c,h)\) unitary? 
  • to understand the submodules of the Verma module, we refer to Feigin and Fuks.

 

 

unitary irreducible representations
  • They are classified by c>1 and c<1 case.
    • \(c> 1, h > 0\) positive definite
    • \(c\geq 1, h \geq 0\) positive semi-definite
    • \(0<c<1, h> 0\) with Kac determinant condition

 

 

affine Lie algebras
  • a highest weight representation V of an affine Kac-Moody algebra gives unitary representation of the Virasoro algebra
  • This is because V is a unitary highest weight representation of the AKMA. 
  • Read chapter 4 of Kac-Raina on Wedge space

 

 

character of minimal models

[/pages/3003682/attachments/1973999 전체화면_캡처_2009-08-08_오전_60339.jpg]

 

 

No-Ghost theorem

 

 

관련된 항목들

 

 

encyclopedia

 

 

articles