---
abstract: 'We classify elliptic K3 surfaces in characteristic $p$ with $p^n$-torsion section. For $p^n\geq3$ we verify conjectures of Artin and Shioda, compute the heights of their formal Brauer groups, as well as Artin invariants and Mordell–Weil groups in the supersingular cases.'
address:
- 'Department of Applied Mathematics, Graduate School of Engineering, Hiroshima University, Higashi-Hiroshima 739-8527, Japan'
- 'Department of Mathematics, Stanford University, 450 Serra Mall, Stanford CA 94305-2125, USA'
author:
- Hiroyuki Ito
- Christian Liedtke
title: 'Elliptic K3 surfaces with ${\mathbf p}^{\mathbf n}$-torsion sections'
---

\[section\] \[section\] \[section\] \[Definition\][Example]{} \[Definition\][Examples]{} \[Definition\][Remark]{} \[Definition\][Remarks]{} \[Definition\][Caution]{} \[Definition\][Conjecture]{} \[Definition\][Question]{} \[Definition\][Questions]{} \[Definition\][Theorem]{} \[Definition\][Proposition]{} \[Definition\][Lemma]{} \[Definition\][Corollary]{} \[Definition\][Fact]{} \[Definition\][Facts]{} [****]{}[.]{}[ ]{} [****]{}[.]{}[ ]{}

Introduction {#introduction .unnumbered}
============

The geometry and arithmetic of K3 surfaces is a fascinating subject of algebraic geometry. Moreover, this class of surfaces provides a rich source of conjectures that are difficult to come by.

In this paper, we consider K3 surfaces in positive characteristic $p$ that are elliptically fibered. Moreover, we assume that the fibration possesses a torsion section of order $p^n$. Such surfaces have already been studied by Schweizer [@Schweizer; @2005]. Recall, e.g., from [@Katz;; @Mazur; @1985 Chapter 12], that the Igusa moduli functor, which classifies ordinary elliptic curves with $p^n$-torsion sections, is representable by a smooth affine curve, the so-called Igusa curve ${{\rm Ig}(p^n)^{\rm ord}}$ if $p^n\geq3$. Using Igusa’s results [@Igusa; @1968], we first strengthen results of [@Schweizer; @2005] and [@Dolgachev; @Keum; @2009]:

Elliptic K3 surfaces with $p^n$-torsion section in characteristic $p$ exist for $p^n\leq8$ only. If the fibration has constant $j$-invariant then $p^n=2$.

Using the universal elliptic curves over the Igusa curves and the results [@Liedtke;; @Schroeer; @2008] on their Néron models over their cusps and the supersingular locus, we explicitly classify elliptic K3 surfaces with $p^n$-torsion sections for $p^n\geq3$.

Next, translation by a $p$-torsion section of an elliptic fibration induces a ${{\mathds{Z}}}/p{{\mathds{Z}}}$-action, i.e., a wild $p$-cyclic automorphism. Such wild automorphisms on K3 surfaces have been studied in general by Dolgachev and Keum [@Dolgachev;; @Keum; @2001]. Using their results, we illustrate and strengthen these results in case the wild automorphism arises from translation by a $p$-torsion section. For example, we determine the fixed point set of translation by a $p$-torsion section in bad fibers of the elliptic fibration, which extends work of Miranda and Persson [@Miranda;; @Persson; @1989] from the prime-to-$p$ case.

Before stating one of our main results, let us state a couple of conjectures on the arithmetic of elliptic K3 surfaces. First, let us recall that a surface is called [*Shioda-supersingular*]{} if the rank of its Néron–Severi group is equal to its second Betti number. In [@Shioda; @1974b], Shioda has shown that unirational surfaces are Shioda-supersingular and conjectured the converse in [@Shioda; @1977]. On the other hand, a surface is called [*Artin-supersingular*]{} if its formal Brauer group has infinite height. Artin [@Artin; @1974] has shown that unirational K3 surfaces are Artin-supersingular and conjectured the converse. Moreover, he proved in loc. cit. that Shioda-supersingular surfaces are Artin-supersingular and conjectured the converse. Thus

For K3 surfaces,

1.  (Shioda) Shioda-supersingularity implies unirationality,

2.  (Artin) Artin-supersingularity implies unirationality,

3.  (Artin) Artin-supersingularity implies Shioda-supersingularity.

For elliptic K3 surfaces these two notions of supersingularity coincide [@Artin; @1974]. In characteristic $2$, there is another conjecture by Artin [@Artin; @1974], which does not only imply the above conjectures but also gives a geometric explanation of the above conjectures:

In characteristic $2$, an elliptic fibration on a supersingular K3 surface arises via Frobenius pullback from a rational elliptic surface.

Unfortunately, such a conjecture cannot be true in general in characteristic $p\geq3$, see Section \[sec:brauer\] for discussion. However, for elliptic K3 surfaces with $p^n$-torsion sections a beautiful picture emerges:

Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface in positive characteristic $p$ with $p^n$-torsion sections and $p^n\geq3$. Then the following are equivalent

1.  The elliptic fibration arises as Frobenius pullback from a rational elliptic fibration.

2.  $X$ is unirational.

3.  $X$ is supersingular.

4.  The fibration has precisely one additive fiber.

The conjectures of Artin and Shioda hold for elliptic K3 surfaces with $p^n$-torsion sections if $p^n\geq3$.

Let us recall that the moduli space of K3 surfaces is stratified by the height $h$ of the formal Brauer group, which takes every value $1\leq h\leq 10$ or $h=\infty$. Furthermore, the moduli space of surfaces with $h=\infty$, i.e., the Artin-supersingular surfaces, is stratified by the Artin invariant $\sigma_0$, which takes every value $1\leq\sigma_0\leq10$. For our surfaces we prove the following alternative

For an elliptic K3 surface with $p^n$-torsion section in characteristic $p$ and $p^n\geq3$ there are two possibilities:

1.  either the elliptic fibration has precisely one additive fiber and the surface is supersingular ($h=\infty$),

2.  or the elliptic fibration has precisely two additive fibers and the surface is ordinary ($h=1$)

In characteristic $2$, a connection between the height of the formal Brauer group and the singular fibers of an elliptic fibration has already been observed by Artin [@Artin; @1974]. For $p^n\geq7$ there is only one elliptic K3 surface with $p^n$-torsion section and it is supersingular. On the other hand, the generic elliptic K3 surface with $p^n$-torsion section with $p^n\leq5$ is ordinary.

Concerning the Artin invariants of the supersingular surfaces we obtain the following characterization:

The Artin invariant $\sigma_0$ of a supersingular and elliptic K3 surface with $p^n$-torsion in characteristic $p$ satisfies $\sigma_0\leq\sigma_0(p^n)$ where $$\begin{array}{c|ccccc}
    p^n & 8 & 7 & 5 & 4 & 3\\
    \hline
    \sigma_0(p^n) & 1 & 1 & 2 & 3 & 6
   \end{array}$$ Conversely, a supersingular K3 surface in characteristic $p$ with $\sigma_0\leq\sigma_0(p^n)$ possesses an elliptic fibration with $p^n$-torsion section.

We also determine the Mordell–Weil groups and find explicit Weierstraß equations of these fibrations. In particular, we obtain explicit and complete families of supersingular K3 surfaces with $\sigma_0\leq\sigma_0(p^n)$ in characteristic $p$. To obtain these results in characteristic $p\leq3$ we use semi-universal deformations of the $E_8^2$-singularity ($p=3$) and the $E_8^4$-singularity ($p=2$). On the other hand, elliptic K3 surfaces with $2$-torsion section in characteristic $2$ are much harder to come by. This has to do with the fact that there is no Igusa curve to ”tame“ the situation. It turns out that there are extra classes. For example, fibrations with constant $j$-invariant have to be considered and there are classes where the formal Brauer group has height $2$, i.e., the above alternative does no longer hold. We refer to Theorem \[p=2theorem\] for the precise structure result.

The article is organized as follows: In Section \[sec:generalities\] we recall a couple of general facts about the Igusa moduli problem and show that elliptic K3 surfaces with $p^n$-torsion sections can exist for $p^n\leq8$ only. In Section \[sec:wild\] we analyze the fixed locus of translation by a $p$-torsion section in an elliptic fibration. In Section \[sec:brauer\] we compute the height of the formal Brauer group in terms of the additive fibers of an elliptic fibration. This already yields some of our main theorems for $p\neq2$. In Section \[sec:classification\] we give an explicit classification for $p\neq2$ and compute the Artin invariants in the supersingular cases. The rest of the article takes place in characteristic $2$ only: in Section \[sec:p=2\] we prove the general structure result, and classify the new, ”exotic“ classes in Section \[sec:newp=2\]. Finally, in Section \[sec:p=4\] we deal with $4$- and $8$-torsion sections and use again the corresponding Igusa curves.

We thank Igor Dolgachev, Matthias Schütt and the referee for helpful comments. The first author acknowledges the support by Grant-in-Aid for Scientific Research (C) 20540044, the Ministry of Education, Culture, Sports, Science and Technology. The second author gratefully acknowledges funding from DFG under research grant LI 1906/1-1 and thanks the department of mathematics at Stanford university for kind hospitality.

Igusa curves {#sec:generalities}
============

In this section we first recall the Igusa moduli problem and the Igusa curves and use these results to show that elliptic K3 surfaces with $p^n$-torsion section can exist only if $p^n\leq8$.

Let us recall, e.g. from [@Katz;; @Mazur; @1985 Chapter 12.3], that the Igusa moduli functor $[{{\rm Ig}(p^n)^{\rm ord}}]$ associates to every scheme $S$ over ${{\mathds{F}}}_p$ the set of ordinary elliptic curves ${{\mathcal}E}$ over $S$ such that the $n$-fold Frobenius pullback ${{\mathcal}E}^{(p^n)}=(F^n)^*({{\mathcal}E})$ possesses a $p^n$-torsion section. If $p^n\geq3$ then this functor is representable by a smooth and affine curve over ${{\mathds{F}}}_p$, the [*Igusa curve*]{} ${{\rm Ig}(p^n)^{\rm ord}}$. We denote by ${{\mathcal}E}\to{{\rm Ig}(p^n)^{\rm ord}}$ the universal family. Thus, if $X\to B$ is an elliptic fibration in characteristic $p$ with $p^n$-torsion section, and if $U\subseteq B$ denotes the open set over which the fibres are ordinary elliptic curves, then there exists a classifying morphism $$\varphi\,:\,U\,\to\,{{\rm Ig}(p^n)^{\rm ord}}$$ such that the restriction $X|_U\to U$ is isomorphic to $(F^n)^*({{\mathcal}E})\to U$.

The geometry of the normal compactification ${{\overline{{\rm Ig}(p^n)^{\rm ord}}}}$ of ${{\rm Ig}(p^n)^{\rm ord}}$ has been studied in [@Igusa; @1968]. For example, if $n=1$ and $p\geq3$, which is the case that we will be needing most in the sequel, then the $j$-invariant induces a Galois morphism ${{\overline{{\rm Ig}(p^n)^{\rm ord}}}}\to{{\mathds{P}}}^1$, whose Galois group is cyclic of order $(p-1)/2$. This morphism is totally ramified over the supersingular $j$-values and totally split over $j=\infty$, i.e., there are $(p-1)/2$ points lying above infinity, the so-called cusps. The degenerating behavior of the universal family ${{\mathcal}E}\to{{\rm Ig}(p)^{\rm ord}}$ over the supersingular points and the cusps has been determined in [@Liedtke;; @Schroeer; @2008].

\[possible cases\] An elliptic K3 surface $X\to{{\mathds{P}}}^1$ with $p^n$-torsion sections in positive characteristic $p$ satisfies the inequality $p^n\leq8$. Moreover, if the fibration has constant $j$-invariant then $p=2$ and $n=1$.

[Proof.]{}

We first deal with the case of constant $j$-invariant. Since the $p^n$-torsion section is different from the zero section, the generic fiber is ordinary and so the ordinary locus $U\subseteq{{\mathds{P}}}^1$ is open and dense. Moreover, if $p^n\geq3$ then the Igusa moduli problem is representable and constant $j$-invariant implies that the classifying morphism $\varphi:U\to{{\rm Ig}(p^n)^{\rm ord}}$ is constant. Thus, $X|_U\to U$ is a product family (the Igusa curve is a fine moduli space), and not birational to a K3 surface. Hence in this case we have $p^n=2$.

We may thus assume that the fibration has non-constant $j$-invariant, and again, the ordinary locus $U\subseteq{{\mathds{P}}}^1$ is open and dense. Also, we may assume $p^n\geq3$, i.e., that the Igusa moduli problem is representable. Then the classifying morphism $\varphi:U\to{{\rm Ig}(p^n)^{\rm ord}}$ is dominant, which implies that ${{\rm Ig}(p^n)^{\rm ord}}$ is a rational curve. The genera of the Igusa curves have been determined in [@Igusa; @1968] and a straightforward computation shows that these curves are rational if and only if $p^n\leq11$.

Let us first exclude $p=11$. In this case ${{\overline{{\rm Ig}(11)^{\rm ord}}}}$ has $5$ cusps. Hence our fibration has at least $5$ fibres with potentially multiplicative reduction. By [@Liedtke;; @Schroeer; @2008 Theorem 4.3] we have in fact multiplicative reduction. Thus, our family has at least $5$ fibres with multiplicative reduction, necessarily of type ${\rm I}_n$, where $11$ divides all these $n$’s. These contribute at least $5\times(p-1)=50$ to $\rho(X)$, i.e., $b_2(X)\geq\rho(X)>50$, i.e., $X$ is not a K3 surface.

The remaining case $p^n=9$ is excluded similarly and we leave it to the reader.

Non-existence of elliptic K3 surfaces with $p$-torsion sections for $p\geq11$ has been shown in [@Dolgachev; @Keum; @2009 Theorem 2.13]. Under the assumption that the fibration does not have constant $j$-invariant, Theorem \[possible cases\] has been shown in the remark after [@Schweizer; @2005 Theorem 2.3], using methods closely related to ours. Nevertheless, we decided to give a proof in our setup, i.e., by analyzing the classifying morphisms to the Igusa curves and their universal families.

The proof shows that Igusa curves that are rational are crucial for the description of elliptic K3 surfaces with $p^n$-torsion sections. Igusa’s results [@Igusa; @1968] show that these curves are rational if and only if $p^n\leq11$. For our explicit classification later on, and in order to obtain equations when needed, we determine Weierstraß equations in these cases.

\[explicit equations\] The universal elliptic curves over ${{\rm Ig}(p^n)^{\rm ord}}$ for $p^n\leq11$ are given by the following equations over ${{\mathds{F}}}_p[t]$: $$\begin{array}{clclcc}
    {\rule[-3mm]{0mm}{0mm}}p^n & & & &\multicolumn{2}{c}{\mbox{ singular fibres }}\\
    \hline
    11 & {{\mathcal}E} &:& y^2 \,=\,x^3\,+\,(t-1)^{-1}t x\,+\,5t^{-1}(t-1) & 5\times{\rm I}_1, & {\rm II}^*, {\rm III}^* \\
       & {{\mathcal}E}^{(p)} &:& y^2 \,=\,x^3\,+\,(t-1)^{-11} t^{11} x\,+\,5t^{-11} (t-1)^{11} 
                        & 5\times{\rm I}_{11}, & {\rm II}, {\rm III} \\
    9  & {{\mathcal}E}         &:& y^2+txy=x^3-t^3(t^2-1)& 3\times{\rm I}_1, & {\rm IV}^*_1 \\
       & {{\mathcal}E}^{(p)} &:& y^2+tx+(t^2-t)y=x^3+tx+(t^2-t) & 3\times{\rm I}_3, & {\rm II}_1 \\
       & {{\mathcal}E}^{(p^2)} &:& y^2+t^3x+(t^6-t^3)y=x^3+t^3x+(t^6-t^3) & 3\times{\rm I}_9, & {\rm IV}^*_1\\
    8  & {{\mathcal}E}         &:& y^2+xy=x^3+t(t+1)     & 2\times{\rm I}_1, & {\rm III}^*_1\\
       & {{\mathcal}E}^{(p)}   &:& y^2+xy=x^3+t^2(1+t^2) & 2\times{\rm I}_2, & {\rm I}^*_{1,1}\\
       & {{\mathcal}E}^{(p^2)} &:& y^2+xy=x^3+t^4(1+t^4) & 2\times{\rm I}_4, & {\rm III}_1\\
       & {{\mathcal}E}^{(p^3)} &:& y^2+xy=x^3+t^8(1+t^8) & 2\times{\rm I}_8, & {\rm I}^*_{1,1}\\
    7  & {{\mathcal}E}       &:& y^2=x^3+t^3x+5t^6    & 3\times{\rm I}_1, & {\rm III}^* \\
       & {{\mathcal}E}^{(p)} &:& y^2=x^3+tx+5t^{12}   & 3\times{\rm I}_7, & {\rm III}\\
    5  & {{\mathcal}E}       &:& y^2=x^3+3t^4x+t^5    & 2\times{\rm I}_1, & {\rm II}^*\\
       & {{\mathcal}E}^{(p)} &:& y^2=x^3+3t^4x+t      & 2\times{\rm I}_5, & {\rm II}\\
    4  & {{\mathcal}E}         &:& y^2+xy=x^3+t       & {\rm I}_1, & {\rm II}^*_1 \\
       & {{\mathcal}E}^{(p)}   &:& y^2+xy=x^3+t^2     & {\rm I}_2, & {\rm III}^*_1 \\
       & {{\mathcal}E}^{(p^2)} &:& y^2+xy=x^3+t^4     & {\rm I}_4, & {\rm I}^*_{1,1}\\
    3  & {{\mathcal}E}       &:& y^2+txy=x^3-t^5      & {\rm I}_1, & {\rm II}^*_1 \\
       & {{\mathcal}E}^{(p)} &:& y^2+txy+t^2y=x^3     & {\rm I}_3, & {\rm IV}^*_1 \\
   \end{array}$$ All places of bad reduction are defined over ${{\mathds{F}}}_p$ with split multiplicative reduction at the cusps and additive reduction at the supersingular points.

As an example we do the case $p=7$ and leave the others to the reader: The elliptic curve ${{\mathcal}E}$ for $p=7$ given in the table has Hasse invariant $[1]\in{{\mathds{F}}}_p/{{\mathds{F}}}_p^{\times(p-1)}$, which implies that ${{\mathcal}E}^{(p)}$ has a ${{\mathds{F}}}_p[t]$-rational $p$-division point. Thus, there exists a morphism $\varphi:{{\rm Spec}\:}{{\mathds{F}}}_p[t]\to{{\overline{{\rm Ig}(p)^{\rm ord}}}}$ such that ${\mathcal}E$ is the pullback of the universal elliptic curve over ${{\rm Ig}(p)^{\rm ord}}$ via $\varphi$. Since the $j$-invariant of ${\mathcal}E$ is not constant, it follows that $\varphi$ is a finite morphism. The curve ${{\overline{{\rm Ig}(p)^{\rm ord}}}}$ has $(p-1)/2=3$ cusps over which the universal family degenerates into ${\rm I}_1$-fibers [@Liedtke;; @Schroeer; @2008 Theorem 10.3]. Since the same is true for ${{\mathcal}E}$, we get $\deg\varphi=1$, i.e., $\varphi$ is an isomorphism.

Wild $p$-cyclic actions {#sec:wild}
=======================

Since we are dealing with elliptic fibrations with $p$-torsion sections in positive characteristic $p$, translation by such a torsion section gives rise to a wild automorphism, and we may apply the results of [@Dolgachev;; @Keum; @2001]. For K3 surfaces, we will see that there are at most two additive fibers and if there are two such fibers then the elliptic fibration arises as Frobenius pullback from an elliptic K3 surface. To fix notation, let $X\to B$ be an elliptic surface with zero section $\sigma_0$ and $p$-torsion section $\sigma_p$. We denote by $G$ the cyclic group of order $p$ generated by translations by $\sigma_p$ and set $Y:=X/G$. Note that the elliptic fibration $X\to B$ induces an elliptic fibration $Y\to B$ and we get a diagram of elliptic fibrations over $B$ $$\label{multiplication by p}
 Y \,\to\, X \,\to\, X/G\,{\cong}\,Y\,,$$ where the first map is purely inseparable (relative Frobenius over $B$) and the second is an Artin-Schreier morphism.

We now analyze the action of $G$ induced on the fibers. In characteristic zero and for multiplicative reduction, this has been worked out in [@Miranda;; @Persson; @1989 Section 2]. If $X_0$ denotes a special fiber of the fibration we will denote by $(\sigma_0\cdot\sigma_p)_0$ the intersection number of $\sigma_0$ and $\sigma_p$ in the fiber $X_0$. Finally, we denote by $F_0$ the reduced fixed point scheme of the $G$-action on $X_0$, see also the discussion in [@Dolgachev;; @Keum; @2001 Remark 2.7].

\[fixed locus of translation\] Let $X\to B$ be an elliptic fibration in characteristic $p$ with $p$-torsion section $\sigma_p$. Let $X_0$ be a special fiber and let $F_0$ be the reduced fixed point scheme of the $\sigma_p$-translation on $X_0$.

If $X_0$ has semi-stable reduction and more precisely, if the reduction is

1.  good and ordinary then $(\sigma_0\cdot\sigma_p)_0=0$ and $F_0=\emptyset$,

2.  good and supersingular then $(\sigma_0\cdot\sigma_p)_0\geq1$ and $F_0=X_0$,

3.  bad multiplicative then $(\sigma_0\cdot\sigma_p)_0=0$ and $F_0=\emptyset$.

If $X_0$ has additive reduction and $(\sigma_0\cdot\sigma_p)_0\geq1$ then $F_0=X_0$.

If $X_0$ has additive reduction, $(\sigma_0\cdot\sigma_p)_0=0$ and the reduction type is

1.  ${\rm II}$, ${\rm III}$, ${\rm IV}$ then $F_0$ equals the unique point that is not smooth over the base of the fibration,

2.  ${\rm I}_n^*$ ($p\neq2$), ${\rm IV}^*$ ($p\neq3$), ${\rm III}^*$ ($p\neq2$), ${\rm II}^*$ then $F_0$ is a curve, equal to the union of all multiplicity $\geq2$-components of $X_0$

In characteristic $p\leq3$ the situation is the same if $\sigma_p$ does not specialize into the component group of $X_0$. If it does and if the reduction type is

1.  ${\rm IV}^*$ then $p=3$ and $F_0$ is one point, which lies on the component of multiplicity $3$,

2.  ${\rm III}^*$ then $p=2$ and $F_0$ is one point, namely the intersection of the component of multiplicity $4$ and the one of multiplicity $2$,

3.  ${\rm I}_n^*$ then $p=2$ and $F_0$ depends on the component into which $\sigma_p$ specializes: $$\begin{array}{lll}
                \mbox{reduction type} & \mbox{specialization into} & F_0\\
                 {\rm I}_0^*\mbox{ or } {\rm I}_1^* & & \mbox{1 point}\\
                 {\rm I}_n^*, n\geq3, n \mbox{ odd} & \mbox{necessarily }\Theta_1 & \mbox{a curve}\\
                 {\rm I}_n^*, n\geq2, n \mbox{ even} & \Theta_1 & \mbox{a curve}\\
                                                     & \Theta_2, \Theta_3 & \mbox{1 point,}
               \end{array}$$ where the $\Theta_i$’s are those irreducible components of multiplicity $1$ that do not intersect with $\sigma_0$. Furthermore, $\Theta_2$ and $\Theta_3$ pass through the same component of multiplicity $2$.

The generic fiber of the fibration is an ordinary elliptic curve, and $\sigma_p$ generates a subgroup scheme isomorphic to ${{\mathds{Z}}}/p{{\mathds{Z}}}$. By [@Tate;; @Oort; @1970], this group scheme can either specialize to $\alpha_p$ or ${{\mathds{Z}}}/p{{\mathds{Z}}}$ in $X_0$. Now, if $X_0$ is good and ordinary then the $p$-torsion subgroup scheme $X_0[p]$ of $X_0$ is isomorphic to $({{\mathds{Z}}}/p{{\mathds{Z}}})\times\mu_p$, which implies that $\sigma_p$ cannot meet $\sigma_0$ and $F_0=\emptyset$. Similarly, if $X_0$ has multiplicative reduction then $\sigma_p$ has to specialize into the component group and again $F_0=\emptyset$. In case of good and supersingular reduction $X_0[p]$ is infinitesimal, which implies $(\sigma_0\cdot\sigma_p)_0\geq1$ and $F_0=X_0$. In case of additive reduction and $(\sigma_0\cdot\sigma_p)_0\geq1$ then $\sigma_p$ induces an $\alpha_p$-action on $X_0$, thus $F_0=X_0$.

We may thus assume that $X_0$ has additive reduction and $(\sigma_0\cdot\sigma_p)_0=0$. In particular, we obtain a non-trivial ${{\mathds{Z}}}/p{{\mathds{Z}}}$-action on $X_0$. Also, unless $X_0$ is of type ${\rm II}$, this fiber is a union of ${{\mathds{P}}}^1$’s. Moreover, $F_0$ is connected by [@Dolgachev;; @Keum; @2001], and is thus one point or a connected curve. The next thing to note is that a ${{\mathds{Z}}}/p{{\mathds{Z}}}$-action on ${{\mathds{P}}}^1$ in characteristic $p$ has either precisely one fixed point or the action is trivial. Also, components of $X_0$ get mapped to components and a point of $F_0$ where two components meet has to be mapped to another such point under the ${{\mathds{Z}}}/p{{\mathds{Z}}}$-action. From these facts one can easily work out $F_0$, which we leave to the reader.

Let us recall from [@Dolgachev;; @Keum; @2001] that the fixed locus of a ${{\mathds{Z}}}/p{{\mathds{Z}}}$-action on a K3 surface is either a finite set of at most two points or a connected curve. Combining these results with Proposition \[fixed locus of translation\] we obtain our first structural result:

\[at most two fibers\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion section in positive characteristic $p$. Then the fibration has at least one and at most two fibers that are neither multiplicative nor ordinary.

Moreover, if there are two such fibers then $p\leq5$, these fibers have additive reduction, translation by $\sigma_p$ has precisely two fixed points and the elliptic fibration arises as Frobenius pullback from an elliptic K3 surface.

If the fibration has neither additive nor good supersingular fibers then translation by $\sigma_p$ acts without fixed points by Proposition \[fixed locus of translation\]. By [@Dolgachev;; @Keum; @2001 Theorem 2.4] this implies $p=2$ and that $Y=X/G$ is an Enriques surface, which is absurd since genus one-fibrations on Enriques have multiple fibers and thus can never be elliptic, i.e., with zero section.

The fixed locus of the $\sigma_p$-translation consists either of at most two points or is a connected curve by [@Dolgachev;; @Keum; @2001]. On the other hand, every fiber that is neither multiplicative nor good ordinary has a non-trivial contribution to the fixed locus by Proposition \[fixed locus of translation\]. This implies that there can be at most two fibers that are good supersingular or additive.

Moreover, if there are two such fibers then the fixed locus consists of two points. By Proposition \[fixed locus of translation\] these two fibers have additive reduction and [@Dolgachev;; @Keum; @2001 Theorem 2.4] implies $p\leq5$ and that $Y\to{{\mathds{P}}}^1$ is an elliptic K3 surface (it cannot be Enriques by the reasons given above).

Next, the additive fibers tend to be potentially supersingular, which is important for the computation of the formal Brauer group in Section \[sec:brauer\]. The following extends results from [@Liedtke;; @Schroeer; @2008].

\[potential reduction\] Let $X\to B$ be an elliptic fibration with $p^n$-torsion sections and $p^n\geq3$. Then every additive fiber has potentially supersingular reduction.

For $p\geq5$ this is [@Liedtke;; @Schroeer; @2008 Theorem 4.3] and [@Liedtke;; @Schroeer; @2008 Remark 4.4].

For $p^n=3$ and $p^n=4$ there is a universal elliptic curve over ${{\rm Ig}(p^n)^{\rm ord}}$, which degenerates into multiplicative fibers at places of potentially multiplicative reduction, see [@Liedtke;; @Schroeer; @2008 Section 12] for ${{\rm Ig}(3)^{\rm ord}}$ and Proposition \[explicit equations\] for ${{\rm Ig}(4)^{\rm ord}}$. Since every elliptic fibration with $p^n$-torsion section pulls back from these, we conclude that the only additive fibers can come from potentially supersingular places.

\[intersection numbers\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion section $\sigma_p$ in positive characteristic $p$. Then either

1.  $\sigma_0\cdot\sigma_p=0$ and there are no fibers with good supersingular reduction, i.e., every potentially supersingular fiber has additive reduction, or

2.  $\sigma_0\cdot\sigma_p=1$, the characteristic is $p=2$, the fibration is semi-stable, and there is precisely one fiber with good supersingular reduction.

Suppose that $\sigma_0\cdot\sigma_p\geq1$. Then the fixed locus is a connected curve by [@Dolgachev;; @Keum; @2001 Corollary 3.6] and from Proposition \[fixed locus of translation\] and Proposition \[at most two fibers\] we infer that there is only one fiber whose reduction is neither good ordinary nor multiplicative. Moreover, the intersection of $\sigma_0$ and $\sigma_p$ takes place in this fiber. In particular, there is at most one additive fiber and if there is one, then $\sigma_p$ does not specialize into the component group of that fiber. We denote by ${\rm I}_{pn_v}$ with $v=1,...$ the multiplicative fibers and applying [@Shioda; @1990 Theorem 8.6], we get $$6\,\leq\,4+2(\sigma_0\cdot\sigma_p)\,=\,\sum_v n_v \frac{k_v(p-k_v)}{p},$$ where the $k_v$’s are integers $1\leq k_v\leq p-1$ that encode which component of ${\rm I}_{pn_v}$ is hit by $\sigma_p$. Basic calculus tells us $$\frac{k_v(p-k_v)}{p}\,\leq\,\frac{p}{4}\,,$$ where the inequality is strict if $p\neq2$. On the other hand, we know $$24=c_2(X)=\sum_v pn_v + a$$ where $a=0$ if and only if there are no additive fibers. We conclude $$6\,\leq\,4+2(\sigma_0\cdot\sigma_p)\,\leq\,\sum_v n_v\frac{p}{4}\,\leq\,
\frac{c_2(X)}{4}\,=\,6,$$ i.e, we have equality everywhere. Thus, $\sigma_0\cdot\sigma_p=1$, the characteristic equals $p=2$ (else the second inequality could not be an equality) and there are no additive fibers (else the third inequality could not be an equality).

The second alternative does exist and a complete classification is given in Proposition \[p=2semistable\].

Unirationality and the formal Brauer group {#sec:brauer}
==========================================

In this section we relate potentially supersingular fibres of an elliptic K3 surface with $p$-torsion sections to its formal Brauer group. For $p\geq3$ this implies that these surfaces are either unirational or ordinary. It also implies conjectures of Artin and Artin–Shioda in this case.

We start by recalling the following fundamental result of [@Artin;; @Mazur; @1977]: if $X$ is a smooth surface over $k=\overline{k}$ with smooth Picard scheme, e.g. a K3 surface, then the functor on the category of finite local $k$-algebras $A$ with residue field $k$ $$\begin{array}{ccccc}
   {\widehat{{\rm Br}}}&:& A &\mapsto& 
   \ker\left({{H_{\rm \acute{e}t}^{{2}}}}(X\times A,{{\mathds{G}}}_m)\to{{H_{\rm \acute{e}t}^{{2}}}}(X,{{\mathds{G}}}_m)\right)
\end{array}$$ is pro-represented by a smooth formal group of dimension $h^2(X,{{{\mathcal}O}}_X)$, the [*formal Brauer group*]{} ${\widehat{{\rm Br}}}(X)$ of $X$.

For a K3 surface, the height $h$ of the formal Brauer group is $\infty$ or an integer $1\leq h\leq10$ and all values are taken [@Artin; @1974 Corollary 7.7]. Moreover, $h$ determines the Newton polygon on second crystalline cohomology [@Illusie; @1979 Section II.7.2]. In particular, the extreme cases are as follows:

-   $h=1$ if and only if Newton- and Hodge- polygon coincide, i.e., the K3 surface is [*ordinary*]{}, and

-   $h=\infty$ if and only if the Newton polygon is a straight line, i.e., the K3 surface is [*supersingular*]{}.

To be more precise about the notion of supersingularity, we recall

A K3 surface is called [*supersingular in the sense of Artin*]{} if its formal Brauer group has infinite height. A surface is called [*supersingular in the sense of Shioda*]{} if it satisfies $\rho=b_2$.

A K3 surface that is Shioda-supersingular is also Artin-supersingular [@Artin; @1974 Theorem 0.1]. The Artin–Mazur conjecture states that also the converse holds [@Illusie; @1979 Remarque II.5.13]. Since this conjecture is known to be true for elliptic K3 surfaces [@Artin; @1974 Theorem 1.7], we do not have to distinguish between these two notions of supersingularity.

Unirational K3 surfaces are Shioda-supersingular [@Shioda; @1974b], as well as Artin-supersingular [@Artin; @1974]. For both notions, the converse is conjectured, see [@Shioda; @1977 Question II] and [@Artin; @1974]. Thus, we summarize

\[Artin Shioda Conjecture\] For elliptic K3 surfaces,

1.  (Shioda) Shioda-supersingularity implies unirationality,

2.  (Artin) Artin-supersingularity implies unirationality,

This conjecture is known to hold for Fermat quartics [@Shioda; @1974b], Kummer surfaces in $p>2$ [@Shioda; @1977b], and thus for supersingular K3 surfaces with Artin invariant $\sigma_0\leq2$ [@Ogus; @1978]. Also it holds in characteristic $2$ [@Rudakov; @Shafarevich; @1979], and for supersingular K3 surfaces with Artin invariant $\sigma_0\leq3$ in characteristic $5$ [@Pho; @Shimada; @2006].

In characteristic $2$, there is another conjecture by Artin [@Artin; @1974 p.552], which, if true, would imply the previous conjectures and gives a geometric explanation for them – note that this conjecture is supported by a dimension count [@Artin; @1974 p.552]:

\[Artin Conjecture2\] In characteristic $2$, an elliptic fibration on a supersingular K3 surface arises via Frobenius pullback from a rational elliptic surface.

Unfortunately, such a conjecture cannot be true in characteristic $p\geq3$. Here is a counter-example:

Let $S_4$ be the Fermat quartic in ${{\mathds{P}}}^3$, which has been shown in [@Shioda; @1974b] to be supersingular in all characteristics $p$ for which there exists a $\nu$ s.th. $p^\nu\equiv-1\mod4$, e.g. in $p=3$. This surface possesses a genus one fibration with six fibers of type ${\rm I}_4$, see [@Barth;; @Hulek; @1985 Section IV.2]. The associated Jacobian fibration $X\to{{\mathds{P}}}^1$ is a supersingular elliptic K3 surface, again with six fibers of type ${\rm I}_4$. If it were the Frobenius pullback of some other elliptic surface then the elliptic fibration of $X^{(1/p)}$ would have six fibers of type ${\rm I}_{n}$ such that $pn=4$, giving $p=2$ as only possibility. Thus, $X\to{{\mathds{P}}}^1$ is a supersingular K3 surface whose elliptic fibration is not a Frobenius pullback from another elliptic fibration.

The following result links the height of the formal Brauer group to the number of potentially supersingular fibers of the elliptic fibration:

\[Brauer height\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion section in characteristic $p$, whose fibration does not have constant $j$-invariant. Then the fibration has at least one and at most two fibres with potentially supersingular reduction. Moreover,

1.  if there is one fiber with potentially supersingular reduction then the formal Brauer group has height $h\geq2$.

2.  if there are two fibers with potentially supersingular reduction then the formal Brauer group has height $h=1$.

[Proof.]{}

We know $p\leq7$ by Theorem \[possible cases\]. Since we assumed the fibration not to have constant $j$-invariant, the map from the base to the $j$-line is dominant, whence surjective and there is at least one fiber with potentially supersingular reduction.

Being a K3 surface, we may assume that the elliptic fibration is given by a Weierstraß equation $$\label{k3equation}
  y^2\,+\,a_1(t)xy\,+\,a_3(t)y\,=\,x^3\,+\,a_2(t)x^2\,+\,a_4(t)x\,+\,a_6(t)$$ where the $a_i(t)$’s are polynomials of degree $\leq2i$, i.e., $a_i(t) \,=\,\sum_{j=0}^{2i} a_{ij}t^j$. Assume $p=2$. Then the formal Brauer group of $X$ has height $h=1$ if and only if $a_{11}\neq0$ by [@Artin; @1974 Theorem (2.12)] (the extra assumptions of this theorem are not needed for this statement). A fiber with potentially supersingular reduction is given by the vanishing of $j(t)\,=\,a_1(t)^{12}/\Delta(t)$. Since $\deg a_1(t)\leq2$, the fibration has at most two such fibers. Moreover, if the fibration has two such fibres then $a_{11}\neq0$, which implies $h=1$. On the other hand, if there is only one such fiber then $a_{11}=0$, which implies $h\geq2$.

Now, assume that $p=3$. A straight forward, but tedious calculation shows that $h=1$ is equivalent to $a_{11}^2+a_{22}\neq0$ in this case. After a suitable change of coordinates, we may assume $a_1(t)=0$. In this case, the Hasse invariant of the generic fiber is given by the class of $-a_2(t)$ in $k(t)^\times/k(t)^{\times2}$. Moreover, since the fibration has a $3$-torsion section, the Hasse invariant is trivial, i.e., $-a_2(t)$ is a square. On the other hand, fibers with potentially supersingular reduction fulfill $0=c_4(t)=b_2(t)^2=a_2(t)^2$ in this case. From $\deg a_2(t)\leq4$ we conclude that there are at most two such fibers. Moreover, the fibration has two such fibers if and only if $a_{22}\neq0$, i.e., if and only if $h=1$.

Next, assume $p=5$. Then we may assume $a_1(t)=a_2(t)=a_3(t)=0$. Computing the Hasse invariant, we see that then $2a_4(t)$ has to be a fourth power in order for the fibration to possess $5$-torsion sections. The vanishing of $c_4(t)=2a_4(t)$ is necessary for a fiber to have potentially supersingular reduction. From $\deg a_4(t)\leq8$ and the fact that $2a_4(t)$ is a fourth power we conclude that there are at most two such fibers. A tedious calculation shows that $h=1$ is equivalent to $2a_{44}\neq0$ under our assumptions. As in the previous cases, having two fibres with potentially supersingular reduction is equivalent to $2a_{44}\neq0$, and thus equivalent to $h=1$.

We leave $p=7$ to the reader. Alternatively, one can use Theorem \[p=7\] below, by which there is only one such surface. It has one fiber with potentially supersingular reduction. The elliptic fibration arises as Frobenius pullback from a rational elliptic surface, i.e., this unique surface is unirational, whence fulfills $h=\infty$.

In characteristic $2$, this connection between potentially supersingular fibers and the height of the formal Brauer group has already been observed by Artin [@Artin; @1974 p.552].

Thus, in order to obtain supersingular elliptic K3 surfaces with $p$-torsion sections we have to look at fibrations with constant $j$-invariant, which can exist for $p=2$ only, or at fibrations that have precisely one potentially supersingular fiber.

\[Frobenius from rational\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion section in characteristic $p\geq3$ that has precisely one potentially supersingular fiber. Then the elliptic fibration arises as Frobenius pullback from a rational elliptic surface. In particular, $X$ is unirational and supersingular ($h=\infty$).

Let ${\rm I}_{pn_v}$, $v=1,...$ be the multiplicative fibers. Since $p\geq3$, the fibration does not have constant $j$-invariant and thus there exist places of potentially multiplicative reduction which are multiplicative by Proposition \[potential reduction\]. Now, by Proposition \[intersection numbers\] the potentially supersingular fiber is additive, say with $m$ components and Swan conductor $\delta$ and we obtain $$\label{c2=24}
  24\,=\,c_2(X)\,=\,\sum_v pn_v\,+\,(2+\delta+(m-1))$$ We also know that $X\to{{\mathds{P}}}^1$ arises as Frobenius pullback from some elliptic fibration $Y\to{{\mathds{P}}}^1$, which has multiplicative fibers ${\rm I}_{n_v}$, $v=1,...$. This fibration has one additive fiber also with Swan conductor $\delta$ and with, say, $m'$ components. Using (\[c2=24\]) we obtain $$\label{c2estimate}
 c_2(Y)\,=\,\sum_v n_v + (2 + \delta + (m'-1)) \,\leq\,
 \frac{22-\delta}{p} + (2 + \delta + (m'-1))$$ Since $p\neq2$, reduction of type ${\rm I}^*_n$ with $n\geq1$ is potentially multiplicative and thus cannot occur as the additive fiber of $Y\to{{\mathds{P}}}^1$. Inspecting the list of additive fibers we obtain $m'\leq9$.

On the other hand, $Y$ is either rational or K3, i.e, $c_2(Y)=12$ or $c_2(Y)=24$. If $p\geq5$ then $\delta=0$ and (\[c2estimate\]) implies $c_2(Y)<24$, which implies that $Y$ is rational. If $p=3$ then $c_2(Y)=24$ could only be achieved if $\delta\geq20$. However, this contradicts (\[c2=24\]), since $\sum_n pn_v\geq p=3$. Thus, $Y$ is a rational surface also for $p=3$.

We will see in Section \[sec:p=2\] that the statement is wrong for $p=2$.

We now come to one of the main results of this article, which relates the geometry of the elliptic fibration to supersingularity and unirationality.

\[supersingular characterisation\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion sections in characteristic $p\geq3$. Let $\varphi:{{\mathds{P}}}^1\to{{\overline{{\rm Ig}(p)^{\rm ord}}}}$ be the compactified classifying morphism. Then the following are equivalent:

1.  $X$ arises as Frobenius pullback from a rational elliptic surface

2.  $X$ is a Zariski surface

3.  $X$ is unirational

4.  $X$ is supersingular

5.  the fibration has precisely one fiber with additive reduction

6.  $\varphi$ is totally ramified over the supersingular point of ${{\overline{{\rm Ig}(p)^{\rm ord}}}}$

In particular, the conjectures of Artin–Shioda (Conjecture \[Artin Shioda Conjecture\]) and Artin (Conjecture \[Artin Conjecture2\]) hold for this class of surfaces.

[Proof.]{}

Since $p\geq3$ the fibration does not have constant $j$-invariant by Theorem \[possible cases\] and so $\varphi$ is surjective. Also $p\leq7$ by loc. cit., which implies that ${{\overline{{\rm Ig}(p)^{\rm ord}}}}$ has precisely one supersingular point. By Proposition \[potential reduction\], all additive fibers are potentially supersingular, which gives (5) $\Rightarrow$ (6). By Proposition \[intersection numbers\], potentially supersingular fibers are additive and we get (6) $\Rightarrow$ (5).

The implications (1) $\Rightarrow$ (2) $\Rightarrow$ (3) $\Rightarrow$ (4) hold in general. The implication (4) $\Rightarrow$ (5) follows from Theorem \[Brauer height\]. Finally, (5) $\Rightarrow$ (1) follows from Proposition \[Frobenius from rational\].

The Artin–Shioda conjecture holds for elliptic K3 surfaces with $p$-torsion sections.

[Proof.]{}

For $p\geq3$ this is Theorem \[supersingular characterisation\] and for $p=2$ it follows from [@Rudakov; @Shafarevich; @1979].

We will see in Section \[sec:p=2\] that Theorem \[supersingular characterisation\] also holds for elliptic K3 surfaces with $4$-torsion sections in characteristic $2$.

Let us finally reformulate Theorem \[supersingular characterisation\] in terms of the “other” surfaces:

\[ordinary characterisation\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $p$-torsion sections in characteristic $p\geq3$. Then the following are equivalent:

1.  $X$ is ordinary

2.  $X$ is not unirational

3.  $X$ arises as Frobenius pullback from a K3 surface

4.  the fibration has precisely two fibers with additive reduction

Moreover, such surfaces can exist in characteristic $p\leq5$ only.

By Theorem \[at most two fibers\] case (4) can happen in characteristic $p\leq5$ only.

The implications (1) $\Rightarrow$ (2) $\Rightarrow$ (3) hold in general. The implication (3) $\Rightarrow$ (4) follows from Theorem \[supersingular characterisation\] and Theorem \[at most two fibers\]. Finally, the implication (4) $\Rightarrow$ (1) follows from Theorem \[Brauer height\].

As we shall see in Section \[sec:p=2\], there do exist elliptic K3 surfaces with $2$-torsion section that are neither unirational nor ordinary.

The explicit classification {#sec:classification}
===========================

Having established the general picture in the previous sections, we now give a detailed classification of elliptic K3 surfaces with $p$-torsion section in characteristic $p\geq3$. This is achieved by studying the classifying morphism to the Igusa curve and the Néron model of the universal family over ${{\rm Ig}(p)^{\rm ord}}$. We pay special attention to the arising supersingular surfaces.

Let us recall the following from [@Shioda; @1990]: the Néron–Severi group ${{\rm NS}}(X)$ of an elliptic surface together with its intersection pairing is made up of two natural subgroups: the trivial lattice $T$, which is associated to the singular fibers, and the [*Mordell–Weil group*]{} ${{\rm MW}}(X)$, which arises from sections of the elliptic fibration and the Néron–Tate height pairing. Inside this group sits the [*narrow Mordell–Weil group*]{} ${{\rm MW}^\circ}(X)$ consisting of those sections that lie fiberwise on the same component as the zero-section. For rational elliptic surfaces these groups have been worked out explicitly in [@Oguiso;; @Shioda; @1991].

For the singular fibers we use Kodaira’s notation. For example, ${\rm I}_n$ denotes the multiplicative reduction where a singular fiber consists of $n$ smooth rational curves forming a cycle. In case of additive reduction and in characteristic $p\leq3$ there is a further invariant, namely the [*Swan conductor*]{} $\delta$ of a singular fiber, which we add as index. Thus, ${\rm I}_{n,\delta}^*$ stands for additive reduction of type ${\rm I}_n^*$ with Swan conductor $\delta$. We refer to [@Silverman; @1994 Chapter IV] for definitions and details.

Let us also recall that the discriminant of ${{\rm NS}}(X)$ for a supersingular K3 surface $X$ is of the form $p^{2\sigma_0}$ for some integer $1\leq\sigma_0\leq 10$, called the [*Artin invariant*]{} [@Artin; @1974]. All values actually occur and surfaces with Artin invariant $\leq\sigma_0$ form a $(\sigma_0-1)$-dimensional subspace inside the moduli space of all supersingular surfaces [@Ogus; @1978]. Finally, there is only surface with $\sigma_0=1$ [@Ogus; @1978] and in $p\geq3$ surfaces with $\sigma_0\leq2$ are Kummer surfaces by [@Ogus; @1978] and [@Shioda; @1979].

Characteristic $\mathbf{7}$ {#characteristic-mathbf7 .unnumbered}
---------------------------

\[p=7\] There exists only one elliptic K3 surface $X\to{{\mathds{P}}}^1$ with $7$-torsion section in characteristic $7$ up to isomorphism. It has the following invariants: $$\begin{array}{lccc}
     \mbox{singular fibers} & \sigma_0 & {{\rm MW}^\circ}(X) & {{\rm MW}}(X) \\
     \hline
      {\rm III}, 3\times{\rm I}_7 & 1 & A_1(7) & A_1^*(7)\oplus({{\mathds{Z}}}/7{{\mathds{Z}}}) 
    \end{array}$$ The Weierstraß equation is given by the following: $$y^2\,=\,x^3\,+\,tx\,+\,t^{12}.$$ In particular, it is the unique supersingular K3 surface with Artin invariant $\sigma_0=1$.

[Proof.]{}

As in Section \[sec:generalities\], we denote by $\varphi$ the classifying morphism to ${{\overline{{\rm Ig}(7)^{\rm ord}}}}$ and by ${{\mathcal}E}\to{{\rm Ig}(7)^{\rm ord}}$ the universal curve. An analysis of the multiplicative fibers as in the proof of Theorem \[possible cases\] shows that $\deg\varphi\geq2$ is impossible. Hence $\varphi$ is an isomorphism, proving uniqueness. Since ${{\mathcal}E}^{(7)}$ corresponds in fact a K3 surface, we get existence. The singular fibres are listed in Proposition \[explicit equations\].

Denote by $Y\to{{\mathds{P}}}^1$ the elliptic fibration corresponding to ${{\mathcal}E}$. Then $Y$ is rational, which implies that $X$ is a Zariski surface and thus unirational. The singular fibres are given in Proposition \[explicit equations\] and thus the root lattice of $Y$ is $E_7$. From the tables in [@Oguiso;; @Shioda; @1991] we see that the (narrow) Mordell-Weil lattice is ${{\rm MW}}(Y){\cong}A_1^*$ and ${{\rm MW}^\circ}(Y){\cong}A_1$, respectively.

Now, Frobenius induces an incluses of lattices $$\label{lattice inclusion}
 {\rm MW(Y)}_{\rm free}(p) \,\subseteq {\rm MW(X)}_{\rm free},$$ which is of some finite index $\mu$. Taking determinants, we obtain $$\mu^2\,=\,\frac{\det{{\rm MW}}(Y)_{\rm free}(p)}{\det{{\rm MW}}(X)_{\rm free}}.$$ After plugging in Lemma \[determinant formula\] below, we obtain $$\mu^2\,=\,\frac{\det A_1^*(7)}{\det{{\rm NS}}(X)\,|{{\rm MW}}(X)_{\rm tor}|^2}\det(U\oplus A_6^{\oplus3}\oplus A_1)
\,=\,\frac{\frac{1}{2}\cdot7}{7^{2\sigma_0(X)}\,\cdot\,7^2}\cdot7^3\cdot2,$$ which yields $\mu=1$. Thus, $\sigma_0=1$ and ${{\rm MW}}(X){\cong}A_1^*(7)\oplus({{\mathds{Z}}}/7{{\mathds{Z}}})$.

Existence and uniqueness of this surface have already been shown in [@Schweizer; @2005 Examples 2.4].

\[determinant formula\] Let $X$ be an elliptic surface whose $j$-invariant is not constant. Then $$\det{{\rm NS}}(X)\,=\,\frac{\det{{\rm MW}}(X)_{\rm free}\cdot\det T}{|{{\rm MW}}(X)_{\rm tor}|^2}\,,$$ where $T$ denotes the trivial lattice.

Characteristic $\mathbf{5}$ {#characteristic-mathbf5 .unnumbered}
---------------------------

\[p=5\] In characteristic $5$, the classifying morphism $\varphi$ of an elliptic K3 surface with $5$-torsion section is finite of degree $2$. Conversely, if $\varphi:{{\mathds{P}}}^1\to{{\overline{{\rm Ig}(5)^{\rm ord}}}}$ is a morphism of degree $2$ then the associated elliptic fibration with $5$-torsion section is a K3 surface.

More precisely, the surfaces have the following invariants: $$\begin{array}{llcccc}
   & \mbox{singular fibers} & \dim & \sigma_0 & {{\rm MW}^\circ}(X) & {{\rm MW}}(X) \\
 \hline
   &  2\times{\rm II}, 4\times{\rm I}_5 & 2 &  \\
   &  2\times{\rm II}, {\rm I}_{10}, 2\times{\rm I}_5 & 1 & \\
   &  2\times{\rm II}, 2\times{\rm I}_{10} & 0 & \\
   &  {\rm IV}, 4\times{\rm I}_5 & 1 & 2 & A_2(5) & A_2^*(5)\oplus{{\mathds{Z}}}/5{{\mathds{Z}}}\\
   &  {\rm IV}, {\rm I}_{10}, 2\times{\rm I}_5 & 0 & 1 & \langle 30 \rangle &
       \langle\frac{5}{6}\rangle\oplus{{\mathds{Z}}}/5{{\mathds{Z}}}\end{array}$$ Here, $\dim$ denotes the dimension of the family. For the supersingular surfaces, this list also gives Artin invariants $\sigma_0$ and their (narrow) Mordell–Weil lattices.

\[rem:supersing5\] The surfaces with two ${\rm II}$-fibers arise as Frobenius pullbacks from Shioda’s sandwich surfaces [@Shioda; @2006]. From this fact one obtains another proof of their non-supersingularity.

The proof is analogous to the proof of Theorem \[p=7\]. We leave it to the reader to show that the classifying morphism $\varphi$ is of degree $2$. Then we obtain the complete classification of these surfaces in terms of the branch points of the classifying morphism: To do so, let ${{\mathcal}E}\to{{\overline{{\rm Ig}(5)^{\rm ord}}}}$ be the universal elliptic curve over the Igusa curve. By Proposition \[explicit equations\] its Weierstraß equation is given by $$y^2\,=\,x^3\,+\,3t^4x\,+\,t^5\,,$$ which has a singular fiber of type ${\rm II}^*$ over $t=0$ and fibers of type ${\rm I}_1$ over $t=\pm 1$. Note that this surface is a rational extremal elliptic surface.

We write the classifying morphism $\varphi=\varphi_{\alpha \beta}:{{\mathds{P}}}^1\to{{\overline{{\rm Ig}(5)^{\rm ord}}}}$ as $$t\,=\, \frac{\alpha s^2\,+\,\beta }{s^2\,+\,1}\,$$ whose branch points are $t=\alpha$ and $t=\beta$, where $t$ (resp. $s$) is a local parameter of ${{\overline{{\rm Ig}(5)^{\rm ord}}}}$ (resp. ${{\mathds{P}}}^1$). Then our surfaces arise as pull-backs along Frobenius $F$ and $\varphi_{\alpha \beta}$: $$\begin{CD}
   X = Y^{(p)} @>>> Y @>>> {{\mathcal}E} \\
   @VVV @VVV  @VVV \\
   {{\mathds{P}}}^1 @>{F}>> {{\mathds{P}}}^1 @>\varphi_{\alpha \beta}>> 
   {{\overline{{\rm Ig}(5)^{\rm ord}}}}
\end{CD}$$ The elliptic surface $Y$ is given by the Weierstraßequation $$  y^2\,=\,x^3\,+\,3(\alpha s^2+\beta)^4x\,+\,(\alpha s^2+\beta)^5\,(s^2+1),$$ and depending on $\alpha$ and $\beta$ we obtain the following list $$\begin{array}{lllc}
   \{\alpha, \beta\}\cap \{0, \pm 1\} 
   & \mbox{singular fibers of $X$} 
   & \mbox{singular fibers of $Y$} 
   & Y \\
\hline
   \emptyset
   & 2\times {\rm II}, 4\times {\rm I}_5 
   & 2\times {\rm II}^*, 4\times {\rm I}_1
   & \mbox{K3} \\
   \{1\},  \{-1\} 
   & 2\times {\rm II}, {\rm I}_{10}, 2\times {\rm I}_5 
   & 2\times {\rm II}^*, {\rm I}_2, 2\times {\rm I}_1
   & \mbox{K3} \\
   \{1, -1\} 
   & 2\times {\rm II}, 2\times {\rm I}_{10} 
   & 2\times {\rm II}^*, 2\times {\rm I}_2
   & \mbox{K3} \\
   \{0\}
   & {\rm IV}, 4\times {\rm I}_5 
   & {\rm IV}^*, 4\times {\rm I}_1
   & \mbox{rational} \\
   \{0, 1\}, \{0,-1\} 
   & {\rm IV}, {\rm I}_{10}, 2\times {\rm I}_{5} 
   & {\rm IV}^*, {\rm I}_2, 2\times {\rm I}_1 
   & \mbox{rational} \\
\end{array}$$ giving the explicit classification of our surfaces. By Theorem \[supersingular characterisation\] the supersingular surfaces are precisely those that arise as Frobenius pullbacks from rational elliptic surfaces. It remains to determine the Mordell–Weil groups and Artin invariants.

For the $({\rm IV},{\rm I}_{10}, 2\times{\rm I}_5)$-surface this can be done as in the proof of Theorem \[p=7\] and we leave it to the reader.

Let $X\to{{\mathds{P}}}^1$ be a $({\rm IV}, 4\times{\rm I}_5)$-surface. Using [@Oguiso;; @Shioda; @1991], we see that it arises via Frobenius pullback from rational elliptic surface $Y\to{{\mathds{P}}}^1$ with ${{\rm MW}^\circ}(Y){\cong}A_2$. From (\[lattice inclusion\]) we get an inclusion of Mordell–Weil lattices and once we have shown equality our assertion follows. Now, ${{\rm MW}^\circ}(Y)$ is generated by two sections $P_1,P_2$ with $\langle P_i,P_i\rangle=2$, which implies that both neither meet the zero-section nor specialize into the component groups of the singular fibers. By Lemma \[verschiebung\] below, these two sections cannot lie in the image of $V:{{\rm MW}}(X)\to{{\rm MW}}(Y)$.

Now, denote by $K$ the function field of ${{\mathds{P}}}^1$ and let $E$ and $E^{(p)}$ be the generic fibers of $Y$ and $X$ over ${{\rm Spec}\:}K$. Multiplication by $p$ induces an exact sequence $$\label{VFpsequence}
\begin{array}{cccccccc}
0&\to&\ker(V)&\to&E^{(p)}(K)/F(E(K))&\stackrel{\overline{V}}{\to}&
E(K)/pE(K)\\
&&&\to&E(K)/V(E^{(p)}(K))&\to&0&,
\end{array}$$ where $V$ denotes Verschiebung. Knowing that $P_1$ and $P_2$ do not lie in the image of $V$, this implies $\overline{V}=0$ in the sequence above and we obtain the desired equality of Mordell–Weil lattices.

\[verschiebung\] Let $R$ be complete DVR with field of fractions $K$ of characteristic $p\geq5$ and perfect residue field $k$. Let $E$ be an elliptic curve over $K$ and assume that $E^{(p)}$ has a $K$-rational $p$-division point. Assume moreover, that $E$ has additive reduction that is not of type ${\rm II}^*$ if $p=5$. If $P\in E^{(p)}(K)$ then $V(P)$, where $V$ denotes Verschiebung, specializes into the component group or to zero in the Néron model ${{\mathcal}E}$ of $E$.

[Proof.]{}

Let $\pi\in R$ be a uniformizer. Set $L:=K(\pi^{1/12})$ and denote by $S$ the integral closure of $R$ in $L$. Then $L/K$ is totally ramified, $\varpi:=\pi^{1/12}$ is a uniformizer on $S$. Denote by $\nu_\pi$ and $\nu_\varpi$ normalized valuations, i.e., $\nu_\pi(\pi)=\nu_\varpi(\varpi)=1$ and $\nu_\varpi(x)=12\nu_\pi(x)$ for all $x\in R$.

Since $p\geq5$, the curve $E$ acquires semi-stable reduction over $L$, which is good and supersingular [@Liedtke;; @Schroeer; @2008 Theorem 4.3]. Let us denote by ${\mathcal}E$ minimal Weierstraß equations and assume that the singularity (in case of bad reduction) lies in $(0,0)$. For a section $P=(x_{0,K},y_{0,K})$ we set $t_{0,K}:=y_{0,K}/x_{0,K}$ and note that $\nu_\pi(t_{0,K})<0$ if and only if $P$ specializes to zero in the Néron model, as well as $\nu_\pi(t_{0,K})>0$ if and only if $P$ specializes non-trivially into the component group. Now, we run Tate’s algorithm and suppose we have to reduce $r_1$-times to get from ${{\mathcal}E}_K^{(p)}\times_K L$ to ${{\mathcal}E}_L^{(p)}$. By our assumptions on $p$ and $L/K$ we have $r_1=\nu_\pi(\Delta_{\rm min})$, where $\Delta_{\rm min}$ denotes the minimal discriminant of ${{\mathcal}E}_K^{(p)}$. Then $P$, considered as a section of ${{\mathcal}E}_L^{(p)}$, fulfills $\nu_{\varpi}(t_{0,L})=12\nu_{\pi}(t_{0,K})-r_1$.

Next, $V$ induces a map ${{\mathcal}E}_L^{(p)}\to {{\mathcal}E}_L$. Both elliptic curves have good supersingular reduction and on the level of tangent spaces, this map is multiplication by the Hasse invariant [@Katz;; @Mazur; @1985 Chapter 12.4]. Then, for appropriate local parameters $e$, $e^{(p)}$ around zero, $V$ is given by $e^{(p)}\mapsto H\cdot e+...$ for some lift of the Hasse invariant to $S$. As this lift we may choose the ”naive“ Hasse invariant in the sense of raising a homogeneous Weierstraß equation to the $(p-1)$.st power and taking the coefficient of $(xyz)^{p-1}$. If we set $h:=\nu_\varpi(H)$ then, $h>0$ since we have supersingular reduction and $h$ is divisible by $p-1$ as there is an $L$-rational $p$-division point on $E_L$. Thus, if $V(P)=(x_{0,L}',y_{0,L}')$ in ${{\mathcal}E}_L$, we set $t_{0,L}'=y_{0,L}'/x_{0,L}'$ and get $\nu_\varpi(t_{0,L}')= (12\nu_\pi(t_{0,K})-r_1)(h+1)$.

Suppose we have to reduce $r_2$-times in the Tate algorithm to get from ${{\mathcal}E}_K\times L$ to ${{\mathcal}E}_L$. Then we finally obtain $$\nu_\pi(t_{0.K}')\,=\,
 \nu_\pi(t_{0,K})+\frac{r_2-r_1}{12}+\left(\nu_\pi(t_{0,K})-\frac{r_1}{12}\right)\cdot h$$ Let us first assume that $P\in E_K(K)$ does not specialize into the component group, which means $\nu_\pi(t_{0,K})\leq0$. Recall that $h>0$ and that $p-1$ divides $h$. Moreover, from the tables of minimal discriminants we get $r_2-r_1\leq8$ (note that reduction of type ${\rm I}^*_n$, $n\geq2$ is impossible by [@Liedtke;; @Schroeer; @2008 Corollary 4.5]). Thus, if $p\geq7$ or if $r_2-r_1<8$ we get $\nu_\pi(t_0'')<0$, i.e., $V(P)$ specializes to zero in the Néron model of $E_K$. The only case where this may fail is $p=5$ and $r_2-r_1=8$, i.e., ${{\mathcal}E}_K^{(p)}$ has reduction of type ${\rm II}$ ($r_1=2$) and ${{\mathcal}E}_K$ has reduction of type ${\rm II}^*$ ($r_2=10$).

Finally, assume that $P$ specializes into the component group of ${{\mathcal}E}_K^{(p)}$. Then there exists an integer $m$, prime to $p$, such that $mP$ does [*not*]{} specialize into the component group any more. By the previous discussion $V(mP)$ specializes to zero in the Néron model of ${{\mathcal}E}_K$. Now, as a group scheme, the special fiber of ${{\mathcal}E}_K$ is ${{\mathds{G}}}_a\times\Phi$, where $\Phi$ is the component group of ${{\mathcal}E}_K$. Since ${{\mathds{G}}}_a$ does not have $m$-torsion, it follows that $V(P)$ specializes to zero or into the component group of ${{\mathcal}E}_K$.

The following result makes sure that we find in fact complete families of supersingular K3 surfaces.

\[complete families\] Let $X$ be an elliptic K3 surface with $p^n$-torsion section in characteristic $p$. Assume that $X$ is supersingular with Artin-invariant $\sigma_0$. Then, every (Shioda-)supersingular K3 surface with Artin invariant $\sigma_0$ in characteristic $p$ possesses an elliptic fibration with $p^n$-torsion section.

[Proof.]{}

To give a (quasi-)elliptic fibration on $X$ is equivalent to giving an isometric embedding of a hyperbolic lattice $U$ of rank $2$ into ${{\rm NS}}(X)$.

Then, the trivial lattice $T$ is the sub-lattice of ${{\rm NS}}(X)$ generated by $U$ and all $x\in U^\perp$ with $x^2=-2$, see [@Shioda; @1990]. By [@Shioda; @1990 Theorem 1.3] the torsion sections of the fibration correspond to the torsion of ${{\rm NS}}(X)/T$. The Néron–Severi group of a (Shioda-)supersingular K3 surface is uniquely determined by $p$ and $\sigma_0$ by [@Rudakov; @Shafarevich; @1979 Theorem 2’]. Thus, by the previous discussion, if one of these surfaces possesses a (quasi-)elliptic fibration with $p^n$-torsion section then so do all of them.

However, we have to rule out the possibility that the isometric embedding of $U$ into ${{\rm NS}}(X)$ corresponding to the elliptic fibration on $X$ gives rise to a quasi-elliptic fibration on another K3 surface $Y$ with the same $p$ and $\sigma_0$: if $p\geq5$ or if ${\rm rank}(T)<22$ then the fibration on $Y$ is automatically elliptic and the quasi-elliptic case cannot occur at all. And finally, if $p\leq3$ and ${\rm rank}(T)=22$ then the elliptic fibration on $X$ is extremal and these K3 surfaces have been explicitly classified in [@Ito; @2002]. It turns out that these surfaces have Artin invariant $\sigma_0=1$, i.e., $X$ is isomorphic to $Y$.

Together with Theorem \[p=5\] we immediately conclude

Every (Shioda-)supersingular K3 surface with $\sigma_0\leq2$ in characteristic $5$ possesses an elliptic fibration with $5$-torsion section.

Characteristic $\mathbf{3}$ {#characteristic-mathbf3 .unnumbered}
---------------------------

We denote by $O\in{{\overline{{\rm Ig}(3)^{\rm ord}}}}$ the unique supersingular point.

\[p=3\] In characteristic $3$, the classifying morphism $\varphi$ for an elliptic K3 surface with $3$-torsion section is finite of degree fulfills $2\leq\deg\varphi\leq6$. More precisely,

1.  $\deg\varphi=2$ and $\varphi^{-1}(O)$ consists of two points.

2.  $\deg\varphi=3$, $\varphi$ is separable and $\varphi^{-1}(O)$ consists of two points.

3.  $\deg\varphi=4$ and $\varphi^{-1}(O)$ consists of one or two points.

4.  $\deg\varphi=5$ and $\varphi^{-1}(O)$ consists of one point or two points with ramification index $e=2$ and $e=3$.

5.  $\deg\varphi=6$ and $\varphi^{-1}(O)$ consists of one point or two points with ramification index $e=3$.

Conversely, if $\varphi$ is as above then the associated elliptic fibration with $3$-torsion section is a K3 surface.

The proof is analogous to the proof of Theorem \[p=7\] (but lengthier and with more subcases) and we leave it to the reader.

From this description it is easy to obtain a complete list of these surfaces as before. However, since this list is rather long, we have decided not to include it here. Instead, we only determine the supersingular K3 surfaces with $3$-torsion sections. By Theorem \[supersingular characterisation\], these are precisely the surfaces, where the classifying morphism is totally ramified over $O\in{{\overline{{\rm Ig}(3)^{\rm ord}}}}$. As before, $\varphi$ denotes the classifying morphism.

\[char. 3 table\] Every (Shioda-)supersingular K3 surface with Artin invariant $\sigma_0\leq6$ in characteristic $3$ possesses an elliptic fibration with $3$-torsion section.

The complete list of these surfaces is given by the following table:

$\deg \varphi = 6$ (separable) $$\begin{array}{lcccc}
         \mbox{singular fibers}
         & \dim         
         & \sigma_0
         & {{\rm MW}^\circ}(X) 
         & {{\rm MW}}(X) 
  \\
   \hline
         {\rm II}_4, 6\times {\rm I}_3
         & 5 
         & 6 
         & E_8(3)
         & E_8(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}} 
  \\
         {\rm II}_4, {\rm I}_6, {\rm I}_3 \times 4
         & 4 
         & 5 
         & E_7(3)
         & E_7^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}} 
  \\
         {\rm II}_4 , {\rm I}_9, {\rm I}_3 \times 3
         & 3 
         & 4 
         & E_6(3)
         & E_6^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4, {\rm I}_6 \times 2, {\rm I}_3 \times 2
         & 3 
         & 4 
         & D_6(3)
         & D_6^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4 , {\rm I}_{12}, {\rm I}_3 \times 2 
         & 2
         & 3
         & D_5(3)
         & D_5^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4, {\rm I}_6 \times 3
         & 2 
         & 3 
         & D_4(3)\oplus A_1(3)
         & D_4^*(3)\oplus A_1^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4, {\rm I}_9, {\rm I}_6, {\rm I}_3
         & 2 
         & 3 
         & A_5(3)
         & A_5^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4, {\rm I}_{15}, {\rm I}_3
         & 1
         & 2
         & A_4(3)
         & A_4^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm II}_4, {\rm I}_{12}, {\rm I}_6
         & 1
         & 2
         & A_3(3)\oplus A_1(3)
         & A_3^*(3)\oplus A_1^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2,  6\times {\rm I}_3
         & 4
         & 5 
         & E_6(3)
         & E_6^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2, {\rm I}_6, {\rm I}_3 \times 4
         & 3 
         & 4 
         & A_5(3)
         & A_5^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2 , {\rm I}_9, {\rm I}_3 \times 3
         & 2 
         & 3 
         & A_2(3)^{\oplus 2}
         & {A_2^*}(3)^{\oplus 2}\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2, {\rm I}_6 \times 2, {\rm I}_3 \times 2
         & 2 
         & 3 
         & L_4(3)
         & L_4^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2 , {\rm I}_{12}, {\rm I}_3 \times 2
         & 1 
         & 2 
         & L_3(3)
         & L_3^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2, {\rm I}_6 \times 3
         & 1 
         & 2 
         & A_1(3)\oplus L_2(3)
         & A_1^*(3)\oplus L_2^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm I}_{0,0}^*, {\rm I}_3 \times 6
         & 3
         & 4 
         & D_4(3)
         & D_4^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm I}_{0,0}^*, {\rm I}_6, 4 \times {\rm I}_3 
         & 2
         & 3 
         & A_1(3)^{\oplus 3}
         & {A_1^*(3)}^{\oplus 3}\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}} 
  \\
         {\rm I}_{0,0}^*, {\rm I}_6 \times 2, {\rm I}_3 \times 2
         & 1 
         & 2 
         & A_1(3)^{\oplus 2}
         & {A_1^*}(3)^{\oplus 2}\oplus {{\mathds{Z}}}/6{{\mathds{Z}}}\\
         {\rm I}_{0,0}^*, {\rm I}_9, {\rm I}_3 \times 3
         & 1 
         & 2 
         & L_2(3) 
         & L_2^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}} 
  \\
         {\rm I}_{0,0}^*, {\rm I}_6 \times 3
         & 0 
         & 1 
         & A_1(3)
         & A_1^*(3)\oplus {{\mathds{Z}}}/ 6{{\mathds{Z}}}\oplus {{{\mathds{Z}}}/2{{\mathds{Z}}}}
  \\
         {\rm I}_{0,0}^*, {\rm I}_{12}, {\rm I}_3 \times 2 
         & 0 
         & 1 
         & \langle 12\rangle 
         & \langle \frac{3}{4} \rangle \oplus {{\mathds{Z}}}/ 6{{\mathds{Z}}}\end{array}$$

$\deg \varphi = 6$ (inseparable) $$\begin{array}{lcccc}
         \mbox{singular fibers}
         & \dim         
         & \sigma_0
         & {{\rm MW}^\circ}(X) 
         & {{\rm MW}}(X) 
  \\
\hline            {\rm IV}_2, 2\times {\rm I}_9 
         & 1 
         & 2 
         & A_2(3)
         & A_2^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_2, {\rm I}_{18}
         & 0 
         & 1 
         & \langle 18\rangle
         & \langle \frac{1}{2}\rangle\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
\end{array}$$ $\deg \varphi = 5$ $$\begin{array}{llcccc}
         \mbox{singular fibers}
         & \dim         
         & \sigma_0
         & {{\rm MW}^\circ}(X) 
         & {{\rm MW}}(X) 
  \\
\hline
         {\rm IV}_5, 5\times {\rm I}_3
         & 4
         & 5 
         & E_8(3)
         & 3.(E_8(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, {\rm I}_6, 3\times {\rm I}_3
         & 3 
         & 4 
         & E_7(3)
         & 3.(E_7^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, 2\times {\rm I}_6 , {\rm I}_3
         & 2 
         & 3 
         & D_6(3)
         & 3.(D_6^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, {\rm I}_9, 2 \times {\rm I}_3
         & 2 
         & 3 
         & E_6(3)
         & 3.(E_6^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, {\rm I}_9, {\rm I}_6
         & 1 
         & 2 
         & A_5(3)
         & 3.(A_5^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, {\rm I}_{12}, {\rm I}_3
         & 1 
         & 2 
         & D_5(3)
         & 3.(D_5^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_5, {\rm I}_{15}
         & 0 
         & 1 
         & A_4(3)
         & 3.(A_4^*(3))\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
\end{array}$$

$\deg \varphi = 4$ $$\begin{array}{llcccc}
         \mbox{singular fibers}
         & \dim         
         & \sigma_0
         & {{\rm MW}^\circ}(X) 
         & {{\rm MW}}(X) 
  \\
 \hline
         {\rm IV}_4^*, 4\times {\rm I}_3 
         & 3
         & 4  
         & E_6(3)
         & E_6^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_4^*, {\rm I}_6, 2\times {\rm I}_3
         & 2  
         & 3 
         & A_5(3)
         & A_5^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_4^*, {\rm I}_6, {\rm I}_6 
         & 1 
         & 2 
         & L_4(3)
         & L_4^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_4^*, {\rm I}_{9}, {\rm I}_3 
         & 1 
         & 2 
         & A_2(3)^{\oplus 2}
         & {A_2^*}(3)^{\oplus 2}\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
  \\
         {\rm IV}_4^*, {\rm I}_{12}
         & 0  
         & 1  
         & L_3(3)
         & L_3^*(3)\oplus {{{\mathds{Z}}}/3{{\mathds{Z}}}}
\end{array}$$ Here, $L_2$, $L_3$, and $L_4$ are lattices of rank $2$, $3$, $4$, all of determinant $12$, whose matrices are given by $$L_2\,=\,\begin{pmatrix}
4 & -2 \\ -2 & 4
\end{pmatrix},\,
L_3\,=\,\begin{pmatrix}
2 & 0 & -1 \\
0 & 2 & -1 \\
-1 & -1 & 4 
\end{pmatrix},\, 
L_4\,=\,\begin{pmatrix}
4 & -1 & 0 & 1 \\
-1 & 2 & -1 & 0 \\
0 & -1 & 2 & -1 \\
1 & 0 & -1 & 2
\end{pmatrix}.$$ Also, the notation $3.L$ for a lattice $L$ stands for a lattice that has $L$ as a sublattice of index $3$.

[Proof.]{}

By Theorem \[supersingular characterisation\] the classifying morphism $\varphi$ is totally ramified over the supersingular point $O\in{{\overline{{\rm Ig}(3)^{\rm ord}}}}$. This gives $4\leq\deg\varphi\leq6$ by Theorem \[p=3\]. We proceed as in the proof of Theorem \[p=5\] in order to obtain explicit equations: let $f_3(s)$, $f_4(s)$ and $f_5(s)$ be polynomials of degree $3$, $4$ and $5$ with no zero in $s=0$. Then we substitute $$t\,=\,\frac{s^6}{f_5(s)},\,t\,=\,\frac{s^5}{f_4(s)}\,\mbox{ \quad and \quad } 
  t\,=\,\frac{s^4}{f_3(s)}$$ into the Weierstraß equation $y^2+txy=x^3-t^5$ of the universal family over ${{\overline{{\rm Ig}(3)^{\rm ord}}}}$, see Proposition \[explicit equations\]. In all cases this leads to a Weierstraß equation $$y^2\,=\,x^3\,+\,s^2x^2\,+\,s^{5}\,+\,r_4s^{4}\,+\,r_3s^{3}\,+\,r_2s^{2}\,+\,r_1s\,+\,r_0$$ for certain $(r_4,r_3,r_2,r_1,r_0)\in {{\mathds{A}}}_k^5$. Depending on the degree of $\varphi$ these coefficients satisfy the following conditions: $$\begin{array}{lcll}
 \deg\varphi\,=\,6 &:& r_1 r_0\,\neq\,0 \\
 \deg\varphi\,=\,5 &:& r_1\,\neq\,0,& r_0\,=\,0\\
 \deg\varphi\,=\,4 &:& r_2\,\neq\,0, & r_1\,=\,r_0\,=\,0
\end{array}$$ Note that the generic surfaces of each degree correspond to the extremal rational surfaces of the cases 1C, 1D and 3C of [@Lang94 §3].

It is remarkable that these rational elliptic surfaces appear in the family of elliptic surfaces related to the semi-universal deformation of the $E_8^2$-singularity in characteristic $3$, which is given by $$y^2\,=\,x^3\,+\,(t^2+s)x^2\,+\,(q_1t+q_0)x\,+\,t^5\,+\,r_4t^4\,+\,
  r_3t^3\,+\,r_2t^2\,+\,r_1t\,+\,r_0.$$

To obtain elliptic K3 surfaces with $3$-torsion section we have to take the Frobenius pullback of these surfaces. Then the non-trivial $3$-torsion sections of the fibration are explicitly given by $$(-(\tau ^5+r_4^{\frac{1}{3}}\tau ^4+r_3^{\frac{1}{3}}\tau
^3+r_2^{\frac{1}{3}} \tau ^2+r_1^{\frac{1}{3}} \tau
+r_0^{\frac{1}{3}}), 
\pm \tau ^3 (\tau ^5+r_4^{\frac{1}{3}}\tau ^4+r_3^{\frac{1}{3}}\tau
^3+r_2^{\frac{1}{3}} \tau ^2+r_1^{\frac{1}{3}} \tau
+r_0^{\frac{1}{3}}))$$ (For $\deg \varphi=4$ one needs to modify slightly because of the minimality of the equation.)

By Lemma \[determinant formula\] and the preceding argument, the index of ${{\rm MW}}(Y)_{\rm free}(3)$ inside ${{\rm MW}}(X)_{\rm free}$ is related to the Artin invariant of $X$ for each case in the table. From this observation we obtain an upper bound for the Artin invariant. On the other hand, since all the surfaces in the table can be realized inside the family corresponding to the semi-universal deformation of the $E_8^2$-singularity as noted above, the dimension of the surface having the given type of singular fibers inside the moduli space is bounded from below. This gives the Artin invariants for the cases $\deg\varphi = 4$ and $\deg \varphi =6$.

For the case $\deg \varphi =5$ we need a more precise analysis. Let $X$ be an elliptic K3 surface with $3$-torsion sections whose singular fibers are of type ${\rm IV}_5, 5\times {\rm I}_3$. Then we have $\mu^2 = 3^{12-2\sigma_0(X)}$, where $\mu$ is the index of ${{\rm MW}}(Y)_{\rm free}(3)$ inside ${{\rm MW}}(X)_{\rm free}$. This implies $\sigma_0(X)\leq 6$. On the other hand, these surfaces are realized inside the semi-universal deformation of the $E_8^2$-singularity, which yields $\sigma_0(X)\geq 5$. Thus, we have to decide whether $\mu=1$ or $\mu=3$ holds true. Assume $\mu=1$. From ${{\rm MW}}(Y)_{\rm free}={{\rm MW}^\circ}(Y)=E_8$ we get ${{\rm MW}}(X)_{\rm free}={{\rm MW}^\circ}(X)=E_8(3)$. However, the $3$-torsion sections of this surface do not lie in ${{\rm MW}^\circ}(X)$, which produces many free sections in ${{\rm MW}}(X)$ that do not lie in ${{\rm MW}^\circ}(X)$, a contradiction. Thus, $\mu=3$ and we obtain $\sigma_0(X)=5$. The other cases can be treated similarly using Lemma \[tech lemma 3\].

Since we have found examples for all Artin invariants $\sigma_0\leq6$, Proposition \[complete families\] tells us that every (Shioda-)supersingular K3 surface with $\sigma_0\leq6$ possesses an elliptic fibration with $3$-torsion section.

\[tech lemma 3\] With the notations as before, the index of ${{\rm MW}^\circ}(Y)$ inside ${{\rm MW}}(Y)_{\rm free}$ divides the index of ${{\rm MW}^\circ}(X)$ inside ${{\rm MW}}(X)_{\rm free}$.

Characteristic $2$ {#sec:p=2}
==================

In this section we deal with elliptic K3 surfaces with $2$-torsion section in characteristic $2$. The classification in this case has much more subcases as for $p\geq3$ since the fibration may have constant $j$-invariant, additive fibers may not be potentially supersingular and potentially supersingular may have good reduction.

We start with a useful result, which directly follows from [@Dolgachev;; @Keum; @2001]:

\[useful\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $2$-torsion section in characteristic $2$. Then $X=Y^{(2)}$ for some elliptic fibration $Y\to{{\mathds{P}}}^1$. Moreover, denote by $G$ the group of order $2$ that acts on $X$ via translating by the $2$-torsion point. Then $Y=X/G$ and there are two cases

1.  $G$ has one or two fixed points and $Y$ is a K3 surface

2.  The fixed locus of $G$ is a connected curve and $Y$ is a rational surface. In particular, $X$ is unirational in this case.

Let us recall that multiplication by $2$ on generic fibers of the fibration factors as $Y\to Y^{(2)}=X \to X/G=Y$, cf. (\[multiplication by p\]).

If $G$ has a finite number of fixed points then there are at most two of them by [@Dolgachev;; @Keum; @2001 Theorem 2.4]. If $G$ acted without fixed points, then $Y$ would be an Enriques surface, which is absurd, cf. the proof of Theorem \[at most two fibers\]. If $G$ has one fixed point then $X/G$ is a K3 surface by [@Dolgachev;; @Keum; @2001 Theorem 2.4] and [@Dolgachev;; @Keum; @2001 Remark 2.6]. And if $G$ has two fixed points then $X/G$ is also a K3 surface by [@Dolgachev;; @Keum; @2001 Theorem 2.4].

If $G$ has non-isolated fixed points then the fixed locus is a connected curve by [@Dolgachev;; @Keum; @2001 Corollary 3.6] and the quotient $X/G$ is rational [@Dolgachev;; @Keum; @2001 Theorem 3.7].

The classification of elliptic K3 surfaces with $2$-torsion in characteristic $2$ is now as follows, where $h$ denotes the height of the formal Brauer group as discussed in Section \[sec:brauer\].

\[p=2theorem\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $2$-torsion section in characteristic $2$.

If the fibration has constant $j$-invariant then the singular fibers are either

1.  one additive fiber of type ${\rm I}^*_{12,6}$, and then $h\geq2$, or

2.  two additive fibers, both of type ${\rm I}^*_{4,2}$, and then $h=1$.

If the fibration does not have constant $j$-invariant, then we have the following cases:

1.  the fibration has precisely one additive fiber, which is potentially supersingular. In this case $h\geq2$ holds true.

2.  the fibration is semi-stable and there is precisely one fiber with good and supersingular reduction. Moreover, $X$ is unirational and $h=\infty$.

3.  the fibration has precisely two fibers with additive reduction, both of which are potentially supersingular. In this case $h=1$ holds true.

4.  the fibration has precisely two fibers with additive reduction, one of which is potentially supersingular and the other one is potentially ordinary of type ${\rm I}^*_{4,2}$. In this case $h=1$ holds true.

Let $$y^2+a_1(t)xy+a_3(t)y=x^3+a_2(t)x^2+a_4(t)x+a_6(t)$$ be a global Weierstraß equation of the K3 surface, where the $a_i(t)$’s are polynomials of degree $\leq 2i$. We denote by $\sigma_2$ the $2$-torsion section and let $G$ be the group of order $2$ generated by translation by $\sigma_2$.

In order to have additive reduction at $t_0$ it is necessary that $a_1(t_0)=0$. As $\deg a_1(t)\leq2$, it follows that there are at most two places of additive reduction. Moreover, from $j=a_1^{12}/\Delta$ we infer that for a place $t_0$ to have potentially supersingular reduction, again, $a_1(t_0)=0$ is necessary.

[Case 1]{}: assume that $a_1(t)$ has a double zero. Then we get $h\geq2$ from [@Artin; @1974 Theorem 2.12].

If the fibration does not have constant $j$-invariant then there has to be at least one place of potentially supersingular reduction, which corresponds to the double zero of $a_1(t)$. Then this fiber has either additive reduction and we are in case (1) or else this fiber has good supersingular reduction and we are in case (2). In this latter case $(\sigma_2\cdot\sigma_0)\geq1$, translation by $\sigma_2$ fixes the whole supersingular fiber and the quotient $X/G$ is rational by Proposition \[useful\]. In particular, $X$ is unirational and thus $h=\infty$.

If the fibration has constant $j$-invariant then the only singular fibers can be of type ${\rm I}^*_{4+8d}$ for some $d\geq0$, which have minimal discriminant $12d+12$ and Swan conductor $2+4d$ by [@Liedtke;; @Schroeer; @2008 Proposition 15.1]. Since the minimal discriminants add up to $c_2(X)=24$ and there is at most one additive fiber it has to be of type ${\rm I}^*_{12,6}$. [case 2]{}: assume that $a_1(t)$ has two distinct zeros. From [@Artin; @1974 Theorem 2.12] we obtain $h=1$. In particular, $X/G$ is a K3 surface and the $G$-action has one or two fixed points by Proposition \[useful\].

In the case where $j(t)$ is constant it has to be a unit at both simple zeros of $a_1(t)$, i.e., $\Delta$ has a zero of order $12$ at both places. Depending on whether the discriminant is minimal, the reduction at such a place is either good or of type ${\rm I}^*_{4,2}$ by [@Liedtke;; @Schroeer; @2008 Proposition 15.1]. Since the sum of the minimal discriminants is equal to $c_2(X)=24$ we must have two fibers of type ${\rm I}^*_{4,2}$.

We may thus assume that the fibration does not have constant $j$-invariant.

First, assume that both places are potentially supersingular. Then both places have additive reduction since the $G$-action has two fixed points and would fix a supersingular fiber completely by Proposition \[fixed locus of translation\]. This is case (3).

Now, assume that one of the zeros of $a_1(t)$ corresponds to a place with potentially ordinary or potentially multiplicative reduction. Not both zeros can belong to places of good or multiplicative reduction since there is at least one potentially supersingular fiber. Let $t_0$ be the place with potentially good or ordinary reduction. By [@Liedtke;; @Schroeer; @2008 Section 15] the minimal discriminant at this place equals $$v(\Delta) = 12 + 12d - 2v_{t_0}(j) \geq 12$$ and the reduction is of type ${\rm I}^*_{4+8d-2v(j)}$ As explained in loc. cit. such an additive and not potentially supersingular fiber arises a quadratic twist from an elliptic fibration $X'\to{{\mathds{P}}}^1$ that has semi-stable reduction at the place corresponding to the ${\rm I}^*_{4+8d-2v(j)}$-fiber. This quadratic twist may be arranged in such a way that the other fibers are not affected, which implies $c_2(X')<c_2(X)$. Since $j(X)=j(X')$ the fibration still has non-constant $j$-invariant after twisting and thus $c_2(X')\neq0$. In particular $c_2(X')=12$, i.e., $X'$ is a rational surface. This implies that the minimal discriminant of the fiber of type ${\rm I}^*_{4+8d-2v(j)}$ equals $12$, i.e., $d=0$ and $v(j)=0$ and we get a fiber of type ${\rm I}^*_{4,2}$ with potentially ordinary reduction. Also the potentially supersingular fiber must have additive reduction or else the $G$-action would fix a supersingular fiber, but we already now that $G$ fixes only two points.

Compared to characteristic $p\geq3$ the new, “exotic” classes are fibrations with constant $j$-invariant, as well as classes (2) and (4) in the case of non-constant $j$-invariant. We will classify them completely in Section \[sec:newp=2\]. There, it will turn out that they are supersingular if only if the elliptic fibration arises as Frobenius pullback from a rational surface, as predicted by Artin’s Conjecture \[Artin Conjecture2\].

In characteristic $p\geq3$, an elliptic K3 surface with $p$-torsion section that has precisely one fiber with potentially supersingular reduction is supersingular, unirational and its elliptic fibration arises as Frobenius pullback from a rational elliptic surface.

The following examples have one additive and potentially supersingular fiber, i.e., the height $h$ of the formal Brauer group is at least $2$ by Theorem \[Brauer height\]. However, these surfaces are not supersingular and their elliptic fibrations arise as Frobenius pullback from K3 surfaces, i.e., the alternative of Theorem \[ordinary characterisation\] does not hold in characteristic $2$.

Let $X\to{{\mathds{P}}}^1$ be the elliptic K3 surface given by the Weierstraß equation $$y^2\,+\,t^2xy\,+\,t^2y\,=\,x^3\,+\,(1+t)x^2\,+\,t\,.$$ The elliptic fibration is a $4$-fold Frobenius pullback. More precisely, $$\begin{array}{ccccc}
  & j-\mbox{invariant} & \mbox{singular fibers} & \mbox{type} & \mbox{ height of ${\widehat{{\rm Br}}}$}\\
  \hline
  X & t^{16} & {\rm II}_6, {\rm I}_{16} & \mbox{K3} & 2\\
  X^{(1/2)} & t^8 & {\rm I}^*_{4,6}, {\rm I}_8 & \mbox{K3} & 2\\
  X^{(1/4)} & t^4 & {\rm I}^*_{8,6}, {\rm I}_4 & \mbox{K3} & 2\\
  X^{(1/8)} & t^2 & {\rm I}^*_{10,6}, {\rm I}_2 & \mbox{K3} & 2\\
  X^{(1/16)} & t & {\rm I}^*_{11,6}, {\rm I}_1 & \mbox{K3} & 2\\
 \end{array}$$ The elliptic fibrations of $X$, $X^{(1/2)}$, $X^{(1/4)}$ and $X^{(1/8)}$ possess $2$-torsion sections and arise as Frobenius pullbacks from K3 surfaces.

The computation of the singular fibers is straight forward and left to the reader. Moreover, all surfaces are K3 surfaces and since they are related by Frobenius pullbacks the heights of their formal Brauer groups coincide. Thus, it suffices to compute the formal Brauer group of one surface and we take the one of the statement of the proposition. Making a coordinate change to achieve $a_2=0$ in the Weierstraß equation we can apply [@Artin; @1974 Theorem (2.12)] and obtain $h=2$.

These surfaces belong to class (1) with non-constant $j$-invariant of Theorem \[p=2theorem\]. We shall see further examples with $h=2$ and iso-trivial fibrations in the next section.

The exotic classes in characteristic $2$ {#sec:newp=2}
========================================

This sections deals with the classes of Theorem \[p=2theorem\] that do no exist for $p\geq3$.

Fibrations with constant $\mathbf{j}$-invariant {#fibrations-with-constant-mathbfj-invariant .unnumbered}
-----------------------------------------------

This class coincides with the Kummer surfaces studied by Shioda in [@Shioda; @1974]:

Every elliptically fibered K3 surface with constant $j$-invariant and $2$-torsion section in characteristic $2$ arises as minimal desingularization of $$\label{isotriv}
   (E_1\times E_2)/G \,\to\, E_2/G\,{\cong}\,{{\mathds{P}}}^1\,,$$ where $E_1$ is an ordinary and $E_2$ is an arbitrary elliptic curve, and $G{\cong}{{\mathds{Z}}}/2{{\mathds{Z}}}$ acts via the sign involution on each factor.

Conversely, for any two elliptic curves $E_1$, $E_2$, where $E_1$ is ordinary, a minimal desingularization of (\[isotriv\]) yields an elliptic K3 surface with constant $j$-invariant and $2$-torsion section. More precisely, $$\begin{array}{lccc}
      E_2 & \mbox{singular fibers} & \rho & h\\
      \hline
      \mbox{ordinary} & 2\times{\rm I}_{4,2}^* & 18\leq\rho\leq20 & 1\\
      \mbox{supersingular} & {\rm I}_{12,6}^* & 18 & 2
   \end{array}$$ In particular, these surfaces cannot be supersingular, and $h=2$ is possible.

Since the generic fiber is ordinary, such a surface is a quadratic twist of a trivial fibration. Thus, $X$ arises via $(E_1\times C)/G\to C/G$, where $\varphi:C\to{{\mathds{P}}}^1$ is an Artin–Schreier morphism of degree $2$. The group $G={{\mathds{Z}}}/2{{\mathds{Z}}}$ acts via the sign involution on $E_1$ and via the Galois action on $C$. From Theorem \[p=2theorem\] we know that the fibration $X\to{{\mathds{P}}}^1$ has either one fiber of type ${\rm I}^*_{12,6}$ or two fibers of type ${\rm I}^*_{4,2}$. From [@Liedtke;; @Schroeer; @2008 Section 15] it then follows that $\varphi$ is ramified in one point with four non-trivial higher ramification groups (the ${\rm I}_{12,6}^*$-case) or in two points with two non-trivial higher ramification groups (the $2\times{\rm I}_{4,2}^*$-case). In both cases $C$ is an elliptic curve, and the Galois action coincides with the sign involution. In case, $\varphi$ is ramified in one point, its $p$-rank is trivial [@Crew; @1984 Corollary 1.8], and thus $C$ is supersingular. Similarly, if $\varphi$ is ramified in two points then $C$ is ordinary.

Conversely, it is easy to see that this construction yields elliptic K3 surfaces with $2$-torsion section.

The rank $\rho$ of the Néron–Severi group has been determined in [@Shioda; @1974]. We set $A=E_1\times E_2$, where $E_1$ is an ordinary elliptic curve. Then the height of ${\widehat{{\rm Br}}}(A)$ is $1$ or $2$ depending on whether $E_2$ is ordinary or supersingular [@Geer;; @Katsura; @2003 Lemma 6.2]. Since $A/G$ has only rational singularities [@Shioda; @1974] we can conclude as in the proof of [@Geer;; @Katsura; @2003 Theorem 6.1] that the formal Brauer groups of $A/G$ and $X$ are isomorphic. Since $A\to A/G$ is an Artin-Schreier covering of degree $2$, there is a non-trivial trace map, and as in the proof of [@Geer;; @Katsura; @2003 Theorem 6.1] we conclude that the formal Brauer groups of $A$ and $A/G$ are isomorphic.

Semi-stable fibrations {#semi-stable-fibrations .unnumbered}
----------------------

Class (2) with non-constant $j$-invariant in Theorem \[p=2theorem\] is closely related to rational elliptic surfaces. These surfaces are unirational and supersingular.

\[p=2semistable\] Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with $2$-torsion section in characteristic $2$ whose fibration is semi-stable. Then $X\to{{\mathds{P}}}^1$ arises as Frobenius pullback from a rational elliptic surface $Y\to{{\mathds{P}}}^1$ with semistable fibration.

Conversely, if $Y\to{{\mathds{P}}}^1$ is a rational elliptic surface with semistable fibration, then its Frobenius pullback yields an elliptic K3 surface with $2$-torsion section.

[Proof.]{}

We have seen in the proof of Theorem \[p=2theorem\] that $Y\to{{\mathds{P}}}^1$ is rational. Moreover, the elliptic fibration on $Y$ must be semi-stable because the one on $X$ is. We leave the converse to the reader.

In [@Ito; @Math; @Nachr Section 4], an $8$-dimensional family of semistable rational elliptic surfaces related to the deformation of an $E_8^4$-singularity is constructed. Via Frobenius pullback we obtain an $8$-dimensional family of semistable elliptic K3 surfaces with Artin invariants $1\leq\sigma_0\leq9$, see [@Ito; @Math; @Nachr Theorem 5.2].

Additive and potentially ordinary fibers {#additive-and-potentially-ordinary-fibers .unnumbered}
----------------------------------------

Also, Class (4) with non-constant $j$-invariant in Theorem \[p=2theorem\] is closely related to rational elliptic surfaces. However, being ordinary, these surfaces are neither unirational nor supersingular.

In order to state the result, let us introduce the following notation: For a point $Q\in{{\mathds{P}}}^1$ denote by $\psi_Q:{{\mathds{P}}}^1\to{{\mathds{P}}}^1$ the Artin–Schreier morphism of degree $2$ that is branched over $Q$.

Let $X\to{{\mathds{P}}}^1$ be an elliptic K3 surface with non-constant $j$-invariant and $2$-torsion section in characteristic $2$ that possesses a potentially ordinary fiber of type ${\rm I}^*_{4,2}$, say, at $Q\in{{\mathds{P}}}^1$. Then there exists a rational elliptic surface $X'\to{{\mathds{P}}}^1$ with $2$-torsion section and good ordinary reduction at $Q$ such that $X$ arises as quadratic twist from $X'$ via $\psi_Q$.

Conversely, if $X'\to{{\mathds{P}}}^1$ is a rational elliptic surface with $2$-torsion section and with good ordinary reduction at $Q\in{{\mathds{P}}}^1$ then the quadratic twist of $X'$ with respect to $\psi_Q$ yields an elliptic K3 surface with $2$-torsion section and a potentially ordinary fiber of type ${\rm I}^*_{4,2}$ above $Q$.

From [@Liedtke;; @Schroeer; @2008 Section 15] we see that the ${\rm I}^*_{4,2}$-fiber arises from an elliptic fibration $X'\to{{\mathds{P}}}^1$ as quadratic twist $\psi:C\to{{\mathds{P}}}^1$, which is totally ramified at $Q$. If $Q$ is the only branch point, which we can and will assume, then $X'$ has the same singular fibers as $X$ but has good reduction at $Q$. In particular, $c_2(X')<c_2(X)$, and so $X'\to{{\mathds{P}}}^1$ is a rational elliptic surface. Since the reduction type of $X\to{{\mathds{P}}}^1$ at $Q$ has Swan conductor $\delta=2$, we conclude that $\psi$ has two non-trivial higher ramification groups, i.e., $\psi=\psi_Q$. We leave the converse to the reader.

Note that $X$ and $X'$ have the same numbers and types of singular fibers (including Swan conductors) except for the ${\rm I}^*_{4,2}$-fiber at $Q$ which is induced on $X$ by the quadratic twist.

To illustrate this case with an example, consider the universal elliptic curve ${{\mathcal}E}\to{{\rm Ig}(4)^{\rm ord}}$. Then ${{\mathcal}E}^{(2)}\to{{\rm Ig}(4)^{\rm ord}}$ corresponds to a rational elliptic surface with $2$-torsion section. Twisting with respect to $\psi_Q:{{\mathds{P}}}^1\to{{\mathds{P}}}^1$, where $Q\in{{\rm Ig}(4)^{\rm ord}}\subset{{\mathds{P}}}^1$ corresponds to the ordinary $j$-value $j=1$, we obtain $$y^2\,+\,xy\,=\,x^3\,+\,\frac{1}{t+1}x^2\,+\,t^2\,.$$ This is an elliptic K3 surface with $2$-torsion section, having singular fibers of type ${\rm I}_2$, ${\rm III}^*_1$ (potentially supersingular) and ${\rm I}^*_{4,2}$ (potentially ordinary).

sections of order $4$ and $8$ {#sec:p=4}
=============================

In this section we classify elliptic K3 surfaces with $8$- and $4$-torsion sections in characteristic $2$, using again the Igusa curves. They turn out to belong to classes (1) and (3) with non-constant $j$-invariant of Theorem \[p=2theorem\]. It also turns out that Theorem \[supersingular characterisation\] and Theorem \[ordinary characterisation\] hold for them. Thus, these surfaces behave like the ones in characteristic $p\geq3$.

$\mathbf{8}$-torsion sections {#mathbf8-torsion-sections .unnumbered}
-----------------------------

The following result is proved as Theorem \[p=7\], which is why we leave it to the reader:

\[p=8\] There exists only one elliptic K3 surface $X\to{{\mathds{P}}}^1$ with $8$-torsion section in characteristic $2$ up to isomorphism. It has the following invariants: $$\begin{array}{lccc}
     \mbox{singular fibers} & \sigma_0 & {{\rm MW}^\circ}(X) & {{\rm MW}}(X) \\
     \hline
      {\rm I}^*_{1,1}, 2\times{\rm I}_8 & 1 & A_1(2) & A_1^*(2)\oplus({{\mathds{Z}}}/8{{\mathds{Z}}}) 
    \end{array}$$ The Weierstraß equation is given by the following: $$y^2\,+\,t^2xy\,=\,x^3\,+\,x\,+\,t^4.$$ In particular, it is the unique supersingular K3 surface with Artin invariant $\sigma_0=1$.

Having Artin invariant $\sigma_0=1$, it is a generalized Kummer surface [@Schroeer; @2007]. An explicit Weierstraß equation is given in Proposition \[explicit equations\], but we note that uniqueness and an equation have already been obtained in [@Schweizer; @2005 Examples 2.4].

$\mathbf{4}$-torsion sections {#mathbf4-torsion-sections .unnumbered}
-----------------------------

As before, we denote by $O\in{{\overline{{\rm Ig}(4)^{\rm ord}}}}$ the unique supersingular point. Since our proof works as for $p=3$ or $p=7$, we leave it to the reader and only state the result:

In characteristic $2$, the classifying morphism $\varphi$ for an elliptic K3 surface with $4$-torsion section is finite of degree $2\leq\deg\varphi\leq4$. More precisely,

1.  $\deg\varphi=2$, $\varphi$ is separable and $\varphi^{-1}(O)$ consists of two points, or

2.  $\deg\varphi=3$ and $\varphi^{-1}(O)$ consists of one point or two points, or

3.  $\deg\varphi=4$ and $\varphi^{-1}(O)$ consists of one point or two points with ramification index $e=2$ (wildly ramified).

Conversely, if $\varphi$ is as above then the associated elliptic fibration with $4$-torsion section is a K3 surface.

More precisely, depending on the branch points we obtain the following table, where $X=Y^{(4)}$ and the type of $Y$ is tabled in the last column $$\begin{array}{clllccc}
     \deg\varphi&\mbox{ \quad} &
     \multicolumn{2}{c}{\mbox{singular fibers}} & \dim & h & 
     Y \\
     \hline
      2 & \multicolumn{4}{l}{\varphi \mbox { separable:}}\\
        & & 2\times{\rm I}_{1,1}^* & 2\times {\rm I}_4 & 2 & 1 & \mbox{K3} \\
        & & 2\times{\rm I}_{1,1}^* & {\rm I}_8 & 1 & 1 & \mbox{K3} \\
     \hline
      3 & & {\rm I}_{1,1}^*, {\rm III}_1 & 
        3\times{\rm I}_4  
        & 3 & 1 & \mbox{K3} \\
        & & {\rm I}_{1,1}^*, {\rm III}_1 & 
        {\rm I}_8, {\rm I}_4
        & 2 & 1 & \mbox{K3} \\
        & & {\rm I}_{1,1}^*, {\rm III}_1 & 
        {\rm I}_{12}
        & 1 & 1 & \mbox{K3} \\
        & & {\rm I}_{3,3}^* &
        3\times{\rm I}_4 
        & 2 & \infty & \mbox{rational}\\
        & & {\rm I}_{3,3}^* &
        {\rm I}_8, {\rm I}_4
        & 1 & \infty & \mbox{rational}\\
        & & {\rm I}_{3,3}^* &
        {\rm I}_{12}
        & 0 & \infty & \mbox{rational}\\
     \hline
      4 & \multicolumn{4}{l}{\varphi \mbox { separable:}}\\
        & & 2\times {\rm III}_1 & 
        4\times {\rm I}_4
        & 4 & 1 & \mbox{K3} \\
        & & 2\times {\rm III}_1 & 
        {\rm I}_8, 2\times {\rm I}_4
        & 3 & 1 & \mbox{K3} \\
        & & 2\times {\rm III}_1 & 
        {\rm I}_{12}, {\rm I}_4
        & 2 & 1 & \mbox{K3} \\
        & & {\rm I}_{0,2}^* & 
        4\times{\rm I}_4 
        & 3 & \infty & \mbox{rational}\\
        & & {\rm I}_{0,2}^* & 
        {\rm I}_8, 2\times{\rm I}_4
        & 2 & \infty & \mbox{rational}\\
        & & {\rm I}_{0,2}^* & 
        {\rm I}_{12}, {\rm I}_4 
        & 1 & \infty & \mbox{rational}\\
        & \multicolumn{4}{l}{\varphi \mbox { inseparable but not purely inseparable:}}\\
        & & 2\times {\rm III}_1 & 
        2\times{\rm I}_{8}
        & 2 & 1 & \mbox{K3}\\
        & & 2\times {\rm III}_1 & 
        {\rm I}_{16}
        & 1 & 1 & \mbox{K3}\\
        & & {\rm I}_{1,1}^* & 2\times{\rm I}_{8} 
        & 0 & \infty & \mbox{rational}\\
        & \multicolumn{4}{l}{\varphi \mbox { purely inseparable:}}\\
        & & {\rm I}_{1,1}^* & {\rm I}_{16} & 0 & \infty & \mbox{rational}
 \end{array}$$

There are two unique surfaces in this list:

-   If $\deg\varphi=4$, $\varphi$ is inseparable but not purely inseparable and $\varphi$ totally ramified over $O$, we obtain the unique surface with $8$-torsion section.

-   If $\deg\varphi=4$ and $\varphi$ is purely inseparable, the resulting elliptic K3 surface is extremal. Such surfaces in characteristic $p=2,3$ have been studied and classified in [@Ito; @2002]. In fact, our surface appears in Table 1 of loc. cit.

Similar to characteristic $3$, the generic supersingular surfaces can be related to deformations of singularities. Namely, $$y^2\,+\,txy\,=\,x^3\,+\,t^5\,+\,r_4t^4\,+\,r_3t^3\,+\,r_2t^2$$ defines a $3$-dimensional family of rational elliptic surfaces. This family arises as subfamily of the semi-universal deformation of a $E_8^4$-singularity. Then all $Y^{(4)}_\lambda\to{{\mathds{P}}}^1$ are elliptic K3 surfaces with $4$-torsion sections. We leave the following result, whose proof is analogous to the one of Theorem \[char. 3 table\] to the reader.

Every (Shioda-)supersingular K3 surface with Artin invariant $\sigma_0\leq4$ in characteristic $2$ possesses an elliptic fibration with $4$-torsion section.

The complete list of these surfaces is given by the following table $$\begin{array}{clllcccc}
     \deg\varphi&\mbox{ \quad} &
     \multicolumn{2}{c}{\mbox{singular fibers}} & \dim & \sigma_0 &
     {{\rm MW}^\circ}(X) & {{\rm MW}}(X) \\
     \hline
      3 & & {\rm I}_{3,3}^* &
        3\times{\rm I}_4 
        & 2 & 3 & D_4(2) & D_4^*(2)\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}} \\
        & & {\rm I}_{3,3}^* &
        {\rm I}_8, {\rm I}_4
        & 1 & 2 & A_3 & A_3^*\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}} \\
        & & {\rm I}_{3,3}^* &
        {\rm I}_{12}
        & 0 & 1 & A_2 & A_2^*\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}} \\
     \hline
      4 & \multicolumn{5}{l}{\varphi \mbox { separable:}}\\
        & & {\rm I}_{0,2}^* & 
        4\times{\rm I}_4 
        & 3 & 4 & D_4(2) & D_4^*(2)\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}}\\
        & & {\rm I}_{0,2}^* & 
        {\rm I}_8, 2\times{\rm I}_4
        & 2 & 3 & A_3(2) & A_3^*(2)\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}}\\
        & & {\rm I}_{0,2}^* & 
        {\rm I}_{12}, {\rm I}_4 
        & 1 & 2 & A_2(2) & A_2^*(2)\oplus {{{\mathds{Z}}}/4{{\mathds{Z}}}}\\
        & \multicolumn{5}{l}{\varphi \mbox { inseparable but not purely inseparable:}}\\
        & & {\rm I}_{1,1}^* & 2\times{\rm I}_{8} 
        & 0 & 1 & A_1(2) & A_1^*(2)\oplus {{{\mathds{Z}}}/8{{\mathds{Z}}}}\\
        & \multicolumn{5}{l}{\varphi \mbox { purely inseparable:}}\\
        & & {\rm I}_{1,1}^* & {\rm I}_{16} & 0 & 1 & \{ 0\} & {{{\mathds{Z}}}/4{{\mathds{Z}}}}
 \end{array}$$

Moreover, from the table above we see that the implications (4) $\Rightarrow$ (5) $\Rightarrow$ (1) of Theorem \[supersingular characterisation\] hold for these surfaces. Also, we see that these surfaces can only be ordinary or supersingular. Thus,

Theorem \[supersingular characterisation\] and Theorem \[ordinary characterisation\] hold for elliptic K3 surfaces with $4$-torsion section in characteristic $2$.

[XXXXX]{} M. Artin, [*Supersingular K3 surfaces*]{}, Ann. scient. Éc. Norm. Sup. 7, 543-568 (1974). M. Artin, B. Mazur, [*Formal Groups Arising from Algebraic Varieties*]{}, Ann. scient. Éc. Norm. Sup. 10, 87-132 (1977). W. Barth, K. Hulek, [*Projective models of Shioda modular surfaces*]{}, Manuscripta Math. 50, 73-132 (1985). S. Bosch, W. Lütkebohmert, M. Raynaud, [*Néron Models*]{}, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 21, Springer (1990). R. Crew, [*Etale $p$-covers in characteristic $p$*]{}, Compos. Math. 52, 31-45 (1984). I. Dolgachev, J. Keum, [*Wild $p$-cyclic actions on K3-surfaces*]{}, J. Algebr. Geom. 10, 101-131 (2001). I. Dolgachev, J. Keum, [*Finite groups of symplectic automorphisms of K3 surfaces in positive characteristic*]{}, Ann. of Math. 169, 269-313 (2009). G. van der Geer, T. Katsura, [*On the height of Calabi-Yau varieties in positive characteristic*]{}, Doc. Math. 8, 97-113 (2003). L. Illusie, [*Complexe de deRham-Witt et cohomologie cristalline*]{}, Ann. scient. Éc. Norm. Sup., 501-661 (1979). J. Igusa, [*On the algebraic theory of elliptic modular functions*]{}, J. Math. Soc. Japan 20, 96-106 (1968). H. Ito, [*On extremal elliptic surfaces in characteristic $2$ and $3$*]{}, Hiroshima Math. J. 32, 179-188 (2002). H. Ito, [*Deformation of a singularity of type $E_8$ and Mordell–Weil lattices in characteristic $2$*]{}, Math. Nachr. 283, 1037-1053 (2010). N. Katz, B. Mazur, [ *Arithmetic moduli of elliptic curves*]{}, Annals of Math. Studies 108, Princeton University Press 1985. W. E. Lang, [ *Extremal rational elliptic surfaces in characteristic $p$. II: Surfaces with three or fewer singular fibres*]{}, Ark. Mat. 32, 423-448 (1994). C. Liedtke, S. Schröer, [ *The Néron model over the Igusa curves*]{}, J. Number Theory 130, 2157-2197 (2010). R. Miranda, U. Persson, [*Torsion groups of elliptic surfaces*]{}, Compositio Math. 72, 249-267 (1989). K. Oguiso, T. Shioda, [*The Mordell–Weil Lattice of a Rational Elliptic Surface*]{}, Comment. Math. Univ. Sancti Pauli 40, 83-99 (1991). A. Ogus, [*Supersingular K3 crystals*]{}, Journées de Géométrie Algébrique de Rennes Vol. II, Astérisque 64, 3-86 (1979). D. T. Pho, I. Shimada, [*Unirationality of certain supersingular K3 surfaces in characteristic 5*]{}, Manuscripta Math. 121, 425-435 (2006). A. N. Rudakov, I. R. Šafarevič, [*Supersingular K3 surfaces over fields of characteristic $2$*]{}, Math. USSR, Izv. 13, No. 1, 147-165 (1979). S. Schröer, [*Kummer surfaces for the self-product of the cuspidal rational curve*]{}, J. Algebraic Geom. 16, 305-346 (2007). A. Schweizer, [*On the $p^e$-torsion of elliptic curves and elliptic surfaces in characteristic $p$*]{}, Trans. Am. Math. Soc. 357, 1047-1059 (2005). T. Shioda, [*Kummer Surfaces in Characteristic $2$*]{}, Proc. Japan Acad. 50, 718-722 (1974). T. Shioda, [*An Example of Unirational Surfaces in Characteristic $p$*]{}, Math. Ann. 211, 233-236 (1974). T. Shioda, [*On Unirationality of Supersingular Surfaces*]{}, Math. Ann. 225, 155-159 (1979). T. Shioda, [*Some Results on Unirationality of Algebraic Surfaces*]{}, Math. Ann. 230, 153-168 (1977). T. Shioda, [*Supersingular K3 surfaces*]{}, Proc. Summer Meeting, Univ. Copenhagen 1978, pp. 564-591, Lecture Notes in Math. 732, Springer 1979. T. Shioda, [*On the Mordell–Weil lattices*]{}, Comment. Math. Univ. St. Pauli 39, 211-240 (1990). T. Shioda, [*Kummer sandwich theorem of certain elliptic K3 surfaces*]{}, Proc. Japan Acad. 82, Ser. A, 137-140 (2006). J. H. Silverman, [*Advanced topics in the arithmetic of elliptic curves*]{} Graduate Texts in Mathematics 151, Springer 1994. J. Tate, F. Oort, [*Group schemes of prime order*]{}, Ann. Sci.’Ecole Norm. Sup. 3, 1-21 (1970).
