Non-rationality of some fibrations associated to Klein surfaces

From MaRDI portal
Publication:2257014



Abstract: We study the polynomial fibration induced by the equation of the Klein surfaces obtained as quotient of finite linear groups of automorphisms of the plane; this surfaces are of type A, D, E, corresponding to their singularities. The generic fibre of the polynomial fibration is a surface defined over the function field of the line. We proved that it is not rational in cases D, E, although it is obviously rational in the case A. The group of automorphisms of the Klein surfaces is also described, and is linear and of finite dimension in cases D, E; this result being obviously false in case A.


It is well-known that the quotient of \(\mathbb{C}^2\) by a finite group \(G\subset \mathrm{SL}(2, \mathbb{C})\) is a hypersurface in \(\mathbb{C}^3\) defined by a single equation \(F=0\). The hypersurface has a unique singularity at the origin, which is of type \(A, D, E\). We say the polynomial \(F\) is of type \(A, D, E\) if the hypersurface singularity is of type \(A, D, E\). The polynomial \(F\) induces a map \(\mathbb{C}^3 \to \mathbb{C}\), whose only singular fiber the hypersurface defined by \(F=0\). The author of the paper under review studies the rationality question of the generic fiber (over the function field \(\mathbb{C}(t)\)) and the automorphism group of the hypersurface. Theorem 1. The generic fiber is rational if and only if the polynomial \(F\) is of type \(A_n\). The proof goes by finding a suitable compactification of the generic fiber and then using some rationality criterion of minimal del Pezzo surface and conic bundles over a perfect field. The author goes further by considering the minimal field extension of \(\mathbb{C}(t)\) to make the \(D, E\) case rational. The automorphism group of \(A_n\) type hypersurfaces is quite large, as it contains the group \[ \{(x, y, z) \mapsto (x+yP(y), y, z+\frac{(x+yP(y))^n-x^n}{y})| P \in \mathbb{C}[y]\}. \] As a contrary, the author shows the following: Theorem 3. The followings are equivalent: 1. Each automorphism of \(F=0\) extends to \(\mathbb{C}^3\). 2. The group of automorphisms has finite dimension. 3. The polynomial \(F\) is of type \(D\) or \(E\). The author also determines the automorphism groups.











This page was built for publication: Non-rationality of some fibrations associated to Klein surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2257014)