Torsors over the Rational Double Points in Characteristic $\mathbf{p}$
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908713415081984 |
|---|---|
| author | Liedtke, Christian Martin, Gebhard Matsumoto, Yuya |
| author_facet | Liedtke, Christian Martin, Gebhard Matsumoto, Yuya |
| contents | 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}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ computable. Together with the class group and the abelianised local étale fundamental group, $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ completely describes the finite abelian torsors over $X\setminus\{x\}$.
We compute $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ for every rational double point singularity, which complements results of Artin and Lipman, who determined ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$ and ${\rm 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}^{\mathrm{loc},\mathrm{loc}}_{X/k}$, ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$, and ${\rm 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2110_03650 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Torsors over the Rational Double Points in Characteristic $\mathbf{p}$ Liedtke, Christian Martin, Gebhard Matsumoto, Yuya Algebraic Geometry Commutative Algebra 14L15, 13A50, 14J17, 13A35, 14L30 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}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ computable. Together with the class group and the abelianised local étale fundamental group, $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ completely describes the finite abelian torsors over $X\setminus\{x\}$. We compute $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ for every rational double point singularity, which complements results of Artin and Lipman, who determined ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$ and ${\rm 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}^{\mathrm{loc},\mathrm{loc}}_{X/k}$, ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$, and ${\rm 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. |
| title | Torsors over the Rational Double Points in Characteristic $\mathbf{p}$ |
| topic | Algebraic Geometry Commutative Algebra 14L15, 13A50, 14J17, 13A35, 14L30 |
| url | https://arxiv.org/abs/2110.03650 |