GAGA for Henselian schemes
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915357681254400 |
|---|---|
| author | Devadas, Sheela |
| author_facet | Devadas, Sheela |
| contents | The global analogue of a Henselian local ring is a Henselian pair-a ring R and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of monic polynomials over R/I to factorizations over R. The geometric counterpart is the notion of a Henselian scheme, which can serve as a substitute for formal schemes in applications such as deformation theory. In this paper we prove a GAGA-style cohomology comparison result for Henselian schemes in positive characteristic, making use of a "Henselian étale" topology defined in previous work in order to leverage exactness of finite pushforward for abelian sheaves in the étale topology of schemes. We will also discuss algebraizability of coherent sheaves on the Henselization of a proper scheme, proving (without a positive characteristic restriction) algebraizability for coherent subsheaves. We can then deduce a Henselian version of Chow's theorem on algebraization and the algebraizability of maps between Henselizations of proper schemes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_01722 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | GAGA for Henselian schemes Devadas, Sheela Algebraic Geometry 14A20, 13J15 The global analogue of a Henselian local ring is a Henselian pair-a ring R and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of monic polynomials over R/I to factorizations over R. The geometric counterpart is the notion of a Henselian scheme, which can serve as a substitute for formal schemes in applications such as deformation theory. In this paper we prove a GAGA-style cohomology comparison result for Henselian schemes in positive characteristic, making use of a "Henselian étale" topology defined in previous work in order to leverage exactness of finite pushforward for abelian sheaves in the étale topology of schemes. We will also discuss algebraizability of coherent sheaves on the Henselization of a proper scheme, proving (without a positive characteristic restriction) algebraizability for coherent subsheaves. We can then deduce a Henselian version of Chow's theorem on algebraization and the algebraizability of maps between Henselizations of proper schemes. |
| title | GAGA for Henselian schemes |
| topic | Algebraic Geometry 14A20, 13J15 |
| url | https://arxiv.org/abs/2306.01722 |