En matemáticas, una construcción topológica.
En la teoría de la homotopía , una rama de la topología algebraica , un sistema Postnikov (o torre Postnikov ) es una forma de descomponer los grupos de homotopía de un espacio topológico utilizando un sistema inverso de espacios topológicos cuyo tipo de homotopía en grado concuerda con el tipo de homotopía truncado del espacio originario . Los sistemas Postnikov fueron introducidos por Mikhail Postnikov y llevan su nombre .![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición
Un sistema Postnikov de un espacio conectado por caminos es un sistema inverso de espacios.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \cdots \to X_ {n} \xrightarrow {p_ {n}} X_ {n-1} \xrightarrow {p_ {n-1}} \cdots \xrightarrow {p_ {3}} X_ {2} \ xrightarrow {p_ {2}} X_ {1}\xrightarrow {p_ {1}} *}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con una secuencia de mapas compatibles con el sistema inverso tal que![{\displaystyle \phi _{n}:X\to X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El mapa induce un isomorfismo para cada .
![{\displaystyle \phi _{n}:X\to X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {i}(X)\to \pi _ {i}(X_ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para . [1] : 410 ![{\displaystyle i>n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Cada mapa es una fibración , por lo que la fibra es un espacio de Eilenberg- MacLane ,.
![{\ Displaystyle p_ {n}: X_ {n} \ a X_ {n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle F_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\pi _ {n}(X),n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las dos primeras condiciones implican que también es un espacio. De manera más general, si está conectado, entonces es un espacio y todos son contraíbles . Tenga en cuenta que algunos autores solo incluyen la tercera condición de forma opcional.![{\displaystyle X_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\pi _ {1}(X),1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\pi _ {n}(X),n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Existencia
Los sistemas Postnikov existen en complejos CW conectados , [1] : 354 y existe una equivalencia de homotopía débil entre y su límite inverso, por lo que![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
mostrando que es una aproximación CW de su límite inverso. Se pueden construir en un complejo CW eliminando iterativamente grupos de homotopía. Si tenemos un mapa que representa una clase de homotopía , podemos realizar la expulsión a lo largo del mapa de límites , eliminando la clase de homotopía. Porque este proceso se puede repetir para todos , dando un espacio en el que hay grupos de homotopía que desaparecen . Utilizando el hecho de que se puede construir eliminando todos los mapas de homotopía , obtenemos un mapa .![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:S^{n}\a X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [f]\in \pi _ {n}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{n}\to e_{n+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n>m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {n}(X_ {m})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{n}\a X_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}\to X_{n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedad principal
Una de las principales propiedades de la torre Postnikov, que la hace tan poderosa para estudiar mientras se calcula la cohomología, es el hecho de que los espacios son homotópicos a un complejo CW que se diferencia solo por las celdas de dimensión .![{\displaystyle X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {X}}_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \geq n+2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Clasificación homotópica de fibraciones.
La secuencia de fibraciones [2] tiene invariantes homotópicamente definidas, es decir, las clases de homotopía de mapas dan un tipo de homotopía bien definido . La clase de homotopía proviene de observar la clase de homotopía del mapa de clasificación de la fibra . El mapa de clasificación asociado es![{\ Displaystyle p_ {n}: X_ {n} \ a X_ {n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle p_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [X]\in \operatorname {Ob} (hTop)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle p_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\pi _ {n}(X),n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
por lo tanto, la clase de homotopía se clasifica mediante una clase de homotopía![{\displaystyle [p_{n}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [p_{n}]\in [X_{n-1},K(\pi _{n}(X),n+1)]\cong H^{n+1}(X_{n- 1},\pi _{n}(X))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
llamado el n º invariante de Postnikov de , ya que las clases de homotopía de mapas de espacios de Eilenberg-Maclane dan cohomología con coeficientes en el grupo abeliano asociado.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Secuencia de fibras para espacios con dos grupos de homotopía no triviales
Uno de los casos especiales de la clasificación de homotopía es la clase de homotopía de espacios tales que existe una fibración.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(A,n)\to X\to \pi _ {1}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dando un tipo de homotopía con dos grupos de homotopía no triviales, y . Luego, de la discusión anterior, el mapa de fibración brinda una clase de cohomología en![{\displaystyle \pi _{1}(X)=G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{n}(X)=A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle BG\a K(A,n+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
que también puede interpretarse como una clase de cohomología grupal . Este espacio puede considerarse un sistema local superior .![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos de torres Postnikov
Torre Postnikov de una K ( G , n )
Uno de los casos conceptualmente más simples de torre Postnikov es el del espacio Eilenberg-Maclane . Esto da una torre con![{\displaystyle K(G,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{matrix}X_{i}\simeq *&{\text{para }}i<n\\X_{i}\simeq K(G,n)&{\text{para }}i \geq n\end{matriz}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Torre Postnikov de S 2
La torre Postnikov de la esfera es un caso especial cuyos primeros términos pueden entenderse explícitamente. Dado que tenemos los primeros grupos de homotopía de la simple conexión de , teoría de grados de esferas y la fibración de Hopf, dando para , por lo tanto![{\displaystyle S^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{k}(S^{2})\simeq \pi _{k}(S^{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\geq 3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{matrix}\pi _{1}(S^{2})=&0\\\pi _{2}(S^{2})=&\mathbb {Z} \\\pi _{3}(S^{2})=&\mathbb {Z} \\\pi _{4}(S^{2})=&\mathbb {Z} /2.\end{matrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, y proviene de una secuencia de retroceso.![{\displaystyle X_{2}=S_{2}^{2}=K(\mathbb {Z}, 2)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{matrix}X_{3}&\to &*\\\downarrow &&\downarrow \\X_{2}&\to &K(\mathbb {Z} ,4),\end{matrix} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que es un elemento en
.
Si esto fuera trivial implicaría ... ¡Pero este no es el caso! De hecho, esto es responsable de por qué los grupoides infinitos estrictos no modelan tipos de homotopía. [3] Calcular esta invariante requiere más trabajo, pero se puede encontrar explícitamente. [4] Esta es la forma cuadrática procedente de la fibración de Hopf . Tenga en cuenta que cada elemento proporciona un tipo de homotopía 3 diferente.![{\displaystyle X_{3}\simeq K(\mathbb {Z},2)\times K(\mathbb {Z},3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\mapsto x^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} \to \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{3}\a S^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H^{4}(\mathbb {CP} ^{\infty })}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Grupos de homotopía de esferas.
Una aplicación de la torre Postnikov es el cálculo de grupos de esferas homotópicos . [5] Para una esfera -dimensional podemos usar el teorema de Hurewicz para demostrar que cada uno es contráctil para , ya que el teorema implica que los grupos de homotopía inferiores son triviales. Recuerde que existe una secuencia espectral para cualquier fibración de Serre , como la fibración
![{\displaystyle S^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{i}^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Entonces podemos formar una secuencia espectral homológica con términos![{\displaystyle E^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Y el primer mapa no trivial de ,![{\displaystyle \pi _ {n+1}\left(S^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
escrito de manera equivalente como
.
Si es fácil de calcular y , entonces podemos obtener información sobre cómo se ve este mapa. En particular, si se trata de un isomorfismo, obtenemos un cálculo de . Para el caso , esto se puede calcular explícitamente usando la fibración de camino para , la propiedad principal de la torre Postnikov para (dando , y el teorema del coeficiente universal dando . Además, debido al teorema de suspensión de Freudenthal, esto en realidad da el grupo de homotopía estable ya que es estable para .![{\displaystyle H_{n+1}\left(S_{n+1}^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{n+2}\left(S_{n+2}^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {n+1}\left(S^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\mathbb {Z},3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {X}}_{4}\simeq S^{3}\cup \{{\text{celdas de dimensión}}\geq 6\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle H_ {4} (X_ {4}) = H_ {5} (X_ {4}) = 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{1}^{\mathbb {S} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {n+k}\left(S^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n\geq k+2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que se pueden aplicar técnicas similares utilizando la torre Whitehead (abajo) para calcular y , dando los dos primeros grupos de esferas de homotopía estable no triviales.![{\displaystyle \pi _ {4}\left(S^{3}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _ {5}\left(S^{3}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Torres de espectros Postnikov
Además de la clásica torre Postnikov, existe una noción de torres Postnikov en la teoría de la homotopía estable construida sobre espectros [6] páginas 85-86 .
Definición
Para un espectro, una torre de Postnikov es un diagrama en la categoría de espectros de homotopía, dado por![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Ho}}({\textbf {Espectros}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
con mapas
![{\displaystyle \tau _ {n}:E\to E_{(n)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
desplazarse con los mapas. Entonces, esta torre es una torre Postnikov si se cumplen las dos condiciones siguientes:![{\ Displaystyle p_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para ,![{\displaystyle i>n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un isomorfismo para ,![{\displaystyle i\leq n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde son grupos de homotopía estables de un espectro. Resulta que cada espectro tiene una torre Postnikov y esta torre se puede construir utilizando un tipo de procedimiento inductivo similar al anterior.![{\displaystyle \pi _{i}^{\mathbb {S} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Torre de cabeza blanca
Dado un complejo CW , existe una construcción dual en la torre Postnikov llamada torre Whitehead . En lugar de eliminar todos los grupos de homotopía superior, la torre Whitehead elimina de forma iterativa los grupos de homotopía inferior. Esto está dado por una torre de complejos CW,![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
dónde
- Los grupos de homotopía inferiores son cero, por lo que para .
![{\displaystyle \pi _{i}(X_{n})=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El mapa inducido es un isomorfismo para .
![{\displaystyle \pi _{i}:\pi _{i}(X_{n})\to \pi _{i}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i>n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Los mapas son fibraciones con fibra .
![{\displaystyle X_{n}\to X_{n-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K(\pi _ {n}(X),n-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Trascendencia
Note que es la cubierta universal ya que es un espacio que cubre con una cubierta simplemente conectada. Además, cada uno es la cubierta universal conectada de .![{\displaystyle X_{1}\a X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}\a X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Construcción
Los espacios de la torre Whitehead se construyen de forma inductiva. Si construimos a eliminando los grupos de homotopía superior en , [7] obtenemos una incrustación . si dejamos![{\displaystyle X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K\left(\pi _ {n+1}(X),n+1\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n}\to K(\pi _ {n+1}(X),n+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n+1}=\left\{f\dos puntos I\to K\left(\pi _{n+1}(X),n+1\right):f(0)=p{ \text{ y }}f(1)\in X_{n}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para algún punto de base fijo , entonces el mapa inducido es un haz de fibras con fibras homeomórficas para![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{n+1}\a X_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
y entonces tenemos una fibración Serre
.
Usando la secuencia larga exacta en la teoría de la homotopía, tenemos que para , para y, finalmente, hay una secuencia exacta![{\displaystyle \pi _{i}(X_{n})=\pi _{i}\left(X_{n-1}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\geq n+1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{i}(X_{n})=\pi _{i}(X_{n-1})=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i<n-1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
donde si el morfismo medio es un isomorfismo, los otros dos grupos son cero. Esto se puede comprobar observando la inclusión y observando que el espacio de Eilenberg-Maclane tiene una descomposición celular.![{\displaystyle X_{n}\to K(\pi _ {n+1}(X),n+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
; de este modo,
,
dando el resultado deseado.
Como fibra homotópica
Otra forma de ver los componentes de la torre Whitehead es como una fibra homotópica . si tomamos
![{\displaystyle {\text{Hofiber}}(\phi _{n}:X\to X_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
desde la torre Postnikov, obtenemos un espacio que tiene![{\displaystyle X^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{k}(X^{n})={\begin{casos}\pi _{k}(X)&k>n\\0&k\leq n\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Torre Whitehead de espectros
La noción dual de la torre Whitehead se puede definir de manera similar utilizando fibras de homotopía en la categoría de espectros. si dejamos
![{\displaystyle E\langle n\rangle =\operatorname {Hofiber} \left(\tau _ {n}:E\to E_{(n)}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
luego esto se puede organizar en una torre dando coberturas conectadas de un espectro. Esta es una construcción ampliamente utilizada [8] [9] [10] en la teoría del bordismo porque las coberturas del espectro del cobordismo no orientado dan otras teorías del bordismo [10]![{\displaystyle M{\text{O}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}M{\text{String}}&=M{\text{O}}\langle 8\rangle \\M{\text{Girar}}&=M{\text{O }}\langle 4\rangle \\M{\text{SO}}&=M{\text{O}}\langle 2\rangle \end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
como el bordismo de cuerdas .
Torre de Whitehead y teoría de cuerdas
En geometría de Spin, el grupo se construye como la cubierta universal del grupo ortogonal especial , por lo que es una fibración, dando el primer término en la torre Whitehead. Hay interpretaciones físicamente relevantes para las partes más altas de esta torre, que pueden leerse como
![{\displaystyle \operatorname {SO} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} /2\to \operatorname {Girar} (n)\to SO(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \cdots \to \operatorname {Cincobranas} (n)\to \operatorname {String} (n)\to \operatorname {Girar} (n)\to \operatorname {SO} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde la cubierta conectada se llama grupo de cuerdas y la cubierta conectada se llama grupo de cinco branas . [11] [12]![{\displaystyle \operatorname {Cadena} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {SO} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Cincobranas} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 7}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ ab Hatcher, Allen . Topología algebraica (PDF) .
- ^ Kahn, Donald W. (1 de marzo de 1963). «Mapas inducidos para sistemas Postnikov» (PDF) . Transacciones de la Sociedad Matemática Estadounidense . 107 (3): 432–450. doi : 10.1090/s0002-9947-1963-0150777-x . ISSN 0002-9947.
- ^ Simpson, Carlos (9 de octubre de 1998). "Tipos de homotopía de 3 grupos estrictos". arXiv : matemáticas/9810059 .
- ^ Eilenberg, Samuel ; MacLane, Saunders (1954). "Sobre los Grupos , III: Operaciones y Obstrucciones". Anales de Matemáticas . 60 (3): 513–557. doi :10.2307/1969849. ISSN 0003-486X. JSTOR 1969849.
![{\displaystyle H(\Pi,n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Laurențiu-George, Maxim. "Secuencias espectrales y grupos homotópicos de esferas" (PDF) . Archivado (PDF) desde el original el 19 de mayo de 2017.
- ^ Sobre Thom Spectra, orientabilidad y cobordismo. Monografías de Springer en Matemáticas. Berlín, Heidelberg: Springer . 1998. doi :10.1007/978-3-540-77751-9. ISBN 978-3-540-62043-3.
- ^ Maxim, Laurențiu. "Notas de la conferencia sobre teoría y aplicaciones de la homotopía" (PDF) . pag. 66. Archivado (PDF) desde el original el 16 de febrero de 2020.
- ^ Colina, Michael A. (2009). "El bordismo de cuerdas de BE8 y BE8 × BE8 hasta la dimensión 14". Revista de Matemáticas de Illinois . 53 (1): 183-196. doi : 10.1215/ijm/1264170845 . ISSN 0019-2082.
- ^ Bunke, Ulrich; Naumann, Niko (1 de diciembre de 2014). "Invariantes secundarias para bordismo de cuerdas y formas modulares topológicas". Boletín de Ciencias Matemáticas . 138 (8): 912–970. doi : 10.1016/j.bulsci.2014.05.002 . ISSN 0007-4497.
- ^ ab Szymik, Markus (2019). "Bordismo de cuerdas y características cromáticas". En Daniel G. Davis; Hans-Werner Henn; JF Jardine; Mark W. Johnson; Charles Rezk (eds.). Teoría de la homotopía: herramientas y aplicaciones . Matemáticas Contemporáneas. vol. 729, págs. 239–254. arXiv : 1312.4658 . doi :10.1090/conm/729/14698. ISBN 9781470442446. S2CID 56461325.
- ^ "Física matemática: aplicación física de la torre Postnikov, String(n) y Fivebrane(n)". Intercambio de pila de física . Consultado el 16 de febrero de 2020 .
- ^ "at.topología algebraica: ¿qué tienen que ver las torres Whitehead con la física?". Desbordamiento matemático . Consultado el 16 de febrero de 2020 .
- Póstnikov, Mikhail M. (1951). "Determinación de los grupos de homología de un espacio mediante las invariantes de homotopía". Doklady Akademii Nauk SSSR . 76 : 359–362.
- Maxim, Laurențiu. "Notas de la conferencia sobre teoría y aplicaciones de la homotopía" (PDF) . www.math.wisc.edu .
- Determinación de los segundos grupos de homología y cohomología de un espacio mediante invariantes de homotopía: ofrece ejemplos accesibles de invariantes de Postnikov
- Hatcher, Allen (2002). Topología algebraica. Prensa de la Universidad de Cambridge . ISBN 978-0-521-79540-1.
- Zhang. "Torres Postnikov, torres Whitehead y sus aplicaciones (notas manuscritas)" (PDF) . www.math.purdue.edu . Archivado desde el original (PDF) el 13 de febrero de 2020.