Étale-Open Topology in Algebraic Geometry

• Étale-open topology is the ordinary topology on V(K) defined by the images of étale morphisms, offering a canonical view of rational points on varieties.
• It recovers classical topologies—such as Zariski, order, and valuation—under varying field conditions, highlighting its deep connection to field arithmetic.
• The framework extends to adic, pro-étale, logarithmic étale, and real-étale sites, thereby influencing descent theory, cohomology, and model-theoretic properties.

The étale-open topology is an ordinary topology on the set of rational points of an algebraic variety, defined so that images of étale morphisms are open. For an infinite field $K$ and a $K$-variety $V$, it equips $V(K)$ with a topology $E_V$ generated by subsets of the form $f(X(K))$ for étale morphisms $f:X\to V$. In this sense it is a point-set topology on $K$-points, not the Grothendieck étale topology of schemes. At the same time, adjacent developments show that the geometric intuition behind “étale openness” extends naturally to Grothendieck-topological settings such as the pro-étale, logarithmic étale, and real-étale sites, where étale-like morphisms serve as the local models for descent, covering theory, and cohomology (Johnson et al., 2020).

1. Definition and formal structure

Let $K$ be an infinite field and $V$ a $K$0-variety. A subset $K$1 is an étale image if there exists an étale morphism

$K$2

of $K$3-varieties such that

$K$4

The collection of étale images is closed under finite unions and finite intersections, and contains all Zariski open subsets; it therefore forms a basis for a topology on $K$5, denoted $K$6. In affine space $K$7, a basis is given by sets of the form

$K$8

where $K$9, $V$0 is monic in $V$1, and $V$2 does not vanish on the corresponding hypersurface. This is the standard étale presentation arising from the algebraic characterization of étale morphisms by simple equations. The construction is explicitly presented as an ordinary topology on $V$3, rather than as the Grothendieck étale topology on the category of $V$4-schemes (Johnson et al., 2020).

The family $V$5, as $V$6 varies, forms a system of topologies in the sense that morphisms of varieties induce continuous maps on $V$7-points, open immersions induce open embeddings, and closed immersions induce closed embeddings. A central structural characterization is that the étale-open system is the coarsest system of topologies that turns every étale morphism into an open map. This makes $V$8 the minimal point-set realization of the heuristic that étale maps should behave like local homeomorphisms. A plausible implication is that $V$9 should be regarded less as an auxiliary topology and more as the canonical topology forced on $V(K)$0 by the étale geometry of $V(K)$1 (Johnson et al., 2020).

2. Comparison with classical topologies

A basic feature of the étale-open topology is that it recovers familiar topologies in standard algebraic situations. When $V(K)$2 is separably closed, $V(K)$3 agrees with the Zariski topology on $V(K)$4 for every $V(K)$5. When $V(K)$6 is real closed, $V(K)$7 is induced by the order topology on $V(K)$8. When $V(K)$9 is a non-separably closed henselian valued field, including $E_V$0-adically closed fields such as $E_V$1, $E_V$2 is induced by the valuation topology; more generally, if $E_V$3 is $E_V$4-henselian and not separably closed, then the étale-open topology is induced by the $E_V$5-henselian topology (Johnson et al., 2020).

Field-theoretic hypothesis on $E_V$6	Topology recovered on $E_V$7
$E_V$8 separably closed	Zariski topology
$E_V$9 real closed	Order topology
$f(X(K))$0 non-separably closed henselian valued	Valuation topology
$f(X(K))$1 $f(X(K))$2-adically closed	Valuation topology

The converse direction is also part of the theory. If the étale-open topology on $f(X(K))$3 is induced by a $f(X(K))$4-topology $f(X(K))$5, then $f(X(K))$6 is $f(X(K))$7-henselian and $f(X(K))$8 is not separably closed. This places the étale-open topology at the intersection of algebraic geometry and the model theory of field topologies: it behaves as a canonical extension of henselian or $f(X(K))$9-henselian local structure whenever such a structure exists. This suggests that the topology $f:X\to V$0 is not merely analogous to classical local topologies, but often recovers them exactly in the cases where étale local behavior is already controlled by order or valuation data (Johnson et al., 2020).

3. Topological detection of algebraic properties

One of the main achievements of the theory is that topological properties of $f:X\to V$1 detect intrinsic algebraic properties of the field $f:X\to V$2. The most basic equivalence is

$f:X\to V$3

More strongly, if $f:X\to V$4 is not large, then $f:X\to V$5 is the discrete system, whereas if $f:X\to V$6 is large and $f:X\to V$7 is infinite, then $f:X\to V$8 is non-discrete in the étale-open topology. Since largeness means that every smooth $f:X\to V$9-curve with a $K$0-point has infinitely many $K$1-points, this identifies non-discreteness of $K$2 as a direct topological signature of a standard field-arithmetic property (Johnson et al., 2020).

Hausdorffness gives a criterion for separable closedness. The theory shows that

$K$3

equivalently, $K$4 is Hausdorff exactly when $K$5 is not separably closed. Connectedness detects real closed behavior: $K$6 For non-real-closed fields, the topology on $K$7 is totally separated. Local compactness detects local fields: for non-separably closed $K$8, the following are equivalent: some infinite $K$9-open subset of some $K$0 is locally compact; $K$1 is locally compact; $K$2 is a local field (Johnson et al., 2020).

These topological criteria have model-theoretic consequences. The theorem that a large stable field is separably closed is proved using the étale-open topology: if $K$3 were large but not separably closed, one constructs an existential formula whose definable sets are controlled by étale images and shows that the resulting configuration is unstable. The key input is that in a large field, nonempty étale-open subsets of $K$4 are infinite, and this richness is incompatible with stability unless $K$5 is separably closed. In this way $K$6 functions as a bridge from étale geometry to first-order instability phenomena (Johnson et al., 2020).

4. Induction from field topologies and comparison with adic topologies

A separate line of work asks when the étale-open topology is itself induced by a field topology on $K$7. If $K$8 is a local domain with fraction field $K$9, the $V$0-adic topology on $V$1 has basis

$V$2

It is the coarsest ring topology for which $V$3 is open. For a $V$4-variety $V$5, this topology induces the usual topology on $V$6. The comparison theorem states: if $V$7 is Henselian, then the $V$8-adic topology on $V$9 refines the étale-open topology; if $K$00 is regular, then the étale-open topology refines the $K$01-adic topology. Hence when $K$02 is both Henselian and regular, the two topologies agree on $K$03. In particular, for any field $K$04 and $K$05, the étale-open topology on

$K$06

agrees with the $K$07-adic topology (Johnson et al., 2021).

This comparison was strengthened for quasi-excellent henselian local domains. If $K$08 is quasi-excellent and henselian local, then the $K$09-adic topology coincides with the étale-open topology on $K$10. The proof uses Gabber’s altered local uniformization to produce enough regular models to control étale images via valuation-theoretic arguments. The same work introduces gt-henselianity for locally bounded field topologies $K$11 and proves a characterization: $K$12 On the negative side, if $K$13 is pseudo-algebraically closed, then the étale-open topology is not induced by any field topology. The literature also exhibits pathologies when quasi-excellence is dropped, including examples where finite extensions distort étale-open behavior and one-dimensional henselian local domains inside $K$14 induce topologies on $K$15 strictly finer than the $K$16-adic topology (Dittmann et al., 2022).

Taken together, these results show that the étale-open topology is sometimes canonical in the strong sense of being exactly adic, but not universally so. A plausible implication is that inducibility by a field topology is best viewed as a rigid arithmetic property rather than as a formal consequence of the definition of $K$17.

5. Scheme-theoretic enlargement: weakly étale morphisms and the pro-étale site

In scheme theory, the “open” intuition behind étale morphisms leads not to the point-set topology on $K$18, but to Grothendieck topologies in which étale-like maps are the basic local objects. The foundational enlargement is the pro-étale topology. For a scheme $K$19, a morphism $K$20 is weakly étale if it is flat and its diagonal is flat: $K$21 The pro-étale site $K$22 has as objects the weakly étale $K$23-schemes, with coverings given by fpqc coverings. Weakly étale maps are stable under composition and base change, every étale map is weakly étale, and for finitely presented morphisms weakly étale is equivalent to étale. The site is designed to accommodate inverse limits, strict henselizations, profinite constructions, and other infinite objects that the ordinary étale site handles poorly (Bhatt et al., 2013).

A precise characterization of weakly étale morphisms is given by the Henselian lifting property. A morphism $K$24 has this property if for every solid commutative diagram

$K$25

with $K$26 a Henselian pair, there exists a unique lift. The theorem is

$K$27

This is presented as the Henselized analogue of the classical characterization of étale morphisms by formal étaleness together with finite presentation. The proof rests on a new Henselian descent theorem: if $K$28 is Henselian and $K$29 is faithfully flat and weakly étale, then for every scheme $K$30 the diagram

$K$31

is an equalizer. This is not a formal consequence of fpqc descent because one generally does not have

$K$32

The same work proves that if $K$33 is an excellent regular domain containing a field and $K$34 is weakly étale, then $K$35 is ind-étale; it also gives examples showing that weakly étale algebras do not always lift across surjective ring homomorphisms (Jong et al., 2022).

The pro-étale site has its own internal topology and homotopy theory. There is a canonical morphism of sites

$K$36

and classical sheaves are those in the essential image of $K$37. Étale and pro-étale cohomology agree on étale objects. Foundationally, every scheme admits a pro-étale cover by w-contractible affine schemes, on which global sections are exact and commute with all limits. This local contractibility supports a direct treatment of constructible $K$38-adic complexes and yields a refined Noohi fundamental group

$K$39

which is large enough to classify all locally constant sheaves on the pro-étale site, including phenomena invisible to the classical profinite étale fundamental group on non-normal schemes (Bhatt et al., 2013).

6. Variants, gluing formalisms, and related étale-like topologies

The étale-open perspective extends in several directions. In the theory of algebraic stacks, the basic local gluing pattern is an open immersion $K$40 together with an étale neighborhood $K$41 of the complement $K$42, meaning that $K$43 is étale and induces an isomorphism over the reduced closed complement. Such diagrams satisfy genuine descent: for any $K$44-sheaf $K$45 in the étale topology,

$K$46

is an equivalence, where $K$47. Moreover, the square with $K$48 is both cartesian and cocartesian: $K$49 is the pushout of $K$50 and $K$51. This identifies étale neighborhoods as cut-and-paste objects analogous to open subsets, and it underlies dévissage results for representable étale and quasi-finite flat morphisms. The same pattern is explicitly related to Nisnevich coverings (Rydh, 2010).

In logarithmic geometry, the corresponding enhancement is the full logarithmic étale topology on fine and saturated logarithmic schemes. It is generated by logarithmic blowups, logarithmic modifications, Kummer logarithmic étale covers, root stacks of invertible order, and related pullbacks; more precisely, the topology is generated by logarithmic blowups and Kummer logarithmic étale covers. A presheaf is a sheaf for the Kummer logarithmic étale topology exactly when it satisfies descent for strict étale covers and root stacks of invertible order, and it is a sheaf for the full logarithmic étale topology when one adds descent for logarithmic modifications. Sheafification is computed by a colimit over logarithmic modifications,

$K$52

and this formalism is used to show that the logarithmic Picard stack and its sheaf of isomorphism classes satisfy logarithmic étale descent under the stated hypotheses (Molcho et al., 2023).

A different variant is the real-étale topology. For a scheme $K$53, the $K$54-topos of real-étale sheaves is equivalent to the $K$55-topos of sheaves of spaces on the real spectrum $K$56: $K$57 Over a base scheme $K$58, unstable real-étale motivic homotopy theory is identified with sheaves of spaces on $K$59. For pointed connected motivic spaces, real-étale localization is described by $K$60-periodization: $K$61 where $K$62 sends the non-basepoint to $K$63 (Asok et al., 26 Jan 2025).

Recent work also shows how the pro-étale topology refines classical covering-theoretic invariants. For a connected Nagata $K$64-2 scheme, the pro-étale fundamental group is computed from the étale fundamental groups of the normalizations of irreducible components together with a discrete free group factor, making singular gluing data visible in a way impossible for the profinite étale fundamental group. In the zero-dimensional singular-locus case,

$K$65

From a different angle, condensed exodromy identifies pro-étale sheaves with continuous functors out of a condensed Galois category $K$66, and extracts an étale exodromy theorem for Postnikov complete étale sheaves without qcqs hypotheses (Yu et al., 20 May 2026, Bruyn, 21 May 2026).

Across these variants, a common pattern persists: étale-like morphisms replace ordinary opens as the basic local objects, and descent, cohomology, and homotopy theory are reorganized around that replacement. In the point-set setting this yields the topology $K$67 on $K$68; in Grothendieck-topological settings it yields pro-étale, logarithmic étale, and real-étale sites. The unifying theme is that “openness” is encoded not by subsets alone but by morphisms that are locally isomorphic, Henselian, logarithmic, or semialgebraic in the appropriate sense.