Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:28:10Z http://mathoverflow.net/feeds/question/70575 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70575/why-is-there-such-a-close-resemblance-between-the-unitary-representation-theory-o Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra? André Henriques 2011-07-17T22:28:50Z 2011-07-19T11:44:39Z <p>For those who aren't familiar with the <a href="http://en.wikipedia.org/wiki/Virasoro_algebra" rel="nofollow">Virasoro</a> or <a href="http://en.wikipedia.org/wiki/Temperley%E2%80%93Lieb_algebra" rel="nofollow">Temperley-Lieb</a> algebras, I include some definitions:</p> <p>&bull; The (universal envelopping algebra of the) <b>Virasoro algebra</b> is the *-algebra <i>Vir<sub>c</sub></i> generated by elements <i>L<sub>n</sub></i>, (n&isin;&#8484;), subject to the relations $$[L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}(m^3-m)\delta_{m+n,0},$$ and with *-structure <i>L<sub>n</sub></i>* = <i>L<sub>-n</sub></i>.</p> <p>&bull; The <b>Temperley-Lieb algebra</b> is the *-algebra <i>TL<sub>&delta;</sub></i>&nbsp; with generators <i>U<sub>i</sub></i>, (i&isin;&#8484;), relations $$U_i^2 = \delta U_i,\qquad U_iU_{i+1}U_i=U_i,\qquad U_iU_{i-1}U_i=U_i,\qquad U_i U_j=U_j U_i\quad (|i-j|\ge 2)$$ and *-structure <i>U<sub>i</sub></i>* = <i>U<sub>i</sub></i>.</p> <p>Both <i>Vir<sub>c</sub></i> and <i>TL<sub>&delta;</sub></i>&nbsp; depend on a parameter. These are the numbers <i>c</i> and &delta; &isin; &#8477;.<br> <hr> Let's call a representation &rho; of a *-algebra on a Hilbert space <i>unitary</i> if &rho;(x*) = &rho;(x)*. We are interested in the unitary representations of <i>Vir<sub>c</sub></i> and <i>TL<sub>&delta;</sub></i>. In the case of the Virasoro algebra, we further restrict to positive energy representations, i.e., reps in which the spectrum of <i>L</i><sub>0</sub> is positive. Depending on the value of the parameters <I>c</i> and &delta;, three things can happen:<br> <li><b>1.</b> The algebra admits faithful unitary representations. <li><b>2.</b> It doesn't have faithful unitary representations, but a non-trivial quotient does. <li><b>3.</b> The only unitary representation is the zero representation.</p> <p>Now here's the striking thing:</p> <p>$$\matrix{ &amp; Case\quad 1. &amp; Case\quad 2. &amp; Case\quad 3. \\ Vir_c\qquad &amp; \quad c\in[1,\infty) &amp; c\in 1-\frac{6}{m(m+1)} for\,\,\,\, m = 2,3,4,5,\ldots\quad &amp; All\quad the \quad rest \\ TL_\delta\qquad &amp; \delta\in[2,\infty) &amp; \delta\in 2\cos\big(\frac\pi n\big)\quad for\quad n = 3,4,5,6,\ldots &amp; All\quad the \quad rest}$$</p> <p>Namely, both <i>Vir<sub>c</sub></i> and <i>TL<sub>&delta;</sub></i> exhibit a "discrete series" of non-faithful unitary representations, followed by a continuum of faithful unitary representations. For the discrete series, the parameter should belong to a countable set exhibiting an accumulation point. For higher values of the parameter everything is allowed, and we get faithful representations.</p> <blockquote> <p><li> Is it pure coincidence that those two algebras exhibit such similar behaviour?<br> <li> Is there some natural map from <i>Vir<sub>c</sub></i> to <i>TL<sub>&delta;</sub></i>, or vice-versa? <li> Is there any way of linking the values $c\in 1-\frac{6}{m(m+1)}$ and $\delta\in 2\cos(\frac\pi n)$? <li> Are there other algebras exhibiting a similar phenomenon?</p> </blockquote> <p><hr> [<i>Added later:</i> I'm actually not sure that the discrete series of <i>Vir<sub>c</sub></i> form non-faithful representations...<br> I'll have to think about that.]</p> http://mathoverflow.net/questions/70575/why-is-there-such-a-close-resemblance-between-the-unitary-representation-theory-o/70588#70588 Answer by SPG for Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra? SPG 2011-07-18T01:37:45Z 2011-07-18T19:51:46Z <p>The Cherednik algebra has a similar classification into discrete and unitary series: see arXiv:1106.5094 and arXiv:0901.4595. Strictly speaking, these papers classify the unitary irreducibles in category O. I don't know whether there is a larger category in which contravariant forms will exist, but anyway for the symmetric group category O will be closely tied to affine Lie algebras (thus to Virasoro) by the Arakawa-Suzuki functor, and to Hecke (thus TL algebras) by the Knizhnik-Zamolodchikov functor (which actually identifies O with the category of q-Schur modules for most values of the parameter). Maybe the Cherednik algebra can serve as a bridge between them: Etingof conjectures (true by case by case check for the symmetric group) that KZ of a unitary module is unitary, and it is true (again case by case) that via Arakawa-Suzuki the unitary modules (i.e. integrable modules) for affine $gl_n$ correspond to unitary modules for the Cherednik algebra. </p> <p>At least for the symmetric group, the question of when there is a faithful unitary module in O is not very interesting: there is always one (either $L_c(triv)$ or $L_c(sign)$ will work). But if one is to make the connection to TL and the Virasoro algebra work probably one needs more detail.</p> <p>Every Cherednik algebra module is in particular a module over a ring C[V] of polynomial functions on a vector space V, and its support is a subvariety of V. The faithful unitaries should be the unitaries with full support (I have not checked this, though one direction is obvious).</p> <p>In the (much simpler) case of the Cherednik algebra of the symmetric group $S_n$, the algebra depends on one parameter c, which we may assume positive. The irreducibles in O are indexed by irreducible $S_n$-modules, and therefore by partitions of n. Writing $a(\lambda)$ for the largest hook length of the partition $\lambda$ and $b(\lambda)$ for a certain smaller hook length (see the paper of Etingof/Stoica for the precise def'ns), the corresponding irreducible $L_c(\lambda)$ is unitary iff $\lambda=(1^n)$ (corresponding to the sign representation), or $c \leq a(\lambda)$ or $c=1/m$ for a positive integer $m$ with $m \leq b(\lambda)$. The continuous part of the unitary set is precisely the closure of the set where the corresponding standard module is irreducible and unitary (this much is not surprising: the condition for the contravariant form to be positive definite on the standard module is open, and it's obviously pos. def. at $0$).</p> <p>The module $L_c(\lambda)$ has full support iff: $c$ is not rational or $c=k/m$ and the partition is $m$-regular: the differences $\lambda_i-\lambda_{i+1}$ are strictly less than $m$. Thus $L_c(\lambda)$ is unitary of full support iff (1) $\lambda=(1^n)$, (2) $\lambda=(n)$ and $0 \leq c &lt; 1/n$, (3) $\lambda \neq (n),(1^n)$ is a rectangle and $c \in [0,1/a(\lambda)]$ or $c=1/m$ for a positive integer <code>$m$</code> with <code>$m&lt;b(\lambda)$</code>, (4) <code>$\lambda$</code> is not a rectangle and <code>$c \in [0,1/a(\lambda)]$</code> or <code>$c=1/m$</code> for a positive integer <code>$m$</code> with <code>$m \leq b(\lambda)$</code>.</p> <p>Taking the $n \rightarrow \infty$ limit of all this should be possible; I am running out of time again. </p> http://mathoverflow.net/questions/70575/why-is-there-such-a-close-resemblance-between-the-unitary-representation-theory-o/70632#70632 Answer by Eric Rowell for Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra? Eric Rowell 2011-07-18T15:34:29Z 2011-07-18T15:34:29Z <p>I think it is not a coincidence, although the only relationship I can think of is a bit distant. Roughly, it goes: From positive energy representations of affine Kac-Moody algebras one gets certain values of $c$ in the discrete series. The TL algebras appear as centralizer algebras for quantum $\mathfrak{sl}_2$ (i.e. $End(V^{\otimes n})$ for $V$ the "vector" representation). At roots of unity one gets the TL discrete series (here $\delta$ is the $q$-dimension of $V$. On the other hand, the level-preserving tensor product on reps. of the affine Kac-Moody algebra of type $A$ gives a fusion category equivalent to the category one obtains from the quantum group situation (due to Finkelberg, although Lepowsky tells me there is a small gap that can be fixed using VOAs).</p> <p>So I guess I am saying that there is a sort of Schur-Weyl duality relationship. This is not restricted to the type $A$ situation, for example, BMW algebras exhibit similar behavior which corresponds to the type $BCD$ quantum groups (or affine Kac-Moody algebras). </p> <p>Probably the appropriate language to use is that of tensor categories associated with quantum groups. At roots of unity one gets unitary reps (see Wenzl or Xu's work on this) giving a discrete series which (at least combinatorially) corresponds to level-preserving fusion products for Kac-Moody algebras, which then are responsible for the Virasoro algebra situation. For non-roots of unity one still gets a continuous series of unitary reps.</p>