En geometría diferencial , una estructura de espín en una variedad riemanniana orientable ( M , g ) permite definir haces de espinores asociados , dando lugar a la noción de espino en geometría diferencial.
Las estructuras de espín tienen amplias aplicaciones en la física matemática , en particular en la teoría cuántica de campos, donde son un ingrediente esencial en la definición de cualquier teoría con fermiones no cargados . Son también de interés puramente matemático en geometría diferencial , la topología algebraica , y teoría K . Forman la base de la geometría de espín .
En geometría y en teoría de campos , los matemáticos se preguntan si una variedad Riemanniana orientada dada ( M , g ) admite espinores . Un método para lidiar con este problema es requerir que M tenga una estructura de espín. [1] [2] [3] Esto no siempre es posible ya que existe potencialmente una obstrucción topológica a la existencia de estructuras de espín. Las estructuras de espín existirán si y solo si la segunda clase Stiefel-Whitney w 2 ( M ) ∈ H 2 ( M , Z 2 ) de Mdesaparece. Además, si w 2 ( M ) = 0, H 1 ( M , Z 2 ) actúa libre y transitivamente sobre el conjunto de clases de isomorfismo de estructuras de espín en M. Como se supone que la variedad M está orientada, la primera clase Stiefel-Whitney w 1 ( M ) ∈ H 1 ( M , Z 2 ) de M también desaparece. (Las clases de Stiefel-Whitney w i ( M ) ∈ H i ( M , Z 2) de una variedad M se definen como las clases Stiefel-Whitney de su paquete tangente TM .)
El paquete de espinores π S : S → M sobre M es entonces el paquete de vectores complejos asociado con el paquete principal correspondiente π P : P → M de marcos de espín sobre M y la representación de espín de su grupo de estructura Spin ( n ) en el espacio de espinores Δ n . El haz de S se llama el haz spinor para una estructura de giro dado en M .
Una definición precisa de estructura de hilado en colector sólo fue posible después de que se introdujera la noción de haz de fibras ; André Haefliger (1956) encontró la obstrucción topológica a la existencia de una estructura de espín en una variedad riemanniana orientable y Max Karoubi (1968) extendió este resultado al caso pseudo-riemanniano no orientable. [4] [5]
Una estructura de espín en una variedad riemanniana orientable (M, g) es una elevación equivariante del paquete de marco ortonormal orientado F SO ( M ) → M con respecto a la doble cobertura ρ: Spin ( n ) → SO ( n ). En otras palabras, un par ( P , F P ) es una estructura de espín en el paquete principal π: F SO ( M ) → M cuando
El fibrado principal π P : P → M es también llamado el paquete de marcos de espín más de M .
Dos estructuras de espín ( P 1 , F P 1 ) y ( P 2 , F P 2 ) en la misma variedad riemanniana orientada (M, g) se denominan "equivalentes" si existe un mapa Spin ( n ) -equivariante f : P 1 → P 2 tal que
Por supuesto, en este caso y son dos recubrimientos dobles equivalentes del marco ortonormal orientado SO ( n ) -bundle F SO ( M ) → M de la variedad Riemanniana dada (M, g) .
Esta definición de estructura de espín en ( M , g ) como una estructura de espín en el paquete principal F SO ( M ) → M se debe a André Haefliger (1956).
André Haefliger [1] encontró condiciones necesarias y suficientes para la existencia de una estructura de espín en una variedad riemanniana orientada ( M , g ). La obstrucción para tener una estructura de espín es un cierto elemento [ k ] de H 2 ( M , Z 2 ). Para una estructura de giro de la clase [ k ] es la segunda clase Stiefel-Whitney w 2 ( M ) ∈ H 2 ( M , Z 2 ) de M . Por lo tanto, existe una estructura de espín si y solo si la segunda clase Stiefel-Whitney w 2( M ) ∈ H 2 ( M , Z 2 ) de M desaparece.
Sea M una variedad topológica paracompacta y E un haz de vectores orientados en M de dimensión n equipado con una métrica de fibra . Esto significa que en cada punto de M , la fibra de E es un espacio de producto interno . Un haz de espinorial E es una receta para asociar sistemáticamente una representación giro a todos los puntos de M . Existen obstrucciones topológicas para poder hacerlo y, en consecuencia, un determinado paquete Eno puede admitir ningún paquete de espinor. En caso de que lo haga, se dice que el paquete E es spin .
Esto puede hacerse riguroso mediante el lenguaje de los paquetes principales . La colección de marcos ortonormales orientados de un paquete de vectores forma un paquete de marcos P SO ( E ), que es un paquete principal bajo la acción del grupo ortogonal especial SO ( n ). Una estructura de giro para P SO ( E ) es una elevación de P SO ( E ) a un paquete principal P Spin ( E ) bajo la acción del grupo de giro Spin ( n), con lo cual queremos decir que existe un mapa de paquetes φ: P Spin ( E ) → P SO ( E ) tal que
donde ρ : Spin ( n ) → SO ( n ) es el mapeo de grupos que presentan el grupo de spin como una doble cobertura de SO ( n ).
En el caso especial en el que E es el haz tangente TM sobre la variedad base M , si existe una estructura de espín, entonces se dice que M es una variedad de espín . Equivalentemente M es espín si el haz principal SO ( n ) de bases ortonormales de las fibras tangentes de M es un cociente Z 2 de un haz principal de espín.
Si la variedad tiene una descomposición celular o una triangulación , una estructura de espín puede considerarse de manera equivalente como una clase de homotopía de trivialización del paquete tangente sobre el esqueleto 1 que se extiende sobre el esqueleto 2. Si la dimensión es menor que 3, primero se toma una suma de Whitney con un paquete de líneas trivial.
Para un paquete vectorial orientable , existe una estructura de espín si y solo si la segunda clase Stiefel-Whitney desaparece. Este es el resultado de Armand Borel y Friedrich Hirzebruch . [6] Además, en el caso de espín, el número de estructuras de espín están en biyección con . Estos resultados se pueden probar fácilmente [7] págs . 110-111 utilizando un argumento de secuencia espectral para el paquete principal asociado . Fíjate que esto da una fibración.
de ahí que se pueda aplicar la secuencia espectral de Serre . De la teoría general de secuencias espectrales, hay una secuencia exacta
dónde
Además, y para un poco de filtración , obtenemos un mapa
dando una secuencia exacta
Ahora, una estructura de espín es exactamente una doble cobertura de encajar en un diagrama conmutativo.
donde los dos mapas verticales de la izquierda son los mapas de doble cobertura. Ahora, las cubiertas dobles de están en biyección con subgrupos de índice de , que está en biyección con el conjunto de morfismos de grupo . Pero, del teorema de Hurewicz y el cambio de coeficientes, este es exactamente el grupo de cohomología . Aplicando el mismo argumento a , la cobertura no trivial corresponde a , y el mapa a es precisamente , por lo tanto . Si desaparece, entonces la imagen inversa de debajo del mapa
es el conjunto de dobles revestimientos que dan estructuras de giro. Ahora, este subconjunto de se puede identificar con , mostrando que este último grupo de cohomología clasifica las diversas estructuras de espín en el paquete de vectores . Esto se puede hacer observando la larga secuencia exacta de grupos de homotopía de la fibración.
y aplicando , dando la secuencia de grupos de cohomología
Debido a que es el kernel y la imagen inversa de está en biyección con el kernel, tenemos el resultado deseado.
Cuando existen estructuras de espín, las estructuras de espín no equivalentes en una variedad tienen una correspondencia uno a uno (no canónica) con los elementos de H 1 ( M , Z 2 ), que por el teorema del coeficiente universal es isomorfo a H 1 ( M , Z 2 ). Más precisamente, el espacio de las clases de isomorfismo de estructuras de espín es un espacio afín sobre H 1 ( M , Z 2 ).
Intuitivamente, para cada ciclo no trivial en M, una estructura de espín corresponde a una elección binaria de si una sección del paquete SO ( N ) cambia de hoja cuando una rodea el bucle. Si w 2 [8] se anula entonces estas opciones pueden ser extendidos sobre el de dos esqueleto , entonces (por la teoría de obstrucción ) que pueden ser extendidos de forma automática sobre la totalidad de M . En física de partículas, esto corresponde a una elección de condiciones de contorno periódicas o antiperiódicas para los fermiones que rodean cada bucle. Tenga en cuenta que en una variedad compleja, la segunda clase Stiefel-Whitney se puede calcular como la primeraclase chern .
Una estructura de espín C es análoga a una estructura de espín en una variedad riemanniana orientada , [9] pero usa el grupo Spin C , que se define en cambio por la secuencia exacta
Para motivar esto, suponga que κ : Spin ( n ) → U ( N ) es una representación de espinor compleja. El centro de U ( N ) está formado por los elementos diagonales procedentes de la inclusión i : U (1) → U ( N ) , es decir, los múltiplos escalares de la identidad. Por tanto hay un homomorfismo
Esto siempre tendrá el elemento (−1, −1) en el kernel. Tomando el cociente módulo este elemento da el grupo Spin C ( n ). Este es el producto retorcido
donde U (1) = SO (2) = S 1 . En otras palabras, el grupo Spin C ( n ) es una extensión central de SO ( n ) por S 1 .
Visto de otra manera, Spin C ( n ) es el grupo cociente obtenido de Spin ( n ) × Spin (2) con respecto al Z 2 normal que es generado por el par de transformaciones de cobertura para los paquetes Spin ( n ) → SO ( n ) y Spin (2) → SO (2) respectivamente. Esto hace que el grupo Spin C sea un paquete sobre el círculo con fibra Spin ( n ) y un paquete sobre SO ( n ) con fibra un círculo. [10] [11]
El grupo fundamental π 1 (Spin C ( n )) es isomorfo a Z si n ≠ 2, y a Z ⊕ Z si n = 2.
Si la variedad tiene una descomposición celular o una triangulación , una estructura de espín C se puede pensar de manera equivalente como una clase de homotopía de estructura compleja sobre el esqueleto 2 que se extiende sobre el esqueleto 3. De manera similar al caso de las estructuras de espín, se toma una suma de Whitney con un paquete lineal trivial si la variedad es de dimensión impar.
Sin embargo, otra definición es que un giro C estructura en un colector de N es un complejo de línea de haz L sobre N junto con una estructura de giro en T N ⊕ L .
Existe una estructura de espín C cuando el paquete es orientable y la segunda clase Stiefel-Whitney del paquete E está en la imagen del mapa H 2 ( M , Z ) → H 2 ( M , Z / 2 Z ) (en otras palabras , la tercera clase integral Stiefel-Whitney desaparece). En este caso se dice que E es centrifugado C . Intuitivamente, la elevación da la clase Chern del cuadrado de la parte U (1) de cualquier giro C obtenidomanojo. Según un teorema de Hopf e Hirzebruch, los 4 colectores cerrados orientables siempre admiten una estructura de espín C.
Cuando una variedad lleva una estructura de espín C , el conjunto de estructuras de espín C forma un espacio afín. Además, el conjunto de estructuras de espín C tiene una acción transitiva libre de H 2 ( M , Z ) . Por tanto, las estructuras de espín C corresponden a elementos de H 2 ( M , Z ) aunque no de forma natural.
Esto tiene la siguiente interpretación geométrica, que se debe a Edward Witten . Cuando la estructura de espín C es distinta de cero, este paquete de raíz cuadrada tiene una clase Chern no integral, lo que significa que falla la condición de triple superposición . En particular, el producto de las funciones de transición en una intersección de tres vías no siempre es igual a uno, como se requiere para un paquete principal . En cambio, a veces es -1.
Esta falla ocurre precisamente en las mismas intersecciones que una falla idéntica en los productos triples de las funciones de transición del haz de espín obstruido . Por lo tanto, los productos triples de las funciones de transición del paquete de espín completo c , que son los productos del producto triple de los paquetes de componentes de espín y U (1), son 1 2 = 1 o (−1) 2 = 1 y así el paquete de espín C satisface la condición de triple superposición y, por lo tanto, es un paquete legítimo.
La imagen geométrica intuitiva anterior se puede concretar de la siguiente manera. Considere la secuencia exacta corta 0 → Z → Z → Z 2 → 0 , donde la segunda flecha es multiplicación por 2 y la tercera es módulo de reducción 2. Esto induce una secuencia exacta larga en cohomología, que contiene
donde la segunda flecha es inducida por multiplicación por 2, la tercera es inducida por restricción módulo 2 y la cuarta es el homomorfismo β de Bockstein asociado .
La obstrucción a la existencia de un haz de espines es un elemento w 2 de H 2 ( M , Z 2 ) . Refleja el hecho de que uno siempre puede elevar localmente un paquete SO (n) a un paquete de espín , pero es necesario elegir una elevación Z 2 de cada función de transición, que es una elección de signo. La elevación no existe cuando el producto de estos tres signos en una superposición triple es -1, lo que produce la imagen de cohomología Čech de w 2 .
Para cancelar esta obstrucción, se tensa este paquete de giro con un paquete U (1) con la misma obstrucción w 2 . Observe que esto es un abuso de la palabra paquete , ya que ni el paquete de espín ni el paquete U (1) satisfacen la condición de triple superposición y, por lo tanto, ninguno es realmente un paquete.
Un paquete U (1) legítimo se clasifica por su clase Chern , que es un elemento de H 2 ( M , Z ). Identifique esta clase con el primer elemento en la secuencia exacta anterior. La siguiente flecha duplica esta clase de Chern, por lo que los paquetes legítimos corresponderán a elementos pares en el segundo H 2 ( M , Z ) , mientras que los elementos impares corresponderán a paquetes que no superen la condición de triple superposición. La obstrucción entonces se clasifica por la falla de un elemento en el segundo H 2 ( M , Z ) para estar en la imagen de la flecha, que, por exactitud, se clasifica por su imagen en H 2( M , Z 2 ) debajo de la siguiente flecha.
Para cancelar la obstrucción correspondiente en el paquete de centrifugado , esta imagen debe ser w 2 . En particular, si w 2 no está en la imagen de la flecha, entonces no existe ningún paquete U (1) con una obstrucción igual a w 2 y, por lo tanto, la obstrucción no se puede cancelar. Por exactitud, w 2 está en la imagen de la flecha anterior solo si está en el núcleo de la siguiente flecha, que recordamos es el homomorfismo de Bockstein β. Es decir, la condición para la cancelación de la obstrucción es
donde hemos utilizado el hecho de que la tercera clase integral de Stiefel-Whitney W 3 es el Bockstein de la segunda clase de Stiefel-Whitney w 2 (esto puede tomarse como una definición de W 3 ).
Este argumento también demuestra que la segunda clase Stiefel-Whitney define elementos no sólo de la cohomología Z 2 sino también de la cohomología integral en un grado superior. De hecho, este es el caso de todas las clases, incluso de Stiefel-Whitney. Es tradicional utilizar una W mayúscula para las clases resultantes en grado impar, que se denominan clases integrales de Stiefel-Whitney, y están etiquetadas por su grado (que siempre es impar).
En física de partículas, el teorema de la estadística de espín implica que la función de onda de un fermión sin carga es una sección del paquete de vectores asociado a la elevación de espín de un paquete E de SO ( N ) . Por lo tanto, la elección de la estructura de giro es parte de los datos necesarios para definir la función de onda y, a menudo, es necesario sumar estas opciones en la función de partición . En muchas teorías físicas, E es el haz tangente , pero para los fermiones en los volúmenes mundiales de D-branas en la teoría de cuerdas es unpaquete normal .
En la teoría cuántica de campos, los espinores cargados son secciones de haces de espín c asociados y, en particular, no pueden existir espinores cargados en un espacio que no sea de espín c . Surge una excepción en algunas teorías de supergravedad donde interacciones adicionales implican que otros campos pueden cancelar la tercera clase Stiefel-Whitney. La descripción matemática de los espinores en la supergravedad y la teoría de cuerdas es un problema abierto particularmente sutil, que se abordó recientemente en las referencias. [13] [14]Resulta que la noción estándar de estructura de espín es demasiado restrictiva para aplicaciones a la supergravedad y la teoría de cuerdas, y que la noción correcta de estructura espinorial para la formulación matemática de estas teorías es una "estructura de Lipschitz". [13] [15]