Torsors over the Rational Double Points in Characteristic $\mathbf{p}$

Abstract

We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonné module of the (loc,loc)-part ${\mathrm{Picloc}}_{X/k}^{\mathrm{loc},\mathrm{loc}}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making ${\mathrm{Picloc}}_{X/k}^{\mathrm{loc},\mathrm{loc}}$ computable. Together with the class group and the abelianised local étale fundamental group, ${\mathrm{Picloc}}_{X/k}^{\mathrm{loc},\mathrm{loc}}$ completely describes the finite abelian torsors over $X\setminus \{x\}$. We compute ${\mathrm{Picloc}}_{X/k}^{\mathrm{loc},\mathrm{loc}}$ for every rational double point singularity, which complements results of Artin and Lipman, who determined ${\pi }_{\mathrm{loc}}^{\mathrm{et}}(X)$ and $\mathrm{Cl}(X)$. All three objects turn out to be finite. We extend the Flenner--Mumford criterion for smoothness of a normal surface germ $x\in X$ to perfect fields of positive characteristic, generalising work of Esnault and Viehweg: If $k$ is algebraically closed, then $X$ is smooth if and only if ${\mathrm{Picloc}}_{X/k}^{\mathrm{loc},\mathrm{loc}}$, ${\pi }_{\mathrm{loc}}^{\mathrm{et}}(X)$, and $\mathrm{Cl}(X)$ are trivial. Finally, we study the question whether rational double point singularities are quotient singularities by group schemes and if so, whether the group scheme is uniquely determined by the singularity. We give complete answers to both questions, except for some $D_n^r$-singularities in characteristic $2$. In particular, we will give examples of (F-injective) rational double points that are not quotient singularities.

81 pages, final version

References in corpus (10)

• Connected Hopf Algebras of Dimension $p^2$
• Fundamental groups of $F$-regular singularities via $F$-signature
• Classification of connected Hopf algebras of dimension $p^3$ I
• Finite torsors over strongly $F$-regular singularities
• Simple finite group schemes and their infinitesimal deformations
• Linearly Reductive Quotient Singularities
• On tautness of two-dimensional $F$-regular and $F$-pure rational singularities
• Arithmetic and geometric deformations of $F$-pure and $F$-regular singularities
• Towers of torsors over a field
• ${\mu }_p$- and ${\alpha }_p$-actions on K3 surfaces in characteristic $p$

Cited by in corpus (1)

• Purely inseparable coverings of rational double points in positive characteristic