On the image conjecture
The Image Conjecture is as follows: Let \(k\) be a field and \(A\) be a \(k\) -algebra, and let \(B=A[z_{1},\ldots ,z_{n}].\) Then for \(a_{1},\ldots ,a_{n}\in A\) a regular sequence, the image of the \(A\)-linear map \( B^{n}\rightarrow B\) defined by \(\mathcal{D=(\partial }_{z_{1}}-a_{1},\ldots , \mathcal{\partial }_{z_{n}}-a_{n}\mathcal{)}\) is a Mathieu subspace in \(B\) (by definition a sub \(k\)-vector space \(\mathcal{M}\) of \(B\) is called a Mathieu subspace if for all \(f\in B,\) if \(f^{m}\in \mathcal{M}\) for all \( m\geq 1\) then for any \(g\in B\) we have \(f^{m}g\in \mathcal{M}\) for all \(m\gg 0).\) The Image Conjecture is important because it implies the Jacobian Conjecture [\textit{W. Zhao}, J. Algebra 324, No. 2, 231--247 (2010; Zbl 1197.14064)]. The authors prove various cases of the Image Conjecture (for instance for \(k\) of positive characteristic) and connect it to the following Factorial Conjecture: if \(f\in \mathbb{C}[z_{1},\ldots ,z_{n}]\) satisfies \( \mathcal{L}(f^{m})=0\) for all \(m\geq 1\) then \(f=0,\) where \(\mathcal{L}: \mathbb{C}[z_{1},\ldots ,z_{n}]\rightarrow \mathbb{C}\) is the \(\mathbb{C}\) -linear map defined on monomials by \(\mathcal{L}(z_{1}^{l_{1}}\cdots z_{n}^{l_{n}}):=l_{1}!\cdots l_{n}!\) They prove various cases of the Factorial Conjecture.
- Inverse degrees and the Jacobian conjecture
- Monomial preserving derivations and Mathieu-Zhao subspaces
- Images of commuting differential operators of order one with constant leading coefficients
- The factorial conjecture and images of locally nilpotent derivations
- Higher-order Image Conjecture for differential operators of polynomial algebras
- scientific article; zbMATH DE number 52705
- scientific article; zbMATH DE number 797374
- Images of locally finite derivations of polynomial algebras in two variables
- Eulerian operators and the Jacobian conjecture. III
- Images of higher-order differential operators of polynomial algebras
- Generalizations of the image conjecture and the Mathieu conjecture
- Hessian nilpotent polynomials and the Jacobian conjecture
- scientific article; zbMATH DE number 3687501 (Why is no real title available?)
- scientific article; zbMATH DE number 1098974 (Why is no real title available?)
- Images of commuting differential operators of order one with constant leading coefficients
- Monomial preserving derivations and Mathieu-Zhao subspaces
- A new class of nilpotent Jacobians in any dimension
- Images of locally nilpotent derivations of polynomial algebras in three variables
- Generalizations of the image conjecture and the Mathieu conjecture
- Mathieu subspaces of univariate polynomial algebras
- A deformation of commutative polynomial algebras in even numbers of variables
- Images of derivations of polynomial algebras with divergence zero
- The Gaussian moments conjecture and the Jacobian conjecture
- Mathieu-Zhao spaces of univariate polynomial rings with non-zero strong radical
- The Jacobian Conjecture, Together with Specht and Burnside-Type Problems
- On the Shape of Plane Images
- The strong factorial conjecture
- Mathieu subspaces of associative algebras
- An analogue of the Duistermaat-van der Kallen theorem for group algebras.
- scientific article; zbMATH DE number 1870584 (Why is no real title available?)
- Mathieu-Zhao Spaces and the Jacobian Conjecture
- Higher-order Image Conjecture for differential operators of polynomial algebras
- On the incompatibility of Diophantine equations arising from the strong factorial conjecture
- On the generalized vanishing conjecture
- The factorial conjecture and images of locally nilpotent derivations
- Images of higher-order differential operators of polynomial algebras
- The Image Containment Problem and Some Classes of Polynomial Instances
- Image of linear K -derivations and linear ΚƐ-derivations of K [ x 1 , x 2 , x 3 , x 4 ]
- ON THE LND CONJECTURE
- On the two-dimensional Jacobian conjecture: Magnus’ formula revisited, III
- A generalization of Mathieu subspaces to modules of associative algebras.
- Images of locally nilpotent derivations of bivariate polynomial algebras over a domain.
- Image of ideals under linear K-derivations and the LNED conjecture
- Images of commuting differential operators of order one with constant leading coefficients
This page was built for publication: On the image conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661890)
