Analogs of Jacobian conditions for subrings (Q1684756)

The authors propose the following generalization of the known Jacobian conjecture to arbitrary systems of polynomials: For arbitrary polynomials \(f_{1},\ldots ,f_{m}\in k[x_{1},\ldots ,x_{n}]\) over a field \(k\) of characteristic zero if \[ \mathrm{GCD}(\mathrm{jac}_{x_{i_{1}},\ldots ,x_{i_{m}}}^{f_{1},\ldots ,f_{m}},\;\;\;1\leq i_1<\ldots <{i_{m}}\leq n)\in k\setminus\{0\}, \tag{\(\ast\)} \] (where \(\mathrm{jac}\) denotes the Jacobian determinant) then \(k[f_{1},\ldots ,f_{m}]\) is a ring of constants of some \(k\)-derivation of \(k[x_{1},\ldots ,x_{n}].\) They prove that the truth of this conjecture implies the truth of the Jacobian conjecture. Moreover they express condition \((\ast )\) in terms of irreducible and square-free elements of the subalgebra \(k[f_{1},\ldots ,f_{m}]\subset k[x_{1},\ldots ,x_{n}].\) Namely \((\ast )\) is equivalent to each of the following ones (under an additional assumption \(f_{1},\ldots ,f_{m}\) are algebraically independent): \[ \begin{aligned} \mathrm{Irr }k[{f_{1}},\ldots ,{f_{m}}] \subset \mathrm{Sqf }k[{x_{1}},\ldots ,{x_{n}}], \\ \mathrm{Sqf }k[{f_{1}},\ldots ,{f_{m}}] \subset \mathrm{Sqf }k[{x_{1}},\ldots ,{x_{n}}], \end{aligned} \] where \(\mathrm{Irr }R\) and \(\mathrm{Sqf }R\) denote the sets of irreducible and square-free elements of a ring \(R.\)