Abstract: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.

Henselian schemes in positive characteristic

GAGA for Henselian schemes

A cohomological Hasse principle over two-dimensional local rings

Characterizing diophantine henselian valuation rings and valuation ideals

Hensel minimality II: Mixed characteristic and a diophantine application

An inclusion-exclusion principle for tautological sheaves on Hilbert schemes of points

Grothendieck--Witt Groups of Henselian Valuation Rings

On étale hypercohomology of henselian regular local rings with values in $p$-adic étale Tate twists

Generic character sheaves on parahoric subgroups

Definable henselian valuations in positive residue characteristic

Integral mixed motives in equal characteristic

The geometry of double nested Hilbert schemes of points on curves

D-Geometric Hilbert and Quot DG-Schemes

A Jacobian criterion for nonsingularity in mixed characteristic

Systems of ideals parametrized by combinatorial structures

On two modular geometric realizations of an affine Hecke algebra

Symmetric Ideals and Invariant Hilbert Schemes

Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on $\mathbb{C}^2$

Modular affine Hecke category and regular centralizer

Differentially Henselian Fields