Homotopía regular

En el campo matemático de la topología , una homotopía regular se refiere a un tipo especial de homotopía entre inmersiones de una variedad en otra. La homotopía debe ser una familia de inmersiones de 1 parámetro.

De manera similar a las clases de homotopía , se definen dos inmersiones como en la misma clase de homotopía regular si existe una homotopía regular entre ellas. La homotopía regular para inmersiones es similar a la isotopía de incrustaciones: ambos son tipos restringidos de homotopías. Dicho de otra manera, dos funciones continuas son homotópicas si representan puntos en los mismos componentes de ruta del espacio de mapeo , dada la topología compacta-abierta . El espacio de inmersiones es el subespacio que consta de inmersiones, denotado por . Dos inmersiones son regularmente homotópicas si representan puntos en el mismo componente de ruta de . ${\displaystyle f,g:M\to N}$ ${\displaystyle C(M,N)}$ ${\displaystyle C(M,N)}$ ${\displaystyle \operatorname {Imm} (M,N)}$ ${\displaystyle f,g:M\to N}$ ${\displaystyle \operatorname {Imm} (M,N)}$

Ejemplos

Dos nudos cualesquiera en un espacio tridimensional son equivalentes por homotopía regular, aunque no por isotopía.

Esta curva tiene curvatura total 6 π , y giro número 3.

El teorema de Whitney-Graustein clasifica las clases de homotopía regulares de un círculo en el plano; dos inmersiones son regularmente homotópicas si y sólo si tienen el mismo número de giros (equivalentemente, curvatura total ); de manera equivalente, si y solo si sus mapas de Gauss tienen el mismo grado/ número de devanado .

La clasificación de Smale de las inmersiones de esferas muestra que existen eversiones de esferas que pueden realizarse a través de esta superficie de Morin .

Stephen Smale clasificó las clases de homotopía regulares de una k -esfera sumergida ; se clasifican por grupos de homotopía de variedades de Stiefel , que es una generalización del mapa de Gauss, en el que aquí k derivadas parciales no desaparecen. Más precisamente, el conjunto de clases de homotopía regulares de incrustaciones de esfera en está en correspondencia uno a uno con elementos de grupo . En caso de que tengamos . Dado que el camino es conexo y debido al teorema de periodicidad de Bott tenemos y desde entonces tenemos . Por tanto todas las inmersiones de esferas y en espacios euclidianos de una dimensión más son homotópicas regulares. En particular, las esferas incrustadas en admiten eversión si . Un corolario de su trabajo es que sólo hay una clase de homotopía regular de 2 esferas sumergidas en . En particular, esto significa que existen eversiones de esfera , es decir, que se pueden girar las 2 esferas "del revés". ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle I(n,k)}$ ${\displaystyle S^{k}}$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle \pi _{k}\left(V_{k}\left(\mathbb {R} ^{n}\right)\right)}$ ${\displaystyle k=n-1}$ ${\displaystyle V_{n-1}\left(\mathbb {R} ^{n}\right)\cong SO(n)}$ ${\displaystyle SO(1)}$ ${\displaystyle \pi _{2}(SO(3))\cong \pi _{2}\left(\mathbb {R} P^{3}\right)\cong \pi _{2}\left(S^{3}\right)\cong 0}$ ${\displaystyle \pi _{6}(SO(6))\to \pi _{6}(SO(7))\to \pi _{6}\left(S^{6}\right)\to \pi _{5}(SO(6))\to \pi _{5}(SO(7))}$ ${\displaystyle \pi _{6}(SO(6))\cong \pi _{6}(\operatorname {Spin} (6))\cong \pi _{6}(SU(4))\cong \pi _{6}(U(4))\cong 0}$ ${\displaystyle \pi _{5}(SO(6))\cong \mathbb {Z} ,\ \pi _{5}(SO(7))\cong 0}$ ${\displaystyle \pi _{6}(SO(7))\cong 0}$ ${\displaystyle S^{0},\ S^{2}}$ ${\displaystyle S^{6}}$ ${\displaystyle S^{n}}$ ${\displaystyle \mathbb {R} ^{n+1}}$ ${\displaystyle n=0,2,6}$ ${\displaystyle \mathbb {R} ^{3}}$

Ambos ejemplos consisten en reducir la homotopía regular a homotopía; Posteriormente, esto se ha generalizado sustancialmente en el enfoque del principio de homotopía (o principio h ).

Homotopía no degenerada

Para curvas de espacio cerrado localmente convexas , también se puede definir homotopía no degenerada. Aquí, la familia de inmersiones de 1 parámetro no debe ser degenerada (es decir, la curvatura nunca puede desaparecer). Hay 2 clases distintas de homotopía no degenerada. ^[1] Otras restricciones de la torsión que no desaparece conducen a 4 clases de equivalencia distintas. ^[2]

Referencias

1. Feldman, EA (1968). "Deformaciones de curvas en espacios cerrados". Revista de Geometría Diferencial . 2 (1): 67–75. doi : 10.4310/jdg/1214501138 .
2. Pequeño, John A. (1971). "Homotopías no degeneradas de tercer orden de curvas espaciales". Revista de Geometría Diferencial . 5 (3): 503–515. doi : 10.4310/jdg/1214430012 .

• Whitney, Hassler (1937). "Sobre curvas regulares cerradas en el avión". Composición Matemática . 4 : 276–284.
• Smale, Stephen (febrero de 1959). «Una clasificación de inmersiones de las dos esferas» (PDF) . Transacciones de la Sociedad Matemática Estadounidense . 90 (2): 281–290. doi : 10.2307/1993205 . JSTOR  1993205.
• Smale, Stephen (marzo de 1959). «La clasificación de inmersiones de esferas en espacios euclidianos» (PDF) . Anales de Matemáticas . 69 (2): 327–344. doi :10.2307/1970186. JSTOR  1970186.