The image conjecture

A Mathieu–Zhao subspace $M$ is one with the property that if every power $f^m$ lies in $M$, then $gf^m$ lies in $M$ for every $g$ and all large $m$. Zhao proposed the image conjecture to put his vanishing conjecture and Mathieu's conjecture in one frame. He showed that the Jacobian conjecture, and hence the Dixmier conjecture, are each equivalent to special cases of it.^[1] So the image conjecture implies the Jacobian conjecture in every dimension. It also implies the generalized vanishing conjecture, over all dimensions.^[2]

It is false, in some finite dimension. No explicit instance of the image conjecture itself follows from the known counterexamples, because the implication to GVC is known only over all dimensions at once. Zhao's 2010 paper already gives a counterexample in positive characteristic (Example 2.7). Van den Essen, Wright and Zhao proved cases of it and extracted the Factorial Conjecture, whose status after 2026 the research for this page did not check.^[3]

The Gaussian moments conjecture is the image conjecture for one commuting family, the operators $\partial_i-x_i$. It fails explicitly in three variables.

1. ↑ W. Zhao, Images of commuting differential operators of order one with constant leading coefficients, J. Algebra 324 (2010) 231–247.
2. ↑ A. van den Essen, An introduction to Mathieu subspaces, arXiv:1907.06107: IC(n) ∀n ⇒ GVC(n) ∀n ⇒ VC(n) ∀n ⟺ JC(n) ∀n.
3. ↑ A. van den Essen, D. Wright, W. Zhao, On the Image Conjecture, J. Algebra 340 (2011) 211–224.