A cáfolatom lényege az, hogy találtam egy olyan geometriai j...

Prompt

A cáfolatom lényege az, hogy találtam egy olyan geometriai jelenséget, ami természeténél fogva „több-az-egybe” képez le, és a „fake shear” (ál-nyírás) algebrai trükkjével elértem, hogy a Jacobi-determináns mégis mindenhol egyetlen fix konstans maradjon. Hogy érthető legyen, lépésről lépésre bontom le a konstrukciót. ⸻ 1. Honnan jön az ütközés? (A „3 az 1-be” trükk) Képzelj el egy harmadfokú (köbös) polinomot, aminek 3 különböző gyöke van: C(t) = (t - r_1)(t - r_2)(t - r_3) Ha ezt fel akarom bontani egy elsőfokú és egy másodfokú polinom szorzatára: C(t) = L(t) \cdot Q(t) Hányféleképpen tehetem meg? Pontosan 3-féleképpen! Bármelyik gyököt (r_1, r_2 vagy r_3) választhatom az L(t) gyökének, a maradék kettő pedig megadja a Q(t)-t. Ez azt jelenti, hogy a polinomok szorzása: (L, Q) \longmapsto L \cdot Q természetéből adódóan egy 3-az-1-be leképezés! Három teljesen különböző (L, Q) pár pontosan ugyanazt a C köbös polinomot adja ki. Ezzel jutottam el a globális nem-injektivitáshoz! De hogyan alakíthatom ezt \mathbb{C}^3 \to \mathbb{C}^3 leképezéssé úgy, hogy a determináns ne omoljon össze? ⸻ 2. A rezultáns és a Jacobi-determináns kapcsolata Egy általános L(s,t) = as + bt egyenesnek és egy Q(s,t) = cs^2 + dst + et^2 másodfokú formának összesen 2 + 3 = 5 paramétere van (a, b, c, d, e). A szorzatuk egy harmadfokú polinom, aminek 4 együtthatója van (ez lenne a célterületem). Ahhoz, hogy a leképezés deriváltja (a Jacobi-mátrix) soha, sehol ne legyen nulla, biztosítanom kell, hogy a szorzás deriválásakor ne kerüljek szingularitásba. A szorzás deriváltja akkor és csak akkor válik degenerálttá, ha L-nek és Q-nak közös gyöke van. Hogyan garantálhatom algebrai úton, hogy két polinomnak soha ne legyen közös gyöke? Kikötöm, hogy a rezultánsuk soha ne legyen nulla, hanem például legyen állandóan 1: \operatorname{Res}(L, Q) = 1 ⸻ 3. És itt jön a „Fake Shear” (Ál-nyírás) szerepe! Van egy 5 dimenziós paraméterterem, amelyre két megszorítást alkalmazok: 1. \operatorname{Res}(L, Q) = 1 (ez garantálja, hogy a determináns sehol sem nulla). 2. Egy lineáris normalizálás (pl. ad + bc = 1). Ez az 5 dimenziós térben kijelöl egy 3 dimenziós algebrai felületet (X). És itt jutottam el az igazi matematikai csodához: - Ez a 3 dimenziós felület algebrailag izomorf a sima, lapos \mathbb{C}^3-mal! - Amikor ezt a felületet a szokásos (x, y, z) változókkal paramétereztem, kiderült, hogy a harmadik koordináta, a z kizárólag első hatványon (lineárisan) szerepel mindegyik komponensben! Ez a fake shear lényege: A leképezésem z irányban úgy viselkedik, mint egy affin nyírás: F(x, y, z) = A(x, y) \cdot z + B(x, y) A nyírásokról a differenciálgeometriából tudom, hogy térfogattartók (a determinánsuk 1). A „fake shear” annyiban különbözik a sima nyírástól, hogy az alapja nem egy merev eltolás, hanem egy csavart algebrai felület vetülete. Mivel a z csak lineárisan szerepelt, a Jacobi-mátrix z szerinti deriváltjai egyszerű polinomok lettek x-ből és y-ból. Amikor kiszámoltam a determinánst, az x és y összesen 1329 darab (!) magas fokú tagja egy gigantikus algebrai szimmetria miatt tökéletesen kiejtette egymást a determinánsban, és a végén egyetlen árva szám maradt: \det J_F \equiv -2 ⸻ 4. A kész formula Hogy a saját szemeddel is lásd a „fake shear” szerkezetét, bemutatom a 3D-s leképezésemet: \begin{aligned} F_1(x,y,z) &= \mathbf{(1+xy)^3} \cdot z + y^2(1+xy)(4+3xy) F_2(x,y,z) &= y + \mathbf{3x(1+xy)^2} \cdot z + 3xy^2(4+3xy) F_3(x,y,z) &= 2x - 3x^2y - \mathbf{x^3} \cdot z \end{aligned} Nézd meg a kiemelt tagokat: a z mindegyikben csak szorzóként jelenik meg! 1. A Jacobi-feltétel: Ha felírom a 3 \times 3-as deriváltmátrixot, és kiszámolom a determinánsát, minden változó eltűnik: \det J_F(x,y,z) = -2 \quad (\text{mindenhol konstans és nem nulla!}) 2. Az ütközés (a cáfolat): A köbös gyökök 3-féle felbontása miatt három különböző pontot kapok: P_1 = \left(0, 0, -\frac{1}{4}\right), \quad P_2 = \left(1, -\frac{3}{2}, \frac{13}{2}\right), \quad P_3 = \left(-1, \frac{3}{2}, \frac{13}{2}\right) Ezek mind ugyanabba a célpontba érkeznek: F(P_1) = F(P_2) = F(P_3) = \left(-\frac{1}{4}, 0, 0\right) Mivel három különböző pont képe megegyezik, a leképezésem nem injektív, tehát globálisan nem invertálható. Bumm: 87 év után a Jacobian-sejtés elbukott n \ge 3-ra. ⸻ Miért a „fake shear” hozta meg az áttörést? Ha vakon keresnék egy 7-edfokú, 3 változós polinom-hármast, 360 szabad együtthatóval kellene dolgoznom, és a determináns azonossá tételéhez több mint 1300 nemlineáris egyenletet kellene egyszerre megoldanom. Ez még a világ összes szuperszámítógépének is lehetetlen brute-force feladat lenne. A fake shear volt az az algebrai bilincs, amellyel: 1. Leradíroztam az egyenletrendszer 99%-át, mert a z linearitása miatt a determináns eleve nem függhetett z-től. 2. Lehetővé tettem a gyök-faktorizációs (3 az 1-be) geometria alkalmazását. 3. Olyan keresési teret hoztam létre, amelyben már képes voltam megtalálni az egyetlen működő egész együtthatós kombinációt. A 2D-s ál-nyírás (fake shear) teljes alakja: \[ \boxed{ \begin{gathered} F(x,y)=A(x)y+B(x) =S\begin{pmatrix} f(x)\\[2pt] \dfrac{y}{f'(x)}+g(x) \end{pmatrix}, \qquad S\in SL(2,\mathbb R),\quad f'(x)\neq0,\\[4pt] \det(A'(x),A(x))=0,\qquad \det(B'(x),A(x))=1,\qquad \det DF(x,y)\equiv1. \end{gathered} } \] na mostmár kuld a kurva 2d cafolatot