Large implies henselian
Abstract
Fix a field . We show that is large if and only if some elementary extension of 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 : if is not separably closed and is an \'etale morphism of -varieties then is a local homeomorphism in the \'etale-open topology. This, in turn, follows from results comparing the \'etale-open topology on and the finite-closed topology on , newly introduced in this paper. We show that the \'etale-open topology refines the finite-closed topology when is perfect, and that the finite-closed topology refines the \'etale-open topology when 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}
}