GT-Henselian Topology Overview

• GT-henselian topology is a Hausdorff, non-discrete field topology that satisfies a Hensel-type local root-lifting condition and an implicit function theorem.
• It underlies the étale-open topology on K-rational points of varieties, linking valuation theory, model theory, and notions of largeness in fields.
• Distinct from classical t-henselianity, gt-henselianity permits non-V-topologies and generates many incomparable topologies beyond standard valuation behaviors.

Searching arXiv for papers on gt-henselianity, étale-open topology, and related henselian-topological notions. GT-henselian topology, short for generalized t-henselian topology, is a Hausdorff, non-discrete field topology on a field $K$ that satisfies a Hensel-type local root-lifting condition and, equivalently, a polynomial implicit function theorem. It was introduced to isolate the topological content of henselianity without requiring the topology to be a $V$-topology, and it became a central notion in the study of when the étale-open topology on $K$-rational points of varieties is induced by a field topology (Dittmann et al., 2022). In current work, GT-henselianity sits at the intersection of valuation theory, étale topology, and model theory: it generalizes classical t-henselianity, relates closely to Pop’s largeness, and interacts with canonical topologies such as the étale-open topology $E_K$ and adic topologies coming from henselian local domains (Johnson, 21 Aug 2025).

1. Definition and equivalent formulations

A field topology $\tau$ on $K$ is called generalized (topologically) henselian, or gt-henselian, if for every $n$ and every neighborhood $P\subseteq K$ of $-1$, there is a neighborhood $O\subseteq K$ of $V$0 such that the polynomial

$V$1

has a root in $V$2 for any $V$3 (Dittmann et al., 2022). The same paper proves several equivalent formulations. One may replace the displayed polynomial by

$V$4

require persistence of simple roots under small perturbation of a monic polynomial, or require that for every étale morphism $V$5, the induced map $V$6 be $V$7-open; equivalently, the same openness condition may be imposed for smooth morphisms (Dittmann et al., 2022).

This equivalence identifies gt-henselianity as the intrinsic topological form of étale openness. It also clarifies the relation with classical t-henselianity: a field topology $V$8 is t-henselian if and only if it is gt-henselian and a $V$9-topology (Dittmann et al., 2022). In particular, every henselian valuation topology is gt-henselian, but gt-henselianity allows field topologies that need not arise from a valuation or absolute value.

A basic source of examples is provided by henselian local domains. If $K$0 is a henselian local domain with fraction field $K$1, then the $K$2-adic topology on $K$3, with basis

$K$4

is gt-henselian (Dittmann et al., 2022). This already shows that gt-henselianity extends beyond the one-dimensional valuative setting.

2. Canonical topologies on $K$5-points of varieties

The geometric topology most closely tied to gt-henselianity is the étale-open topology $K$6. For a $K$7-variety $K$8, an $K$9-subset of $E_K$0 is a set of the form $E_K$1 for some étale morphism $E_K$2, and these subsets form a basis for a topology on $E_K$3 (Johnson et al., 14 Aug 2025). The topology is functorial in $E_K$4, and by construction every étale morphism induces an open map on $E_K$5-points.

A central characterization states that for a locally bounded field topology $E_K$6, the étale-open topology is induced by $E_K$7 if and only if $E_K$8 is gt-henselian and some nonempty étale image in $E_K$9 is $\tau$0-bounded (Dittmann et al., 2022). Thus gt-henselianity supplies the étale-openness direction, while boundedness of one étale image supplies the converse refinement.

The topology $\tau$1 is especially rigid outside the separably closed case. If $\tau$2 is not separably closed and $\tau$3 is an étale morphism of $\tau$4-varieties, then $\tau$5 is a local homeomorphism in the étale-open topology (Johnson et al., 14 Aug 2025). In the same setting, if $\tau$6 is t-henselian and not separably closed, then $\tau$7 agrees with the canonical t-henselian topology; if $\tau$8 admits a nontrivial henselian valuation, then $\tau$9 agrees with the valuation topology (Johnson et al., 14 Aug 2025).

For fraction fields of local domains, the relation can be sharper. If $K$0 is a henselian local domain with fraction field $K$1, then the $K$2-adic topology on $K$3 refines $K$4; if $K$5 is regular, then $K$6 refines the $K$7-adic topology; hence for regular henselian local domains the two topologies coincide (Johnson et al., 2021). In particular, for any field $K$8 and $K$9, the étale-open topology over

$n$0

agrees with the $n$1-adic topology (Johnson et al., 2021).

3. Largeness and existence of gt-henselian topologies

GT-henselianity is closely tied to large fields in the sense of Pop. A field $n$2 is large if every smooth one-dimensional $n$3-variety with a $n$4-point has infinitely many $n$5-points; equivalently, largeness can be expressed by an infinitude condition for zeros of $n$6 under a nonvanishing Jacobian hypothesis (Johnson et al., 14 Aug 2025). One direction is general: if $n$7 admits a gt-henselian topology, then $n$8 is large (Johnson, 21 Aug 2025).

For countable fields, Johnson proved the converse: a countable field $n$9 is large if and only if it admits a gt-henselian field topology (Johnson, 21 Aug 2025). The same work shows that the étale-open topology can be recovered from gt-henselian topologies: for countable $P\subseteq K$0, a subset $P\subseteq K$1 is open in the étale-open topology if and only if it is open with respect to every gt-henselian topology on $P\subseteq K$2 (Johnson, 21 Aug 2025). This identifies $P\subseteq K$3 as the common geometric core of all generalized henselian topologies.

A complementary structural theorem states that a field is large if and only if some elementary extension is the fraction field of a henselian local domain that is not a field (Johnson et al., 14 Aug 2025). Together with the countable equivalence above, this places gt-henselianity within a larger triangle of ideas: largeness, henselian local domains, and canonical étale-open topologies.

4. Comparison with classical t-henselianity and valuation topologies

The classical topological notion of henselianity in model theory is t-henselianity: a field is t-henselian when it carries a $P\subseteq K$4-topology satisfying the usual topological Hensel principle. GT-henselianity removes the $P\subseteq K$5-topology requirement and keeps only the Hensel-style openness and root-lifting behavior (Dittmann et al., 2022). This enlargement is substantial.

One consequence is nonuniqueness. For non-separably closed fields, t-henselian topology is essentially unique in the Prestel–Ziegler framework, whereas gt-henselianity admits abundant incomparable realizations. If $P\subseteq K$6 is a characteristic $P\subseteq K$7 field of infinite transcendence degree over its prime subfield and $P\subseteq K$8 admits one gt-henselian topology, then it admits

$P\subseteq K$9

pairwise incomparable gt-henselian topologies; if $-1$0 is countable and large, then there are

$-1$1

pairwise incomparable gt-henselian topologies and

$-1$2

pairwise incomparable second countable gt-henselian topologies (Walsberg, 2 Sep 2025). Walsberg’s construction uses derivations: from a gt-henselian topology $-1$3 and a family of derivations $-1$4, one forms a refinement $-1$5, and if $-1$6 is non-discrete then it is again gt-henselian (Walsberg, 2 Sep 2025).

This abundance also shows that gt-henselianity is strictly broader than valuation-type behavior. Infinite derivation families yield gt-henselian topologies that are not locally bounded, and this provides examples of gt-henselian topologies outside the standard adic and valuative classes (Walsberg, 2 Sep 2025).

5. Related model-theoretic weakenings and neighboring notions

GT-henselian topology must be distinguished from existential t-henselianity. A field $-1$7 is existentially t-henselian if it has the same existential theory in the language of rings as some field admitting a nontrivial henselian valuation; equivalently,

$-1$8

for some henselian field $-1$9 (Anscombe, 29 Mar 2026). This is not a topology on $O\subseteq K$0, but an existential shadow of henselian behavior. The note on existentially t-henselian fields proves that this condition is equivalent to $O\subseteq K$1-largeness and to

$O\subseteq K$2

and also to the non-Diophantine-definability of the basic $O\subseteq K$3-adic neighborhood

$O\subseteq K$4

in the pure ring language (Anscombe, 29 Mar 2026).

There is also a definability bridge from t-henselian topology to valuation theory. On any t-henselian field that is neither separably closed nor real closed, there exists a definable valuation inducing the t-henselian topology; under additional hypotheses such as $O\subseteq K$5 for some prime $O\subseteq K$6, or small absolute Galois group, this valuation may even be chosen $O\subseteq K$7-definable (Jahnke et al., 2014). This result concerns t-henselianity rather than gt-henselianity, but it clarifies a common misconception: generalized henselian topologies need not come canonically from definable valuations, whereas classical t-henselian topologies often do.

In ordered settings, the interaction with topology can become especially rigid. For almost real closed fields, any henselian valuation topology and any order topology coincide, and definable subsets of $O\subseteq K$8 are Borel in that common topology (Krapp et al., 9 Apr 2026). This does not define gt-henselianity, but it shows how henselian-type topologies can merge with other canonical topological structures.

6. Pathologies, boundaries, and open problems

The theory has sharp limitations. The étale-open topology is not always induced by a field topology: if $O\subseteq K$9 is PAC, then $V$00 is never induced by a field topology on $V$01 (Dittmann et al., 2022). Likewise, the comparison between $V$02 and the finite-closed topology $V$03 can fail outside perfect or bounded settings; the two topologies agree in many natural classes, but differ in several constructed examples (Johnson et al., 14 Aug 2025).

Several central questions remain open. One is whether the étale-open topology can ever be induced by a field topology that is not locally bounded (Dittmann et al., 2022). Another is whether every large field admits a gt-henselian topology; Johnson proves this only for countable fields (Johnson, 21 Aug 2025). A related conjectural picture, emphasized by Walsberg, is that for every large field the étale-open topology should be the intersection of all gt-henselian topologies on that field, and that $V$04 should be a field topology exactly when there is a coarsest gt-henselian topology (Walsberg, 2 Sep 2025).

These open problems reflect the current conceptual balance. GT-henselianity successfully isolates the étale-local and implicit-function-theoretic core of henselian behavior, but it is too broad to be intrinsically canonical. The canonical object appears instead to be the étale-open topology, with gt-henselian topologies forming a large and sometimes wild class of field-topological realizations above it (Johnson, 21 Aug 2025).