On Jacobian \(n\)-tuples in characteristic \(p\)
type: Item
instance of: scholarly article
title: On Jacobian \(n\)-tuples in characteristic \(p\)
zbMATH Open document ID: 0796.13016
author: Jeffrey Lang
author: Satyagopal Mandal
published in: Rocky Mountain Journal of Mathematics
publication date: 1994-10-04T00:00:00Z
review text: Let \(k\) be a field of characteristic \(p>0\), \(A = k[X_ 1, \dots, X_ n]\), and \(L=k (X_ 1, \dots, X_ n)\). The determinant of the \(n \times n\) Jacobian matrix of \(F_ 1, \dots, F_ n \in A\) with respect to \(X_ i\) is denoted by \(j(F_ 1, \dots, F_ n)\). Then \((F_ 1, \dots, F_ n)\) is a Jacobian \(n\)-tuple if \(j(F_ 1, \dots, F_ n)\) is in \hbox{\(k^* = k- \{0\}\)}. The authors give a new characterization of Jacobian \(n\)-tuples in terms of the differential operator \(\nabla = (\partial/ \partial_ 1)^{p-1} \cdots (\partial/ \partial_ n)^{p- 1}\) in the hope of shedding some light on the famous Jacobian conjecture (in characteristic zero). The main result is: Theorem. The following conditions are equivalent: (1) \((F_ 1, \dots, F_ n)\) is a Jacobian \(n\)-tuple. (2) \(A=k [X_ 1^ p, \dots, X_ n^ p, F_ 1, \dots, F_ n]\). (3) \(\{F_ 1^{k_ 1}, \dots, F_ n^{k_ n}| 0 \leq k_ i \leq p-1\}\) is a free basis of the \(k[X_ 1^ p, \dots, X_ n^ p]\)-module \(A\). (4) For any \(h \in L\), we have \(h=c \sum_{0 \leq r \leq p-1} F_ i^ r d_ i^{p-1} (F_ i^{p-r-1} h)\) for some \(c \in k^*\). (5) \(\nabla = cd_ 1^{p-1} \cdots d_ n^{p-1}\) for some \(c \in k^*\). (6) \(\nabla (F_ 1^{k_ 2} \cdots F_ n^{k_ n}) = 0\) if \(0 \leq k_ i<p -1\) for some \(i\), and \(\nabla (F_ 1^{p-1} \cdots F_ n^{p-1})\) is in \(k^*\). Here \(d_ i(h) = j(F_ 1, \dots, F_{i-1}, h, F_{i+1}, \dots, F_ n)\). (The equivalence of (1), (2), (3) is due to \textit{Nousainen}).
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 14A05
zbMATH DE Number: 218644
zbMATH Keywords: differential operator
zbMATH Keywords: characteristic \(p\)
zbMATH Keywords: Jacobian \(n\)-tuples
zbMATH Keywords: Jacobian conjecture
reviewed by: Akira Ooishi
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1216/rmjm/1181072622
OpenAlex ID: W2067757299
cites work: Lectures on expansion techniques in algebraic geometry. With notes by Balwant Singh
cites work: The Jacobian conjecture: Reduction of degree and formal expansion of the inverse
cites work: Injective polynomial maps and the Jacobian conjecture
cites work: Ganze Cremona-Transformationen
cites work: Purely inseparable extensions of unique factorization domains
cites work: Lectures on unique factorization domains. Notes by M. Pavman Murthy
DOI: 10.1216/RMJM/1181072622
description: scientific article; zbMATH DE number 218644