Images of commuting differential operators of order one with constant leading coefficients (Q986066): Difference between revisions
From MaRDI portal
Latest revision as of 02:26, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Images of commuting differential operators of order one with constant leading coefficients |
scientific article |
Statements
Images of commuting differential operators of order one with constant leading coefficients (English)
0 references
11 August 2010
0 references
The author gives the next equivalent formulation of the Jacobian conjecture (JC) - the so called Image conjecture (IC): Let \(\mathcal{A}\) be a commutative algebra over a field of characteristic zero and \(\mathcal{C}\) a set of differential operators of \(\mathcal{A}[z]:=\mathcal{A}[z_{1},\ldots ,z_{n}]\) of order one with constant leading coefficient (i.e. of the form \( h(z)+\sum_{i=1}^{n}c_{i}\partial _{i},\) \(h(z)\in \mathcal{A}[z],\) \(c_{i}\in \mathcal{A}\)) such that any two differential operators in \(\mathcal{C}\) commute. Then for any \(f,g\in \mathcal{A}[z]\) with \(f^{m}\in \sum_{\Phi \in \mathcal{C}}\Phi (\mathcal{A}[z])\) for each \(m\geq 1,\) we have \(f^{m}g\in \sum_{\Phi \in \mathcal{C}}\Phi (\mathcal{A}[z])\) when \(m\gg 0.\) The main result is that the following statements are equivalent: 1. JC holds for any dimension \(\geq 1\), 2. for any \(n\geq 1\) and homogeneous \(P(z)\in \mathcal{A}[z]\) of degree \(4\) the IC holds for \(f(\xi ,z)=\left( \sum_{i=1}^{n}\xi _{i}^{2}\right) P(z)\) and \(g(z)=P(z).\)
0 references
Jacobian conjecture
0 references
image conjecture
0 references
vanishing conjecture
0 references
polynomial automorphism
0 references
0 references