English

A special case of the two-dimensional Jacobian Conjecture

Commutative Algebra 2016-09-06 v2

Abstract

Let f:C[x,y]C[x,y]f: \mathbb{C}[x,y] \to \mathbb{C}[x,y] be a C\mathbb{C}-algebra endomorphism having an invertible Jacobian. We show that for such ff, if, in addition, the group of invertible elements of C[f(x),f(y),x][1/v]C(x,y)\mathbb{C}[f(x),f(y),x][1/v] \subset \mathbb{C}(x,y) is contained in C(f(x),f(y))0\mathbb{C}(f(x),f(y))-0, then ff is an automorphism. Here vC[f(x),f(y)]0v \in \mathbb{C}[f(x),f(y)]-0 is such that y=u/vy = u/v, with uC[f(x),f(y),x]0u \in \mathbb{C}[f(x),f(y),x]-0. Keller's theorem (in dimension two) follows immediately, since Keller's condition C(f(x),f(y))=C(x,y)\mathbb{C}(f(x),f(y))=\mathbb{C}(x,y) implies that the group of invertible elements of C[f(x),f(y),x][1/v]\mathbb{C}[f(x),f(y),x][1/v] is contained in C(x,y)0=C(f(x),f(y))0\mathbb{C}(x,y)-0 = \mathbb{C}(f(x),f(y))-0.

Keywords

Cite

@article{arxiv.1606.00426,
  title  = {A special case of the two-dimensional Jacobian Conjecture},
  author = {Vered Moskowicz},
  journal= {arXiv preprint arXiv:1606.00426},
  year   = {2016}
}

Comments

8 pages