most akkor a claude tenyleg megtalalta a jacobi sejtes cafol...
Prompt
most akkor a claude tenyleg megtalalta a jacobi sejtes cafolatat vagy nem? A teljes polinomleképezés, amit Alpöge a Claude Fable 5-tel közösen talált: $$ \begin{pmatrix} (1+xy)^3 z + y^2(1+xy)(4+3xy) \\ y + 3x(1+xy)^2 z + 3xy^2(4+3xy) \\ 2x - 3x^2 y - x^3 z \end{pmatrix} : \mathbb{C}^3 \to \mathbb{C}^3 $$ Ez a leképezés konstans, nem-nulla Jacobi-determinánssal rendelkezik (−2), mégsem globálisan invertálható — három különböző pont képződik le ugyanarra a pontra, ami cáfolja a Jacobi-sejtést n ≥ 3 dimenzióban. viszont a gpt meg ezt írja: Összefoglalás A vizsgált polinomleképezés: \[ \begin{aligned} F_1&=z(1+xy)^3+y^2(1+xy)(4+3xy),\\ F_2&=y+3xz(1+xy)^2+3xy^2(1+xy),\\ F_3&=2x-3x^2y-x^3z. \end{aligned} \] A nem-injektivitási érv helyes, de az állandó Jacobi-determinánsra vonatkozó állítás hibás. 1. Három különböző pontnak ugyanaz a képe: \[ F(0,0,-1/4) =F(1,-3/2,13/2) =F(-1,3/2,13/2) =(-1/4,0,0). \] Ez bizonyítja, hogy \(F\) nem injektív, ezért nincs globális kétoldali, különösen polinomiális inverze. 2. \(F\) nem Keller-leképezés, mert a Jacobi-determinánsa nem állandó: \[ \det JF(0,0,-1/4)=-2,\qquad \det JF(\pm1,\mp3/2,13/2)=\frac{19}{4}. \] Sőt, \[ \det JF(1,-3/2,z)=\frac{162z-901}{32}, \] tehát \(z=901/162\)-nél nulla is. Így \(F\) nem mindenütt lokálisan invertálható. 3. A három felsorolt előkép mind reguláris. Emiatt a közös képpont környezetében három különböző lokális inverzág létezik. A generikus függvénytest-bővítés foka ezért legalább \(3\); pontos értéke ebből önmagában nem állapítható meg. 4. A lokális formális inverz nem globális polinomiális inverz. Egy InverseSeries-számítás nem bizonyít globális invertálhatóságot. Ha a teljes formális inverzsor valóban véges polinommá záródna, az inverzazonosság polinomazonosságként globálisan is teljesülne, ellentmondva a kollíziónak. 5. Az \(1\)-es függvénytest-bővítési fok biracionalitást jelent, nem automatikusan globális bijektivitást. Például \((x,y)\mapsto(x,xy)\) biracionális, mégsem injektív vagy szürjektív. Ennél az \(F\)-nél azonban a három reguláris előkép az \(1\)-es generikus fokot is kizárja. Végkövetkeztetés: a megadott \(F\)-nek nincs polinomiális inverze, de nem ellenpélda a Jacobi-sejtésre, mert nem teljesíti az állandó, nem nulla Jacobi-determináns feltételét.
