Jacobian conjecture via differential Galois theory (Q2003548)

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.