The kernel conjecture for Jacobian derivations

Let KK be a field of characteristic zero and let F=(F1,,Fn):KnKnF=(F_1,\dots,F_n):K^n\to K^n be a polynomial function with det(JF)K\det(JF)\in K^*. Define derivations on K[T]K[T] by

[F1Fn]=((JF)1)T[t1tn].\begin{bmatrix}\frac{\partial}{\partial F_1}\vdots\frac{\partial}{\partial F_n}\end{bmatrix}=((JF)^{-1})^T\begin{bmatrix}\frac{\partial}{\partial t_1}\vdots\frac{\partial}{\partial t_n}\end{bmatrix}.

Kernel conjecture.

ker(Fn)=K[F1,,Fn1].\ker\left(\frac{\partial}{\partial F_n}\right)=K[F_1,\dots,F_{n-1}].

This conjecture is presented as related to the Jacobian and Dixmier conjectures; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

William Fajardo and Oswaldo Lezama, “The Dixmier problem for skew PBW extensions and rings”, arXiv:2506.09285 (2025).

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.