On the group of automorphisms of a surface \(x^ny= P(z)\) (Q5937672): Difference between revisions
From MaRDI portal
Latest revision as of 09:21, 30 July 2024
scientific article; zbMATH DE number 1620033
Language | Label | Description | Also known as |
---|---|---|---|
English | On the group of automorphisms of a surface \(x^ny= P(z)\) |
scientific article; zbMATH DE number 1620033 |
Statements
On the group of automorphisms of a surface \(x^ny= P(z)\) (English)
0 references
6 August 2001
0 references
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]\).
0 references
AK-invariant
0 references
locally nilpotent derivation
0 references
automorphism group of an algebra
0 references
automorphism group of affine hypersurface
0 references