Polynomial Retracts and the Jacobian Conjecture

Abstract

Let K[x, y] be the polynomial algebra in two variables over a field K of characteristic 0. A subalgebra R of K[x, y] is called a retract if there is an idempotent homomorphism (a retraction, or projection) phi : K[x, y] --> K[x, y] such that phi(K[x, y]) = R. The presence of other, equivalent, definitions of retracts provides several different methods of studying and applying them, and brings together ideas from combinatorial algebra, homological algebra, and algebraic geometry. In this paper, we characterize all the retracts of K[x, y] up to an automorphism, and give several applications of this characterization, in particular, to the well-known Jacobian conjecture.