¿Cuál es el significado físico de la doble conectividad de la variedad de grupo SO(3)SO(3)\rm SO(3)?

¿Hay algún significado físico del hecho de que la variedad de grupo (espacio de parámetros) de S O ( 3 ) es doblemente conectado?

Existen dos clases de equivalencia de caminos en la variedad de grupo de SO(3) o en otras palabras, Π 1 ( S O ( 3 ) ) = Z 2 . Este espacio está, por tanto, doblemente conectado. Hay caminos que vuelven a las configuraciones iniciales después de una rotación de 2 π y otros después de una rotación de 4 π , con la adecuada parametrización de los ángulos.

Usando este hecho , ¿es posible mostrar que tal topología admite la existencia de espines semienteros y espines enteros? Entiendo los espinores como objetos cuyas funciones de onda toman un signo negativo después de una rotación de 2 π , y vuelve a sí mismo después de una rotación de 4 π . ¿Derecha? Pero a partir del argumento topológico dado anteriormente, no me queda claro cómo conduce a dos tipos de funciones de onda , tipo espinor ( j = 1 2 , 3 2 , 5 2 . . . ) y tipo tensor j = 0 , 1 , 2 , . . . ?

No está explícitamente claro cómo estos dos tipos de rutas en la variedad de grupo SO (3) conducirán a tales propiedades de transformación en "las funciones de onda" .

http://en.wikipedia.org/wiki/SO%283%29#Topología .

¿No hiciste la pregunta la semana pasada?
@IsidoreSeville- No.
Comentario a la pregunta (v1): Quieres decir aparte del hecho de que el grupo Lie S O ( 3 ) no tiene irreps de dimensión uniforme (= giro medio entero)?
Las excelentes preguntas de @IsidoreSeville Roopam Sinha y sus excelentes respuestas han establecido que hay giros enteros y semienteros y nada más , esencialmente y en última instancia porque un espacio topológico simplemente conectado no tiene cubiertas no triviales (es decir, no es homeomorfo al espacio original) (ver la prueba en Massey, "Topología algebraica", por ejemplo). Así que ahora está buscando ayuda para comprender el teorema de las estadísticas de espín, que es un próximo paso bastante distinto de ese hecho y este no es un teorema que siento (como no especialista en QFT) que entiendo lo suficientemente bien como para responder.
Estimado @RoopamSinha: ¿Puedo sugerirle que elimine su última oración y la haga como una excelente pregunta separada? Intuitivamente implica que cualquiera de los giros puede ser cualquier número racional: puede tener un irrep donde sea necesario norte vuelta completa para obtener un 2 π fase, de modo que cada vuelta completa suma 2 π / norte fase. De ahí se puede ver que cualquier fase de la forma metro / norte es posible.
@WetSavannaAnimalakaRodVance Bueno, para ser honesto, todavía no siento que entiendo lo que pretende preguntar. El título de la pregunta también es engañoso, al menos no coincide con la "EDICIÓN" (la publicación anterior a la edición contenía solo una línea). Además, si tiene la intención de solicitar una perspectiva topológica sobre el teorema de la estadística de espín, creo que puedo proporcionar una respuesta o alguna referencia útil, pero esto debería haberse indicado claramente en la publicación. Esto no es solo por el bien de OP sino también por otros usuarios de este sitio web.
@IsidoreSeville Estoy de acuerdo en que sería prudente esperar hasta que OP haya leído las otras respuestas en los enlaces proporcionados y luego refine su pregunta para que no desperdicie su trabajo. Sin embargo, si, como usted dice, hay una perspectiva topológica sobre las estadísticas de espín, ¡entonces haría la pregunta para ver su respuesta!
Estimado WetSavannaAnimal, también conocido como Rod Vance: "...*he establecido que hay giros enteros y semienteros*..." Yo tampoco he entendido bien este hecho. Así que reedité mis preguntas. ¿Cómo se relaciona este hecho topológico con los dos tipos de representaciones de SO(3), una clase etiquetada por valores j semienteros y otra clase etiquetada por valores j integrales? Este es el primer problema en el que estoy atascado.

Respuestas (1)

Sólo a la vista de la doble cobertura universal proporcionada por S tu ( 2 ) , S O ( 3 ) debe ser un cociente de S tu ( 2 ) con respecto a un subgrupo normal discreto central con dos elementos. Esto es consecuencia de una propiedad general de los grupos de Lie de cobertura universal:

Si π : GRAMO ~ GRAMO es el homomorfismo del grupo de Lie que cubre universal, el núcleo H de π es un subgrupo central normal discreto del recubrimiento universal GRAMO ~ de GRAMO = GRAMO ~ / H , y H es isomorfo al grupo fundamental de GRAMO , es decir π 1 ( GRAMO ) (que, para los grupos de Lie, es abeliano) .

Un elemento de ese subgrupo debe ser yo (ya que un grupo incluye el elemento neutro). El otro, j , debe verificar j j = yo y por lo tanto j = j 1 = j . Por inspección directa se ve que en S tu ( 2 ) solo es posible para j = yo . Asi que S O ( 3 ) = S tu ( 2 ) / { yo , yo } .

Darse cuenta de { yo , yo } = { mi i 4 π norte σ / 2 , mi i 2 π norte σ / 2 } queda en el centro de S tu ( 2 ) , a saber, los elementos de este subgrupo conmutan con todos los elementos de S tu ( 2 ) . Es más { yo , yo } =: Z 2 es sólo el primer grupo de homotopía de S O ( 3 ) como debe ser en vista de la declaración general que cité anteriormente.

Una representación unitaria de S O ( 3 ) es también una representación de S tu ( 2 ) a través de la proyección del homomorfismo del grupo de Lie π : S tu ( 2 ) S tu ( 2 ) / { yo , yo } = S O ( 3 ) . Entonces, estudiando repeticiones unitarias de S tu ( 2 ) cubre toda la clase de representantes unitarios de S O ( 3 ) . Estudiemos esas repeticiones.

Considere una representación unitaria tu de S tu ( 2 ) en el espacio de Hilbert H . El subgrupo central { yo , yo } debe estar representado por tu ( yo ) = yo H y tu ( yo ) = j H , pero j H j H = yo H pues, como antes, j H = j H 1 = j H .

Como j H es unitaria y autoadjunta simultáneamente, su espectro debe incluirse en R { λ C | | λ | = 1 } . Entonces (a) está hecho de ± 1 a lo sumo y (b) el espectro es un espectro puntual puro y, por lo tanto, solo surgen características propias adecuadas en su descomposición espectral.

Si 1 no está presente en el espectro, el único valor propio es 1 y por lo tanto tu ( yo ) = yo H . Si solo el valor propio 1 está presente, en cambio, tu ( yo ) = yo H .

Si la representación es irreductible ± 1 no pueden ser simultáneamente valores propios. De lo contrario H se dividiría en la suma directa ortogonal de espacios propios H + 1 H 1 . Como tu ( 1 ) = j H viaja con todos tu ( gramo ) (porque yo esta en el centro de S tu ( 2 ) y tu es una representación), H + 1 y H 1 serían subespacios invariantes para toda la representación y está prohibido como tu es irreductible .

Concluimos que,

si tu es una representación unitaria irreducible de S tu ( 2 ) , el subgrupo normal discreto { yo , yo } sólo puede ser representado por cualquiera { yo H } o { yo H , yo H } .

Es más:

Ya que S O ( 3 ) = S tu ( 2 ) / { yo , yo } , en el primer caso tu es también una representación de S O ( 3 ) . Esto significa que yo = mi i 4 π norte σ y mi i 2 π norte σ / 2 = yo ambos se transforman en yo H por tu .

En este último caso, en cambio, tu no es una verdadera representación de S O ( 3 ) , justo a la vista de un cartel que aparece después 2 π , porque mi i 2 π norte σ / 2 = yo se transforma en yo H y solo yo = mi i 4 π norte σ / 2 se transforma en yo por tu .

@V.Moretti- Increíble. Esta respuesta es muy perspicaz. Pero todavía me pregunto dónde entra en este negocio la topología de la variedad de grupo SO(3) (que mencioné en la pregunta). Me parece que la respuesta anterior utiliza el hecho de que hay un homomorfismo de 2 a 1 entre SU(2) y SO(3). ¿O me estoy perdiendo la conexión?
SO(3) es un grupo de Lie con homotopía fundamental Z 2 . Por lo tanto, su grupo de cobertura universal es un grupo de Lie simplemente conexo y S O ( 2 ) se obtiene tomando el cociente de este último y un subgrupo normal discreto con dos elementos. Ese dos es la información "topológica": recuerda la estructura del primer grupo de homotopía de la variedad S O ( 3 ) . Sabiendo que la cubierta universal es S tu ( 2 ) uno tiene que buscar un subgrupo discreto que contenga solo dos elementos ...
@ V.Moretti- Está bien, entiendo. Ahora está absolutamente claro. Gracias.
Precisé la relación topológica relevante en el texto simplemente ampliando un comentario.
@V.Moretti Estoy seguro de que quiso decir esto en su comentario anterior, pero en general debe buscar un subgrupo normal discreto que contenga solo dos elementos. Estos, por el teorema de Schreier, deben ser subgrupos del centro. Solo siendo pedante porque el OP claramente está muy interesado en los detalles, de lo contrario no lo habría mencionado.
@RoopamSinha El comentario a V.Moretti también fue para ti. Y debo disculparme por no responderme a su pregunta en su publicación original; de alguna manera, debo haber recibido algunos pings a la vez y los perdí de vista. Desafortunadamente, la pequeña luz roja solo se enciende una vez; tal vez debería permanecer encendida hasta que haya hecho clic en todos los pings no leídos.
@RoopamSinha El teorema que cité no es por lo que Schreier es más famoso: ahora estoy buscando una referencia en línea para usted.
@WetSavannaAnimal alias Rod Vance Gracias por tu comentario. Sí, escribí a toda prisa y escribí algo bastante confuso "subgrupo normal discreto con dos elementos" (<<con dos elementos>> no tiene mucho sentido: En cambio, escribiste correctamente: "un subgrupo normal discreto que contiene solo dos elementos" . Gracias.
@Roopam Mire la parte superior de la página 70 de esto (el teorema se establece en la parte inferior de la página 69, y debería poder ver que el método de esta pequeña joya de prueba funciona para cualquier grupo de Lie conectado, aunque Stillwell cita "camino grupo de Lie de matriz conectada") ohkawa.cc.it-hiroshima.ac.jp/AoPS.pdf/MathTextBook/…