Idea de grupo de cobertura

  1. S tu ( 2 ) es el grupo de cobertura de S O ( 3 ) . ¿Qué significa y tiene una consecuencia física?

  2. Escuché que este hecho está relacionado con la descripción de bosones y fermiones. Pero, ¿cómo se sigue del hecho de que S tu ( 2 ) es la doble portada de S O ( 3 ) ?

Respuestas (3)

Genial, importante pregunta. Aquí está la lógica básica:

  1. Comenzamos con el teorema de Wigner, que nos dice que una transformación de simetría en un sistema cuántico se puede escribir, hasta la fase, como un operador unitario o antiunitario en el espacio de Hilbert. H del sistema.

  2. De ello se deduce que si queremos representar un grupo de Lie GRAMO de simetrías de un sistema mediante transformaciones en el espacio de Hilbert, entonces debemos hacerlo con una representación proyectiva unitaria del grupo de Lie GRAMO . La parte proyectiva proviene del hecho de que las transformaciones son unitarias o antiunitarias "hasta la fase", es decir, representamos tales simetrías con un mapeo tu : GRAMO tu ( H ) tal que para cada gramo 1 , gramo 2 GRAMO , existe una fase C ( gramo 1 , gramo 2 ) tal que

    tu ( gramo 1 gramo 2 ) = C ( gramo 1 , gramo 2 ) tu ( gramo 1 ) tu ( gramo 2 )
    dónde tu ( H ) es el grupo de operadores unitarios en H . En otras palabras, una representación unitaria proyectiva es solo una representación unitaria ordinaria con un factor de fase adicional que evita que sea un homomorfismo honesto.

  3. Trabajar con representaciones proyectivas no es tan fácil como trabajar con representaciones ordinarias, ya que tienen el molesto factor de fase C , por lo que tratamos de buscar formas de evitarlos. En algunos casos, esto se puede lograr observando que las representaciones proyectivas de un grupo GRAMO son equivalentes a las representaciones ordinarias de GRAMO su grupo de cobertura universal , y en este caso, por lo tanto, elegimos examinar las representaciones de la cobertura universal en su lugar.

  4. En el caso de S O ( 3 ) , el grupo de rotaciones, notamos que su cubierta universal, que a menudo se llama S pags i norte ( 3 ) , es isomorfo a S tu ( 2 ) , y que las representaciones proyectivas de S O ( 3 ) coincidir con las representaciones ordinarias de S tu ( 2 ) , por lo que elegimos examinar las representaciones ordinarias de S tu ( 2 ) ya que es más conveniente.

Todo esto es muy importante físicamente. Si sólo hubiéramos considerado las representaciones ordinarias de S O ( 3 ) , entonces nos habríamos perdido las representaciones de "espín medio entero", es decir, aquellas que surgen cuando se consideran rotaciones en sistemas fermiónicos. Entonces, debemos tener cuidado de considerar representaciones proyectivas, y esto naturalmente lleva a buscar la cobertura universal.

Nota : Lo mismo sucede con el grupo de Lorentz en las teorías cuánticas relativistas. Consideramos representaciones proyectivas de S O ( 3 , 1 ) porque Wigner dice que debemos hacerlo, y esto naturalmente nos lleva a considerar su cubierta universal S L ( 2 , C ) .

Entiendo que necesitamos usar S tu ( 2 ) para girar debido al hecho de que el S tu ( 2 ) tiene una periodicidad de 4 π . Pero, ¿qué saldría mal si, digamos, exigiéramos una S O ( 3 ) simetría para las interacciones débiles en lugar de una S tu ( 2 ) ¿simetría? ¿Está esto nuevamente relacionado con la diferencia entre 2 π y 4 π ¿periodicidad?
@Hunter No sé la respuesta a su pregunta, pero tampoco entiendo bien la pregunta. En particular, ¿podría explicar a qué se refiere cuando dice que S tu ( 2 ) tiene una periodicidad de 4 π ? ¿Se refiere a una propiedad de ciertas representaciones proyectivas de S tu ( 2 ) ?
Me han enseñado que hay una razón diferente para usar S tu ( 2 ) ; básicamente, por j = 1 / 2 (dónde j denota el mayor valor propio del generador j 3 ) podemos demostrar fácilmente que tu S tu ( 2 ) corresponde a:
tu ( θ norte ^ ) = mi 1 2 i θ norte ^ σ σ = porque θ 2 + i norte ^ σ σ pecado θ 2
dónde σ σ = ( σ 1 , σ 2 , σ 3 ) son las matrices de Pauli. (Y por lo tanto S tu ( 2 ) tiene una periodicidad de 4 π .)
Además, los generadores de S tu ( 2 ) (es decir, las matrices de Pauli) están relacionadas con un operador que corresponde a un observable que describe el giro de un giro- 1 / 2 partícula. Por lo tanto, podemos concluir que el espín está descrito por S tu ( 2 ) y el espín tiene una periodicidad de 4 π (porque tu S tu ( 2 ) tiene una periodicidad de 4 π ). Por supuesto, lo anterior puede generalizarse para j = 1 / 2 , 1 , 3 / 2 , .
@Hunter Ah, ya veo. Bueno, en ese caso señalaría que su afirmación "los generadores de S tu ( 2 ) están relacionados con un operador que corresponde a un observable que describe el espín..." suele justificarse por el hecho de que el momento angular de un sistema se define como el generador de "rotaciones de ese sistema", donde las rotaciones de un sistema son a su vez definido como una representación proyectiva de S O ( 3 ) en el sistema De lo contrario, ¿cómo sabes que las matrices de Pauli tienen algo que ver con el "momento angular"?
Esa es una buena pregunta en la que no había pensado desde la primera vez que aprendí sobre el giro. Aprendí la mayor parte de estas cosas siguiendo el libro de Griffiths antes de que nos enseñaran el lenguaje matemático de la teoría de grupos. En nuestra clase primero encontramos las relaciones de conmutación del momento angular orbital [ L i , L j ] = i ϵ i j k L k .
Luego usamos el método de operadores de escalera para analizarlo, y posteriormente usando armónicos esféricos encontramos que metro no puede tomar valores semienteros. Después de eso, estudiamos el momento angular intrínseco (es decir, el giro) y tomamos las relaciones de conmutación del momento angular como postulado y encontramos que concuerda con los experimentos; para el espín se nos permite tener en cuenta valores semienteros de metro . Ahora que aprendí la teoría de grupos, y con el mensaje que escribiste arriba,
tiene mucho más sentido que tomemos las relaciones de conmutación (es decir, el álgebra de Lie) del momento angular orbital como un postulado. Gracias; es muy útil/perspicaz a veces verme obligado a volver a cosas que aprendí hace un tiempo y repensar algunos de los resultados en un lenguaje matemático más maduro (si entiendes lo que quiero decir).
@Hunter Sí, estoy de acuerdo en que uno podría comenzar de manera equivalente con el álgebra de Lie como punto de partida (motivado por el momento angular orbital), especialmente porque en la mecánica cuántica uno se preocupa principalmente por las alebras de observables. En última instancia, siento que tener ambos puntos de vista en mente conduce a una comprensión más rica.
@Hunter Además, casi lo olvido. Cuando describiste lo que quieres decir cuando dices eso S tu ( 2 ) tiene periodicidad 4 π , creo que sería matemáticamente más preciso y menos engañoso decir que la representación proyectiva particular de S tu ( 2 ) que consideras tiene "periodicidad" 4 π .
@joshphysics: No puedo reconciliar estos hechos. SU(2) es homeomorfo a la 3 esfera que es conexa simple, y tiene el 0 a 2 π camino se puede reducir a un punto, entonces, ¿cómo funciona la acción por S tu ( 2 ) tener periodicidad 4 π en el contexto mencionado por Hunter arriba. En segundo lugar, SO(3) es homeomorfo a S 3 Z 2 que no es simplemente conexo y tiene la 0 a 4 π ruta como el bucle trivial, o mapa de identidad. ¿Cómo es esto consistente con el hecho de que la acción por S O ( 3 ) (rotaciones en el espacio 3D) tienen período 2 π ?
@joshphysics: Lo siento, probablemente debería usar la palabra difeomorfo en lugar de homeomorfo en mi comentario anterior.
@ramanujan_dirac No entiendo muy bien tus objeciones. Hunter se refiere a una representación proyectiva particular de S tu ( 2 ) . ¿Puedes explicar por qué crees que el difeomorfismo al que te refieres es inconsistente con la existencia de tal representación?
@joshphysics ¿Puede sugerir cómo encontramos el posible valor de C ( gramo 1 , gramo 2 ) para la representación proyectiva de S O ( 3 ) ?
Vaya, gran explicación. +1
Dado que deberíamos ser capaces de hacer todo en términos de S O ( 3 ) usando representaciones proyectivas, ¿conoces algún trabajo que resuelva esto? Sería interesante ver algo de QFT en este idioma. ¿Cómo son las representaciones proyectivas "similares a fermiones"? ¿Es una mera molestia resolver el resto de QFT en este idioma o existen obstáculos reales?

Después de las respuestas de joshphysics y user37496, me parece que queda una última observación.

En mi opinión, la relevancia cuántica del grupo de Lie que cubre universalmente se debe (también) a un teorema fundamental de Nelson. Ese teorema relaciona álgebras de Lie de operadores simétricos con representaciones unitarias de un determinado grupo de Lie generado por esos operadores. El grupo de Lie involucrado, en esta discusión, es siempre una cobertura universal.

En las teorías cuánticas, a menudo se encuentran un conjunto de operadores { A i } i = 1 , , norte en un espacio común de Hilbert H tal que:

(1) Son simétricos (es decir, definidos en un dominio denso D ( A i ) H dónde A ψ | ϕ = ψ | A ϕ )

y

(2) disfrutan de las relaciones de conmutación de algún álgebra de Lie :

[ A i , A j ] = k = 1 norte i C i j k A k
en un dominio invariante común D H .

Como es sabido, dada un álgebra de Lie abstracta hay (hasta los isomorfismos del grupo de Lie) un único grupo de Lie simplemente conectado GRAMO tal que su álgebra de Lie coincida con . GRAMO resulta ser la cobertura universal de todos los demás grupos de Lie cuyo álgebra de Lie es sí mismo.

Todos esos grupos, en una vecindad de la identidad son isomorfos a una vecindad correspondiente de la identidad de GRAMO . (Como ejemplo, solo considere el simplemente conectado S tu ( 2 ) esa es la cubierta universal de S O ( 3 ) ) de modo que comparten el mismo álgebra de Lie y son localmente idénticos y las diferencias surgen lejos del elemento neutro.

Si (1) y (2) se cumplen, la pregunta natural es:

¿Existe una representación unitaria fuertemente continua? GRAMO gramo tu gramo de algún grupo de mentiras GRAMO solo admitiendo como su álgebra de Lie, tal que

tu gramo i ( t ) = mi i t A i ¯ ? ( 3 )

Dónde t gramo i ( t ) es el subgrupo de Lie de un parámetro de GRAMO generado por (el elemento a i de correspondiente a) A i y A i ¯ es una extensión autoadjunta de A i .

Si es el caso, GRAMO es un grupo de simetría continua para el sistema físico considerado, los operadores autoadjuntos A i ¯ representan observables físicamente relevantes. Si la evolución temporal se incluye en el centro del grupo (es decir, el hamiltoniano es una combinación lineal del A i s y conmuta con cada uno de ellos) todos estos observables son cantidades conservadas . De lo contrario, la situación es un poco más complicada, sin embargo, se pueden definir cantidades conservadas paramétricamente en función del tiempo y pertenecientes al álgebra de Lie de la representación (piense en los generadores de impulso cuando GRAMO es S L ( 2 , C ) ).

Bueno, el teorema fundamental de Nelson tiene el siguiente enunciado.

TEOREMA (Nelson)

Considere un conjunto de operadores { A i } i = 1 , , norte en un espacio común de Hilbert H satisfaciendo (1) y (2) arriba. Si D en (2) es un subespacio denso tal que el operador simétrico

Δ := i = 1 norte A i 2
es esencialmente autoadjunto en D (es decir, su adjunto es auto-adjunto o, de manera equivalente, Δ admite una extensión autoadjunta única, o de manera equivalente su cierre Δ ¯ es autoadjunto), entonces:

(a) Cada A i es esencialmente autoadjunto en D ,

y

(b) existe una representación unitaria fuertemente continua en H del único grupo de mentira simplemente conectado GRAMO admitiendo como álgebra de Lie, completamente definida por los requisitos:

tu gramo i ( t ) = mi i t A i ¯ ,
dónde t gramo i ( t ) es el subgrupo de Lie de un parámetro de GRAMO generado por (el elemento a i de correspondiente a) A i y A i ¯ es la única extensión autoadjunta de A i coincidiendo con A i y con el cierre de A i .

Nótese que la representación es automáticamente unitaria y no unitaria proyectiva: No aparecen fases molestas.

El ejemplo más simple es el de los operadores. j X , j y , j z . Es fácil probar que j 2 es esencialmente autoadjunto en el conjunto generado por vectores | j , metro , norte . El punto es que uno obtiene de esta manera representaciones unitarias de S tu ( 2 ) y no S O ( 3 ) , ya que el primero es el único grupo de Lie simplemente conexo que admite el álgebra de j k como su propio álgebra de Lie.

Como otra aplicación, considere X y PAGS definido en S ( R ) como siempre. Los tres operadores simétricos yo , X , PAGS disfruta del álgebra de Lie del grupo de Lie de Weyl-Heisenberg. Es más Δ = X 2 + PAGS 2 + yo 2 es esencialmente auto adjunto en S ( R ) , porque admite un conjunto denso de vectores analíticos (las combinaciones lineales finitas de estados propios del oscilador armónico estándar). Por lo tanto, estos operadores admiten extensiones autoadjuntas únicas y son generadores de una representación unitaria del grupo de Lie de Weyl-Heisenberg (simplemente conectado). Este ejemplo vale también reemplazando L 2 con otro espacio genérico de Hilbert H y X , PAGS con operadores verificando CCR en un dominio invariante denso donde X 2 + PAGS 2 (y por tanto también X 2 + PAGS 2 + yo 2 ) es esencialmente autoadjunto. Es posible probar que la existencia del representante unitario del grupo de Lie de Weyl-Heisenberg, si el espacio es irreducible, establece la existencia de un operador unitario a partir de H a L 2 transformando X y PAGS en los operadores estándar. Siguiendo este camino, se construye una prueba alternativa del teorema de Stone-von Neumann.

Como último comentario, recalco que normalmente GRAMO no es el grupo actuando en el espacio físico y este hecho puede crear algún problema: Piensa en S O ( 3 ) ese es el grupo de rotaciones que a uno le gustaría representar a nivel cuántico, mientras que termina con una representación unitaria de S tu ( 2 ) S O ( 3 ) . Por lo general, nada demasiado terrible surge de esta manera, ya que la única consecuencia es la aparición de fases molestas como explica Josh, y las fases en general no afectan los estados. Sin embargo, a veces se produce algún desastre: por ejemplo, un sistema físico no puede asumir estados cuánticos que sean superposiciones coherentes de espín entero y semientero . De lo contrario , se produciría una fase interna después de una 2 π rotación. Lo que se hace en estos casos es justamente prohibir estas desafortunadas superposiciones. Esta es una de las formas posibles de realizar reglas de superselección .

+1: ¡Muy esclarecedor! Nunca había oído hablar del teorema de Nelson; por eso necesitamos más físicos matemáticos en física.SE.
Existe un teorema debido a Wigner que establece que toda rep unitaria proyectiva continua. de un grupo de Lie siempre puede verse como una representación unitaria continua adecuada de una extensión central del grupo (tal vez de su cobertura universal no lo recuerdo ahora), dotada de una cierta topología natural y estructura diferenciable que hace de la extensión central un grupo de Lie también. El grupo de Galileo sólo puede ser tratado de esta manera y sus extensiones centrales encarnan la masa del sistema físico. Todo lo que finalmente da lugar a la llamada regla de superselección de Bargamann.
Wow aún más gran información! Sigo aprendiendo más y más de cada cosa sucesiva que escribe V. Moretti. Gracias.

Me gustaría agregar a la respuesta de Josh, porque realmente no explicó qué es un grupo de cobertura universal. Esencialmente, un espacio T es un espacio que cubre otro espacio tu si, para un subconjunto abierto de tu , hay una función F que mapea una unión de subconjuntos abiertos disjuntos de T al subconjunto de tu . O, dicho de forma más sencilla, elige una parte de tu espacio tu , y te encontraré un número de diferentes piezas de T que tienen una función mapeándolos en la pieza de tu . En el caso de T = S pags i norte ( 3 ) y tu = S O ( 3 ) , hay dos subconjuntos disjuntos de S pags i norte ( 3 ) para cada subconjunto de S O ( 3 ) , entonces decimos que S pags i norte ( 3 ) S tu ( 2 ) es la doble portada de S O ( 3 ) .

Ahora, la forma en que esto se relaciona con los bosones y fermiones es donde entra la respuesta de Josh. Queremos que los estados físicos vivan en espacios vectoriales que lleven representaciones (proyectivas) de nuestros grupos de simetría. La parte "proyectiva" significa que nuestros estados pueden tomar una fase cuando se transforman en otros estados, por ejemplo, si gira un estado de giro 1/2 360 , el estado recoge un signo menos. Resulta que, al menos en el caso de S O ( 3 ) , podemos eliminar la necesidad de la parte "proyectiva" de esto, y por lo tanto esos molestos signos menos, considerando en su lugar representaciones del espacio que cubre.