¿Por qué exactamente a veces aparecen cubiertas universales y, a veces, extensiones centrales en la aplicación de un grupo de simetría a la física cuántica?

Parece que hay dos cosas diferentes que uno debe considerar al representar un grupo de simetría en la mecánica cuántica:

  • La cubierta universal: Por ejemplo, al representar el grupo de rotación S O ( 3 ) , resulta que hay que permitir también S tu ( 2 ) representaciones, ya que el signo negativo a " 2 π rotación" induce en S tu ( 2 ) es una fase general que no cambia la física. De manera equivalente, todas las representaciones del álgebra de Lie son lo que buscamos. ( s o ( 3 ) = s tu ( 2 ) , pero aunque toda representación del álgebra es una de la cobertura universal, no toda representación del álgebra es una de S O ( 3 ) .)

  • Extensiones centrales: en la teoría de campos conformes, se tiene clásicamente el álgebra de Witt de transformaciones conformes infinitesimales. Del tratamiento de cobertura universal al que uno está acostumbrado en la mayoría de los otros casos, uno no esperaría cambios en el caso cuántico, ya que solo estamos buscando la representación de un álgebra. Sin embargo, en el proceso de cuantización, aparece una "carga central" , que a menudo se interpreta como una "constante de orden" para los campos que ahora ya no conmutan, y en su lugar tenemos que considerar el álgebra de Virasoro .

La pregunta es: ¿Qué está pasando aquí? ¿Hay alguna forma de explicar tanto la aparición de cubiertas universales como de extensiones centrales de forma unificada?

Si disfrutó de esta pregunta (y especialmente de la respuesta), probablemente también disfrutará del libro sobre la teoría del campo conforme de Schottenloher (primer libro vinculado en la página), que cubre este tema y mucho más.
Esto está muy bien explicado (en mi opinión) en el primer capítulo de Weinberg QFT I.
@Peter Kravchuk: Más precisamente, la Sección 2.7 y el Apéndice 2.B.

Respuestas (1)

Sí. Tanto las cubiertas universales como las extensiones centrales incurridas durante la cuantificación provienen del mismo concepto fundamental:

Representaciones proyectivas

Si H es nuestro espacio de estados de Hilbert, entonces los distintos estados físicos no son vectores ψ H , sino rayos , ya que la multiplicación por un número complejo no cambia los valores esperados dados por la regla

A ψ = ψ | A | ψ ψ | ψ
ni las probabilidades de transición
PAGS ( | ψ | ϕ ) = | ψ | ϕ | 2 ϕ | ϕ ψ | ψ
El espacio adecuado a considerar, donde cada elemento del espacio es de hecho un estado físico distinto, es el espacio proyectivo de Hilbert
PAGS H := H /
| ψ | ϕ :⇔ C C : | ψ = C | ϕ
que es solo una forma elegante de escribir que cada rayo complejo se ha reducido a un punto. Por el teorema de Wigner , cada simetría debe tener alguna representación unitaria, no necesariamente única. ρ : GRAMO tu ( H ) . Como tiene que descender a una transformación de rayo bien definida , la acción de la simetría viene dada por un homomorfismo de grupo en el grupo unitario proyectivo GRAMO PAGS tu ( H ) , que se encuentra en una secuencia exacta
1 tu ( 1 ) tu ( H ) PAGS tu ( H ) 1
dónde tu ( 1 ) representa el "conjunto de fases" que se desdobla al pasar al espacio proyectivo. Ya es importante notar que esto significa tu ( H ) es una extensión central de PAGS tu ( H ) por tu ( 1 ) .

Clasificar todas las posibles representaciones permitidas cuánticamente de un grupo de simetría GRAMO , necesitamos entender los homomorfismos del grupo de Lie permitidos σ : GRAMO PAGS tu ( H ) . Dado que las representaciones lineales son más agradables para trabajar que estas extrañas cosas proyectivas, veremos

Clasificación de representaciones proyectivas por representaciones lineales unitarias

Para cualquier gramo GRAMO , elige un representante Σ ( gramo ) tu ( H ) para cada σ ( gramo ) PAGS tu ( H ) . Esta elección es altamente no única y es esencialmente responsable de cómo aparece la extensión central. Ahora, ya que para cualquier gramo , h GRAMO tenemos σ ( gramo ) σ ( h ) = σ ( gramo h ) , las elecciones de los representantes deben cumplir

Σ ( gramo ) Σ ( h ) = C ( gramo , h ) Σ ( gramo h )
para algunos C : GRAMO × GRAMO tu ( 1 ) . Aplicando la asociatividad a Σ ( gramo ) Σ ( h ) Σ ( k ) da el requisito de consistencia
(1) C ( gramo , h k ) C ( h , k ) = C ( gramo , h ) C ( gramo h , k )
que también se llama la identidad del cociclo . Para cualquier otra opción Σ , Debemos tener
Σ ( gramo ) = F ( gramo ) Σ ( gramo )
para algunos F : GRAMO tu ( 1 ) . Σ tiene un asociado C , y así obtenemos
C ( gramo , h ) Σ ( gramo h ) = Σ ( gramo ) Σ ( h ) = F ( gramo ) F ( h ) C ( gramo , h ) F ( gramo h ) 1 Σ ( gramo h )
lo que produce el requisito de consistencia
(2) C ( gramo , h ) F ( gramo h ) = F ( gramo ) F ( h ) C ( gramo , h )
Por lo tanto, las representaciones proyectivas se clasifican dando la elección de representantes unitarios Σ , pero los que están relacionados por ( 2 ) dan la misma representación proyectiva. Formalmente, el conjunto
H 2 ( GRAMO , tu ( 1 ) ) := { C : GRAMO × GRAMO tu ( 1 ) C  cumple  ( 1 ) } /
C C :⇔ F : ( 2 )  sostiene 
clasifica las representaciones proyectivas de GRAMO . Queremos usarlo para construir una representación unitaria de algo que clasifique la representación proyectiva:

Definir el producto semidirecto GRAMO C := GRAMO C tu ( 1 ) para cualquier representante C de un elemento en H 2 ( GRAMO , tu ( 1 ) dotando al producto Cartesion GRAMO × tu ( 1 ) con la multiplicacion

( gramo , α ) ( h , β ) := ( gramo h , α β C ( gramo , h ) )
Se puede comprobar que se trata de una extensión central, es decir, la imagen de tu ( 1 ) GRAMO C tu ( 1 ) esta en el centro de GRAMO C , y
1 tu ( 1 ) GRAMO C GRAMO 1
es exacto Para cualquier representación proyectiva σ , arreglar Σ , C y definir la representación lineal
σ C : GRAMO C tu ( H ) , ( gramo , α ) α Σ ( gramo )
Por el contrario, toda representación unitaria ρ de algunas GRAMO C da un par Σ , C por Σ ( gramo ) = α 1 ρ ( gramo , α ) .

Por lo tanto, las representaciones proyectivas están en biyección a las representaciones lineales de extensiones centrales.

En el nivel de las álgebras de Lie, tenemos tu ( H ) = pags tu ( H ) R , donde el elemento base i de R genera múltiplos de la identidad mi i ϕ yo d . Omitimos el yo d a continuación, cada vez que se suma un número real a un elemento del álgebra de Lie, se supone que se multiplica por él.

Repitiendo los argumentos anteriores para las álgebras de Lie, obtenemos que la representación proyectiva σ : GRAMO PAGS tu ( H ) induce una representación del álgebra de Lie ϕ : gramo pags tu ( H ) . Una elección de representantes Φ en tu ( H ) clasifica tal representación proyectiva junto con un elemento θ en

H 2 ( gramo , R ) := { θ : gramo × gramo R  cumple  ( 1 )  y  θ ( tu , v ) = θ ( v , tu ) } /
θ θ :⇔ ( b : gramo R ) : θ ( tu , v ) = θ ( tu , v ) + b ( [ tu , v ] )
con condición de consistencia
(1') θ ( [ tu , v ] , w ) + θ ( [ w , tu ] , v ) + θ ( [ v , w ] , tu ) = 0
que θ respeta la identidad jacobi, esencialmente.

Así, una representación proyectiva de gramo se clasifica por Φ junto con un θ H 2 ( gramo , R ) . Aquí, la extensión central está definida por gramo θ := gramo R con soporte de mentira

[ tu y , v z ] = [ tu , v ] θ ( tu , v )
y obtenemos una representación lineal de ella en tu ( H ) por
ϕ θ ( tu z ) := Φ ( tu ) + a

Nuevamente, obtenemos una biyección entre representaciones proyectivas de gramo y los de sus prolongaciones centrales gramo θ .

Coberturas universales, cargas centrales

Finalmente estamos en posición de decidir qué representaciones de GRAMO debemos permitir cuánticamente. Distinguimos tres casos:

  1. No hay extensiones centrales no triviales de cualquiera gramo o GRAMO . En este caso, todas las representaciones proyectivas de GRAMO ya están dados por las representaciones lineales de GRAMO . Este es el caso, por ejemplo, S tu ( norte ) .

  2. No hay extensiones centrales no triviales de gramo , pero hay extensiones centrales discretas de GRAMO por Z norte en vez de tu ( 1 ) . Esos evidentemente también descienden a representaciones proyectivas de GRAMO . Las extensiones centrales de los grupos de Lie por grupos discretos solo cubren grupos de ellos, porque la cobertura universal GRAMO ¯ da el grupo GRAMO como el cociente GRAMO ¯ / Γ por un subgrupo central discreto Γ isomorfo al grupo fundamental del grupo cubierto. Así conseguimos que todas las representaciones proyectivas de GRAMO vienen dadas por representaciones lineales de la cubierta universal. No se producen cargos centrales. Este es el caso, por ejemplo, S O ( norte ) .

  3. Hay extensiones centrales no triviales de gramo , y en consecuencia también de GRAMO . Si el elemento θ H 2 ( gramo , R ) no es cero, hay una carga central - el generador de la R en gramo θ , o de manera equivalente la carga conservada perteneciente al subgrupo central tu ( 1 ) GRAMO C . Esto sucede para el álgebra de Witt, donde no equivalente θ ( L metro , L norte ) = C 12 ( metro 3 metro ) d metro , norte se clasifican por numeros reales C R .

Una pregunta sobre su elección de idioma: cuando dice altamente no único para describir la elección σ Σ , ¿está enfatizando la elección en general no contable en contraste con la elección en la mayoría contable que surge para las cubiertas de un grupo de Lie de dimensión finita (cuya álgebra, por supuesto, no tiene una carga central)?
@WetSavannaAnimalakaRodVance: Digo "altamente" porque el Σ junto con su C representa una clase de cohomología (la notación H 2 no es un accidente, aunque no expliqué la conexión). Tiendo a imaginar clases de (co) homología como "muy grandes" (por ejemplo, en el caso singular, los grupos de cadena son absurdamente grandes), pero no tenía en mente una cardinalidad específica para ello.
¡Esta es una respuesta genial! ¿Existe quizás un libro de física que trate la extensión central del álgebra de De Witt a Virasoro de esta manera? (Tuve la mala suerte de que me enseñaran a creer que la extensión central era solo ad hoc, y nunca me dijeron sobre la conexión con las representaciones proyectivas).
@Kvothe Sí, mire Schottenloher y Weinberg recomendados en los comentarios a la pregunta