Large implies henselian
Large implies henselian
Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the étale-open topology over $K$: if $K$ is not separably closed and $V \to W$ is an étale morphism of $K$-varieties then $V(K) \to W(K)$ is a local homeomorphism in the étale-open topology. This, in turn, follows from results comparing the étale-open topology on $V(K)$ and the finite-closed topology on $V(K)$, newly introduced in this paper. We show that the étale-open topology refines the finite-closed topology when $K$ is perfect, and that the finite-closed topology refines the étale-open topology when $K$ 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.
Will Johnson、Chieu-Minh Tran、Erik Walsberg、Jinhe Ye
数学
Will Johnson,Chieu-Minh Tran,Erik Walsberg,Jinhe Ye.Large implies henselian[EB/OL].(2025-08-14)[2025-08-24].https://arxiv.org/abs/2508.10886.点此复制
评论