The Jacobian variety (Q2479927)

In their survey article ``The Jacobian conjecture: reduction of degree and formal expansion of the inverse'' [Bull. Am. Math. Soc. , New Ser. 7, 287--330 (1982; Zbl 0539.13012)], \textit{H. Bass, E. H. Connell} and \textit{D. Wright} observed (I, Cor. 1.6 and Remark 1.7) that there is a containment \(G_{(d)} \subset J_{(d)} \subset E_{(d)}\) of closed subvarieties, where \(E_{(d)}\) is the variety of polynomial maps \(F: \mathbb A^{n} \to \mathbb A^{n}\) of total degree \(\leq d\), \(J_{(d)}\) are those with Jacobian determinant 1, and \(G_{(d)}\) are the automorphisms of \(\mathbb A^{n}\) with determinant 1. Thus \(G_{(d)}\) is closed in \(J_{(d)}\) and the conjecture would follow from \(\dim G_{(d)}=\dim J_{(d)}\) and irreducibility of \(J_{(d)}\). In the paper under review, the author makes analogous observations for the closed subsets corresponding to maps which fix the origin: he calls these varieties \(\text{Aut}_{0,d}(\mathbb C^{n})\) and \(J(d,n)\), showing that \(\text{Aut}_{0,d}(\mathbb C^{n})\) is closed in \(J(d,n)\) and noting that the Jacobian conjecture would follow if \(J(d,n)\) were irreducible and the dimensions agree. After showing that \(J(n,d)\) is connected, the author focuses on the case where \(n=2\) and \(d\) is a product of at most two primes. Here he shows that the dimensions do agree, but that \(J(2,d)\) is reducible for \(d \geq 4\) because it contains \(\text{Aut}_{0,d}(\mathbb C^{2})\), which was shown to be reducible iff \(d \geq 4\) by \textit{J.-P. Furter} [J. Algebra 195, 604--623 (1997; Zbl 0918.14005)]. He also shows that \(SL_{2}(\mathbb C)\) (acting by conjugation) is contained in the singular locus of \(J(2,d)\).