A new proof of a known special case of the Jacobian Conjecture

Abstract: The famous Jacobian Conjecture asks if a morphism

f : K [x, y] o K [x, y]

with invertible Jacobian, is invertible (

K

is a characteristic zero field). A known result says that if

K [f (x), f (y)] s u b s e t e q K [x, y]

is an integral extension, then

f

is invertible. We slightly generalize this known result to the following: If for some "good"

l a m b d a i n K

(in a sense that will be explained)

m K [x, y] e q K [x, y]

for every maximal ideal

m

of

K [f (x), f (y)] [x + l a m b d a y]

, then

f

is invertible. We also apply our ideas to the Jacobian Conjecture, without any further assumptions.

This page was built for publication: A new proof of a known special case of the Jacobian Conjecture