Espacio topológico con un solo grupo de homotopía no trivial
En matemáticas , específicamente en topología algebraica , un espacio de Eilenberg-MacLane [nota 1] es un espacio topológico con un único grupo de homotopía no trivial .
Sea G un grupo yn un entero positivo . Un espacio topológico conectado X se llama espacio de Eilenberg-MacLane de tipo , si tiene un n -ésimo grupo de homotopía isomorfo a G y todos los demás grupos de homotopía triviales . Suponiendo que G es abeliano en el caso de que , los espacios de tipo Eilenberg-MacLane siempre existen y todos son equivalentes de homotopía débil. Por lo tanto, se puede considerar que se refiere a una clase de espacios de equivalencia de homotopía débil. Es común referirse a cualquier representante como "un " o como "un modelo de ". Además, es común suponer que este espacio es un complejo CW (lo que siempre es posible mediante la aproximación CW).
El nombre se deriva de Samuel Eilenberg y Saunders Mac Lane , quienes introdujeron este tipo de espacios a finales de la década de 1940.
Como tal, un espacio de Eilenberg-MacLane es un tipo especial de espacio topológico que en la teoría de la homotopía puede considerarse como un componente básico para complejos CW mediante fibraciones en un sistema Postnikov . Estos espacios son importantes en muchos contextos de la topología algebraica , incluidos los cálculos de grupos de esferas de homotopía, la definición de operaciones de cohomología y por tener una fuerte conexión con la cohomología singular .
Un espacio de Eilenberg-Maclane generalizado es un espacio que tiene el tipo de homotopía de un producto de espacios de Eilenberg-Maclane .
Ejemplos
- El círculo unitario es un .
- El espacio proyectivo complejo de dimensión infinita es un modelo de .
- El espacio proyectivo real de dimensión infinita es un .
- La suma de cuña de k círculos unitarios es a , donde es el grupo libre en k generadores.
- El complemento de cualquier nudo o gráfico conectado en una esfera tridimensional es de tipo ; esto se llama " asfericidad de los nudos" y es un teorema de 1957 de Christos Papakyriakopoulos . [1]
- Cualquier variedad M compacta , conectada y con curvatura no positiva es a , donde es el grupo fundamental de M. Esta es una consecuencia del teorema de Cartan-Hadamard .
- Un espacio de lente infinito dado por el cociente de por la acción libre de es a . Esto se puede demostrar utilizando la teoría del espacio de cobertura y el hecho de que la esfera de dimensión infinita es contráctil . [2] Tenga en cuenta que esto se incluye como archivo .
- El espacio de configuración de puntos en el plano es a , donde está el grupo trenzado puro en hebras.
- En consecuencia, el enésimo espacio de configuración desordenada de es a , donde denota el grupo trenzado de n hebras . [3]
- El producto simétrico infinito de una n -esfera es a . De manera más general, es para todos los espacios de Moore .
A partir de estos se pueden construir algunos ejemplos elementales adicionales utilizando el hecho de que el producto es . Por ejemplo, el toro n -dimensional es un .
Observación sobre la construcción de espacios Eilenberg-MacLane
Para y un grupo arbitrario la construcción de es idéntica a la del espacio de clasificación del grupo . Tenga en cuenta que si G tiene un elemento de torsión, entonces cada complejo CW de tipo K(G,1) tiene que ser de dimensión infinita.
Existen múltiples técnicas para construir espacios superiores de Eilenberg-Maclane. Uno de los cuales es construir un espacio de Moore para un grupo abeliano : tomar la cuña de n - esferas , una para cada generador del grupo A y realizar las relaciones entre estos generadores uniendo (n+1) -celdas a través de los mapas correspondientes en de dicha suma cuña. Tenga en cuenta que los grupos de homotopía inferior ya son triviales por construcción. Ahora elimine iterativamente todos los grupos de homotopía superiores uniendo sucesivamente celdas de dimensión mayor que y defina como límite directo bajo la inclusión de esta iteración.
Otra técnica útil es utilizar la realización geométrica de grupos abelianos simpliciales . [4] Esto da una presentación explícita de grupos abelianos simpliciales que representan espacios de Eilenberg-Maclane.
Otra construcción simple, en términos de clasificación de espacios y paquetes universales , se ofrece en el libro de J. Peter May . [5]
Dado que tomar el espacio del bucle reduce los grupos de homotopía en una ranura, tenemos una equivalencia de homotopía canónica , por lo tanto, hay una secuencia de fibración.
- .
Tenga en cuenta que esta no es una secuencia de cofibración: el espacio no es la cofibra homotópica de .
Esta secuencia de fibración se puede utilizar para estudiar la cohomología del uso de la secuencia espectral de Leray . Esto fue explotado por Jean-Pierre Serre mientras estudiaba los grupos homotópicos de esferas utilizando el sistema Postnikov y secuencias espectrales.
Propiedades de los espacios de Eilenberg-MacLane
Biyección entre clases de homotopía de mapas y cohomología.
Una propiedad importante de 's es que para cualquier grupo abeliano G y cualquier complejo CW basado X , el conjunto de clases de homotopía basada de mapas basados de X a está en biyección natural con el n -ésimo grupo de cohomología singular del espacio X. . Por tanto, se dice que representan espacios para cohomología singular con coeficientes en G . Desde
hay un elemento distinguido correspondiente a la identidad. La biyección anterior está dada por el retroceso de ese elemento . Esto es similar al lema de Yoneda de la teoría de categorías .
Aquí se puede encontrar una prueba constructiva de este teorema, [6] aquí se puede encontrar otra que hace uso de la relación entre los espectros omega y las teorías de cohomología reducida generalizada [7] y la idea principal también se esboza más adelante.
Espacios de bucle / espectros omega
El espacio de bucle de un espacio de Eilenberg-MacLane es nuevamente un espacio de Eilenberg-MacLane: . Además, existe una relación adjunta entre el espacio-bucle y la suspensión reducida: , que da la estructura de un grupo abeliano, donde la operación es la concatenación de bucles. Esto hace que la biyección mencionada anteriormente sea un isomorfismo de grupo.
Además, esta propiedad implica que los espacios de Eilenberg-MacLane con varios n forman un espectro omega , llamado "espectro de Eilenberg-MacLane". Este espectro se define a través de una teoría de cohomología reducida en complejos CW basados y para cualquier teoría de cohomología reducida en complejos CW con un isomorfismo natural , donde denota cohomología singular reducida. Por tanto, estas dos teorías de cohomología coinciden.
En un contexto más general, la representabilidad de Brown dice que toda teoría de cohomología reducida basada en complejos CW proviene de un espectro omega .
Relación con la homología
Para un grupo abeliano fijo hay mapas de los grupos de homotopía estable
inducida por el mapa . Tomando el límite directo sobre estos mapas, se puede verificar que esto define una teoría de homología reducida.
en complejos CW. Dado que desaparece para , concuerda con una homología singular reducida con coeficientes en G en complejos CW.
Funcionalidad
Del teorema del coeficiente universal para cohomología se deduce que el espacio de Eilenberg MacLane es un cuasifuntor del grupo; es decir, para cada entero positivo si hay algún homomorfismo de grupos abelianos, entonces hay un conjunto no vacío
satisfactorio
donde denota la clase de homotopía de un mapa continuo y
Relación con la torre Postnikov/Whitehead
Cada complejo CW conectado posee una torre Postnikov , es decir, un sistema inverso de espacios:
tal que para cada :
- hay mapas de desplazamiento , que inducen isomorfismo en for ,
- para ,
- los mapas son fibraciones con fibra .
Existe dualmente una torre Whitehead , que es una secuencia de complejos CW:
tal que para cada :
- los mapas inducen isomorfismo en for ,
- está n-conectado ,
- los mapas son fibraciones con fibra
Con la ayuda de secuencias espectrales de Serre se pueden realizar cálculos de grupos de esferas de mayor homotopía . Por ejemplo , aquí se puede encontrar el uso de una torre Whitehead , [8] de manera más general, aquí se pueden encontrar los que usan sistemas Postnikov. [9]
Operaciones de cohomología
Para números naturales fijos m,n y grupos abelianos G,H existe una biyección entre el conjunto de todas las operaciones de cohomología y definida por , donde es una clase fundamental .
Como resultado, las operaciones de cohomología no pueden disminuir el grado de los grupos de cohomología y las operaciones de cohomología que preservan el grado corresponden al homomorfismo de coeficientes . Esto se desprende del teorema del coeficiente universal para la cohomología y la conectividad (m-1) de .
Algunos ejemplos interesantes de operaciones de cohomología son los cuadrados y potencias de Steenrod , cuando son grupos cíclicos finitos . Al estudiarlos, la importancia de la cohomología de con coeficientes se hace evidente rápidamente; [10] Aquí se pueden encontrar algunos cuadros extensos de esos grupos. [11]
(co)homología de grupo
Se puede definir la (co)homología del grupo de G con coeficientes en el grupo A como la (co)homología singular del espacio de Eilenberg-MacLane con coeficientes en A.
Otras aplicaciones
La construcción del espacio de bucles descrita anteriormente se utiliza en la teoría de cuerdas para obtener, por ejemplo, el grupo de cuerdas , el grupo de cinco branas , etc., como la torre de Whitehead que surge de la secuencia corta exacta.
con el grupo de cuerdas y el grupo de giro . La relevancia de radica en el hecho de que existen equivalencias de homotopía.
para el espacio de clasificación y el hecho . Observe que debido a que el grupo de espín complejo es una extensión del grupo
- ,
El grupo de cuerdas puede considerarse como una extensión de grupo de espín complejo "superior", en el sentido de la teoría de grupos superiores, ya que el espacio es un ejemplo de un grupo superior. Se puede pensar en la realización topológica del grupoide cuyo objeto es un solo punto y cuyos morfismos son el grupo . Debido a estas propiedades homotópicas, la construcción se generaliza: cualquier espacio dado puede usarse para iniciar una secuencia corta y exacta que elimine el grupo de homotopía en un grupo topológico .
Ver también
Notas
- ^ Saunders Mac Lane originalmente deletreaba su nombre "MacLane" (sin espacio) y coeditó los artículos que establecen la noción de espacios Eilenberg-MacLane bajo este nombre. (Ver, por ejemplo, MR 13312) En este contexto, por lo tanto, es convencional escribir el nombre sin espacio.
- ^ Papakyriakopoulos, CD (15 de enero de 1957). "Sobre el lema de Dehn y la asfericidad de los nudos". Procedimientos de la Academia Nacional de Ciencias . 43 (1): 169-172. Código bibliográfico : 1957PNAS...43..169P. doi : 10.1073/pnas.43.1.169 . PMC 528404 . PMID 16589993.
- ^ "topología general: ¿la esfera unitaria en $\mathbb{R}^\infty$ es contráctil?". Intercambio de pilas de matemáticas . Consultado el 1 de septiembre de 2020 .
- ^ Lucas Williams "Espacios de configuración para el estudiante universitario que trabaja", arXiv , 5 de noviembre de 2019. Consultado el 14 de junio de 2021.
- ^ "topología gt.geometric - ¿Construcciones explícitas de K (G, 2)?". Desbordamiento matemático . Consultado el 28 de octubre de 2020 .
- ^ Mayo, J. Peter . Un curso conciso en topología algebraica (PDF) . Capítulo 16, sección 5: University of Chicago Press .
{{cite book}}
: CS1 maint: location (link) - ^ Xi Yin "En los espacios de Eilenberg-MacLanes" Archivado el 29 de septiembre de 2021 en Wayback Machine , obtenido el 14 de junio de 2021
- ^ Allen Hatcher "Topología algebraica", Cambridge University Press , 2001. Consultado el 14 de junio de 2021.
- ^ Xi Yin "En los espacios de Eilenberg-MacLanes" Archivado el 29 de septiembre de 2021 en Wayback Machine , obtenido el 14 de junio de 2021
- ^ Secuencias espectrales de Allen Hatcher, obtenido el 25 de abril de 2021
- ^ Cary Malkiewich "El álgebra de Steenrod", obtenido el 14 de junio de 2021
- ^ Cohomología integral de torres finitas Postnikov
Referencias
Artículos fundamentales
- Eilenberg, Samuel ; MacLane, Saunders (1945), "Relaciones entre grupos de espacios de homología y homotopía", Annals of Mathematics , (Segunda serie), 46 (3): 480–509, doi :10.2307/1969165, JSTOR 1969165, MR 0013312
- Eilenberg, Samuel ; MacLane, Saunders (1950). "Relaciones entre grupos de espacios de homología y homotopía. II". Anales de Matemáticas . (Segunda Serie). 51 (3): 514–533. doi :10.2307/1969365. JSTOR 1969365. SEÑOR 0035435.
- Eilenberg, Samuel ; MacLane, Saunders (1954). "Sobre los grupos H ( Π , n ) {\displaystyle H(\Pi ,n)} . III. Operaciones y obstrucciones". Anales de Matemáticas . 60 (3): 513–557. doi :10.2307/1969849. JSTOR 1969849. SEÑOR 0065163.
Seminario de Cartan y aplicaciones.
El seminario de Cartan contiene muchos resultados fundamentales sobre los espacios de Eilenberg-Maclane, incluida su homología y cohomología, y aplicaciones para calcular los grupos homotópicos de esferas.
- http://www.numdam.org/volume/SHC_1954-1955__7/ Archivado el 25 de abril de 2022 en Wayback Machine.
Calcular anillos de cohomología integrales
- Functores derivados de los funtores de potencia dividida
- Cohomología integral de torres finitas Postnikov
- (Co)homología de los espacios de Eilenberg-MacLane K(G,n)
Otras referencias enciclopédicas
- Enciclopedia de Matemáticas
- Espacio Eilenberg-Mac Lane en el n Lab