THE TWO-DIMENSIONAL JACOBIAN CONJECTURE AND
UNIQUE FACTORIZATION

arXiv:1606.04531v2 [] 16 Jun 2016

VERED MOSKOWICZ
Abstract. The two-dimensional Jacobian Conjecture says that a C-algebra
endomorphism F : C[x, y] → C[x, y] that has an invertible Jacobian is an
automorphism.
We show that if a C-algebra endomorphism F : C[x, y] → C[x, y] has an
invertible Jacobian and if v ∈ C[F (x), F (y), x] is a product of prime elements
of C[F (x), F (y), x], then F is an automorphism, where v is such that y = u/v,
where u ∈ C[F (x), F (y), x].

1

Introduction

The famous n-dimensional Jacobian Conjecture, raised by O.H. Keller [7] in 1939,
says that a C-algebra endomorphism F : C[x1 , . . . , xn ] → C[x1 , . . . , xn ] that has an
invertible Jacobian is an automorphism.
A theorem of E. Formanek [6, Theorem 2] (which generalizes a theorem of T.T.
Moh [8, page 151]), says the following: Let F : C[x1 , . . . , xn ] → C[x1 , . . . , xn ]
be a C-algebra endomorphism that satisfies Jac(F (x1 ), . . . , F (xn )) ∈ C∗ . Then
C(F (x1 ), . . . , F (xn ), x1 , . . . , xn−1 ) = C(x1 , . . . , xn ).
We will show that if a C-algebra endomorphism F : C[x, y] → C[x, y] has an
invertible Jacobian and if v ∈ C[F (x), F (y), x] is a product of prime elements of
C[F (x), F (y), x], then F is an automorphism, where v is such that y = u/v, where
u ∈ C[F (x), F (y), x]. We do not know if an analogous result for n ≥ 3 exists.

2

Our result

For results about factorization in integral domains, see, for example, [3, Chapter
15]. We begin with the following observation:
Theorem 2.1. Let F : C[x, y] → C[x, y] be a C-algebra endomorphism having an
invertible Jacobian. If C[F (x), F (y), x] is a UFD, then F is an automorphism.
We will bring two proofs for Theorem 2.1; in both proofs we will use another theorem of Formanek [5, Theorem 1], see also [4, Exercise 9, page 13]: Let k be a field
of characteristic zero and let F : k[x1 , . . . , xn ] → k[x1 , . . . , xn ] be a k-algebra endomorphism that satisfies Jac(F (x1 ), . . . , F (xn )) ∈ k ∗ . Suppose that there is a polynomial Fn+1 in k[x1 , . . . , xn ] such that k[F (x1 ), . . . , F (xn ), Fn+1 ] = k[x1 , . . . , xn ].
Then k[F (x1 ), . . . , F (xn )] = k[x1 , . . . , xn ] (= F is a k-algebra automorphism of
k[x1 , . . . , xn ]).
Proof. First, almost immediate, proof: Write F (x) = am y m + am−1 y m−1 +
. . . + a1 y + a0 , where aj ∈ C[x]. We can assume that F (x) is monic in y (and also
F (y) is monic in y, but we will not use this additional fact). Indeed, multiply F
2010 Mathematics Subject Classification. Primary 14R15.
1

2

VERED MOSKOWICZ

by an automorphism g, g(x) = x + y N , g(y) = y for appropriate N , and get that
(gF )(x) = y m + bm−1 y m−1 + . . . + b1 y + b0 , where bj ∈ C[x].
Now assume that F (x) is monic in y. Hence, y is integral over C[F (x), x], and
then y is integral over C[F (x), F (y), x], so, C[F (x), F (y), x] ⊆ C[F (x), F (y), x][y] =
C[x, y] is an integral extension. By Formanek’s theorem [6, Theorem 2], we have
C(F (x), F (y), x) = C(x, y).
By assumption, C[F (x), F (y), x] is a UFD, hence integrally closed (in its field of
fractions) [3, Theorem 15.14], therefore, C[F (x), F (y), x] = C[x, y].
Finally, Formanek’s theorem [5, Theorem 1] implies that C[F (x), F (y)] = C[x, y].
Second proof: The second proof can be found in [9, Theorem 3.1].
Recall Adjamagbo’s transfer theorem [1, Theorem 1.7]: Given commutative rings
A ⊆ B ⊆ C such that: A is normal and Noetherian, B is isomorphic to A[T ]/hA[T ],
where A[T ] is the A-algebra of polynomials generated by one indeterminate T and
h ∈ A[T ] − A, C an affine B-algebra, C is separable over A, C ∗ = A∗ and the prime
spectrum of C is connected. Then the following conditions are equivalent:
(1)
(2)
(3)
(4)

B
C
B
B

is
is
is
is

normal.
flat over B.
separable over A.
étale (=unramified and flat) over A.

It is not difficult to check that A = C[F (x), F (y)], B = C[F (x), F (y)][x] and
C = C[x, y] satisfy the assumptions in Adjamagbo’s transfer theorem. Therefore, if
we show that one of conditions (1)−(4) is satisfied, then also all the other conditions
are satisfied.
By assumption C[F (x), F (y), x] is a UFD, so condition (1) is satisfied, hence, in
particular, condition (4) is satisfied.
Recall Bass’s theorem [2, Proposition 1.1]: Let k be an algebraically closed field
of characteristic zero. Assume that k[x1 , x2 ] ⊆ B is an affine integral domain over
k which is an unramified extension of k[x1 , x2 ]. Assume also that B = k[x1 , x2 ][b]
for some b ∈ B. If B ∗ = k ∗ then B = k[x1 , x2 ].
Now apply Bass’s theorem to C[F (x), F (y)] ⊆ C[F (x), F (y)][x] and get that
C[F (x), F (y)] = C[F (x), F (y)][x].
Then we clearly have, C[F (x), F (y), y] = C[x, y], hence Formanek’s theorem [5,
Theorem 1] implies that C[F (x), F (y)] = C[x, y].

We wish to find a weaker assumption than C[F (x), F (y), x] being a UFD.
A first option is to assume that C[F (x), F (y), x] is a GCD-domain. However, it
is than immediate that C[F (x), F (y), x] is a UFD, see [3, Corollary 15.13].
A second option is to assume that a specific element v ∈ C[F (x), F (y), x] − 0
has a factorization into prime elements of C[F (x), F (y), x] (if such a factorization
exists, then it is necessarily unique up to units).
Of course, every non-zero element of C[F (x), F (y), x] has (at least) one factorization into irreducible elements of C[F (x), F (y), x], see [3, Proposition 15.3], but
the problem is that those irreducible elements need not be prime elements, and for
our proof of Theorem 2.2 we need a factorization of v into primes.
Now, in the introduction we recalled Formanek’s theorem [6, Theorem 2]. When
n = 2 it says that if F : C[x, y] → C[x, y] is a C-algebra endomorphism having
an invertible Jacobian, then C(F (x), F (y), x) = C(x, y). Therefore, for a given
C-algebra endomorphism F : C[x, y] → C[x, y] having an invertible Jacobian, there
exist u, v ∈ C[F (x), F (y), x] − 0 such that y = u/v. (Actually, v can be taken from
C[F (x), F (y)] − 0, see [10], but we will not use this fact here).

THE TWO-DIMENSIONAL JACOBIAN CONJECTURE AND UNIQUE FACTORIZATION

3

Theorem 2.2. Let F : C[x, y] → C[x, y] be a C-algebra endomorphism having an
invertible Jacobian. Assume that v ∈ C[F (x), F (y), x] − 0 as above is a product of
prime elements of C[F (x), F (y), x]. Then F is an automorphism.
Proof. Write v = v1 · · · vm , where vj ∈ C[F (x), F (y), x] are prime elements of
C[F (x), F (y), x]. Let S0 be the multiplicative set {v i }, and let S be the saturation of
S, see [3, page 127]; this S is primal [3, page 251] (=generated by units and by prime
elements). We claim that the localization S −1 C[F (x), F (y), x] is a UFD; indeed,
S −1 C[F (x), F (y), x] = S −1 C[x, y], and S −1 C[x, y] is a UFD as a localization of the
UFD C[x, y] (see [3, Theorem 15.36]). Now by a theorem of Nagata [3, Theorem
15.39], we get that C[F (x), F (y), x] is a UFD. Therefore, theorem 2.1 implies that
F is an automorphism.

The proof of Theorem 2.2 shows that, under the assumptions of Theorem 2.2,
C[F (x), F (y), x] is a UFD, so actually our weaker condition is not weaker but
equivalent.

References
[1] K. Adjamagbo, On separable algebras over a UFD and the Jacobian Conjecture in any
characteristic, in Automorphisms of affine spaces, A. van den Essen (ed.), Kluwer Academic
Publishers, 1995, Proceedings of a Conference held in Curacao (Netherlands Antilles), July
4-8, 1994, under the auspices of the Caribbean mathematics Foundation (CMF).
[2] H. Bass, Differential structure of étale extensions of polynomial algebras, in Commutative
Algebra, M. Hochster, C. Huncke and J. D. Sally (ed.), Springer-Verlag, New York, 1989,
Proceedings of a Microprogram Held, June 15-July 2, 1987.
[3] P. L. Clark, Commutative Algebra, March 9, 2015.
[4] A. van den Essen, Polynomial automorphisms and the Jacobian Conjecture, Progress in
Mathematics, 190. Birkhuser Verlag, Basel, 2000.
[5] E. Formanek, Two notes on the Jacobian Conjecture, Arch. Math. (Basel) 49, 286-291, 1987.
[6] E. Formanek, Observations about the Jacobian Conjecture, Houston J. Math. 20, no. 3, 369380, 1994.
[7] O. H. Keller, Ganze Cremona-Transformationen, Monatsh. Math. Phys. 47, 299-306, 1939.
[8] T. T. Moh, On the Jacobian Conjecture and the configurations of roots, J. Reine Angew.
Math. 340, 140-212, 1983.
[9] V. Moskowicz, Special cases of the Jacobian Conjecture, arXiv:1501.06905v8 [math.RA] 13
Apr 2015.
[10] V. Moskowicz, A special case of the two-dimensional Jacobian Conjecture, arXiv:1573576
[] 31 May 2016.
Department of Mathematics, Bar-Ilan University, Ramat-Gan 52900, Israel.
E-mail address: vered.moskowicz@gmail.com

