Anyons permitidos para Chern-Simons en el nivel kkk

Ref.1. prueba que las representaciones permitidas de Chern-Simons S tu ( 2 ) k son los que tienen dimensión

(7.53) oscuro ( R ) k + 1

Pregunta: ¿Es la generalización de ( 7.53 ) a arbitrario norte ¿conocido? ¿Qué pasa con los grupos de Lie arbitrarios (semisimples)? GRAMO ?

Además, el autor también prueba que las reglas de fusión para S tu ( 2 ) k son

(7.54) R j 1 × R j 2 = j 3 = | j 1 j 2 | b ( j 1 , j 2 ) R j 3
con b ( j 1 , j 2 ) = min ( j 1 + j 2 , k j 1 j 2 ) .

Pregunta: ¿Es la generalización de ( 7.54 ) a arbitrario norte ¿conocido? es decir, ¿dónde truncamos la descomposición de Littlewood-Richardson de R 1 × R 2 R mi pag ( S tu ( norte ) ) 2 ? Como antes, ¿qué pasa con otros grupos de Lie? GRAMO ?

Referencias.

  1. Pachos, JK - Introducción a la Computación Cuántica Topológica.

Respuestas (1)

Estas representaciones se denominan representaciones integrables. En el caso de un grupo de Lie semisimple compacto general, una representación de peso más alto desciende de un peso más alto:

λ = i norte i w i , i = 1 , . . . , r
Dónde r es el rango, w i son los pesos fundamentales y norte i Z + . La representación anterior es integrable para un nivel k si por todo i
0 norte i k
Las razones de esta condición pueden entenderse cualitativamente de la siguiente manera: La restricción de la ley de Gauss de la teoría de Chern-Simons sobre el disco en presencia de un bucle infinitesimal de Wilson en X 0 correspondiente a la representación λ es dado por:
k 2 π F 12 a = i T ( λ ) a d 2 ( X X 0 )
Ecuación de Witten 3.4. (Witten explica este tema con palabras en los siguientes párrafos)

Dónde T ( λ ) a es un generador del álgebra de Lie en la representación λ , que siempre se puede diagonalizar como:

T ( λ ) a = gramo H ( λ ) gramo 1
Dónde H ( λ ) está en la subálgebra de Cartan.

La holonomía de la conexión que resuelve la ley de Gauss tiene la forma:

tu = mi 2 π i k gramo H ( λ ) gramo 1 ϕ
Dónde ϕ es el ángulo de rotación alrededor del punto de inserción.

Dado que los elementos de la matriz (diagonal) de H ( λ ) son menores o iguales a los componentes de mayor peso, por lo tanto debido al prefactor 2 π k , un cambio por múltiplos enteros de k no cambia la holonomía. Estas representaciones se denominan integrables, porque el nivel k Las álgebras de Kac-Moody que se basan en ellas generan representaciones de los correspondientes grupos de Kac-Moody. Consulte Goddard y Olive .

Esto es bueno, gracias. ¿Existe alguna relación entre las representaciones integrables y los grupos cuánticos?
Las representaciones integrables son aquellas representaciones que pueden ser promovidas a representaciones grupales. Por ejemplo la representación j = 3 4 de S tu ( 2 ) no es integrable. Estas representaciones tienen (al menos) dos caracterizaciones: (1) los operadores de bajada y subida son nilpotentes, por lo que después de un número finito de aplicaciones el resultado se vuelve cero, (2) tienen un carácter grupal. En el caso de los grupos cuánticos, creo que se trata de una representación integrable que posee las dos características mencionadas.