The classification of automorphism groups of rational elliptic surfaces with section (Q411726)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The classification of automorphism groups of rational elliptic surfaces with section
scientific article

    Statements

    The classification of automorphism groups of rational elliptic surfaces with section (English)
    0 references
    0 references
    30 April 2012
    0 references
    In this paper, all possible automorphism groups of relatively minimal rational elliptic surfaces with non-constant \(J\)-map are classified. Let \(S\) be a relatively minimal rational elliptic surface, \(\pi: S\to \mathbb P^1\) be the unique elliptic fibration and \(\sigma\) an automorphism of \(S\). One can easily show that \(\sigma\) maps fibers of \(\pi\) to fibers of \(\pi\). In particular, to determine \(\mathrm{Aut}(S)\) it suffices to identify the automorphisms that act trivially on the base curve and to identify the image of \(\mathrm{Aut}(S)\) in \(\mathrm{Aut}(\mathbb P^1)\). The group of automorphism that act trivially on the base is a semi-direct product of \(\mathbb Z/2\mathbb Z\) and the Mordell-Weil group of \(\pi\). The possible Mordell-Weil groups are classified by Oguiso and Shioda and depend on the configuration of singular fibers of \(\pi\). All possible configurations of singular fibers were previously classified by Persson and by Miranda. This paper focuses mainly on the classification of the image of \(\mathrm{Aut}(S)\) in \(\mathrm{Aut}(\mathbb P^1)\). This image is very small: Let \(\sigma\in \mathrm{Aut}(\mathbb P^1)\) be in the image of \(\mathrm{Aut}(S)\) and let \(J:\mathbb P^1\to \mathbb P^1\) be the \(J\)-map associated with \(\pi\). Then \(J\circ \sigma=J\) holds. Fix now a configuration of singular fibers, then the type of singular fibers prescribes the ramification indices of the \(J\)-map over \(0,1\) and \(\infty\). Combining these two observations yields directly that the order of \(\sigma\) is at most 12 and different from 11. Using some further elaborated arguments the author shows that the image of \(\mathrm{Aut}(S)\) is either a cyclic group of order at most 12, \((\mathbb Z/2\mathbb Z)^2\), \(D_n\), with \(n\leq 12\) or \(A_4\). Then for each group the author lists all the configurations of singular fibers for which they occur.
    0 references
    rational elliptic surfaces
    0 references
    automorphism groups
    0 references

    Identifiers