Topología algebraica
La topología algebraica asocia invariantes algebraicos — grupos, anillos y módulos — a espacios topológicos, de modo que los espacios que no pueden deformarse continuamente entre sí se distinguen mediante álgebra computable.
Definition
La topología algebraica es el estudio de los espacios topológicos mediante invariantes algebraicos —siendo los más importantes los grupos de homotopía, la homología y la cohomología— que se preservan por deformación continua y que transforman los problemas topológicos en cálculos algebraicos.
Scope
Esta área abarca los invariantes funtoriales que clasifican los espacios hasta la homotopía: el grupo fundamental y los grupos de homotopía superiores, la teoría de los espacios recubridores, la homología singular y simplicial, la cohomología con su estructura de anillo de producto cup y la maquinaria de secuencias exactas y complejos CW utilizados para calcularlos. Se enfatiza la traducción de preguntas topológicas al álgebra y se excluyen los fundamentos de la teoría de conjuntos de puntos (topología general) y los refinamientos suaves o métricos tratados en la geometría diferencial y riemanniana.
Sub-topics
Core questions
- ¿Cómo pueden los invariantes algebraicos distinguir espacios que no son homeomorfos o no son homotópicamente equivalentes?
- ¿Qué invariantes son computables y cómo las secuencias exactas y las estructuras CW los hacen así?
- ¿En qué se diferencian la homología y la cohomología, y qué estructura adicional (productos, dualidad) conlleva la cohomología?
- ¿Cuál es la relación entre el grupo fundamental, de fácil definición, y los grupos de homotopía superiores, mucho más sutiles?
Key concepts
- Homotopía y equivalencia homotópica de mapas y espacios
- Grupo fundamental y espacios recubridores
- Homología singular y simplicial
- Cohomología, productos cup y dualidad de Poincaré
- Complejos CW y funtorialidad de los invariantes
Clinical relevance
La topología algebraica proporciona herramientas de obstrucción y clasificación utilizadas en geometría y análisis —teoremas de punto fijo, la clasificación de superficies y fibrados vectoriales, la teoría de índices y las clases características— y su lenguaje categórico y homológico impregna el álgebra moderna y la física matemática.
History
La disciplina se originó en el "Analysis Situs" de Poincaré (1895), que introdujo la homología y el grupo fundamental; la reformulación de la homología en términos de teoría de grupos por Emmy Noether en la década de 1920 y el desarrollo a mediados de siglo de la teoría de categorías y el álgebra homológica la convirtieron en la disciplina funtorial que se enseña hoy en día.
Key figures
- Henri Poincaré
- Emmy Noether
- Allen Hatcher
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- ¿Qué significa asociar un invariante algebraico a un espacio?
- Un invariante es un funtor que asigna a cada espacio un grupo o anillo y a cada mapa continuo un homomorfismo, de tal manera que los mapas homotópicos inducen el mismo homomorfismo, por lo que los espacios homotópicamente equivalentes obtienen invariantes isomorfos.
- ¿Por qué los grupos de homotopía superiores son mucho más difíciles que la homología?
- Los grupos de homotopía son muy sensibles y resisten el cálculo —incluso los grupos de homotopía de las esferas son en gran parte desconocidos— mientras que la homología satisface la escisión y las secuencias exactas largas que la hacen sistemáticamente computable.