MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For those who aren't familiar with the Virasoro or Temperley-Lieb algebras, I include some definitions:

• The (universal envelopping algebra of the) Virasoro algebra is the $\star$-algebra $Vir_c$ generated by elements $L_n$, ($n \in \mathbb{Z}$), 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 $\star$-structure $L_n^* = L_{-n}$.

• The Temperley-Lieb algebra is the $\star$-algebra $TL_{\delta}$ with generators $U_i$ ($i \in \mathbb{Z}$) and relations :

  • $U_i^2 = \delta U_i$ and $*$-structure $U_i^* = U_i$.
  • $U_iU_{i+1}U_i=U_i$ and $U_iU_{i-1}U_i=U_i$
  • $U_i U_j=U_j U_i$ for $|i-j|\ge 2$

Both $Vir_c$ and $TL_{\delta}$ depend on a parameter. These are the numbers $c$ and $\delta \in \mathbb{R}$.

Let's call a representation $\rho$ of a $\star$-algebra on a Hilbert space unitary if $\rho(x^*)=\rho(x)^*$.
We are interested in the unitary representations of $Vir_c$ and $TL_{\delta}$. In the case of the Virasoro algebra, we further restrict to positive energy representations, i.e., unitary representations in which the spectrum of $L_0$ is positive. Depending on the value of the parameters $c$ or $\delta$, three things can happen:

1. Discrete series (only) of quotient of Verma modules are unitary and positive energy.
2. Continuum of Verma modules are unitary, positive energy representations.
3. The Verma modules are not unitary.

Now here's the striking thing:

$\begin{array}{c|c|c|c|c|c|c} & \text{Discrete series} & \text{Continuum} & \text{Others} \newline \hline Vir_c & c \in \{ 1-\frac{6}{m(m+1)} \vert m = 2,3,4 \ldots \} &c \in [1,\infty) & \text{non-unitary} \newline \hline TL_\delta & \delta\in \{ 2\cos\big(\frac\pi m\big)\quad \vert \quad m = 2,3,4 \ldots \} &\delta \in [2,\infty) & \text{non-unitary} \end{array}$

The parameters $c$ and $\delta$ belong to a countable set (discrete series) exhibiting an accumulation point, followed by a continuum.

  • Is it pure coincidence that those two algebras exhibit such similar behaviour?
  • Is there some natural map from $Vir_c$ to $TL_{\delta}$, or vice-versa?
  • Is there any way of linking the values $c\in 1-\frac{6}{m(m+1)}$ and $\delta\in 2\cos(\frac\pi m)$?
  • Are there other algebras exhibiting a similar phenomenon?
share|cite|improve this question
Is it clear that this isn't the generic expected behavior for objects of this type? – Qiaochu Yuan Jul 17 '11 at 23:55
@Qiaochu: What do you mean by "objects of this type"? – André Henriques Jul 18 '11 at 0:27
Maybe Qiaochu's question is the following. As physicists, we're very used to the following phenomenon: let $V(x)$ be a potential energy function which bounded below and has finitely many local minima (I probably can relax something). Then the spectrum of the Hamiltonian $(i\hbar\frac{\partial}{\partial x}) + V(x)$ has a discrete part, roughly corresponding to valleys in the graph of $V$, and a continuous part, starting near the tops of the mountains and going higher. Here the role of $c,\delta$ is played by the energy $E$ = eigenvalue. So your remarked upon behavior is not a priori surprising. – Theo Johnson-Freyd Jul 18 '11 at 11:40
The simplest examples of what Theo is talking about is probably $V(x) = -1_{[-1,1]}(x)$ the negative characteristic function of an interval. For energy $-1< E<0$ the spectrum of the Hamiltonian is discrete for $E>0$ continuous. – Marcel Bischoff Jul 18 '11 at 12:54
@André, something like this: -- as one gets closer to the "top of the well" the energy levels are getting finer and eventually they become continuous (it depends on the precise profile whether there is a finite or infinite number of the discrete levels though). I am not sure what is the picture of but qualitatively it resembles the radial part of a Coulomb potential (as felt e.g. by an electron orbiting a nucleus). – Marek Jul 18 '11 at 16:01
up vote 12 down vote accepted

Overview of an explanation :

Jones-Wassermann subfactors for the loop algebra :
Let $\mathfrak{g} = \mathfrak{sl}_{2}$ be the Lie algebra, $L\mathfrak{g}$ its loop algebra and $\mathcal{L}\mathfrak{g} = L\mathfrak{g} \oplus \mathbb{C}\mathcal{L}$ the central extension :
$$[X^{a}_{n},X^{b}_{m}] = [X^{a},X^{b}]_{m+n} + m\delta_{ab}\delta_{m+n}\mathcal{L}$$ with $(X^{a})$ the basis of $\mathfrak{g}$. The unitary highest weight representations of $\mathcal{L}\mathfrak{g}$ are $(H_{i}^{\ell},\pi_{i}^{\ell})$ with :

  • $\mathcal{L} \Omega = \ell \Omega$ with $\ell \in \mathbb{N}$ the level, and $\Omega$ the vacuum vector.

  • $i \in \frac{1}{2}\mathbb{N}$ and $i \le \frac{\ell}{2}$, the spin (related to the irreducible representation $V_{i}$ of $\mathfrak{g}$)

Let $I \subset \mathbb{S}^{1}$ an interval, and $\mathcal{L}_{I}\mathfrak{g}$ the local Lie algebra generated by $(X^{a}_{f})$ with :

  • $f(\theta) = \sum \alpha_{n}e^{in\theta}$ and $f \in C^{\infty}_{I}(\mathbb{S}^{1})$
  • $X^{a}_{f} = \sum \alpha_{n}X^{a}_{n}$

Let $\mathcal{M}_{i}^{\ell}(I)$ be the von Neumann algebra generated by $\pi_{i}^{\ell}(\mathcal{L}_{I}\mathfrak{g})$.
We obtain the Jones-Wassermann subfactor :
$$\mathcal{M}_{i}^{\ell}(I) \subset \mathcal{M}_{i}^{\ell}(I^{c})'$$ of index $\frac{sin^{2}(p\pi/m)}{sin^{2}(\pi/m)}$ with $m=\ell + 2$ and $p=2i+1$.
Its principal graph is given by the fusion rules :
$$H_{i}^{\ell} \boxtimes H_{j}^{\ell} = \bigoplus_{k \in \langle i,j \rangle_{\ell}}H_{k}^{\ell}$$ with $\langle a,b \rangle_{n} = \{c=\vert a-b \vert, \vert a-b \vert+1,... \vert c \le a+b , a+b+c \le n \}$
Let $\mathcal{R}_{\ell}$ be the fusion ring generated.

Temperley-Lieb case (with $\ell \ge 1$) :
If $i=1/2$ then index=$\frac{sin^{2}(2\pi/(\ell+2))}{sin^{2}(\pi/(\ell+2))} = \delta^{2}$ with $\delta = 2cos(\frac{\pi}{\ell+2})$ and the principal graph is $A_{\ell+1}$.
In this case, the subfactors are known to be completely classified by their principal graph.
The subfactor planar algebra it generates is the Temperley-Lieb planar algebra $TL_{\delta}$.

Jones-Wassermann subfactors for the Virasoro algebra :
Let $\mathfrak{W}$ be the Lie algebra generated by $d_{n} = ie^{in\theta}\frac{d}{d\theta}$ and $\mathfrak{Vir} = \mathfrak{W} \oplus C \mathbb{C}$ its central extension: $$ [L_m,L_n]=(m-n)L_{m+n}+\frac{C}{12}(m^3-m)\delta_{m+n,0}, $$ Its discrete series representations are $(H_{pq}^{m})$ with :

  • $C\Omega = c_{m} \Omega$ with $c_{m}= 1-\frac{6}{m(m+1)}$ for $m=2,3,...$
  • $L_{0} \Omega = h^{pq}_{m} \Omega$ with $h^{pq}_{m} = \frac{[(m+1)p-mq]^{2}-1}{4m(m+1)}$ with $1 \le p \le m-1$ and $1 \le q \le p $

As for the loop algebra, there are $\mathfrak{Vir}_{I}$ and $\mathcal{N}_{pq}^{m}(I)$ generated by $\pi_{pq}^{m}(\mathfrak{Vir}_{I})$.
We obtain the Jones-Wassermann subfactor :
$$\mathcal{N}_{pq}^{m}(I) \subset \mathcal{N}_{pq}^{m}(I^{c})'$$ of index $\frac{sin^{2}(p\pi/m)}{sin^{2}(\pi/m)}.\frac{sin^{2}(q\pi/m)}{sin^{2}(\pi/m)}$. Its principal graph is given by the fusion rules :
$$H_{pq}^{m} \boxtimes H_{p'q'}^{m} = \bigoplus_{(i'',j'') \in \langle i,i' \rangle_{\ell} \times \langle j,j' \rangle_{\ell + 1} }H_{p''q''}^{m}$$ with $p=2i+1, q=2j+1, p'=2i'+1, ..., m=\ell+2$

Let $\mathcal{T}_{m}$ be the fusion ring they generate, it's an easy quotient of $\mathcal{R}_{\ell} \otimes_{\mathbb{Z}} \mathcal{R}_{\ell+1}$, with $\mathcal{R}_{\ell}$ the fusion ring obtained above for the loop algebra.

Temperley-Lieb case (with $m \ge 3$) :
If $(p,q) = (2,1)$, index$=\frac{sin^{2}(2\pi/m)}{sin^{2}(\pi/m)} = \delta^{2}$ with $\delta = 2cos(\frac{\pi}{m})$ and the principal graph is $A_{m-1}$.
As above, the subfactor planar algebra is Temperley-Lieb $TL_{\delta}$.

$\rightarrow$ We obtain the natural maps $c \leftrightarrow \delta$ and $\mathfrak{Vir}_{c} \leftrightarrow TL_{\delta}$ that you expected.

Generalizations for similar phenomenon :
Here is a list of possibilities :

  • take $i$ other than $1/2$ or $(p,q)$ other than $(2,1)$
  • take $\mathfrak{g}$ other than $\mathfrak{sl}_{2}$
  • take the continuous series
  • take a $N$-super-symmetric extension of $\mathfrak{Vir}$ : $N=1$ for the Neveu-Schwarz and Ramond algebras.

References :
- V.F.R. Jones, Fusion en algèbres de von Neumann et groupes de lacets (d'après A. Wassermann), Séminaire Bourbaki, Vol. 1994/95. Astérisque No. 237 (1996), Exp. No. 800, 5, 251--273.
- T. Loke, Operator algebras and conformal field theory for the discrete series representations of $\textrm{Diff}(\mathbb{S}^{1})$, thesis, Cambridge 1994.
- S. Palcoux, Neveu-Schwarz and operators algebras I : Vertex operators superalgebras, arXiv:1010.0078 (2010)
- S. Palcoux, Neveu-Schwarz and operators algebras II : Unitary series and characters, arXiv:1010.0077 (2010)
- S. Palcoux, Neveu-Schwarz and operators algebras III : Subfactors and Connes fusion, arXiv:1010.0076 (2010)
- V. Toledano Laredo, Fusion of Positive Energy Representations of LSpin(2n), thesis, Cambridge 1997, arXiv:math/0409044 (2004)
- R. W. Verrill, Positive energy representations of $L^{\sigma}SU(2r)$ and orbifold fusion. thesis, Cambridge 2001.
- A. J. Wassermann, Operator algebras and conformal field theory. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zurich, 1994), 966--979, Birkhuser, Basel, 1995.
- A. J. Wassermann, Operator algebras and conformal field theory. III. Fusion of positive energy representations of ${\rm LSU}(N)$ using bounded operators. Invent. Math. 133 (1998), no. 3, 467--538.
- A. J. Wassermann, Kac-Moody and Virasoro algebras, 1998, arXiv:1004.1287 (2010)
- A. J. Wassermann, Subfactors and Connes fusion for twisted loop groups, arXiv:1003.2292 (2010)

share|cite|improve this answer
The double angle formula is $\sin 2 \theta = 2 \sin \theta \cos \theta$, so some of your $\delta^2$s should be $\delta$s (or the other way around). – S. Carnahan Oct 13 '13 at 6:31
@S.Carnahan : thank you, I have forgotten the square to the indices, it's ok now. – Sébastien Palcoux Oct 13 '13 at 9:58

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.

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.

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).

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$).

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 < 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 $m$ with $m<b(\lambda)$, (4) $\lambda$ is not a rectangle and $c \in [0,1/a(\lambda)]$ or $c=1/m$ for a positive integer $m$ with $m \leq b(\lambda)$.

Taking the $n \rightarrow \infty$ limit of all this should be possible; I am running out of time again.

share|cite|improve this answer
Very interesting. You say that "you get a picture very similar..." Could you please describe in a little bit more detail what you get for the Cherednik algebra associated to the infinite permutation group $S_\infty$? – André Henriques Jul 18 '11 at 1:56
I edited that bit to be more conservative; I don't know what the right definition of the Cherednik algebra of $S_\infty$ is, but I do think that one gets a meaningul definition of ``unitary set associated to a limiting shape of partitions''. – Stephen Jul 18 '11 at 19:03
Don't know why the tex in the next to last paragraph is broken. Annoying. – Stephen Jul 18 '11 at 19:13
I've taken the liberty of fixing the TeX in the second-last paragraph; I hope you don't mind. – Daniel Litt Jul 18 '11 at 19:52

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).

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).

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.