scientific article; zbMATH DE number 17592

[For the entire collection see Zbl 0724.00013.] The goal of this paper is to prove the theorem by Friedan-Qiu-Shenker (FQS-theorem). Let \(V^{h,c}\) be the Verma module over the Virasoro algebra (\(h,c\in \mathbb{R}\)). There is a unique sesquilinear form \((u,v)=(u,v)^{h,c}\) with the properties: (1) \((v_ \varphi,v_ \varphi)=1\), where \(v_ \varphi\) is a highest weight vector. (2) \((u,v)=(\overline{v,u})\). (3) \((\rho(L_ m)u,v)=(u,\rho(L_{-m})v)\), \(m\in\mathbb{Z}\), \(\rho\) is a representation, corresponding to \(V^{h,c}\), \(\{L_ m\}\) are generators of the Virasoro algebra. If this form is nonnegative then the representation \(\rho\) of the Virasoro algebra on the quotient of \(V\) by the space of null vectors is unitary, in the sense that \(\rho(L_ m)^*=\rho(L_{-m})\). Theorem. (F.Q.S.) The form \((.,.)^{h,c}\) is non-negative only if either \(c\geq 1\), \(h\geq 0\) and there exist \(m\geq 2\) and two integers \(l\), \(q\), \(1\leq l\leq m\), \(1\leq q\leq l\), such that \[ c=1-6/(m(m+1)),\quad h=(((m+1)l-mq)^ 2-1)/(4m(m+1)). \]

Recommendations

Cited in

(26)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3974917)