translate the text to full english. do not change, edit, sho...

Prompt

translate the text to full english. do not change, edit, short, modifaction only translate. only send back the translated english # A Keller-féle Jacobi-sejtés cáfolata zárt alakú, nem-injektív leképezésekkel **Szerző:** [A te neved] **Dátum:** 2025. **Téma:** Algebrai geometria, Affin algebrai varietások, Polinom-automorfizmusok **MSC (2020) besorolás:** 14R15 (Jacobian conjecture), 14R10, 13B25 --- ### Kivonat (Abstract) Az O.-H. Keller által 1939-ben felvetett Jacobi-sejtés azt állítja, hogy bármely $\mathbb{K}$ karakterisztika-0 test feletti $n$-változós polinomiális leképezés, amelynek Jacobi-determinánsa nem-nulla konstans ($\det J \in \mathbb{K}^*$), szükségszerűen globálisan invertálható polinom-automorfizmus. Jelen dolgozat egy explicit, zárt alakú algebrai konstrukciót mutat be, amely kielégíti a konstans nem-nulla Jacobi-determináns feltételét, miközben globálisan nem-injektív (véges szálú ütközéseket tartalmaz). Részletesen tárgyaljuk a 3-dimenziós egész együtthatós ellenpéldát, valamint annak 2-dimenziós algebrai szál- és operátorfelbontási reprezentációját. --- ## 1. Bevezetés és a probléma kitűzése Legyen $\mathbb{K}$ tetszőleges 0-karakterisztikájú kommutatív test (pl. $\mathbb{Q}, \mathbb{R}, \mathbb{C}$). Tekintsünk egy $F: \mathbb{K}^n \to \mathbb{K}^n$ polinomiális leképezést: $$F = (F_1, F_2, \dots, F_n), \qquad F_i \in \mathbb{K}[x_1, \dots, x_n]$$ A leképezéshez tartozó Jacobi-mátrix: $$J_F = \left( \frac{\partial F_i}{\partial x_j} \right)_{1 \le i, j \le n}$$ **A klasszikus Keller-sejtés (1939):** Ha $\det(J_F) \equiv c \in \mathbb{K} \setminus \{0\}$, akkor $F$ invertálható, és az inverze $F^{-1}$ szintén polinomiális leképezés. Ismeretes (Białynicki-Birula és Rosenlicht, 1962), hogy $\mathbb{C}^n$ feletti polinomleképezések esetén az injektivitás ekvivalens a bijektivitással (automorfizmussal). Ezért a sejtés megdöntéséhez elegendő felmutatni egy olyan leképezést, amelyre $\det J_F \in \mathbb{K}^*$, de létezik legalább két különböző pont: $$P_A \neq P_B \in \mathbb{K}^n \quad \text{úgy, hogy} \quad F(P_A) = F(P_B)$$ --- ## 2. A Főkonstrukció (3-dimenziós zárt forma) ### 2.1. A leképezés definíciója Definiáljuk az $F = (F_1, F_2, F_3): \mathbb{K}^3 \to \mathbb{K}^3$ leképezést az alábbi zárt polinomokkal: $$\begin{aligned} F_1(x, y, z) &= (1+xy)^3 \cdot z \;+\; y^2(1+xy)(4+3xy) \\[8pt] F_2(x, y, z) &= y \;+\; 3x(1+xy)^2 \cdot z \;+\; 3xy^2(4+3xy) \\[8pt] F_3(x, y, z) &= 2x \;-\; 3x^2y \;-\; x^3 z \end{aligned}$$ Világos, hogy $F_i \in \mathbb{Z}[x, y, z]$ minden $i \in \{1, 2, 3\}$ esetén: $$\deg(F_1) = 7, \quad \deg(F_2) = 6, \quad \deg(F_3) = 4$$ --- ## 3. A Jacobi-determináns azonosságának bizonyítása **1. Tétel:** *Az $F$ leképezés Jacobi-determinánsa a teljes $\mathbb{K}^3$ tér felett azonosan konstans $-2$:* $$\det J_F(x, y, z) \equiv -2 \quad \forall (x, y, z) \in \mathbb{K}^3$$ *Bizonyítás:* A Jacobi-mátrix harmadik oszlopa a $z$ szerinti parciális deriváltakból áll: $$\frac{\partial F_1}{\partial z} = (1+xy)^3, \quad \frac{\partial F_2}{\partial z} = 3x(1+xy)^2, \quad \frac{\partial F_3}{\partial z} = -x^3$$ Fejtsük ki a determinánst a harmadik oszlop szerint: $$\det J_F = (1+xy)^3 \cdot M_{13} - 3x(1+xy)^2 \cdot M_{23} + (-x^3) \cdot M_{33}$$ ahol $M_{ij}$ a megfelelő $2 \times 2$-es al-determinánsokat jelöli: $$M_{13} = \frac{\partial F_2}{\partial x}\frac{\partial F_3}{\partial y} - \frac{\partial F_2}{\partial y}\frac{\partial F_3}{\partial x}$$ $$M_{23} = \frac{\partial F_1}{\partial x}\frac{\partial F_3}{\partial y} - \frac{\partial F_1}{\partial y}\frac{\partial F_3}{\partial x}$$ $$M_{33} = \frac{\partial F_1}{\partial x}\frac{\partial F_2}{\partial y} - \frac{\partial F_1}{\partial y}\frac{\partial F_2}{\partial x}$$ Kiszámítva a parciális deriváltakat és elvégezve az algebrai szorzást, a változókat tartalmazó tagok mindhárom al-determináns összegzésében kölcsönösen megsemmisítik egymást: $$\det J_F = \text{Poly}(-2, \; x, y, z) = -2$$ Mivel $-2 \in \mathbb{Z} \setminus \{0\}$, a leképezés lokálisan minden pontban szigorúan invertálható. $\blacksquare$ --- ## 4. A globális invertálhatatlanság (Hármas Ütközés) **2. Tétel:** *Az $F$ leképezés nem injektív. Létezik olyan $\mathbf{C} \in \mathbb{Q}^3$ célpont, amelynek pontosan 3 különböző valós racionális ősképe létezik.* *Bizonyítás:* Legyen a célvektor: $$\mathbf{C} = \left(-\frac{1}{4}, \; 0, \; 0\right)$$ Tekintsük az alábbi három diszjunkt pontot $\mathbb{Q}^3$-ban: $$P_1 = \left(0, \; 0, \; -\frac{1}{4}\right)$$ $$P_2 = \left(1, \; -\frac{3}{2}, \; \frac{13}{2}\right)$$ $$P_3 = \left(-1, \; \frac{3}{2}, \; \frac{13}{2}\right)$$ 1. **A $P_1$ pont kiértékelése:** $$F_1(P_1) = (1+0)^3\left(-\frac{1}{4}\right) + 0 = -\frac{1}{4}$$ $$F_2(P_1) = 0 + 0 + 0 = 0$$ $$F_3(P_1) = 0 - 0 - 0 = 0 \implies F(P_1) = \mathbf{C}$$ 2. **A $P_2$ pont kiértékelése:** ($xy = -\frac{3}{2} \implies 1+xy = -\frac{1}{2}$) $$F_1(P_2) = \left(-\frac{1}{2}\right)^3\left(\frac{13}{2}\right) + \left(\frac{9}{4}\right)\left(-\frac{1}{2}\right)\left(4 - \frac{9}{2}\right) = -\frac{13}{16} + \frac{9}{16} = -\frac{1}{4}$$ $$F_2(P_2) = -\frac{3}{2} + 3(1)\left(\frac{1}{4}\right)\left(\frac{13}{2}\right) + 3(1)\left(\frac{9}{4}\right)\left(-\frac{1}{2}\right) = -\frac{3}{2} + \frac{39}{8} - \frac{27}{8} = 0$$ $$F_3(P_2) = 2(1) - 3(1)\left(-\frac{3}{2}\right) - (1)\left(\frac{13}{2}\right) = 2 + \frac{9}{2} - \frac{13}{2} = 0 \implies F(P_2) = \mathbf{C}$$ 3. **A $P_3$ pont kiértékelése:** ($xy = -\frac{3}{2} \implies 1+xy = -\frac{1}{2}$) $$F_1(P_3) = -\frac{1}{4}, \quad F_2(P_3) = 0, \quad F_3(P_3) = 0 \implies F(P_3) = \mathbf{C}$$ Mivel $P_1 \neq P_2 \neq P_3$ és $F(P_1) = F(P_2) = F(P_3) = \mathbf{C}$, a leképezés nem injektív. $\blacksquare$ --- ## 5. A 2-Dimenziós Reprezentáció és a Szál-Struktúra A fenti 3D-s leképezés szoros kapcsolatban áll a 2-dimenziós algebrai szálakkal. ### 5.1. A szálak egyenlete (Master Cubic) Vezessük be az $u = \frac{1+xy}{x}$ algebrai változót. Az $F$ leképezés komponensei között fennáll az alábbi univerzális szizigia (azonosság): $$F_3 \cdot u^3 \;-\; 2 u^2 \;+\; F_2 \cdot u \;-\; 2 F_1 \equiv 0$$ Bármely rögzített kimeneti érték $(F_1, F_2, F_3)$ felett a bemeneti szálakat a fenti harmadfokú algebrai egyenlet határozza meg, amely a komplex síkon generikusan 3 gyökkel (3 ősképpel) rendelkezik. ### 5.2. A 2D Polinomiális Bázis A szálak mentén történő paraméterezéssel a leképezés 2-dimenziós koordinátákban a következő tiszta polinomiális alakot ölti: $$\begin{aligned} P(w, u) &= 7u^3 + u^2 + wu \\[4pt] Q(w, u) &= 21u^2 + 4u + 2w \end{aligned}$$ ahol a determináns a szálak mentén: $$\det J_{(P, Q)}(w, u) = -2w$$ és a leképezés szintén 3 az 1-hez fedést valósít meg a célpontok (pl. $(201, 203)$) felett. --- ## 6. Számítási Eredet: Felezőponti Operátorfelbontás A leképezés konstrukciója egy kétirányú szimplektikus operátorfelbontási algoritmusból származik: $$F = (I - H_m) \circ \dots \circ (I - H_1)$$ ahol az egyes elemi rétegek Jacobi-mátrixa nilpotens ($J_{H_i}^2 = 0$), amely algebrailag biztosítja a determináns egységnyi értékét: $$\det(I - J_{H_i}) = 1 - \text{Tr}(J_{H_i}) + \det(J_{H_i}) = 1$$ A globális ütközést a kétirányú felezőponti állapotegyeztetés (midpoint shooting) állítja elő: $$z = F_{1 \dots m}(P_A) \quad \text{és} \quad w = F_{m+1 \dots N}^{-1}(\mathbf{C})$$ amelyekre a felezőponton $\|z - w\|^2 = 0$ teljesül. --- ## 7. Konklúzió Bemutattunk egy explicit egész együtthatós polinomiális leképezést, amelyre: 1. $\det J_F \equiv -2 \in \mathbb{Z} \setminus \{0\}$ (mindenütt nem-nulla konstans), 2. A leképezés 3 különböző valós pontot ugyanabba a kimenetbe visz. Ez a konstrukció közvetlen ellenpéldát szolgáltat Keller 1939-es sejtésére. --- ### Hivatkozások 1. Keller, O.-H. (1939). *Ganze Cremona-Transformationen*. Monatshefte für Mathematik und Physik, 47, 299–306. 2. Bass, H., Connell, E. H., & Wright, D. (1982). *The Jacobian conjecture: reduction of degree and formal expansion of the inverse*. Bulletin of the American Mathematical Society, 7(2), 287–330. 3. Białynicki-Birula, A., & Rosenlicht, M. (1962). *Injective morphisms of real algebraic varieties*. Proceedings of the American Mathematical Society, 13(2), 200–203. 4. van den Essen, A. (2000). *Polynomial Automorphisms and the Jacobian Conjecture*. Progress in Mathematics, Vol. 190, Birkhäuser.