Paquete asociado

En matemáticas , la teoría de haces de fibras con un grupo de estructura (un grupo topológico ) permite una operación de creación de un haz asociado , en el que la fibra típica de un haz cambia de a , que son ambos espacios topológicos con una acción de grupo de . Para un haz de fibras F con un grupo de estructura G , las funciones de transición de la fibra (es decir, el cociclo ) en una superposición de dos sistemas de coordenadas U _α y U _β se dan como una función de valor G g _αβ en U _α ∩ U _β . Entonces se puede construir un haz de fibras F ′ como un nuevo haz de fibras que tenga las mismas funciones de transición, pero posiblemente una fibra diferente.${\estilo de visualización G}$$Estilo de visualización F_{1}$$Estilo de visualización F_{2}$${\estilo de visualización G}$

Un caso sencillo viene con la banda de Möbius , para la cual es el grupo cíclico de orden 2, . Podemos tomar como cualquiera de: la línea de números reales , el intervalo , la línea de números reales menos el punto 0, o el conjunto de dos puntos . La acción de sobre estos (el elemento no identidad actuando como en cada caso) es comparable, en un sentido intuitivo. Podríamos decir que más formalmente en términos de pegar dos rectángulos y juntos: lo que realmente necesitamos es que los datos se identifiquen a sí mismos directamente en un extremo , y con el giro en el otro extremo . Estos datos se pueden escribir como una función de parcheo, con valores en G . La construcción del fibrado asociado es simplemente la observación de que estos datos funcionan tan bien para como para .${\estilo de visualización G}$${\displaystyle \mathbb {Z} _ {2}}$${\estilo de visualización F}$${\displaystyle \mathbb {R}}$${\estilo de visualización [-1,\ 1]}$${\estilo de visualización \{-1,\ 1\}}$${\estilo de visualización G}$${\displaystyle x\\flechaderecha\ -x}$${\displaystyle [-1,\ 1]\veces I}$${\displaystyle [-1,\ 1]\times J}$${\estilo de visualización [-1,\ 1]}$${\estilo de visualización \{-1,\ 1\}}$${\estilo de visualización [-1,\ 1]}$

En general, basta con explicar la transición desde un fibrado con fibra , sobre la que actúa, hasta el fibrado principal asociado (es decir, el fibrado donde se considera que la fibra actúa por traslación sobre sí misma). Pues entonces podemos pasar de a , a través del fibrado principal. Los detalles en términos de datos para una envoltura abierta se dan como un caso de descenso .${\estilo de visualización F}$${\estilo de visualización G}$${\estilo de visualización G}$$Estilo de visualización F_{1}$$Estilo de visualización F_{2}$

Esta sección está organizada de la siguiente manera. Primero presentamos el procedimiento general para producir un fibrado asociado, con una fibra específica, a partir de un fibrado dado. Luego, esto se especializa en el caso en que la fibra específica es un espacio homogéneo principal para la acción izquierda del grupo sobre sí mismo, lo que produce el fibrado principal asociado. Si, además, se da una acción derecha sobre la fibra del fibrado principal, describimos cómo construir cualquier fibrado asociado por medio de una construcción de producto de fibra . ^[1]

Sea un fibrado sobre un espacio topológico X con grupo estructural G y fibra típica F . Por definición, hay una acción izquierda de G (como grupo de transformación ) sobre la fibra F . Supóngase además que esta acción es efectiva . ^[2] Hay una trivialización local del fibrado E que consiste en una cubierta abierta U _i de X , y una colección de aplicaciones de fibra tales que las aplicaciones de transición están dadas por elementos de G . Más precisamente, hay funciones continuas g _ij  : ( U _i ∩ U _j ) → G tales que${\textstyle \pi :E\to X}$ $${\displaystyle \varphi _{i}:\pi ^{-1}(U_{i})\to U_{i}\times F}$$$${\displaystyle \psi _{ij}(u,f):=\varphi _{i}\circ \varphi _{j}^{-1}(u,f)={\big (}u,g_{ij}(u)f{\big )},\quad {\text{para cada }}(u,f)\in (U_{i}\cap U_{j})\times F\,.}$$

Sea ahora F ′ un espacio topológico especificado, equipado con una acción izquierda continua de G . Entonces el fibrado asociado a E con fibra F ′ es un fibrado E ′ con una trivialización local subordinada a la cubierta U _i cuyas funciones de transición están dadas por donde las funciones de valor G g _ij ( u ) son las mismas que las obtenidas a partir de la trivialización local del fibrado original E . Esta definición respeta claramente la condición de cociclo en las funciones de transición, ya que en cada caso están dadas por el mismo sistema de funciones de valor G. (Usando otra trivialización local, y pasando a un refinamiento común si es necesario, la transformación g _ij pasa por el mismo colímite.) Por lo tanto, por el teorema de construcción de fibrados , esto produce un fibrado E ′ con fibra F ′ como se reivindica.$${\displaystyle \psi '_{ij}(u,f')={\big (}u,g_{ij}(u)f'{\big )},\quad {\text{para cada }}(u,f')\en (U_{i}\cap U_{j})\times F'\,,}$$

Como antes, supongamos que E es un fibrado con grupo estructural G . En el caso especial en que G tiene una acción izquierda libre y transitiva sobre F ′, de modo que F ′ es un espacio homogéneo principal para la acción izquierda de G sobre sí mismo, entonces el fibrado asociado E ′ se llama fibrado G principal asociado con el fibrado de fibras E . Si, además, la nueva fibra F ′ se identifica con G (de modo que F ′ hereda una acción derecha de G así como una acción izquierda), entonces la acción derecha de G sobre F ′ induce una acción derecha de G sobre E ′. Con esta elección de identificación, E ′ se convierte en un fibrado principal en el sentido usual. Nótese que, aunque no existe una manera canónica de especificar una acción derecha en un espacio homogéneo principal para G , dos de estas acciones producirán haces principales que tienen el mismo haz de fibras subyacente con grupo de estructura G (ya que esto proviene de la acción izquierda de G ), e isomorfos como G -espacios en el sentido de que hay un isomorfismo G -equivariante de haces que relaciona los dos.

De esta manera, un fibrado principal G dotado de una acción derecha suele considerarse parte de los datos que especifican un fibrado de fibras con grupo estructural G , ya que para un fibrado de fibras se puede construir el fibrado principal a través de la construcción del fibrado asociado. Se puede entonces, como en la siguiente sección, hacer lo contrario y derivar cualquier fibrado utilizando un producto de fibras.

Sea π : P → X un fibrado principal de G y sea ρ : G → Homeo( F ) una acción izquierda continua de G sobre un espacio F (en la categoría suave, deberíamos tener una acción suave sobre una variedad suave). Sin pérdida de generalidad, podemos considerar que esta acción es efectiva.

Defina una acción correcta de G sobre P × F mediante ^{[3] [4]}

${\displaystyle (p,f)\cdot g=(p\cdot g,\rho (g^{-1})f)\,.}$

Luego identificamos mediante esta acción para obtener el espacio E = P × _ρ F = ( P × F ) / G . Denotamos la clase de equivalencia de ( p , f ) por [ p , f ]. Nótese que

${\displaystyle [p\cdot g,f]=[p,\rho (g)f]{\mbox{ para todos }}g\in G.}$

Defina un mapa de proyección π _ρ  : E → X por π _ρ ([ p , f ]) = π( p ). Tenga en cuenta que esto está bien definido .

Entonces π _ρ  : E → X es un haz de fibras con fibra F y grupo estructural G . Las funciones de transición están dadas por ρ( t _ij ) donde t _ij son las funciones de transición del haz principal P .

Esta construcción también se puede ver categóricamente . Más precisamente, hay dos aplicaciones continuas , dadas al actuar con G a la derecha sobre P y a la izquierda sobre F . El fibrado vectorial asociado es entonces el coecualizador de estas aplicaciones.${\displaystyle P\veces G\veces F\a P\veces F}$${\displaystyle P\times _{\rho }F}$

El concepto complementario de los fibrados asociados es la reducción del grupo de estructura de un -fibrado . Nos preguntamos si existe un -fibrado , tal que el -fibrado asociado sea , hasta el isomorfismo . Más concretamente, esto nos pregunta si los datos de transición para pueden escribirse consistentemente con valores en . En otras palabras, pedimos identificar la imagen de la aplicación del fibrado asociado (que en realidad es un funtor ).${\estilo de visualización G}$${\estilo de visualización B}$${\estilo de visualización H}$${\estilo de visualización C}$${\estilo de visualización G}$${\estilo de visualización B}$${\estilo de visualización B}$${\estilo de visualización H}$

Los ejemplos de fibrados vectoriales incluyen: la introducción de una métrica que resulta en la reducción del grupo de estructura de un grupo lineal general GL( n ) a un grupo ortogonal O( n ); y la existencia de una estructura compleja en un fibrado real que resulta en la reducción del grupo de estructura de un grupo lineal general real GL(2 n , R ) a un grupo lineal general complejo GL( n , C ).

Otro caso importante es encontrar una descomposición de un fibrado vectorial V de rango n como una suma de Whitney (suma directa) de subfibrados de rango k y nk , lo que resulta en una reducción del grupo de estructura de GL( n , R ) a GL( k , R ) × GL( nk , R ).

También se puede expresar la condición para que una foliación se defina como una reducción del fibrado tangente a un subgrupo de matrices de bloques, pero aquí la reducción es solo una condición necesaria, ya que existe una condición de integrabilidad para que se aplique el teorema de Frobenius .

• Haz espinorial

• Steenrod, Norman (1951). Topología de los haces de fibras . Princeton: Princeton University Press . ISBN 0-691-00548-6.
• Husemoller, Dale (1994). Fibre Bundles (Tercera edición). Nueva York: Springer . ISBN 978-0-387-94087-8.
• Sharpe, RW (1997). Geometría diferencial: la generalización de Cartan del programa de Erlangen de Klein . Nueva York: Springer . ISBN. 0-387-94732-9.