For those who aren't familiar with the [Virasoro][1] or [Temperley-Lieb][2] algebras, I include some definitions:
• The (universal envelopping algebra of the) Virasoro algebra is the *-algebra Virc generated by elements Ln, (n∈ℤ), 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 Ln* = L-n.
• The Temperley-Lieb algebra is the *-algebra TLδ with generators Ui, (i∈ℤ), 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 Ui* = Ui.
Both Virc and TLδ depend on a parameter.
These are the numbers c and δ ∈ ℝ.
Let's call a representation ρ of a \*-algebra on a Hilbert space unitary if ρ(x\*) = ρ(x)\*. We are interested in the unitary representations of Virc and TLδ. Depending on the value of the parameters c and δ, three things can happen:
Now here's the striking thing:
$$\matrix{ & Case\quad 1. & Case\quad 2. & Case\quad 3. \\\ Vir_c\qquad & \quad c\in[1,\infty) & c\in 1-\frac{6}{m(m+1)} for\\,\\,\\,\\, m = 2,3,4,5,\ldots\quad & All\quad the \quad rest \\\ TL_\delta\qquad & \delta\in[2,\infty) & \delta\in 2\cos\big(\frac\pi n\big)\quad for\quad n = 3,4,5,6,\ldots & All\quad the \quad rest}$$
Namely, both Virc and TLδ 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.
Is it pure coincidence that those two algebras exhibit such similar behaviour?