Hipoteza Poincarégo

Co się właśnie stało?

Na sferze każda narysowana pętla (elastyczna „gumka” leżąca na powierzchni) daje się w sposób ciągły ściągnąć do punktu, bez opuszczania powierzchni i bez jej rozrywania. Na torusie — jeśli pętla jest owinięta wokół „dziury” — to niemożliwe: pętla może się kurczyć tylko do granicy otworu, gdzie utyka, napięta, i nie da się jej dalej zmniejszyć.

Niezmiennik — liczba „dziur” (genus):

Dla zamkniętej, gładkiej powierzchni 2D obowiązuje klasyczny wzór na charakterystykę Eulera:

gdzie $g$ — genus (liczba „dziur”/uchwytów). Sfera ma $g=0$ (każda pętla ściąga się do punktu), torus ma $g=1$ (już nie każda pętla się ściąga). To właśnie ta liczba odróżnia obie powierzchnie na scenie.

Prawdziwa Hipoteza Poincarégo (1904, przypadek 3D):

Henri Poincaré zapytał: czy każda zamknięta, „jednospójna” (bez dziur, w sensie topologicznym) rozmaitość trójwymiarowa musi być topologicznie sferą $S^3$? Formalnie:

— jeśli grupa podstawowa (fundamentalna) trójwymiarowej rozmaitości zamkniętej $M$ jest trywialna (czyli każda pętla ściąga się do punktu), to $M$ jest topologicznie „taka sama” jak trójwymiarowa sfera. W 2D to twierdzenie klasyczne — w 3D okazało się jednym z najtrudniejszych problemów matematyki.

Jak udowodnił to Grigori Perelman?

Problem pozostawał otwarty prawie 100 lat i trafił na listę siedmiu „problemów milenijnych” Instytutu Matematycznego Claya — za rozwiązanie każdego wyznaczono nagrodę miliona dolarów. W latach 2002–2003 rosyjski matematyk Grigori Perelman opublikował serię artykułów, w których rozwinął technikę „przepływu Ricciego” (ang. Ricci flow) Richarda Hamiltona — narzędzie, które stopniowo „wygładza” geometrię rozmaitości, ujawniając jej prawdziwą topologiczną naturę. Po latach szczegółowej weryfikacji przez społeczność matematyczną dowód uznano za poprawny.

Odmowa nagród

W 2006 r. przyznano Perelmanowi za to osiągnięcie Medal Fieldsa („za wkład do geometrii i rewolucyjne spostrzeżenia dotyczące analitycznej i geometrycznej struktury przepływu Ricciego”) — Perelman odmówił jego przyjęcia. W 2010 r. odmówił także miliona dolarów nagrody Instytutu Claya, po czym wycofał się z życia matematycznego i publicznego. Hipoteza Poincarégo to dotąd jedyny rozwiązany z siedmiu problemów milenijnych.

Po co Ci to na maturze:

Sama hipoteza Poincarégo wykracza daleko poza podstawę programową, ale klasyfikacja powierzchni przez genus i charakterystykę Eulera $\chi = 2-2g$ to dobry przykład topologii — działu matematyki, w którym liczy się nie kształt czy wymiary, a to, czy coś da się ciągle zdeformować w coś innego bez rozrywania.

Zapamiętaj: ściągalność każdej pętli do punktu to cecha wyłącznie powierzchni bez „dziur” (genus 0, topologicznie sfer). Poincaré postawił to pytanie dla trudniejszego przypadku trójwymiarowego w 1904 r. — rozwiązał je Grigori Perelman w latach 2002–2003, po czym odmówił zarówno Medalu Fieldsa, jak i miliona dolarów nagrody.