Hipoteza Poincarégo czekała prawie sto lat, a jej rozwiązanie udowodniło coś znacznie większego
Hipoteza Poincarégo z 1904 roku pytała, czy każda zamknięta, po prostu spójna trójwymiarowa rozmaitość jest w istocie trójwymiarową sferą. Grigorij Perelman rozwiązał problem w preprintach z lat 2002–2003, rozwijając program przepływu Ricciego Richarda Hamiltona. Co ważne, jego praca nie ograniczała się do samej hipotezy Poincarégo: dostarczyła kluczowych elementów dowodu znacznie szerszej hipotezy geometryzacji Thurstona, opisującej strukturę trójwymiarowych rozmaitości. Rozwiązanie jednego słynnego problemu okazało się więc częścią większej teorii klasyfikacji przestrzeni.
O co właściwie pytał Poincaré
Na powierzchni kuli każdą zamkniętą pętlę można stopniowo skurczyć do punktu bez rozrywania jej i bez opuszczania powierzchni. Na torusie, czyli powierzchni w kształcie obwarzanka, niektóre pętle zaczepione wokół otworu tego zrobić nie mogą. Poincaré wiedział, że w dwóch wymiarach własność prostej spójności charakteryzuje sferę, i zapytał o analogiczną sytuację w wymiarze trzecim.
Przepływ Ricciego wygładza geometrię
Richard Hamilton zaproponował badanie geometrii przez równanie ewolucyjne zwane przepływem Ricciego. W bardzo przybliżonym obrazie lokalne nierówności krzywizny są wygładzane podobnie jak różnice temperatur wyrównują się w procesie dyfuzji. Problem polega na tym, że podczas ewolucji mogą powstawać osobliwości. Trzeba zrozumieć ich strukturę i umieć kontynuować proces po odpowiednio kontrolowanych operacjach chirurgicznych.
Perelman dostarczył brakujących elementów
W trzech preprintach z 2002 i 2003 roku Perelman wprowadził nowe idee pozwalające kontrolować przepływ Ricciego, w tym wyniki zapobiegające pewnym formom zapadania się geometrii. Późniejsze szczegółowe opracowania innych matematyków rozwinęły argumenty do pełnych ekspozycji dowodu. Clay Mathematics Institute uznał hipotezę Poincarégo za rozwiązany Problem Milenijny.
Rozwiązanie było szersze niż pytanie
Hipoteza Poincarégo jest szczególnym przypadkiem programu geometryzacji Thurstona. Geometryzacja mówi, że rozmaitości trójwymiarowe można rozkładać na standardowe składniki wyposażone w jeden z kilku typów geometrii. Praca Perelmana prowadziła właśnie do tego szerszego obrazu. To dlatego jej znaczenie nie sprowadza się do odpowiedzi „tak” na jedno pytanie z 1904 roku; zmieniła sposób rozumienia całej klasy trójwymiarowych przestrzeni.
Jaki rodzaj granicy tu widzimy?
Ten przykład warto czytać bardzo precyzyjnie. W matematyce „nie ma rozwiązania” może oznaczać kilka zupełnie różnych sytuacji: problem może być nadal otwarty, może istnieć dowód niemożliwości przy zadanych regułach, może nie istnieć uniwersalny algorytm, albo dane zdanie może być niezależne od wybranego systemu aksjomatów. Te przypadki nie są zamienne. Siła matematycznego wyniku bierze się właśnie z dokładnego określenia warunków: dowód nie mówi ogólnie, że „człowiek tego nie potrafi”, lecz wskazuje, czego nie można uzyskać przy konkretnych założeniach. To odróżnia granicę matematycznej wiedzy od zwykłego braku pomysłu.
Dlaczego sam moment ogłoszenia nie wystarcza
Historia wielkich twierdzeń pokazuje, że matematyczne „rozwiązanie” nie jest jednorazowym wydarzeniem medialnym. Argument musi zostać zapisany tak, aby inni specjaliści mogli odtworzyć jego zależności, sprawdzić użyte lematy i szukać luk. Czasem proces trwa miesiące lub lata, a komputerowe albo formalne fragmenty wymagają dodatkowej kontroli. W przeciwieństwie do eksperymentu, w którym wynik można wesprzeć kolejnymi obserwacjami, wadliwy logicznie krok może unieważnić cały dowód. Dlatego historia rozwiązania jest często równie pouczająca jak samo końcowe twierdzenie.
Co pozostaje po rozwiązaniu słynnego problemu
Zamknięcie pytania rzadko kończy cały obszar badań. Narzędzia stworzone podczas pracy zaczynają żyć własnym życiem, pojawiają się uogólnienia, krótsze dowody, formalizacje i nowe problemy inspirowane metodą rozwiązania. W historii matematyki wielkie problemy często działają jak soczewki skupiające rozwój wielu teorii. Ich wartość nie polega więc wyłącznie na uzyskaniu odpowiedzi „tak” albo „nie”, lecz na strukturach, które trzeba było zbudować, by taka odpowiedź stała się możliwa.