Hipoteza Bircha i Swinnertona-Dyera próbuje odczytać liczbę rozwiązań równania z zachowania zupełnie innej funkcji
Krzywa eliptyczna ma postać równania sześciennego, na przykład y²=x³+ax+b, a jednym z podstawowych pytań jest liczba jej punktów o współrzędnych wymiernych. Hipoteza Bircha i Swinnertona-Dyera przewiduje niezwykły związek: rangę grupy punktów wymiernych ma kodować rząd zera odpowiedniej funkcji L w punkcie s=1. Innymi słowy, informacja arytmetyczna o rozwiązaniach równania ma być zapisana w zachowaniu funkcji analitycznej. Hipoteza jest wsparta wieloma wynikami i obliczeniami, ale w pełnej ogólności pozostaje nierozwiązanym Problemem Milenijnym.
Punkty wymierne tworzą strukturę, nie przypadkową listę
Na krzywej eliptycznej punkty wymierne można w naturalny sposób dodawać. Twierdzenie Mordella mówi, że tworzą grupę skończenie generowaną. Oznacza to, że jej zasadnicza część jest opisana przez skończony zbiór generatorów i liczbę zwaną rangą. Ranga 0 oznacza, że punktów wymiernych jest tylko skończenie wiele; dodatnia ranga daje nieskończenie wiele.
Funkcja L patrzy na krzywą przez liczby pierwsze
Dla wielu liczb pierwszych można zredukować równanie krzywej modulo p i policzyć liczbę rozwiązań nad skończonym ciałem. Te dane są składane w funkcję L. Birch i Swinnerton-Dyer, analizując wczesne eksperymenty komputerowe, zauważyli zależność między zachowaniem tej funkcji w pobliżu s=1 a rangą grupy punktów wymiernych.
Hipoteza łączy dwa języki matematyki
Jedna strona mówi o konkretnych rozwiązaniach algebraicznego równania w liczbach wymiernych. Druga mówi o analitycznych własnościach funkcji zespolonej zbudowanej z danych modulo liczb pierwszych. Takie mosty między arytmetyką i analizą są charakterystyczne dla współczesnej teorii liczb i pojawiają się również w historii dowodu wielkiego twierdzenia Fermata.
Dlaczego nie jest to tylko zagadka teoretyczna
Krzywe eliptyczne są centralnymi obiektami teorii liczb, pojawiają się w kryptografii, faktoryzacji oraz licznych innych problemach diofantycznych. Rozwiązanie hipotezy BSD dałoby znacznie pełniejsze narzędzie do przewidywania struktury punktów wymiernych. Clay podkreśla, że mimo ogromnej ilości dowodów częściowych i eksperymentalnych pełny przypadek nadal pozostaje otwarty.
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.
Co w problemie otwartym naprawdę znaczy „postęp”
Brak pełnego dowodu nie oznacza braku wiedzy. Matematycy mogą udowadniać przypadki szczególne, twierdzenia warunkowe, granice asymptotyczne, wyniki statystyczne albo redukcje pokazujące, gdzie dokładnie skupia się trudność. Taki postęp potrafi całkowicie zmienić obraz problemu, nawet jeśli nagłówek nadal brzmi „nierozwiązany”. Ważne jest jednak zachowanie logicznej hierarchii: wynik prawdziwy dla prawie wszystkich przypadków, dla ogromnego skończonego zakresu lub przy dodatkowej hipotezie nie staje się przez to dowodem wersji uniwersalnej.
Dlaczego eksperyment numeryczny ma inną rolę niż dowód
Obliczenia są w nowoczesnej matematyce niezwykle ważne: pomagają znajdować wzorce, eliminować fałszywe hipotezy, testować granice i sugerować właściwe twierdzenia. Dla zdania obejmującego nieskończenie wiele obiektów nawet niewyobrażalnie długi skończony test pozostaje jednak logicznie czymś innym niż dowód. Wyjątkiem są sytuacje, gdy wcześniej udowodniono, że wystarczy sprawdzić skończoną listę przypadków. Bez takiej redukcji komputer może dostarczać bardzo mocnego świadectwa, ale nie zamyka nieskończonego pytania.