Hipoteza jakobianowa – sformułowane dla przypuszczenie z geometrii algebraicznej i algebry przemiennej. W klasycznej postaci głosiło ono, że odwzorowanie wielomianowe nad ciałem o charakterystyce zero, którego wyznacznik Jacobiego jest niezerową stałą, ma odwrotność będącą również odwzorowaniem wielomianowym. Takie przekształcenia określa się jako odwzorowania Kellera.
W lipcu 2026 Levent Alpöge przedstawił jawne odwzorowanie wielomianowe przestrzeni o stałym wyznaczniku Jacobiego równym , które nie jest różnowartościowe. Klasyczna hipoteza jest zatem fałszywa w wymiarze , a przez dołączenie współrzędnych identycznościowych – w każdym wymiarze . Przypadek dwuwymiarowy pozostaje problemem otwartym, natomiast dla stwierdzenie jest elementarne.
Przez wiele lat autorstwo hipotezy przypisywano , który ogłosił ją w 1939 roku. Badania historyczne opublikowane w 2026 roku wykazały jednak, że jej dwuwymiarowa wersja została sformułowana już w 1884 roku przez Ludwiga Krausa. Kraus podał również dowód, lecz jego końcowy krok był błędny.
Sformułowanie Niech będzie ciałem oraz niech
będzie odwzorowaniem wielomianowym, gdzie . Macierzą Jacobiego odwzorowania nazywa się macierz
a jego wyznacznikiem Jacobiego – wielomian
Jeżeli ma wielomianową odwrotność , to z reguły łańcuchowej wynika
Po obliczeniu wyznaczników otrzymuje się
Jedynymi elementami odwracalnymi pierścienia są niezerowe stałe, dlatego stałość i niezerowość wyznacznika Jacobiego jest warunkiem koniecznym istnienia wielomianowej odwrotności.
Klasyczna hipoteza jakobianowa głosiła odwrotne wynikanie:
Jeżeli oraz
to istnieje odwzorowanie wielomianowe
takie, że
W języku pierścieni wielomianów wniosek można zapisać jako
Przykładem odwzorowania spełniającego ten warunek jest
Jego wyznacznik Jacobiego wynosi , a odwrotnością jest
Charakterystyka dodatnia Założenie o charakterystyce zero jest istotne. Niech będzie ciałem o charakterystyce . Wielomian
ma pochodną
ale nie jest różnowartościowy. Dla każdego zachodzi bowiem
Analog hipotezy bez dodatkowych założeń jest więc fałszywy w charakterystyce dodatniej nawet dla jednej zmiennej.
Interpretacja geometryczna Nieznikanie wyznacznika Jacobiego oznacza, że odwzorowanie nie ma punktów krytycznych. Nad liczbami zespolonymi z wynika, że odwzorowanie Kellera jest lokalnym biholomorfizmem w otoczeniu każdego punktu. W języku geometrii algebraicznej odpowiada ono morfizmowi étale przestrzeni afinicznej w siebie.
Hipoteza jakobianowa miała zatem charakter lokalno-globalny: przewidywała, że lokalna odwracalność wielomianowego endomorfizmu przestrzeni afinicznej wymusza jego globalną odwracalność algebraiczną. Zasadniczą trudnością było kontrolowanie zachowania odwzorowania w nieskończoności. Właśnie nieuzasadnione wykluczenie rozgałęzienia w nieskończoności było źródłem błędu w dowodzie Krausa z 1884 roku.
Historia Dwuwymiarowe stwierdzenie pojawiło się w pracy Ludwiga Krausa z 1884 roku. Jego błędny dowód nie wpłynął jednak na późniejsze badania i został ponownie odnaleziony dopiero podczas przeszukiwania bazy zbMATH w 2025 roku.
Za początek współczesnej historii problemu uznawano pracę Kellera z 1939 roku. Od jego nazwiska przekształcenia o stałym niezerowym wyznaczniku Jacobiego zaczęto nazywać odwzorowaniami Kellera, a sam problem – problemem Kellera.
Hipoteza stała się jednym z najbardziej znanych problemów dotyczących automorfizmów pierścieni wielomianów. W 1998 roku Stephen Smale umieścił ją jako problem numer 16 na liście zagadnień matematycznych na XXI wiek.
W literaturze pojawiało się wiele ogłaszanych dowodów hipotezy, w których następnie znajdowano błędy. Przeglądy Bassa, Connella i Wrighta oraz van den Essena omawiają zarówno próby dowodu, jak i typowe trudności związane z przechodzeniem od formalnej lub lokalnej odwrotności do odwrotności globalnej.
Wyniki częściowe i redukcje Przed znalezieniem kontrprzykładu uzyskano wiele wyników potwierdzających hipotezę dla szczególnych klas odwzorowań.
Stuart Sui-Sheng Wang udowodnił ją dla odwzorowań, których składowe mają stopień nie większy niż .
Bass, Connell i Wright wykazali, że do rozwiązania problemu w pełnej ogólności wystarczałoby rozpatrzyć odwzorowania postaci
gdzie wszystkie niezerowe składowe są jednorodnymi wielomianami trzeciego stopnia, a macierz Jacobiego jest nilpotentna.
Ludwik Drużkowski wzmocnił tę redukcję, sprowadzając problem do tzw. odwzorowań Drużkowskiego. Mają one postać
gdzie jest macierzą, a symbol oznacza podniesienie każdej współrzędnej wektora do trzeciej potęgi. Innymi słowy, każda nieliniowa składowa jest sześcianem formy liniowej. Redukcje te wprowadzają jednak dodatkowe zmienne, dlatego nie są redukcjami zachowującymi ustalony wymiar.
Edwin Connell i Lou van den Dries udowodnili, że gdyby hipoteza była fałszywa, to istniałby kontrprzykład o współczynnikach całkowitych i wyznaczniku Jacobiego równym . Wynik ten pokazywał również, że prawdziwość uniwersalnej wersji hipotezy nie zależy od wyboru ciała charakterystyki zero.
Hipoteza była znana także przy dodatkowych założeniach dotyczących rozszerzenia ciał
Keller rozstrzygnął przypadek biracjonalny, a późniejsze wyniki obejmowały między innymi przypadek, w którym rozszerzenie to jest rozszerzeniem Galois.
Michiel de Bondt i Arno van den Essen uzyskali ponadto redukcję do przypadku, w którym macierz Jacobiego części nieliniowej jest symetryczna. Dla symetrycznych odwzorowań Drużkowskiego hipoteza została następnie udowodniona.
Kontrprzykład z 2026 roku W lipcu 2026 Levent Alpöge ogłosił kontrprzykład w trzech zmiennych. Według jego relacji został on znaleziony przy użyciu systemu sztucznej inteligencji Fable 5.
Niech
gdzie
Bezpośrednie różniczkowanie i obliczenie wyznacznika daje
Jest to więc odwzorowanie Kellera nad . Nie jest ono jednak różnowartościowe, ponieważ trzy różne punkty
mają ten sam obraz: .
Ponieważ odwzorowanie nie jest różnowartościowe, nie może mieć odwrotności. Obala to hipotezę w wymiarze . Dla każdego można zdefiniować
Wyznacznik Jacobiego nadal wynosi , a kolizja punktów pozostaje zachowana. Hipoteza jest więc fałszywa dla wszystkich .
Kontrprzykład został również zapisany i sprawdzony w systemie formalizacji matematyki Lean. Opublikowana formalizacja zawiera wersję o wyznaczniku Jacobiego równym , która nie jest różnowartościowa nad dowolnym ciałem, a także osobny przypadek dla ciała liczb zespolonych.
Przypadek dwuwymiarowy Trójwymiarowy kontrprzykład nie rozstrzyga przypadku . Płaska hipoteza jakobianowa nadal głosi, że jeśli oraz
to odwzorowanie jest automorfizmem wielomianowym płaszczyzny zespolonej.
Znane są silne ograniczenia dotyczące ewentualnego kontrprzykładu. W 2022 roku Jorge Alberto Guccione, Juan José Guccione, Rodrigo Horruitiner i Christian Valqui wykluczyli wszystkie pary stopni o maksimum mniejszym niż , z wyjątkiem i pary symetrycznej . W szczególności ewentualny kontrprzykład dwuwymiarowy musi mieć .
Dla stwierdzenie jest prawdziwe. Jeżeli , to , a jego odwrotność jest wielomianem.
Rzeczywista hipoteza jakobianowa Od klasycznej hipotezy należy odróżnić tzw. silną rzeczywistą hipotezę jakobianową. Głosiła ona, że każde odwzorowanie wielomianowe
o niegdzie nieznikającym wyznaczniku Jacobiego jest globalnym dyfeomorfizmem. W tej wersji wyznacznik nie musiał być stały, lecz jedynie różny od zera w każdym punkcie.
Siergiej Pinchuk skonstruował w 1994 roku dwuwymiarowy kontrprzykład, obalając tę wersję problemu. Istnieją jednak twierdzenia potwierdzające rzeczywistą hipotezę przy dodatkowych ograniczeniach na stopnie składowych. Problematykę tę opisuje między innymi polskojęzyczny abstrakt Janusza Gwoździewicza dotyczący pierwszych nierozstrzygniętych przypadków przy niskich stopniach.
Związki z innymi problemami Hipoteza jakobianowa była związana z , dotyczącą endomorfizmów . Yoshifumi Tsuchimoto, a niezależnie Aleksiej Biełow-Kaniel i Maksim Koncewicz, wykazali stabilną równoważność rodzin obu problemów. W szczególności hipoteza jakobianowa w zmiennych implikowała hipotezę Dixmiera dla -tej algebry Weyla, natomiast w przeciwnym kierunku znana była wcześniejsza implikacja.
Kossivi Adjamagbo i Arno van den Essen powiązali te zagadnienia również z odpowiednią hipotezą dla endomorfizmów zespolonych .
Formalne rozwinięcia odwrotności odwzorowań wielomianowych doprowadziły także do ujęć kombinatorycznych wykorzystujących drzewa ukorzenione. Jedna z takich wersji przedstawia problem za pomocą tasowania poddrzew w drzewach Catalana. Badania probabilistyczne nad losowymi drzewami planarnymi dały asymptotyczny odpowiednik tego rodzaju stwierdzenia.
Zobacz też macierz Jacobiego automorfizm
Przypisy
Linki zewnętrzne Hipoteza jakobianowa i kontrprzykład z 2026 roku w MathWorld Formalizacja kontrprzykładu w Lean 4 Polskojęzyczne abstrakty referatów „Tasowanie drzew a hipoteza jakobianowa” oraz „Rzeczywista hipoteza jakobianowa przy niskich stopniach składowych”
Kategoria:Geometria algebraiczna Kategoria:Wielomiany Kategoria:Hipotezy matematyczne Kategoria:Algebra przemienna