Álgebra de Virasoro

El álgebra de Virasoro es una forma de álgebra de Lie compleja, dada como extensión central del campo vectorial de los polinomios complejos sobre la circunferencia unitaria; esta álgebra toma su nombre del físico argentino Miguel Ángel Virasoro (n. 1940).

Las álgebras de Virasoro han sido ampliamente usadas en teoría de cuerdas.

El álgebra de Virasoro es una cobertura lineal de los elementos:

${displaystyle L_{i}}$ para ${displaystyle iin mathbf {Z} }$,

con:

${displaystyle L_{n}+L_{-n}}$

etc, que son todos elementos reales. Cada uno es un elemento central, una carga central. El álgebra de Virasoro satisface las siguientes dos propiedades:

${displaystyle [c,L_{n}]=0,qquad { ext{y}} quad [L_{m},L_{n}]=(m-n)L_{m+n}+c{frac {1}{12}}(m^{3}-m)delta _{m+n}}$

con:

se observa entonces que la relación:

${displaystyle [L_{m},L_{n}]=(m-n)L_{m+n}+{frac {c}{12}}(m^{3}-m)delta _{m+n}}$

puede ser expresada en términos del símbolo de Kronecker ${displaystyle delta _{m+n,0}}$:

${displaystyle [L_{m},L_{n}]=(m-n)L_{m+n}+{frac {c}{12}}(m^{3}-m)delta _{m+n,0}}$

El álgebra de Virasoro es desarrollada por los elementos

${displaystyle L_{i}}$ para ${displaystyle iin mathbf {Z} }$

y el elemento c. Entonces se tiene que

${displaystyle L_{n}+L_{-n}}$

y c son elementos reales. c es el elemento central y se lo denomina carga central. El álgebra definida a través de conmutadores satisface:

${displaystyle [c,L_{n}]=0}$, y ${displaystyle [L_{m},L_{n}]=(m-n)L_{m+n}+{frac {c}{12}}(m^{3}-m)delta _{m,-n},}$

donde el factor ${displaystyle 1/12}$ es una convención. El álgebra de Virasoro es la extensión central del Álgebra de Witt de campos vectoriales polinómicos complejos en el círculo.

El tensor de energía-momento de la teoría de cuerdas obedece el álgebra de Virasoro, ya que comprende los generadores del grupo conforme de la hoja de universo. Más precisamente, obedece las relaciones de conmutación de dos copias del álgebra de Virasoro. Esto se debe a que el grupo conforme se descompone en difeomorfismos separados del cono de luz futuro y pasado. La invariancia ante difeomorfismos de la hoja de universo implica adicionalmente que el tensor de energía momento se hace nulo. Esto se conoce como la "condición de Virasoro" o "restricción de Virasoro", y en la versión cuántica de la teoría, esta restricción solo puede aplicarse a los estados físicos de la teoría (acorde a la cuantificación Gupta-Bleuler).

Existen dos extensiones supersimétricas (con N = 1) del álgebra de Virasoro, llamadas respectivamente: álgebra de Neveu-Schwarz y álgebra de Ramond. En efecto, estas dos teorías son similares a aquella del álgebra de Virasoro.

El álgebra de Virasoro es una extensión central del álgebra de Lie meromórfa de campos vectoriales sobre una superficie de Riemann de género 0 que es holomorfa excepto en dos puntos fijos. I.V. Krichever, y S.P. Novikov (año 1987) encontraron una extensión central del álgebra de Lie meromórfa de campos vectoriales sobre una superficie de Riemann compacta de género mayor que es holomórfa excepto en dos puntos fijos, y M. Schlichenmaier (año 1993) extendió este el caso de más de dos puntos.
El álgebra de Virasoro también tiene álgebra vértex (o vértice algebraica) y álgebra conformada de homólogos, que provienen básicamente de la organización de todos los elementos de la base en la generación de series y de trabajar con objetos individuales. No es sorprendente que reciban el nombre de vértex de Virasoro y álgebras de conformación Virasoro, respectivamente.

Una representación de menor peso del álgebra de Virasoro es una representación generada por un vector v que es anulado por ${displaystyle L_{i}}$ para ${displaystyle igeq 1}$, y es un vector propio de ${displaystyle L0}$ y ${displaystyle c}$. Las letras ${displaystyle h}$ y ${displaystyle c}$ se utilizan generalmente para los valores propios de ${displaystyle L_{0}}$ y ${displaystyle c}$ en ${displaystyle v}$. (La misma letra ${displaystyle c}$ se utiliza para el elemento ${displaystyle c}$ del álgebra de Virasoro y su valor propio.) Para cada par de números complejos ${displaystyle h}$ y ${displaystyle c}$ hay una única irreductible representación de más bajo de peso con estos valores propios.
Una representación de más bajo peso se llama unitaria si tiene un efecto positivo del producto interno definido de tal manera que el adjunto de ${displaystyle Ln}$ es ${displaystyle L-n}$. La irreductible representación más baja de peso con valores propios h y c es unitaria si y sólo si c≥1 y h≥0, ó c es uno de los valores:

${displaystyle c=1-{6 over m(m+1)}=0,quad 1/2,quad 7/10,quad 4/5,quad 6/7,quad 25/28,ldots }$

La primera serie discreta de pocas representaciones están dadas por:

Las representaciones de más bajo peso que no son irreductibles se puede leer en la fórmula determinante de Kac, que establece que el factor determinante del producto interno invariante en el grado h + N está dado por pieza del módulo de menor peso, con valores propios c y h

${displaystyle A_{N}prod _{1leq r,sleq N}(h-h_{r,s}(c))^{p(N-rs)}}$

... Esto fue declarado por V. Kac (1978), (véase también Kac y Raina, 1987) y cuya primera prueba publicada fue dada por Feigin y Fuks (1984). (La función p(N) es la función de partición, y A_N es una constante) la máxima representación reducible de peso son las representaciones con h y c dado en términos de m, c y h por las fórmulas anteriores, excepto que m no se limita a ser un número entero ≥ 2 y puede ser cualquier número distinto de 0 y 1, y r y s pueden ser de cualquier número entero positivo. Este resultado fue utilizado por Feigin y Fuks para encontrar a los caracteres de todas las representaciones de peso más irreductible.

El álgebra de Witt (que suele ser definida como el álgebra de Virasoro sin la extensión de central) fue descubierta por É. Cartan en el año 1909. Sus análogos en los campos finitos fueron estudiados por Ernst Witt alrededor de la década de 1930. La extensión del centro del álgebra de Witt que da el álgebra de Virasoro fue encontrada por primera vez (en la característica p > 0) por R.E. Block (año 1966, página 381) e independientemente redescubierta (en la característica 0) por I.M. Gelfand y D.B. Fuchs (año 1968). Virasoro (año 1970) escribió algunos operadores de la generación del álgebra Virasoso mientras estudiaba los modelos de doble resonancia, aunque no encontró en esas fechas la extensión central. La extensión de central fue redescubierta en física, poco después por J.H.Weis, según Brower y Thorn (año 1971, nota a pie de página 167).

---