The Image Conjecture for regular sequences

Let kk be a field and AA be a kk-algebra, and let B=A[z1,,zn]B=A[z_1,\ldots,z_n] be the polynomial ring in nn variables over AA. For a1,,anAa_1,\ldots,a_n\in A a regular sequence means a sequence satisfying the usual non-zero-divisor and proper-ideal conditions. Let D:BnB\mathcal D:B^n\to B be the AA-linear map whose components are ziai\partial_{z_i}-a_i.

Image Conjecture. The image of D\mathcal D is a Mathieu subspace of BB.

This conjecture generalizes the ideal-like behavior of images of differential operators and is connected with the Vanishing and Jacobian Conjectures. The source presents it as the main conjecture and does not give evidence here that it has been resolved.

Sources & referencesView supporting material

Primary source

Arno van den Essen, David Wright and Wenhua Zhao, “On the Image Conjecture”, arXiv:1008.3962 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.