On the group of automorphisms of a surface \(x^ny= P(z)\) (Q5937672): Difference between revisions

Let \(F_{n,P}(x,y,z):=P(z)-x^{n}y\in\mathbb C[x,y,z]\) with \(P\in\mathbb C[z]\) a (monic) polynomial of degree \(d\geq 2\) and \(n\geq 2\). The author calculates the automorphism group of the affine hypersurface \(X_{n,P}:=\{(x,y,z)\in\mathbb C^{3} |F_{n,P}(x,y,z)=0\}\). The group \(\Aut X_{n,P}\) is a semidirect product of a normal abelian subgroup, isomorphic to \(\mathbb C[x]\) by \[ \mathbb C[x]\ni f\mapsto[(x,y,z)\mapsto(x,y+[P(z+x^{n}f(x))-P(z)]x^{-n},z+x^{n}f(x)], \] and an abelian group which is isomorphic either to \(\mathbb C^{*},\mathbb C^{*}\times\mathbb C^{*}\) or \(\mathbb C^{*}\times\mathbb Z/m\mathbb Z\), in dependence on \(P\). Moreover it is shown that \(X_{n,P}\) and \(X_{n_{1},P_{1}}\) are isomorphic if and only if \(n_{1}=n\) and \(P_{1}(z)=\lambda^{-d}P(\lambda z)\) for some \(\lambda\in\mathbb C^{*}\). The author defines for any algebra \(A\) over a field with characteristic zero the so-called \(AK\)-invariant \(AK(A)\). Call a derivation \(\partial\) of \(A\) locally nilpotent if for every \(a\in A\) there exists \(n\in\mathbb N\) with \(\partial^{n}(a)=0\) and \(AK(A)\) the intersection of the kernels of all locally nilpotent derivations of \(A\). The automorphism group \(\Aut A\) operates in a natural way on the subalgebra \(AK(A)\) which therefore may play an important role for the calculation of \(\Aut A\). The essential step for the proof of the results in this paper is the calculation of \(AK(A)\) for the coordinate ring \(A\) of \(X_{n,P}\). It is shown that \(AK(A)=\mathbb C[x]\).