Hipoteza Jakobianu

Hipoteza Jakobianu to klasyczne przypuszczenie dotyczące wielomianowych odwzorowań przestrzeni afinicznej. Dla ciała $k$ o charakterystyce $0$ rozważa się odwzorowanie $F=(F_1,\dots,F_n):k^n\to k^n$, gdzie każde $F_i$ jest wielomianem w zmiennych $x_1,\dots,x_n$. Kluczowym obiektem jest macierz Jacobiego

$$J_F=\left(\frac{\partial F_i}{\partial x_j}\right)_{i,j=1}^n.$$

Hipoteza głosi, że jeśli wyznacznik Jacobiego spełnia warunek

$$\det J_F\in k^\times,$$

czyli jest stałą niezerową, to $F$ powinno mieć wielomianową odwrotność.

W literaturze warunek $\det J_F\in k^\times$ nazywa się często warunkiem Kellera, a samo odwzorowanie bywa nazywane mapą Kellera. Problem nie dotyczy samej odwracalności jako funkcji ciągłej czy gładkiej, lecz znacznie silniejszego wniosku: odwrotność ma być dana przez wielomiany.

Warunek niezerowego Jacobiego jest naturalny, ponieważ z analizy wynika z niego lokalna odwracalność. Jeśli w punkcie $a$ zachodzi $\det J_F(a)\neq 0$, to na mocy twierdzenia o funkcji odwrotnej istnieje lokalna odwrotność analityczna lub gładka w otoczeniu punktu $a$. To jednak nie rozstrzyga, czy odwzorowanie jest globalnie bijektywne ani czy jego odwrotność ma charakter wielomianowy.

Właśnie ta luka między informacją lokalną i globalną stanowi istotę trudności. W geometrii algebraicznej warunek stałego niezerowego Jacobiego oznacza, że odpowiedni morfizm jest etalny, czyli lokalnie „bezosobliwy”. Hipoteza pyta więc, czy każdy etalny endomorfizm przestrzeni afinicznej $\mathbb{A}^n$ jest automorfizmem.

Dla jednej zmiennej problem jest prosty. Jeżeli $f\in k[x]$ oraz $f'(x)=c\neq 0$, to wielomian musi mieć postać $f(x)=cx+b$. Zatem hipoteza w wymiarze $n=1$ jest prawdziwa i w istocie trywialna.

Bardzo ważne jest także założenie o charakterystyce $0$. W charakterystyce dodatniej naiwna wersja hipotezy jest fałszywa. Typowy kontrprzykład to

$$f(x)=x-x^p$$

nad ciałem charakterystyki $p>0$. Wtedy $f'(x)=1$, a więc jakobian jest stały i niezerowy, lecz odwzorowanie nie jest automorfizmem wielomianowym. Pokazuje to, że sam warunek Jacobiego bez dodatkowych subtelności nie wystarcza poza charakterystyką $0$.

Każdemu odwzorowaniu $F=(F_1,\dots,F_n)$ odpowiada endomorfizm pierścienia wielomianów

$$\varphi:k[x_1,\dots,x_n]\to k[x_1,\dots,x_n],\qquad x_i\mapsto F_i.$$

W tym języku hipoteza pyta, czy warunek Kellera wymusza, że $\varphi$ jest automorfizmem pierścienia. To przeformułowanie jest fundamentalne, ponieważ pozwala stosować narzędzia algebry przemiennej, teorii rozszerzeń pierścieni i geometrii algebraicznej.

Jeżeli $F$ jest automorfizmem wielomianowym, to z reguły łańcuchowej wynika, że jego jacobian musi być stałą niezerową. Trudna jest więc wyłącznie implikacja odwrotna. Problem ma wiele powiązań z badaniem automorfizmów przestrzeni afinicznych, strukturą endomorfizmów $k[x_1,\dots,x_n]$ oraz pytaniami o globalną sztywność morfizmów etalnych.

Choć pełne rozwiązanie nie jest znane, istnieją ważne redukcje upraszczające formalną postać problemu. Klasyczny wynik Bass–Connell–Wright pokazuje, że do badania hipotezy wystarczy rozważać mapy postaci

$$F=x+H,$$

gdzie $H$ jest jednorodne stopnia $3$. Oznacza to, że ogromną ogólność da się sprowadzić do przypadku kubicznie jednorodnego.

Jeszcze dalej idzie redukcja Drużkowskiego, która zawęża problem do bardzo szczególnej klasy map kubicznych, zwykle opisywanych przez współrzędne będące sześcianami form liniowych. Redukcje te nie rozwiązują hipotezy, ale pokazują, że trudność tkwi już w bardzo ograniczonych konfiguracjach algebraicznych.

Ich znaczenie metodologiczne jest duże: zamiast walczyć z dowolnymi stopniami i dowolną postacią wielomianów, można koncentrować się na klasach normalnych, które zachowują istotę problemu.

Hipoteza Jakobianu, sformułowana przez Ott-Heinricha Kellera w 1939 roku, należy do klasycznych otwartych problemów matematyki. Jest ważna nie tylko jako pojedyncze pytanie o odwracalność wielomianów, lecz także jako punkt styku między analizą lokalną, geometrią algebraiczną i algebrą przemienną.

W praktyce warto pamiętać trzy poziomy opisu. Poziom analityczny: niezerowy jacobian daje lokalną odwrotność. Poziom algebraiczny: endomorfizm pierścienia wielomianów spełnia warunek Kellera. Poziom geometryczny: etalny endomorfizm przestrzeni afinicznej miałby być automorfizmem. Hipoteza głosi, że te trzy perspektywy składają się w jedną globalną własność dla odwzorowań wielomianowych nad ciałem charakterystyki $0$.