Jacobian conjecture via differential Galois theory

From MaRDI portal
Publication:2003548



Abstract: We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot extensions of partial differential fields, the theory of strongly normal extensions as presented by Kovacic and the characterization of Picard-Vessiot extensions in terms of tensor products given by Levelt.


The authors gives a one-to-one correspondence between the ideals of \(E\) and the differential ideals of \(K\otimes_CE\), which is necessary to prove the map \(\Phi:K\otimes_CE\to K\otimes_CR\) is injective. In addition, they prove that if the map \(\Phi\) is an isomorphism, then the extension \(K/C\) is a strongly normal extension. If \(R=C[x]\) and \[ K=(C(x),(J^{-1}_F)^T(\frac{\partial}{\partial x_1},\dots,\frac{\partial}{\partial x_n})^T), \] then the Jacobian Conjecture is true in the case that \(\Phi\) is an isomorphism.











This page was built for publication: Jacobian conjecture via differential Galois theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2003548)