This paper consists mainly of a review and applications of our old results relating to the title. We discuss how many elliptic fibrations and elliptic fibrations with infinite automorphism groups (or Mordell–Weil groups) an algebraic K3 surface over an algebraically closed field can have. As examples of applications of the same ideas, we also consider K3 surfaces with exotic structures: with a finite number of non-singular rational curves, with a finite number of Enriques involutions, and with naturally arithmetic automorphism groups.

The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the curve exclusion theorem, which first appeared in the author's PhD thesis and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.

We give the first examples over finite fields of rings of invariants that are not finitely generated. (The examples work over arbitrary fields, for example the rational numbers.) The group involved can be as small as three copies of the additive group. The failure of finite generation comes from certain elliptic fibrations or abelian surface fibrations having positive Mordell–Weil rank. Our work suggests a generalization of the Morrison–Kawamata cone conjecture on Calabi–Yau fiber spaces to klt Calabi–Yau pairs. We prove the conjecture in dimension two under the assumption that the anticanonical bundle is semi-ample.

We find Zariski pairs of sextics with simple singularities having maximal total Milnornumber. We also relate them to the existence of distinct Mordell--Weil groups of extremal elliptic $K3$surfaces with a fixed set of semistable singular fibres.

1991 Mathematics Subject Classification: 14F45, 14F27, 14F28.