Étale-Open Topology

• Étale-open topology is defined by replacing traditional open sets with étale morphisms, offering a refined framework over Zariski topology.
• In the scheme context, this topology underpins advanced constructions in cohomology and the fundamental group by mimicking local homeomorphisms.
• For rational points, the étale-open topology uses images of étale maps to induce a natural topology that reflects arithmetic and field properties.

La locution « topologie étale-ouverte » renvoie à deux usages principaux. En géométrie algébrique, elle désigne le plus souvent, de façon informelle, la topologie étale au sens de Grothendieck, où les « voisinages » de $X$ sont remplacés par des morphismes étales $U\to X$. En théorie des corps et des points rationnels, elle désigne la topologie $E_V$ sur $V(K)$ engendrée par les images étales $f(W(K))$. Ces deux usages sont reliés par la même idée directrice: les morphismes étales jouent le rôle algébrique des homéomorphismes locaux (Vos, 22 Jun 2026, Johnson et al., 2020).

1. Cadre terminologique

Les usages recensés imposent une distinction terminologique. Dans la thèse « Étale Fundamental Groups -- a geometric and topological approach to fundamental groups in algebraic geometry », la notion formelle pertinente est la topologie étale sur les schémas, et non une notion séparée appelée « étale-open topology »; la thèse précise en outre que, dans un autre contexte, le mot « étale » désigne aussi la topologie d’un espace étalé associé à un faisceau sur un espace topologique, ce qui n’est pas la même construction (Vos, 22 Jun 2026). Dans la littérature sur les corps, en revanche, « the étale-open topology » est explicitement introduite comme une topologie sur $V(K)$ ayant pour base les images de $K$-points sous des morphismes étales (Johnson et al., 2020).

Cette dualité d’usage peut être résumée ainsi.

Contexte	Objet topologique	Donnée de base
Schémas	catégorie de schémas au-dessus d’une base	familles étales conjointement surjectives
Points rationnels	ensemble $V(K)$	images $f(W(K))$ avec $f$ étale
Espaces étalés	espace total d’un faisceau	local homeomorphism $U\to X$0

Dans le cadre topologique classique, un espace étalé sur $U\to X$1 est défini comme un local homeomorphism $U\to X$2, et sa topologie est contrôlée par des sections locales $U\to X$3; ce point de vue appartient à la théorie des faisceaux et ne doit pas être confondu avec la topologie étale des schémas (Brecht, 30 Apr 2026).

2. La topologie étale sur les schémas

La motivation standard est l’insuffisance de la topologie de Zariski. La thèse citée rappelle que, si $U\to X$4 est un espace topologique irréductible, alors $U\to X$5 pour tous les faisceaux constants et tous les $U\to X$6, et elle établit en outre que every irreducible scheme is contractible in the Zariski topology; dans ce cadre, la construction usuelle du groupe fondamental sur l’espace sous-jacent de Zariski devient « useless for most purposes » (Vos, 22 Jun 2026).

La réponse de Grothendieck consiste à remplacer les ouverts ordinaires par des morphismes qui se comportent comme des isomorphismes locaux. Pour un schéma $U\to X$7, une famille

$U\to X$8

est un étale covering si chaque $U\to X$9 est étale et si

$E_V$0

Un morphisme

$E_V$1

est étale s’il est plat, localement de type fini, et si

$E_V$2

ou, de manière équivalente,

$E_V$3

Dans cette géométrie, un ouvert de Zariski $E_V$4 devient un cas particulier, puisque les immersions ouvertes sont étales; mais, en général, un « voisinage ouvert » est un morphisme étale $E_V$5, et non un sous-ensemble ouvert du sous-jacent topologique (Vos, 22 Jun 2026).

La stabilité par changement de base et par composition reflète l’analogie avec les homéomorphismes locaux. La thèse formule explicitement le dictionnaire

$E_V$6

et l’utilise pour construire la catégorie $E_V$7 des revêtements finis étales d’un schéma connexe $E_V$8. Pour un point géométrique $E_V$9, le foncteur fibre

$V(K)$0

définit

$V(K)$1

et la thèse établit l’équivalence

$V(K)$2

Sur $V(K)$3, cette construction récupère la complétion profinie du groupe fondamental analytique: $V(K)$4 La topologie étale apparaît ainsi comme le cadre local naturel pour les revêtements, la cohomologie et le groupe fondamental des schémas (Vos, 22 Jun 2026).

3. La topologie étale-ouverte sur les points rationnels

Dans un sens différent, pour un corps $V(K)$5 et une $V(K)$6-variété $V(K)$7, un sous-ensemble

$V(K)$8

est un étale image s’il existe un morphisme étale

$V(K)$9

tel que

$f(W(K))$0

Les étale images sont stables par unions finies et intersections finies; elles forment donc une base d’une topologie $f(W(K))$1 sur $f(W(K))$2, appelée étale-open topology. La famille $f(W(K))$3 est un system of topologies au sens où, pour tout morphisme $f(W(K))$4, l’application $f(W(K))$5 est continue, et où tout morphisme étale induit une application ouverte sur les $f(W(K))$6-points (Johnson et al., 2020).

Cette topologie est, plus précisément, the coarsest system of topologies that turns étale morphisms into open maps (Johnson et al., 2020). Elle raffine toujours la topologie de Zariski, et son comportement vis-à-vis des immersions fermées est celui d’une topologie de sous-espace.

Sur l’espace affine, la base admet une description explicite. Pour $f(W(K))$7, les ouverts de base sont les ensembles de la forme

$f(W(K))$8

où $f(W(K))$9, $V(K)$0 est unitaire en $V(K)$1, et où $V(K)$2 est non nulle sur le lieu $V(K)$3 (Johnson et al., 2020). Cette présentation fait apparaître la nature existentielle et jacobienne de la notion d’ouvert étale.

4. Comparaisons avec les topologies classiques et propriétés du corps

Les résultats de comparaison sont particulièrement nets.

Corps $V(K)$4	Topologie obtenue sur $V(K)$5
$V(K)$6 séparablement clos	topologie de Zariski
$V(K)$7 réel clos	topologie d’ordre / euclidienne
$V(K)$8 t-hensélien non séparablement clos	topologie t-hensélienne
$V(K)$9 hensélien valué non séparablement clos	topologie de valuation

Pour $K$0 séparablement clos, on a

$K$1

Pour $K$2 réel clos, la topologie étale-ouverte est induite par la topologie d’ordre. Plus généralement, si $K$3 est t-hensélien et non séparablement clos, le système étale-ouvert est induit par la topologie t-hensélienne; en particulier, pour un corps hensélien valué non séparablement clos, il coïncide avec la topologie de valuation (Johnson et al., 2020).

Le lien avec l’arithmétique du corps est également direct. Le théorème central sur la largesse affirme

$K$4

De plus, pour les variétés quasi-projectives,

$K$5

sur $K$6, la connexité topologique vaut exactement pour $K$7 séparablement clos ou $K$8; enfin,

$K$9

Ces correspondances permettent une application à la théorie des modèles: $V(K)$0 Le rôle de la topologie étale-ouverte est alors de convertir des propriétés géométriques des morphismes étales en contraintes topologiques sur $V(K)$1, puis en propriétés algébriques et stabilité-théoriques du corps (Johnson et al., 2020).

5. Topologies adiques, t-hensélianité généralisée et obstacles

Lorsque $V(K)$2 pour un domaine local $V(K)$3, la comparaison avec la topologie $V(K)$4-adique est particulièrement structurée. Si $V(K)$5 est hensélien, alors la topologie $V(K)$6-adique sur $V(K)$7 raffine la topologie étale-ouverte; si $V(K)$8 est régulier, alors la topologie étale-ouverte raffine la topologie $V(K)$9-adique. En conséquence, si $f(W(K))$0 est hensélien et régulier, les deux coïncident; le cas emblématique est

$f(W(K))$1

pour tout corps $f(W(K))$2 et tout $f(W(K))$3 (Johnson et al., 2021).

Cette coïncidence s’étend plus loin: si $f(W(K))$4 est un quasi-excellent henselian local domain de corps des fractions $f(W(K))$5, alors

$f(W(K))$6

Le même travail montre que, pour une topologie de corps localement bornée $f(W(K))$7, l’égalité

$f(W(K))$8

équivaut au fait que $f(W(K))$9 soit gt-henselian et qu’une image étale non vide dans $f$0 soit $f$1-bornée ouverte; la proposition clef identifie la gt-hensélianité à l’énoncé suivant: pour tout morphisme étale $f$2, l’application

$f$3

est $f$4-ouverte (Dittmann et al., 2022).

Le tableau n’est pas uniformément positif. Le même article établit que, pour un corps PAC, $f$5 n’est jamais induite par une topologie de corps. Il souligne aussi que l’abandon de la quasi-excellence produit des pathologies: refinements stricts sous extension finie, topologies henséliennes $f$6-adiques incomparables sur un même corps, et perte d’unicité de la topologie attendue (Dittmann et al., 2022). La topologie étale-ouverte sur les points rationnels n’est donc pas, en général, une simple reformulation d’une topologie de corps préexistante.

6. Variantes et extensions

La topologie étale n’épuise pas les raffinements modernes. La topologie pro-étale de Bhatt–Scholze est une topologie de Grothendieck définie à partir des morphismes weakly étale, caractérisés par la condition « flat and its diagonal is flat »; le site ainsi obtenu est adapté aux constructions infinies et possède des recouvrements par affines $f$7-contractibles (Bhatt et al., 2013). Le point de vue infinitésimal correspondant est précisé par le résultat selon lequel un morphisme est weakly étale si et seulement s’il satisfait une Henselian lifting property, analogue hensélisée du critère de relèvement formel étale (Jong et al., 2022).

Dans une direction différente, la real-étale topology sur $f$8 est définie par les familles étales qui sont conjointement surjectives sur les spectres réels; l’analogue topologique associé est le spectre réel $f$9, et l’on dispose de l’équivalence

$U\to X$00

En homotopie motivique instable, cette topologie réalise

$U\to X$01

ce qui identifie la théorie motivique real-étale à une théorie de faisceaux sur le spectre réel (Asok et al., 26 Jan 2025).

La full logarithmic étale topology sur les schémas logarithmiques fins et saturés est encore plus large: elle est engendrée par les recouvrements étales stricts, les root stacks et les logarithmic modifications; un préfaisceau est un faisceau pour cette topologie s’il est un faisceau pour la topologie logarithmique étale de Kummer et s’il satisfait la descente pour les logarithmic modifications (Molcho et al., 2023).

Enfin, dans le langage condensé, les catégories de faisceaux sur les sites étale et pro-étale peuvent être reconstruites à partir de la catégorie de Galois condensée $U\to X$02. Le théorème d’exodromie pro-étale donne

$U\to X$03

et son analogue étale identifie les faisceaux étales Postnikov-complets à des foncteurs continus vers $U\to X$04 (Bruyn, 21 May 2026). Ces développements ne redéfinissent pas la topologie étale-ouverte sur $U\to X$05, mais ils montrent que la donnée des points généralisés et de leur variation continue suffit à coder de vastes classes de faisceaux étales.

Dans l’ensemble, la topologie étale-ouverte apparaît comme un nœud terminologique entre plusieurs traditions. Sur les schémas, elle renvoie essentiellement à la topologie étale, c’est-à-dire à la localisation par morphismes étales. Sur les ensembles de points rationnels, elle fournit une topologie canonique, souvent très fine, dont les propriétés détectent la largesse, la séparabilité, la t-hensélianité ou la stabilité du corps. Les variantes pro-étale, real-étale et logarithmique montrent enfin que l’idée directrice — remplacer les ouverts ordinaires par des morphismes de type localement isomorphe — demeure un principe organisateur majeur de la géométrie algébrique contemporaine (Vos, 22 Jun 2026, Johnson et al., 2020).