Topologie algébrique
La topologie algébrique associe des invariants algébriques — groupes, anneaux et modules — aux espaces topologiques afin que les espaces qui ne peuvent pas être déformés continûment l'un en l'autre soient distingués par des structures algébriques calculables.
Definition
La topologie algébrique est l'étude des espaces topologiques au moyen d'invariants algébriques — principalement les groupes d'homotopie, l'homologie et la cohomologie — qui sont préservés par déformation continue et qui transforment les problèmes topologiques en calculs algébriques.
Scope
Ce domaine couvre les invariants fonctoriels qui classifient les espaces à homotopie près : le groupe fondamental et les groupes d'homotopie supérieurs, la théorie des espaces de revêtement, l'homologie singulière et simpliciale, la cohomologie avec sa structure d'anneau de cup-produit, et l'appareil des suites exactes et des complexes CW utilisés pour les calculer. Il met l'accent sur la traduction des questions topologiques en problèmes algébriques et exclut les fondements ensemblistes (topologie générale) ainsi que les raffinements lisses ou métriques traités en géométrie différentielle et riemannienne.
Sub-topics
Core questions
- Comment les invariants algébriques peuvent-ils distinguer des espaces qui ne sont pas homéomorphes ou qui ne sont pas homotopiquement équivalents ?
- Quels invariants sont calculables, et comment les suites exactes et les structures CW les rendent-elles tels ?
- En quoi l'homologie et la cohomologie diffèrent-elles, et quelle structure supplémentaire (produits, dualité) la cohomologie porte-t-elle ?
- Quelle est la relation entre le groupe fondamental, facilement définissable, et les groupes d'homotopie supérieurs, beaucoup plus subtils ?
Key concepts
- Homotopie et équivalence homotopique des applications et des espaces
- Groupe fondamental et espaces de revêtement
- Homologie singulière et simpliciale
- Cohomologie, cup-produits et dualité de Poincaré
- Complexes CW et fonctorialité des invariants
Clinical relevance
La topologie algébrique fournit des outils d'obstruction et de classification utilisés dans toute la géométrie et l'analyse — théorèmes de point fixe, classification des surfaces et des fibrés vectoriels, théorie de l'indice et classes caractéristiques — et son langage catégorique et homologique imprègne l'algèbre moderne et la physique mathématique.
History
Le sujet a ses origines dans l'Analysis Situs de Poincaré (1895), qui a introduit l'homologie et le groupe fondamental ; la refonte de l'homologie en termes de théorie des groupes par Emmy Noether dans les années 1920 et le développement au milieu du siècle de la théorie des catégories et de l'algèbre homologique l'ont transformée en la discipline fonctorielle enseignée aujourd'hui.
Key figures
- Henri Poincaré
- Emmy Noether
- Allen Hatcher
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- Que signifie associer un invariant algébrique à un espace ?
- Un invariant est un foncteur qui associe à chaque espace un groupe ou un anneau, et à chaque application continue un homomorphisme, de telle sorte que les applications homotopes induisent le même homomorphisme — ainsi, les espaces homotopiquement équivalents obtiennent des invariants isomorphes.
- Pourquoi les groupes d'homotopie supérieurs sont-ils beaucoup plus difficiles que l'homologie ?
- Les groupes d'homotopie sont très sensibles et résistent au calcul — même les groupes d'homotopie des sphères sont largement inconnus — tandis que l'homologie satisfait l'excision et les suites exactes longues qui la rendent systématiquement calculable.