Topologia algebraiczna
Topologia algebraiczna – dział matematyki, który bada własności przestrzeni topologicznych przy pomocy narzędzi algebraicznych, takich jak grupy, pierścienie i moduły. Dzięki przekształceniu problemów topologicznych w problemy algebraiczne możliwe jest klasyfikowanie i rozróżnianie przestrzeni, które nie są rozróżnialne przy użyciu metod czysto topologicznych.
Historia
Początki topologii algebraicznej sięgają końca XIX wieku, kiedy to Henri Poincaré wprowadził pojęcie grupy fundamentalnej (π₁) oraz klasyfikacji powierzchni. W pierwszej połowie XX wieku rozwijały się pojęcia homologii i kohomologii dzięki pracom Emmy Noether, Julius Alexander i Samuel Eilenberg. Po II wojnie światowej Aleksander Grothendieck zrewolucjonizował dziedzinę, wprowadzając teorię kohomologii wielomianowej i pojęcie spektrum.
Podstawowe pojęcia
Homotopia i grupa fundamentalna
Dwóch ciągłych przekształceń f, g : X → Y mówi się, że są homotopijne, jeśli istnieje ciągła rodzina przekształceń H : X × [0,1] → Y łącząca f i g. Z tego pojęcia wyprowadza się grupę fundamentalną (π₁(X, x₀)), która opisuje klasy homotopijne pętli opartych w punkcie bazowym x₀.
Grupy homotopii wyższych rzędów
Dla n ≥ 2 definiuje się grupy homotopii πₙ(X, x₀), które mierzą homotopijne klasy map Sⁿ → X. Wszystkie te grupy są abelowe dla n ≥ 2.
Homologia i kohomologia
Metoda homologii polega na przekształceniu przestrzeni topologicznej w ciąg grup (lub modułów) Hₙ(X), zwany ciągiem homologicznym. Działy homologiajny i kohomologiczny są ze sobą powiązane przez twierdzenie Poincarégo. Kohomologia posiada dodatkową strukturę iloczynu (iloczyn wklęsły), co umożliwia definiowanie charakterystyk takich jak klasy charakterystyczne.
Ciągi dokładne
Kluczowym narzędziem w topologii algebraicznej są ciągi dokładne, które pozwalają przenosić informacje pomiędzy homologią i homotopią różnych przestrzeni. Przykładem jest długi ciąg dokładny par (X, A) oraz ciąg Mayera-Vietorisa.
Twierdzenia klasyfikacyjne
- Klasyfikacja powierzchni – każda zwarta dwuwymiarowa rozmaitość jest określona przez charakterystykę eulerowską i orientowalność.
- Twierdzenie Hurewicza – istnieje izomorfizm pomiędzy grupą homotopii pierwszego rzędu a grupą pierwszej homologii, gdy π₁(X) jest abelowa.
- Twierdzenie Whiteheada – dwa CW‑kompleksy o identycznych grupach homotopii i homotopii wyższych są homotopijne.
Główne konstrukcje i narzędzia
- CW‑kompleks – struktura umożliwiająca budowanie przestrzeni stopniowo, przy pomocy komórek o wymiarze n.
- Spektrum – ogólna struktura umożliwiająca definiowanie teorii homotopijnej i ko‑homologicznej w języku stabilnym.
- Operatory Steenrod’a – działania w kohomologii modulo 2, dające dodatkową informacje algebraiczną.
- Teoria klas charakterystycznych – pozwala badać rozmaitości przez ich wewnętrzne własności geometryczne.
Zastosowania
Topologia algebraiczna znajduje zastosowanie w wielu dziedzinach matematyki i nauk przyrodniczych:
- Klasyfikacja rozmaitości – przy pomocy homotopii i homologii określa się, które rozmaitości są homeomorficzne lub diffeomorficzne.
- Teoria węzłów – niezmienniki takie jak wielomian Jonesa, Khovanov‑owa homologia czy grupa fundamentalna dopełnienia węzła.
- Geometria różniczkowa – charakterystyki Pontryagina i klasy charakterystyczne (np. klasy Chern’a) są definiowane przy pomocy kohomologii.
- Fizyka teoretyczna – w teoriach pola, np. w teorii strun, wykorzystuje się topologię współuporządkowaną (tzw. topologia kwantowa) oraz grupy homotopii w analizie przestrzeni konfiguracji.
Powiązane pojęcia
W dalszej lekturze warto zapoznać się z następującymi artykułami encyklopedycznymi: