Cambio de fibra

En topología algebraica, dada una fibración p : E → B , el cambio de fibra es un mapa entre las fibras inducido por caminos en B .

Dado que una cobertura es una fibración, la construcción generaliza los hechos correspondientes en la teoría de la cobertura de espacios .

Definición

Si β es un camino en B que comienza, digamos, en b , entonces tenemos la homotopía donde el primer mapa es una proyección. Dado que p es una fibración, por la propiedad de elevación de homotopía , h se eleva a una homotopía con . Tenemos: ${\displaystyle h:p^{-1}(b)\times I\to I{\overset {\beta }{\to }}B}$ ${\displaystyle g:p^{-1}(b)\times I\to E}$ ${\displaystyle g_{0}:p^{-1}(b)\hookrightarrow E}$

${\displaystyle g_{1}:p^{-1}(b)\to p^{-1}(\beta (1))}$.

(Puede haber una ambigüedad y, por lo tanto, no es necesario que esté bien definido). ${\displaystyle \beta \mapsto g_{1}}$

Denotemos el conjunto de clases de ruta en B . Afirmamos que la construcción determina el mapa: ${\displaystyle \operatorname {Pc} (B)}$

${\displaystyle \tau :\operatorname {Pc} (B)\to }$el conjunto de clases de homotopía de mapas.

Supongamos que β, β' están en la misma clase de ruta; por tanto, existe una homotopía h de β a β'. Dejar

${\displaystyle K=I\times \{0,1\}\cup \{0\}\times I\subset I^{2}}$.

Haciendo un dibujo, hay un homeomorfismo que se restringe a un homeomorfismo . Sea tal que , y . ${\displaystyle I^{2}\to I^{2}}$ ${\displaystyle K\to I\times \{0\}}$ ${\displaystyle f:p^{-1}(b)\times K\to E}$ ${\displaystyle f(x,s,0)=g(x,s)}$ ${\displaystyle f(x,s,1)=g'(x,s)}$ ${\displaystyle f(x,0,t)=x}$

Entonces, mediante la propiedad de elevación de la homotopía, podemos elevar la homotopía a w de manera que w se restrinja a . En particular, tenemos , estableciendo el reclamo. ${\displaystyle p^{-1}(b)\times I^{2}\to I^{2}{\overset {h}{\to }}B}$ ${\displaystyle f}$ ${\displaystyle g_{1}\sim g_{1}'}$

De la construcción se desprende claramente que el mapa es un homomorfismo: si , ${\displaystyle \gamma (1)=\beta (0)}$

${\displaystyle \tau ([c_{b}])=\operatorname {id} ,\,\tau ([\beta ]\cdot [\gamma ])=\tau ([\beta ])\circ \tau ([\gamma ])}$

¿Dónde está el camino constante en b ? Se deduce que tiene inversa. Por lo tanto, realmente podemos decir: ${\displaystyle c_{b}}$ ${\displaystyle \tau ([\beta ])}$

${\displaystyle \tau :\operatorname {Pc} (B)\to }$el conjunto de clases de homotopía de equivalencias de homotopía.

Además, tenemos: para cada b en B ,

${\displaystyle \tau :\pi _{1}(B,b)\to }${[ƒ] | equivalencia de homotopía } ${\displaystyle f:p^{-1}(b)\to p^{-1}(b)}$

que es un homomorfismo de grupo (el lado derecho es claramente un grupo). En otras palabras, el grupo fundamental de B en b actúa sobre la fibra sobre b , hasta la homotopía. Este hecho es un sustituto útil de la ausencia del grupo estructural .

Consecuencia

Una consecuencia de la construcción es la siguiente:

• Las fibras de p sobre un componente de ruta son homotópicamente equivalentes entre sí.

Referencias

• James F. Davis, Paul Kirk, Apuntes de conferencias sobre topología algebraica
• May, J. Un curso conciso en topología algebraica