En matemáticas , una equivalencia débil es una noción de la teoría de la homotopía que en cierto sentido identifica objetos que tienen la misma "forma". Esta noción se formaliza en la definición axiomática de una categoría modelo .
Una categoría modelo es una categoría con clases de morfismos llamados equivalencias débiles, fibraciones y cofibraciones , que satisfacen varios axiomas. La categoría de homotopía asociada de una categoría de modelo tiene los mismos objetos, pero los morfismos se cambian para convertir las equivalencias débiles en isomorfismos . Es una observación útil que la categoría de homotopía asociada depende solo de las equivalencias débiles, no de las fibraciones y cofibraciones.
Espacios topológicos
Las categorías de modelos fueron definidas por Quillen como una axiomatización de la teoría de la homotopía que se aplica a los espacios topológicos , pero también a muchas otras categorías en álgebra y geometría . El ejemplo que inició el tema es la categoría de espacios topológicos con fibraciones de Serre como fibraciones y equivalencias de homotopía débil como equivalencias débiles (las cofibraciones para esta estructura modelo pueden describirse como las retracciones de complejos celulares relativos X ⊆ Y [1] ). Por definición, un mapeo continuo f : X → Y de espacios se llama equivalencia de homotopía débil si la función inducida en conjuntos de componentes de ruta
es biyectivo , y para cada punto x en X y cada n ≥ 1, el homomorfismo inducido
en grupos de homotopía es biyectiva. (Para X e Y conectados a la ruta , la primera condición es automática y basta con indicar la segunda condición para un solo punto x en X ).
Para espacios topológicos X e Y simplemente conectados , un mapa f : X → Y es una equivalencia de homotopía débil si y solo si el homomorfismo inducido f * : H n ( X , Z ) → H n ( Y , Z ) en grupos de homología singulares es biyectiva para todo n . [2] Del mismo modo, para los espacios X e Y simplemente conectados , un mapa f : X → Y es una equivalencia de homotopía débil si y solo si el homomorfismo de retroceso f *: H n ( Y , Z ) → H n ( X , Z ) en cohomología singular es biyectiva para todo n . [3]
Ejemplo: Sea X el conjunto de números naturales {0, 1, 2, ...} y sea Y el conjunto {0} ∪ {1, 1/2, 1/3, ...}, ambos con el topología subespacial de la línea real . Defina f : X → Y mapeando 0 a 0 y n a 1 / n para enteros positivos n . Entonces f es continua, y de hecho una equivalencia de homotopía débil, pero no es una equivalencia de homotopía .
La categoría de homotopía de espacios topológicos (obtenida invirtiendo las equivalencias de homotopía débil) simplifica enormemente la categoría de espacios topológicos. De hecho, esta categoría de homotopía es equivalente a la categoría de complejos CW, siendo los morfismos clases de homotopía de mapas continuos.
También se han considerado muchas otras estructuras modelo en la categoría de espacios topológicos. Por ejemplo, en la estructura del modelo de Strøm en espacios topológicos, las fibraciones son las fibraciones de Hurewicz y las equivalencias débiles son las equivalencias de homotopía. [4]
Complejos de cadena
Algunas otras categorías de modelos importantes involucran complejos de cadenas . Sea A una categoría abeliana de Grothendieck , por ejemplo la categoría de módulos sobre un anillo o la categoría de haces de grupos abelianos en un espacio topológico. Definir una categoría C ( A ) con objetos los complejos X de objetos en A ,
y morfismos los mapas de la cadena . (Equivale a considerar "complejos cochain" de objetos de A , donde la numeración se escribe como
simplemente definiendo X i = X - i .)
La categoría C ( A ) tiene una estructura modelo en la que las cofibraciones son los monomorfismos y las equivalencias débiles son los cuasi-isomorfismos . [5] Por definición, un mapa de cadena f : X → Y es un cuasi-isomorfismo si el homomorfismo inducido
en homología es un isomorfismo para todos los números enteros n . (Aquí H n ( X ) es el objeto de A definido como el núcleo de X n → X n −1 módulo la imagen de X n +1 → X n .) La categoría de homotopía resultante se llama categoría derivada D ( A ) .
Fibraciones triviales y cofibraciones triviales
En cualquier categoría de modelo, una fibración que también es una equivalencia débil se denomina fibración trivial (o acíclica ) . Una cofibración que también es una equivalencia débil se denomina cofibración trivial (o acíclica ) .
Notas
- ^ Hovey (1999), Definición 2.4.3.
- ^ Hatcher (2002), Teorema 4.32.
- ^ ¿Existe el teorema de Whitehead para la teoría de la cohomología?
- ^ Strøm (1972).
- ^ Beke (2000), Proposición 3.13.
Referencias
- Beke, Tibor (2000), "Categorías de modelos de homotopía transitable", Procedimientos matemáticos de la Sociedad Filosófica de Cambridge , 129 : 447–473, arXiv : math / 0102087 , Bibcode : 2000MPCPS.129..447B , doi : 10.1017 / S0305004100004722 , MR 1780498
- Hatcher, Allen (2002), Topología algebraica , Cambridge University Press , ISBN 0-521-79540-0, Señor 1867354
- Hovey, Mark (1999), Categorías de modelos (PDF) , American Mathematical Society , ISBN 0-8218-1359-5, MR 1650134
- Strøm, Arne (1972), "La categoría de homotopía es una categoría de homotopía", Archiv der Mathematik , 23 : 435–441, doi : 10.1007 / BF01304912 , MR 0321082