Table of Contents
Fetching ...

Ekedahl-Oort types of $\Z/2\Z$-covers in characteristic $2$

Jeremy Booher, Steven R. Groen, Joe Kramer-Miller

TL;DR

This work analyzes the Ekedahl-Oort types of double covers $\pi:Y\to X$ with Galois group $\mathbf{Z}/2\mathbf{Z}$ in characteristic $2$, proving that when the base $X$ is ordinary the EO type of $Y$ is determined by the ramification together with $g_X$, while for non-ordinary $X$ it yields sharp bounds. A central development is the theory of enhanced differentials of the second kind, which provide a concrete, pole-bounded model for $\mathrm{H}_{\mathrm{dR}}^1$ as a Dieudonné module and enable precise control of $F$ and $V$-actions. In the ordinary-base case, the paper gives an explicit decomposition of $\mathrm{H}_{\mathrm{dR}}^1(Y)$ into ordinary and ramification-contributed blocks, leading to an exact EO-type description and the construction of families of curves with fixed EO-type. For non-ordinary bases, it develops bounding techniques for the final type via a careful analysis of $V$-stable subspaces and the symplectic pairing, including logarithmic and Tango-advantaged refinements, and applies these to examples such as supersingular elliptic curves. Overall, the results quantify how ramification and base EO-type control the EO-type of covers in characteristic two and provide tools for exploring EO-type stratifications in families of such covers.

Abstract

In this article we study the Ekedahl-Oort types of $\Z/2\Z$-Galois covers $π:Y \to X$ in characteristic two. When the base curve $X$ is ordinary, we show that the Ekedahl-Oort type of $Y$ is completely determined by the genus of $X$ and the ramification of $π$. For a general base curve $X$, we prove bounds on the Ekedahl-Oort depending on the Ekedahl-Oort type of $X$ and the ramification of $π$. Along the way, we develop a theory of \emph{enhanced differentials of the second kind}. This theory allows us to study algebraic de Rham cohomology in any characteristic by working directly with differentials, in contrast to the standard Čech resolution.

Ekedahl-Oort types of $\Z/2\Z$-covers in characteristic $2$

TL;DR

This work analyzes the Ekedahl-Oort types of double covers with Galois group in characteristic , proving that when the base is ordinary the EO type of is determined by the ramification together with , while for non-ordinary it yields sharp bounds. A central development is the theory of enhanced differentials of the second kind, which provide a concrete, pole-bounded model for as a Dieudonné module and enable precise control of and -actions. In the ordinary-base case, the paper gives an explicit decomposition of into ordinary and ramification-contributed blocks, leading to an exact EO-type description and the construction of families of curves with fixed EO-type. For non-ordinary bases, it develops bounding techniques for the final type via a careful analysis of -stable subspaces and the symplectic pairing, including logarithmic and Tango-advantaged refinements, and applies these to examples such as supersingular elliptic curves. Overall, the results quantify how ramification and base EO-type control the EO-type of covers in characteristic two and provide tools for exploring EO-type stratifications in families of such covers.

Abstract

In this article we study the Ekedahl-Oort types of -Galois covers in characteristic two. When the base curve is ordinary, we show that the Ekedahl-Oort type of is completely determined by the genus of and the ramification of . For a general base curve , we prove bounds on the Ekedahl-Oort depending on the Ekedahl-Oort type of and the ramification of . Along the way, we develop a theory of \emph{enhanced differentials of the second kind}. This theory allows us to study algebraic de Rham cohomology in any characteristic by working directly with differentials, in contrast to the standard Čech resolution.

Paper Structure

This paper contains 31 sections, 55 theorems, 199 equations, 1 figure, 1 table.

Key Result

Theorem 1.2

Let $\pi : Y \to X$ be a $\mathbf{Z}/2 \mathbf{Z}$-cover of smooth, proper, geometrically connected curves over a perfect field $k$ of characteristic two, and suppose $X$ is ordinary. Then as Dieudonné modules

Figures (1)

  • Figure 1: The Pole Order Resolution $\mathcal{D}(n)$ of the de Rham Complex.

Theorems & Definitions (147)

  • Definition 1.1
  • Theorem 1.2
  • Remark 1.3
  • Remark 1.4
  • Corollary 1.5
  • Remark 1.6
  • Theorem 1.7
  • Remark 1.8
  • Remark 1.9
  • Definition 2.1
  • ...and 137 more