The kernel conjecture for Jacobian derivations

About 1 year old · traced to

Let KK be a field of characteristic zero and let F=(F1,…,Fn):Kn→KnF=(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

[∂∂F1vdotsfrac∂∂Fn]=((JF)−1)T[∂∂t1vdotsfrac∂∂tn].\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,…,Fn−1].\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.

References

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.