stringtranslate.com

Fibración de Hopf

La fibración de Hopf se puede visualizar utilizando una proyección estereográfica de S 3 a R 3 y luego comprimiendo R 3 hasta formar una bola. Esta imagen muestra puntos en S 2 y sus fibras correspondientes con el mismo color.
Los llaveros unidos por pares imitan parte de la fibración de Hopf.

En topología diferencial , la fibración de Hopf (también conocida como fibrado de Hopf o mapa de Hopf ) describe una 3-esfera (una hiperesfera en el espacio de cuatro dimensiones ) en términos de círculos y una esfera ordinaria . Descubierta por Heinz Hopf en 1931, es un influyente ejemplo temprano de un fibrado de fibras . Técnicamente, Hopf encontró una función continua de muchos a uno (o "mapa") de la 3 -esfera sobre la 2 -esfera de modo que cada punto distinto de la 2 -esfera se mapea desde un gran círculo distinto de la 3 -esfera (Hopf 1931). [1] Por lo tanto, la 3 -esfera está compuesta de fibras, donde cada fibra es un círculo, uno para cada punto de la 2 -esfera.

Esta estructura de haz de fibras se denota

lo que significa que el espacio de fibras S 1 (un círculo) está incrustado en el espacio total S 3 (la 3 -esfera), y p  :  S 3S 2 (la función de Hopf) proyecta S 3 sobre el espacio base S 2 (la 2 -esfera ordinaria ). La fibración de Hopf, como cualquier fibrado, tiene la importante propiedad de que localmente es un espacio producto . Sin embargo, no es un fibrado trivial , es decir, S 3 no es globalmente un producto de S 2 y S 1 aunque localmente es indistinguible de él.

Esto tiene muchas implicaciones: por ejemplo, la existencia de este fibrado muestra que los grupos de homotopía superior de esferas no son triviales en general. También proporciona un ejemplo básico de un fibrado principal , al identificar la fibra con el grupo de círculos .

La proyección estereográfica de la fibración de Hopf induce una estructura notable en R 3 , en la que todo el espacio tridimensional, excepto el eje z, está lleno de toros anidados hechos de círculos de Villarceau enlazados . Aquí cada fibra se proyecta a un círculo en el espacio (uno de los cuales es una línea, pensada como un "círculo a través del infinito"). Cada toro es la proyección estereográfica de la imagen inversa de un círculo de latitud de la 2 -esfera. (Topológicamente, un toro es el producto de dos círculos). Estos toros se ilustran en las imágenes de la derecha. Cuando R 3 se comprime hasta el límite de una pelota, se pierde algo de estructura geométrica aunque se conserva la estructura topológica (ver Topología y geometría ). Los bucles son homeomorfos a los círculos, aunque no son círculos geométricos .

Existen numerosas generalizaciones de la fibración de Hopf. La esfera unitaria en el espacio de coordenadas complejo C n +1 fibrila naturalmente sobre el espacio proyectivo complejo CP n con círculos como fibras , y también existen versiones reales , cuaterniónicas [2] y octoniónicas de estas fibraciones. En particular, la fibración de Hopf pertenece a una familia de cuatro haces de fibras en los que el espacio total, el espacio base y el espacio de fibras son todos esferas:

Según el teorema de Adams, tales fibraciones sólo pueden ocurrir en estas dimensiones.

Definición y construcción

Para cualquier número natural n , una esfera n -dimensional, o n-esfera , puede definirse como el conjunto de puntos en un espacio -dimensional que están a una distancia fija de un punto central . Para ser más concretos, el punto central puede tomarse como el origen , y la distancia de los puntos de la esfera desde este origen puede asumirse como una unidad de longitud. Con esta convención, la n -esfera, , consiste en los puntos en con x 1 2  +  x 2 2  + ⋯+  x n + 1 2  = 1. Por ejemplo, la 3 -esfera consiste en los puntos ( x 1x 2x 3x 4 ) en R 4 con x 1 2  +  x 2 2  +  x 3 2  +  x 4 2  = 1.

La fibración de Hopf p : S 3S 2 de la 3 -esfera sobre la 2 -esfera se puede definir de varias maneras.

Construcción directa

Identifique R 4 con C 2 y R 3 con C × R (donde C denota los números complejos ) escribiendo:

y

.

Así, S 3 se identifica con el subconjunto de todos ( z 0 , z 1 ) en C 2 tales que | z 0 | 2 + | z 1 | 2  = 1 , y S 2 se identifica con el subconjunto de todos ( z , x ) en C × R tales que | z | 2  +  x 2 = 1 . (Aquí, para un número complejo z  = x  + i y , | z | 2  = z  z  = x 2  +  y 2 , donde el asterisco denota el conjugado complejo .) Entonces, la fibración de Hopf p se define por

El primer componente es un número complejo, mientras que el segundo componente es real. Cualquier punto de la esfera 3 debe tener la propiedad de que | z 0 | 2  + | z 1 | 2  = 1 . Si es así, entonces p ( z 0 , z 1 ) se encuentra en la esfera 2 unitaria en C × R , como se puede demostrar sumando los cuadrados de los valores absolutos de los componentes complejos y reales de p

Además, si dos puntos en la 3-esfera se asignan al mismo punto en la 2-esfera, es decir, si p ( z 0 , z 1 ) = p ( w 0 , w 1 ) , entonces ( w 0 , w 1 ) debe ser igual a ( λ  z 0 , λ  z 1 ) para algún número complejo λ con | λ | 2  = 1 . Lo inverso también es cierto; dos puntos cualesquiera en la 3 -esfera que difieren por un factor complejo común λ se asignan al mismo punto en la 2 -esfera. Estas conclusiones se deducen, porque el factor complejo λ se cancela con su conjugado complejo λ en ambas partes de p : en el componente complejo 2 z 0 z 1 y en el componente real | z 0 | 2  − | z 1 | 2 .

Puesto que el conjunto de números complejos λ con | λ | 2  = 1 forman el círculo unitario en el plano complejo, se deduce que para cada punto m en S 2 , la imagen inversa p −1 ( m ) es un círculo, es decir, p −1 m  ≅  S 1 . Por lo tanto, la 3 -esfera se realiza como una unión disjunta de estas fibras circulares.

Una parametrización directa de la 3 -esfera empleando el mapa de Hopf es la siguiente. [3]

o en Euclidiana R 4

Donde η va desde 0 hasta π /2 , ξ 1 va desde 0 hasta 2 π , y ξ 2 puede tomar cualquier valor desde 0 hasta 4 π . Cada valor de η , excepto 0 y π /2 que especifican círculos, especifica un toro plano separado en la 3 -esfera, y un viaje de ida y vuelta ( 0 a 4 π ) de ξ 1 o ξ 2 hace que hagas un círculo completo de ambas extremidades del toro.

A continuación se muestra un mapeo de la parametrización anterior a la 2 -esfera, con puntos en los círculos parametrizados por ξ 2 .

Interpretación geométrica mediante la recta proyectiva compleja

Se puede obtener una interpretación geométrica de la fibración utilizando la línea proyectiva compleja , CP 1 , que se define como el conjunto de todos los subespacios unidimensionales complejos de C 2 . De manera equivalente, CP 1 es el cociente de C 2 \{0} por la relación de equivalencia que identifica ( z 0 , z 1 ) con ( λ z 0 , λ z 1 ) para cualquier número complejo distinto de cero λ . En cualquier línea compleja en C 2 hay un círculo de norma unitaria, y por lo tanto la restricción de la función cociente a los puntos de norma unitaria es una fibración de S 3 sobre CP 1 .

CP 1 es difeomorfo a una 2 -esfera: de hecho, puede identificarse con la esfera de Riemann C = C ∪ {∞} , que es la compactificación de un punto de C (obtenida añadiendo un punto en el infinito ). La fórmula dada para p anteriormente define un difeomorfismo explícito entre la línea proyectiva compleja y la 2- esfera ordinaria en el espacio tridimensional . Alternativamente, el punto ( z 0 , z 1 ) puede mapearse a la razón z 1 / z 0 en la esfera de Riemann C .

Estructura del haz de fibras

La fibración de Hopf define un fibrado con proyección p . Esto significa que tiene una "estructura de producto local", en el sentido de que cada punto de la 2 -esfera tiene algún vecindario U cuya imagen inversa en la 3 -esfera puede identificarse con el producto de U y un círculo: p −1 ( U ) ≅  U × S 1 . Se dice que una fibración de este tipo es localmente trivial .

Para la fibración de Hopf, es suficiente quitar un solo punto m de S 2 y el círculo correspondiente p −1 ( m ) de S 3 ; por lo tanto, se puede tomar U = S 2 \{ m } , y cualquier punto en S 2 tiene un vecindario de esta forma.

Interpretación geométrica mediante rotaciones

Otra interpretación geométrica de la fibración de Hopf se puede obtener considerando rotaciones de la 2 -esfera en el espacio ordinario tridimensional . El grupo de rotación SO(3) tiene una doble cubierta , el grupo de espín Spin(3) , difeomorfo a la 3 -esfera. El grupo de espín actúa transitivamente sobre S 2 mediante rotaciones. El estabilizador de un punto es isomorfo al grupo del círculo ; sus elementos son ángulos de rotación que dejan el punto dado inmóvil, todos compartiendo el eje que conecta ese punto con el centro de la esfera. Se deduce fácilmente que la 3 -esfera es un fibrado circular principal sobre la 2 -esfera, y esto es la fibración de Hopf.

Para hacer esto más explícito, hay dos enfoques: el grupo Spin(3) puede identificarse con el grupo Sp(1) de cuaterniones unitarios o con el grupo unitario especial SU(2) .

En el primer enfoque, un vector ( x 1 , x 2 , x 3 , x 4 ) en R 4 se interpreta como un cuaternión qH escribiendo

La 3 -esfera se identifica entonces con los versores , los cuaterniones de norma unitaria, aquellos qH para los cuales | q | 2 = 1 , donde | q | 2 = qq , que es igual a x 1 2 + x 2 2 + x 3 2 + x 4 2 para q como arriba.

Por otra parte, un vector ( y 1 , y 2 , y 3 ) en R 3 puede interpretarse como un cuaternión puro

Entonces, como es bien sabido desde Cayley (1845), el mapeo

es una rotación en R 3 : de hecho es claramente una isometría , ya que | qpq | 2 = qpq qp q = qpp q = | p | 2 , y no es difícil comprobar que conserva la orientación.

De hecho, esto identifica al grupo de versores con el grupo de rotaciones de R 3 , módulo el hecho de que los versores q y q determinan la misma rotación. Como se señaló anteriormente, las rotaciones actúan transitivamente sobre S 2 , y el conjunto de versores q que fijan un versor derecho dado p tienen la forma q = u + v p , donde u y v son números reales con u 2 + v 2 = 1 . Este es un subgrupo del círculo. Para ser más concretos, se puede tomar p = k , y luego la fibración de Hopf se puede definir como la función que envía un versor ω a ω k ω . Todos los cuaterniones ωq , donde q es uno del círculo de versores que fijan k , se asignan a la misma cosa (que resulta ser una de las dos rotaciones de 180° que rotan a k al mismo lugar que ω ).

Otra forma de ver esta fibración es que cada versor ω mueve el plano abarcado por {1, k } a un nuevo plano abarcado por { ω , ωk } . Cualquier cuaternión ωq , donde q es uno de los círculos de versores que fijan k , tendrá el mismo efecto. Ponemos todos estos en una fibra, y las fibras se pueden mapear uno a uno a la 2 -esfera de rotaciones de 180° que es el rango de ωkω * .

Este enfoque está relacionado con la construcción directa al identificar un cuaternión q = x 1 + i x 2 + j x 3 + k x 4 con la matriz 2×2 :

Esto identifica al grupo de versores con SU(2) , y a los cuaterniones imaginarios con las matrices antihermíticas 2×2 (isomorfas a C × R ).

Fórmulas explícitas

La rotación inducida por un cuaternión unitario q = w + i x + j y + k z está dada explícitamente por la matriz ortogonal

Aquí encontramos una fórmula real explícita para la proyección del paquete al observar que el vector unitario fijo a lo largo del eje z , (0,0,1) , rota a otro vector unitario,

que es una función continua de ( w , x , y , z ) . Es decir, la imagen de q es el punto en la 2 -esfera donde envía el vector unitario a lo largo del eje z . La fibra para un punto dado en S 2 consta de todos aquellos cuaterniones unitarios que envían el vector unitario allí.

También podemos escribir una fórmula explícita para la fibra sobre un punto ( a , b , c ) en S2 . La multiplicación de cuaterniones unitarios produce la composición de rotaciones y

es una rotación de 2 θ alrededor del eje z . A medida que θ varía, esto barre un gran círculo de S 3 , nuestra fibra prototípica. Siempre que el punto base, ( a , b , c ) , no sea el antípoda, (0, 0, −1) , el cuaternión

enviará (0, 0, 1) a ( a , b , c ) . Por lo tanto, la fibra de ( a , b , c ) está dada por cuaterniones de la forma q ( a , b , c ) q θ , que son los puntos S 3

Dado que la multiplicación por q ( a , b , c ) actúa como una rotación del espacio de cuaterniones, la fibra no es simplemente un círculo topológico, es un círculo geométrico.

La fibra final, para (0, 0, −1) , se puede obtener definiendo q (0,0,−1) como igual a i , lo que produce

que completa el fibrado. Pero nótese que esta aplicación biunívoca entre S 3 y S 2 × S 1 no es continua en este círculo, lo que refleja el hecho de que S 3 no es topológicamente equivalente a S 2 × S 1 .

Por lo tanto, una forma sencilla de visualizar la fibración de Hopf es la siguiente. Cualquier punto en la 3 -esfera es equivalente a un cuaternión , que a su vez es equivalente a una rotación particular de un marco de coordenadas cartesiano en tres dimensiones. El conjunto de todos los cuaterniones posibles produce el conjunto de todas las rotaciones posibles, que mueve la punta de un vector unitario de dicho marco de coordenadas (por ejemplo, el vector z ) a todos los puntos posibles en una 2 -esfera unitaria. Sin embargo, fijar la punta del vector z no especifica la rotación por completo; es posible una rotación adicional sobre el eje z . Por lo tanto, la 3 -esfera se mapea sobre la 2 -esfera, más una sola rotación.

La rotación se puede representar utilizando los ángulos de Euler θ , φ y ψ . La función de Hopf asigna la rotación al punto de la 2-esfera dado por θ y φ, y el círculo asociado está parametrizado por ψ. Nótese que cuando θ = π los ángulos de Euler φ y ψ no están bien definidos individualmente, por lo que no tenemos una función uno a uno (o una función uno a dos) entre el 3-toro de ( θ , φ , ψ ) y S 3 .

Mecánica de fluidos

Si la fibración de Hopf se trata como un campo vectorial en un espacio tridimensional, entonces existe una solución para las ecuaciones de Navier-Stokes (compresibles, no viscosas) de dinámica de fluidos en las que el fluido fluye a lo largo de los círculos de la proyección de la fibración de Hopf en un espacio tridimensional. El tamaño de las velocidades, la densidad y la presión se pueden elegir en cada punto para satisfacer las ecuaciones. Todas estas cantidades caen a cero a medida que se alejan del centro. Si a es la distancia al anillo interior, los campos de velocidades, presión y densidad vienen dados por:

para constantes arbitrarias A y B. Se encuentran patrones similares de campos como soluciones solitones de magnetohidrodinámica : [4]

Generalizaciones

La construcción de Hopf, vista como un fibrado p : S 3CP 1 , admite varias generalizaciones, que también se conocen a menudo como fibraciones de Hopf. En primer lugar, se puede reemplazar la línea proyectiva por un espacio proyectivo n -dimensional . En segundo lugar, se pueden reemplazar los números complejos por cualquier álgebra de división (real) , incluidos (para n = 1) los octoniones .

Fibraciones de Hopf reales

Una versión real de la fibración de Hopf se obtiene considerando el círculo S 1 como un subconjunto de R 2 de la manera habitual e identificando puntos antípodas. Esto da un fibrado S 1RP 1 sobre la línea proyectiva real con fibra S 0 = {1, −1}. Así como CP 1 es difeomorfo a una esfera, RP 1 es difeomorfo a un círculo.

De manera más general, la n -esfera S n fibras sobre el espacio proyectivo real RP n con fibra S 0 .

Fibraciones de Hopf complejas

La construcción de Hopf da fibras circulares p  : S 2 n +1CP n sobre el espacio proyectivo complejo . En realidad, se trata de la restricción del fibrado lineal tautológico sobre CP n a la esfera unitaria en C n +1 .

Fibraciones de Hopf cuaterniónicas

De manera similar, se puede considerar que S 4 n+3 se encuentra en H n+1 ( espacio cuaterniónico n ) y factorizarlo mediante la multiplicación de cuaterniones unitarios (= S 3 ) para obtener el espacio proyectivo cuaterniónico HP n . En particular, dado que S 4 = HP 1 , existe un fibrado S 7S 4 con fibra S 3 .

Fibraciones de Hopf octoniónicas

Una construcción similar con los octoniones produce un fibrado S 15S 8 con fibra S 7 . Pero la esfera S 31 no se fibra sobre S 16 con fibra S 15 . Se puede considerar a S 8 como la línea proyectiva octoniónica OP 1 . Aunque también se puede definir un plano proyectivo octoniónico OP 2 , la esfera S 23 no se fibra sobre OP 2 con fibra S 7 . [5] [6]

Fibraciones entre esferas

A veces, el término "fibración de Hopf" se restringe a las fibraciones entre esferas obtenidas anteriormente, que son

Como consecuencia del teorema de Adams , los haces de fibras con esferas como espacio total, espacio base y fibra solo pueden darse en estas dimensiones. John Milnor utilizó haces de fibras con propiedades similares, pero diferentes de las fibraciones de Hopf, para construir esferas exóticas .

Geometría y aplicaciones

Las fibras de la fibración de Hopf se proyectan estereográficamente en una familia de círculos de Villarceau en R 3 .

La fibración de Hopf tiene muchas implicaciones, algunas puramente atractivas, otras más profundas. Por ejemplo, la proyección estereográfica S 3R 3 induce una estructura notable en R 3 , que a su vez ilumina la topología del fibrado (Lyons 2003). La proyección estereográfica conserva los círculos y mapea las fibras de Hopf a círculos geométricamente perfectos en R 3 que llenan el espacio. Aquí hay una excepción: el círculo de Hopf que contiene el punto de proyección se mapea a una línea recta en R 3 —un "círculo a través del infinito".

Las fibras sobre un círculo de latitud en S 2 forman un toro en S 3 (topológicamente, un toro es el producto de dos círculos) y estos se proyectan a toros anidados en R 3 que también llenan el espacio. Las fibras individuales se asignan a círculos de Villarceau de enlace en estos toros, con la excepción del círculo a través del punto de proyección y el que pasa por su punto opuesto : el primero se asigna a una línea recta, el segundo a un círculo unitario perpendicular a, y centrado en, esta línea, que puede verse como un toro degenerado cuyo radio menor se ha reducido a cero. Cada otra imagen de fibra también rodea la línea y, por lo tanto, por simetría, cada círculo está vinculado a través de cada círculo, tanto en R 3 como en S 3 . Dos de estos círculos de enlace forman un enlace de Hopf en R 3

Hopf demostró que la función de Hopf tiene un invariante de Hopf 1 y, por lo tanto, no es homotópica nula . De hecho, genera el grupo de homotopía π 3 ( S 2 ) y tiene orden infinito.

En mecánica cuántica , la esfera de Riemann se conoce como esfera de Bloch , y la fibración de Hopf describe la estructura topológica de un sistema de dos niveles o cúbit cuántico . De manera similar, la topología de un par de sistemas de dos niveles entrelazados viene dada por la fibración de Hopf.

(Mosseri y Dandoloff 2001). Además, la fibración de Hopf es equivalente a la estructura del haz de fibras del monopolo de Dirac . [7]

La fibración de Hopf también encontró aplicaciones en robótica , donde se utilizó para generar muestras uniformes en SO(3) para el algoritmo de hoja de ruta probabilística en la planificación del movimiento. [8] También encontró aplicación en el control automático de cuadricópteros . [9] [10]

Notas

  1. ^ Esta partición de la 3- esfera en grandes círculos disjuntos es posible porque, a diferencia de lo que ocurre con la 2 -esfera, los grandes círculos distintos de la 3 -esfera no necesitan intersecarse.
  2. ^ Fibración de Hopf cuaterniónica, ncatlab.org. https://ncatlab.org/nlab/show/quaternionic+Hopf+fibration
  3. ^ Smith, Benjamin. "Benjamin H. Smith's Hopf fibration notes" (PDF) . Archivado desde el original (PDF) el 14 de septiembre de 2016.
  4. ^ Kamchatnov, AM (1982), Solitones topológicos en magnetohidrodinámica (PDF) , archivado desde el original (PDF) el 28 de enero de 2016 , consultado el 3 de agosto de 2011
  5. ^ Besse, Arthur (1978). Variedades cuyas geodésicas son todas cerradas . Springer-Verlag. ISBN 978-3-540-08158-6.(§0.26 en la página 6)
  6. ^ Hilo de sci.math.research de 1993 "Esferas fibriladas por esferas"
  7. ^ Friedman, John L. (junio de 2015). "Nota histórica sobre haces de fibras". Physics Today . 68 (6): 11. Bibcode :2015PhT....68f..11F. doi : 10.1063/PT.3.2799 .
  8. ^ Yershova, Anna; Jain, Swati; LaValle, Steven M.; Mitchell, Julie C. (2010). "Generación de cuadrículas incrementales uniformes en SO (3) utilizando la fibración de Hopf". Revista internacional de investigación en robótica . 29 (7): 801–812. doi :10.1177/0278364909352700. ISSN  0278-3649. PMC 2896220 . PMID  20607113. 
  9. ^ Watterson, Michael; Kumar, Vijay (2020). Amato, Nancy M.; Hager, Greg; Thomas, Shawna; Torres-Torriti, Miguel (eds.). "Control de cuadrirrotores mediante la fibración de Hopf en SO(3)" . Investigación en robótica . Springer Proceedings in Advanced Robotics. 10 . Cham: Springer International Publishing: 199–215. doi :10.1007/978-3-030-28619-4_20. ISBN 978-3-030-28619-4.S2CID 195852176  .
  10. ^ Jia, Jindou; Guo, Kexin; Yu, Xiang; Zhao, Weihua; Guo, Lei (2022). "Seguimiento preciso de trayectorias de alta maniobrabilidad para cuadrirrotores: un método de utilización de la resistencia" . IEEE Robotics and Automation Letters . 7 (3): 6966–6973. doi :10.1109/LRA.2022.3176449. ISSN  2377-3766. S2CID  249550496.

Referencias

Enlaces externos