openproblem.space·the wiki Sign in to edit
Difference between revisions

druzkowski-cubic-linear

(page created)
Revision 249 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__druzkowski-cubic-linear.md).”

Status and infobox

Relations

Source +17 −0

+---
+title: Drużkowski's reduction to cubic-linear maps
+short: JC in every dimension ⇔ JC for x + (Ax)^{*3}, in every dimension
+kind: reduction
+status: proved
+tier: V3
+year: 1983
+authors: L. M. Drużkowski
+statement: Over $\mathbb C$: if for every $N$ every map $F=X+(AX)^{*3}$ of $\mathbb C^N$ with $\det JF\equiv1$ is invertible, then $\mathrm{JC}_n$ holds for all $n$. Here $A\in M_N(\mathbb C)$ and $(AX)^{*3}$ is the vector of cubes of the coordinates of $AX$.
+---
+Drużkowski refined the cubic normal form further: after adding variables, each nonlinear component can be taken to be the cube of a linear form. The Keller condition then says that the matrix $3\,\mathrm{diag}\big((AX)^{*2}\big)A$ is nilpotent, and the problem becomes one about matrices.<ref>L. M. Drużkowski, An effective approach to Keller's Jacobian Conjecture, Math. Ann. 264 (1983) 303–313, [doi:10.1007/BF01459126](https://doi.org/10.1007/BF01459126).</ref> The proof [[uses::Statement:bcw-cubic-homogeneous|starts from the Bass–Connell–Wright and Yagzhev cubic-homogeneous form]]. In 2001 Drużkowski showed one may also assume $A^2=0$. Like its parent, the reduction raises the dimension, so [[related::Statement:jc-n|it bears on the all-dimensions conjecture only, not on any fixed dimension]].
 
+In 2005 Drużkowski proved that cubic-linear maps with symmetric Jacobian and constant nonzero determinant are tame automorphisms. So a counterexample can be put in cubic-linear form or in [[related::Statement:de-bondt-van-den-essen-symmetric|the symmetric form of de Bondt and van den Essen, but never in both at once]].<ref>L. M. Drużkowski, [The Jacobian Conjecture: symmetric reduction and solution in the symmetric cubic linear case](https://eudml.org/doc/280721), Ann. Polon. Math. 87 (2005) 83–92.</ref>
+ 
+Jointly with the 2026 counterexample, the reduction guarantees a non-invertible cubic-linear Keller map in some dimension. None has been exhibited explicitly in the sources the research found.
+ 
+<references />
+ 

Revision 249 as rendered

Drużkowski refined the cubic normal form further: after adding variables, each nonlinear component can be taken to be the cube of a linear form. The Keller condition then says that the matrix 3 diag((AX)∗2)A3\,\mathrm{diag}\big((AX)^{*2}\big)A is nilpotent, and the problem becomes one about matrices.[1] The proof starts from the Bass–Connell–Wright and Yagzhev cubic-homogeneous form. In 2001 Drużkowski showed one may also assume A2=0A^2=0. Like its parent, the reduction raises the dimension, so it bears on the all-dimensions conjecture only, not on any fixed dimension.

In 2005 Drużkowski proved that cubic-linear maps with symmetric Jacobian and constant nonzero determinant are tame automorphisms. So a counterexample can be put in cubic-linear form or in the symmetric form of de Bondt and van den Essen, but never in both at once.[2]

Jointly with the 2026 counterexample, the reduction guarantees a non-invertible cubic-linear Keller map in some dimension. None has been exhibited explicitly in the sources the research found.

  1. ↑ L. M. Drużkowski, An effective approach to Keller's Jacobian Conjecture, Math. Ann. 264 (1983) 303–313, doi:10.1007/BF01459126.
  2. ↑ L. M. Drużkowski, The Jacobian Conjecture: symmetric reduction and solution in the symmetric cubic linear case, Ann. Polon. Math. 87 (2005) 83–92.