Virasoro algebra

수학노트
http://bomber0.myid.net/ (토론)님의 2010년 4월 6일 (화) 16:47 판 (피타고라스님이 이 페이지의 위치를 <a href="/pages/3845441">conformal field theory</a>페이지로 이동하였습니다.)
둘러보기로 가기 검색하러 가기
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}\)

 

\(L_i\)

\[\] for \(i\in\mathbf{Z}\)

and c with

\[L_n + L_{-n}\]

and c being real elements. Here the central element c is the central charge. The algebra satisfies

\[\]

and

\[[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 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
      • called the discrete series representations

 

 

character of minimal models

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

 

 

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

 

 

No-Ghost theorem

 

 

관련된 항목들

 

 

encyclopedia

 

 

articles