Conservative and divergence free algebraic vector fields

Connell, E.; Drost, J.

doi:10.1090/S0002-9939-1983-0687626-5

Conservative and divergence free algebraic vector fields
HTML articles powered by AMS MathViewer

by E. Connell and J. Drost PDF

Proc. Amer. Math. Soc. 87 (1983), 607-612 Request permission

Abstract:

Suppose $k$ is a field of characteristic 0 and ${k^{[n]}} = k[{x_1}, \ldots ,{x_n}]$. If ${u_i}$, ${f_j} \in {k^{[n]}}$ for $1 \leqslant i \leqslant n$, $1 \leqslant j \leqslant m$, $u = ({u_1}, \ldots ,{u_n})$, the ${f_j}$ are relatively prime, and each ${f_j}u$ is conservative, then $u$ is conservative and $({f_1}, \ldots ,{f_m})$ is unimodular. Given any $u$ with $\left | {J(u)} \right | = 1$, then each derivation $\partial /\partial {u_i}$, has divergence 0. If $D:{k^{[n]}} \to {k^{[n]}}$ is a $k$-derivation with kernel of dimension $n$ - $- 1$, then there exists a $g$ so that $gD$ has divergence 0.

References

Shreeram S. Abhyankar, William Heinzer, and Paul Eakin, On the uniqueness of the coefficient ring in a polynomial ring, J. Algebra 23 (1972), 310–342. MR 306173, DOI 10.1016/0021-8693(72)90134-2
Hyman Bass, Edwin H. Connell, and David Wright, The Jacobian conjecture: reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 2, 287–330. MR 663785, DOI 10.1090/S0273-0979-1982-15032-7
Robert C. Gunning and Hugo Rossi, Analytic functions of several complex variables, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1965. MR 0180696
Hideyuki Matsumura, Commutative algebra, W. A. Benjamin, Inc., New York, 1970. MR 0266911

and all that

Stuart Sui Sheng Wang, A Jacobian criterion for separability, J. Algebra 65 (1980), no. 2, 453–494. MR 585736, DOI 10.1016/0021-8693(80)90233-1
David Wright, On the Jacobian conjecture, Illinois J. Math. 25 (1981), no. 3, 423–440. MR 620428