Images of locally finite derivations of polynomial algebras in two variables

DOI10.1016/J.JPAA.2010.12.002MaRDI QIDQ538057zbMATH OpenOpenAlexFDO

Authors Wenhua Zhao, Arno van den Essen, David Wright

Publication date 23 May 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1004.0521

zbMATH Keywords

derivationjacobian conjectureMathieu subspacepolynomial algebra

Mathematics Subject Classification ID

Derivations and commutative rings (13N15) Jacobian problem (14R15)

Abstract: In this paper we show that the image of any locally finite $k$-derivation of the polynomial algebra $k[x,y]$ in two variables over a field $k$ of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image $ImD$ of every $k$-derivation $D$ of $k[x,y]$ such that $1inImD$ and $divD=0$ is a Mathieu subspace of $k[x,y]$.

Review text

Let \(R\) be a commutative \(k\)-algebra (\(k\) a field of characteristic zero) and \(M\subset R\) a \(k\)-subspace of \(R\). \(M\) is a Mathieu subspace of \(R\) if the following condition holds: if \(a\in R\) is such that \(a^{m}\in M\) for all \(m\geq 1,\) then for any \(b\in R\) there exists an \(N\in \mathbb{N}\) such that \(ba^{m}\in M\) for all \(m\geq N.\) Two main results of the paper are: 1. If \(D\) is a locally finite \(k\)-derivation of \(k[X,Y]\) then \(\text{Im}D\) is a Mathieu subspace of \(k[X,Y]\). 2. The two dimensional jacobian conjecture is true iff for any \(k\) -derivation \(D\) of \(k[X,Y]\) such that \(\text{div}D=0\) and \(1\in \text{ Im}D\) the image \(\text{Im}D\) is a Mathieu subspace of \(k[X,Y]\).

Recommendations

• Images of derivations of polynomial algebras with divergence zero
• Images of locally finite \(\mathcal{E} \)-derivations of bivariate polynomial algebras
• scientific article; zbMATH DE number 797377
• Images of locally nilpotent derivations of polynomial algebras in three variables
• Images of higher-order differential operators of polynomial algebras

Cites work

• Algebraic theory of locally nilpotent derivations
• Constant terms in powers of a Laurent polynomial
• Generalizations of the image conjecture and the Mathieu conjecture
• scientific article; zbMATH DE number 1098974 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• Images of commuting differential operators of order one with constant leading coefficients
• Locally Finite and Locally Nilpotent Derivations with Applications to Polynomial Flows and Polynomial Morphism
• On multiplication and factorization of polynomials. I: Lexicographic orderings and extreme aggregates of terms
• On the density of image of differential operators generated by polynomials
• Polynomial automorphisms and the Jacobian conjecture
• Some results on the vanishing conjecture of differential operators with constant coefficients
• Surjective derivations of the ring \(\mathbb{C}[x,y]\)
• The Jacobian conjecture: Reduction of degree and formal expansion of the inverse

Cited in

(28)

• Idempotents in intersection of the kernel and the image of locally finite derivations and \(\mathcal{E}\)-derivations
• On images of locally finite derivations and \(\mathcal{E}\)-derivations
• Monomial preserving derivations and Mathieu-Zhao subspaces
• Images of locally nilpotent derivations of polynomial algebras in three variables
• Remarks on vector fields with simply connected trajectories and their associated derivations
• Mathieu subspaces of univariate polynomial algebras
• The LNED and LFED conjectures for algebraic algebras
• Images of derivations of polynomial algebras with divergence zero
• Mathieu subspaces of associative algebras
• An analogue of the Duistermaat-van der Kallen theorem for group algebras.
• Some open problems on locally finite or locally nilpotent derivations and \(\mathcal E\)-derivations
• scientific article; zbMATH DE number 1870584 (Why is no real title available?)
• scientific article; zbMATH DE number 797377 (Why is no real title available?)
• scientific article; zbMATH DE number 7481753 (Why is no real title available?)
• Images of linear derivations and linear E-derivations of K[x,y,z]
• The factorial conjecture and images of locally nilpotent derivations
• Images of higher-order differential operators of polynomial algebras
• Derivations having divergence zero on \(R[X,Y]\).
• Image of linear K -derivations and linear ΚƐ-derivations of K [ x ₁ , x ₂ , x ₃ , x ₄ ]
• ON THE LND CONJECTURE
• Images of locally finite \(\mathcal{E} \)-derivations of bivariate polynomial algebras
• Images of ideals under derivations and ℰ-derivations of univariate polynomial algebras over a field of characteristic zero
• A generalization of Mathieu subspaces to modules of associative algebras.
• Images of locally nilpotent derivations acting on ideals of polynomial algebras
• Images of locally nilpotent derivations of bivariate polynomial algebras over a domain.
• On the image conjecture
• The simplicities of some derivations
• Image of ideals under linear K-derivations and the LNED conjecture

This page was built for publication: Images of locally finite derivations of polynomial algebras in two variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q538057)