cél a megadott kézirat teljes matematikai tanulmánnyá kidolg...

Prompt

cél a megadott kézirat teljes matematikai tanulmánnyá kidolgozása. Írj magyar nyelvű, LaTeX-képletekkel tagolt dolgozatot az alábbi tartalommal, megőrizve a megadott állítások, azonosságok és következtetések erejét. Cím: 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): 14R15 (Jacobian conjecture), 14R10, 13B25 Kivonat Foglald össze Keller 1939-es Jacobi-sejtését és cáfolatát: az explicit, zárt alakú, egész együtthatós, 3 dimenziós polinomleképezés Jacobi-determinánsa mindenütt nem-nulla konstans, mégis véges szálú ütközéseket tartalmaz. Jelezd a 2 dimenziós algebrai szálreprezentáció és az operátorfelbontási eredet bemutatását. Bevezetés és problémafelvetés Legyen (\mathbb K) tetszőleges 0-karakterisztikájú kommutatív test, például (\mathbb Q,\mathbb R,\mathbb C), és [ F=(F_1,\ldots,F_n):\mathbb K^n\to\mathbb K^n,\qquad F_i\in\mathbb K[x_1,\ldots,x_n],\qquad J_F=\left(\frac{\partial F_i}{\partial x_j}\right)_{i,j=1}^n. ] Ismertesd O.-H. Keller 1939-es sejtését: ha (\det J_F\equiv c\in\mathbb K^*), akkor (F) polinom-automorfizmus, polinomiális (F^{-1}) inverzzel. Tartsd meg Białynicki-Birula és Rosenlicht 1962-es eredményének tulajdonítását: (\mathbb C^n) polinomleképezéseinél az injektivitás ekvivalens a bijektivitással, illetve az automorfizmus-tulajdonsággal. A cáfolathoz elegendő egy konstans nem-nulla Jacobi-determinánsú leképezés és [ P_A\ne P_B,\qquad F(P_A)=F(P_B). ] A 3 dimenziós főkonstrukció Definiáld: [ \begin{aligned} F_1(x,y,z)&=(1+xy)^3z+y^2(1+xy)(4+3xy),\ F_2(x,y,z)&=y+3x(1+xy)^2z+3xy^2(4+3xy),\ F_3(x,y,z)&=2x-3x^2y-x^3z. \end{aligned} ] Rögzítsd, hogy (F_i\in\mathbb Z[x,y,z]), és [ \deg F_1=7,\qquad \deg F_2=6,\qquad \deg F_3=4. ] A konstans Jacobi-determináns bizonyítása Tételként és bizonyítással fejtsd ki: [ \det J_F(x,y,z)\equiv-2 \qquad\text{minden }(x,y,z)\in\mathbb K^3\text{ esetén}. ] Használd a 3. oszlop szerinti kifejtést: [ \partial_zF_1=(1+xy)^3,\qquad \partial_zF_2=3x(1+xy)^2,\qquad \partial_zF_3=-x^3, ] [ \det J_F=(1+xy)^3M_{13}-3x(1+xy)^2M_{23}-x^3M_{33}, ] ahol [ \begin{aligned} M_{13}&=(\partial_xF_2)(\partial_yF_3)-(\partial_yF_2)(\partial_xF_3),\ M_{23}&=(\partial_xF_1)(\partial_yF_3)-(\partial_yF_1)(\partial_xF_3),\ M_{33}&=(\partial_xF_1)(\partial_yF_2)-(\partial_yF_1)(\partial_xF_2). \end{aligned} ] Vezesd le a parciális deriváltakat, a minorokat és a változófüggő tagok kiesését. Mondd ki a minden pontbeli lokális invertálhatóságot. Globális nem-injektivitás: hármas ütközés Tételként fejtsd ki, hogy [ \mathbf C=\left(-\frac14,0,0\right) ] pontosan 3 különböző valós racionális ősképpel rendelkezik: [ P_1=\left(0,0,-\frac14\right),\qquad P_2=\left(1,-\frac32,\frac{13}{2}\right),\qquad P_3=\left(-1,\frac32,\frac{13}{2}\right). ] Mutasd be mindhárom pont koordinátánkénti behelyettesítését és az [ F(P_1)=F(P_2)=F(P_3)=\mathbf C ] egyenlőséget. A (P_2,P_3) számításánál használd: [ xy=-\frac32,\qquad 1+xy=-\frac12. ] Vond le a globális nem-injektivitást. A 2 dimenziós reprezentáció és a szálstruktúra Vezesd be [ u=\frac{1+xy}{x}, ] és mutasd be az univerzális szizigiát: [ F_3u^3-2u^2+F_2u-2F_1\equiv0. ] Fejtsd ki, hogy rögzített kimenet felett ez a „Master Cubic” határozza meg a szálakat, generikusan 3 komplex gyökkel, azaz 3 ősképpel. Add meg a szálmenti paraméterezésből kapott 2 dimenziós polinomiális bázist: [ P(w,u)=7u^3+u^2+wu,\qquad Q(w,u)=21u^2+4u+2w. ] Mutasd be a szálak menti [ \det J_{(P,Q)}(w,u)=-2w ] azonosságot és a 3 az 1-hez fedést, például a ((201,203)) célpont felett. Számítási eredet: felezőponti operátorfelbontás Ismertesd a konstrukciót előállító kétirányú szimplektikus operátorfelbontási algoritmust: [ F=(I-H_m)\circ\cdots\circ(I-H_1). ] Az elemi rétegekre [ J_{H_i}^2=0,\qquad \det(I-J_{H_i}) =1-\operatorname{Tr}(J_{H_i})+\det(J_{H_i})=1. ] Magyarázd el, hogyan biztosítja a nilpotencia az elemi rétegek egységnyi determinánsát. Mutasd be a globális ütközést előállító kétirányú felezőponti állapotegyeztetést („midpoint shooting”): [ z=F_{1\dots m}(P_A),\qquad w=F_{m+1\dots N}^{-1}(\mathbf C),\qquad |z-w|^2=0. ] Konklúzió A következtetés legyen egyértelmű: az explicit egész együtthatós polinomleképezésre (\det J_F\equiv-2\ne0), miközben 3 különböző valós pont ugyanabba a kimenetbe kerül; ezért a konstrukció közvetlen ellenpélda Keller 1939-es Jacobi-sejtésére.