English

Large implies henselian

Logic 2026-03-10 v2 Algebraic Geometry

Abstract

Fix a field KK. We show that KK is large if and only if some elementary extension of KK is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the \'etale-open topology over KK: if KK is not separably closed and VWV \to W is an \'etale morphism of KK-varieties then V(K)W(K)V(K) \to W(K) is a local homeomorphism in the \'etale-open topology. This, in turn, follows from results comparing the \'etale-open topology on V(K)V(K) and the finite-closed topology on V(K)V(K), newly introduced in this paper. We show that the \'etale-open topology refines the finite-closed topology when KK is perfect, and that the finite-closed topology refines the \'etale-open topology when KK is bounded. It follows that these two topologies agree in many natural examples. On the other hand, we construct several examples where these two differ, which allows us to answer a question of Lampe.

Keywords

Cite

@article{arxiv.2508.10886,
  title  = {Large implies henselian},
  author = {Will Johnson and Chieu-Minh Tran and Erik Walsberg and Jinhe Ye},
  journal= {arXiv preprint arXiv:2508.10886},
  year   = {2026}
}
R2 v1 2026-07-01T04:50:25.148Z