---
title: Étale-Open Topology
url: https://www.emergentmind.com/topics/etale-open-topology
type: topic
---

# Étale-Open Topology

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 [2606.23906] [2009.02319].

## 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 [2606.23906]. 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 [2009.02319].

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 \(p:X\to Y\) |

Dans le cadre topologique classique, un espace étalé sur \(Y\) est défini comme un **local homeomorphism** \(p:X\to Y\), et sa topologie est contrôlée par des sections locales \(s_n:V_n\to U_n\); ce point de vue appartient à la théorie des faisceaux et ne doit pas être confondu avec la topologie étale des schémas [2604.27466].

## 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 \(X\) est un espace topologique irréductible, alors \(H^r(X,\mathcal F)=0\) pour tous les faisceaux constants et tous les \(r>0\), 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 » [2606.23906].

La réponse de Grothendieck consiste à remplacer les ouverts ordinaires par des morphismes qui se comportent comme des isomorphismes locaux. Pour un schéma \(X\), une famille
\[
\{f_i:X_i\to X\}_{i\in I}
\]
est un **étale covering** si chaque \(f_i\) est étale et si
\[
X=\bigcup_i f_i(X_i).
\]
Un morphisme
\[
f:X\to Y
\]
est **étale** s’il est plat, localement de type fini, et si
\[
\Omega_{X/Y}=0,
\]
ou, de manière équivalente,
\[
f \text{ est étale } \iff f \text{ est plat et non ramifié.}
\]
Dans cette géométrie, un ouvert de Zariski \(U\hookrightarrow X\) devient un cas particulier, puisque les immersions ouvertes sont étales; mais, en général, un « voisinage ouvert » est un morphisme étale \(U\to X\), et non un sous-ensemble ouvert du sous-jacent topologique [2606.23906].

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
\[
\text{Local Isomorphism} \longleftrightarrow \text{Étale morphisms},
\]
et l’utilise pour construire la catégorie \(\Fet_S\) des revêtements finis étales d’un schéma connexe \(S\). Pour un point géométrique \(\bar s\), le foncteur fibre
\[
\Fib_{\bar s}:\Fet_S\to \mathbf{FSet}
\]
définit
\[
\pi_1^e(S,\bar s):=\Aut(\Fib_{\bar s}),
\]
et la thèse établit l’équivalence
\[
\Fet_S \simeq \{\text{finite } \pi_1^e(S,\bar s)\text{-sets with continuous action}\}.
\]
Sur \(\mathbb C\), cette construction récupère la complétion profinie du groupe fondamental analytique:
\[
\pi_1^{\acute et}(X,\bar x)\cong \widehat{\pi_1(X^{an},x')}.
\]
La topologie étale apparaît ainsi comme le cadre local naturel pour les revêtements, la cohomologie et le groupe fondamental des schémas [2606.23906].

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

Dans un sens différent, pour un corps \(K\) et une \(K\)-variété \(V\), un sous-ensemble
\[
U\subseteq V(K)
\]
est un **étale image** s’il existe un morphisme étale
\[
f:W\to V
\]
tel que
\[
U=f(W(K)).
\]
Les étale images sont stables par unions finies et intersections finies; elles forment donc une base d’une topologie \(E_V\) sur \(V(K)\), appelée **étale-open topology**. La famille \(E_K=\{E_V\}\) est un **system of topologies** au sens où, pour tout morphisme \(V\to W\), l’application \(V(K)\to W(K)\) est continue, et où tout morphisme étale induit une application ouverte sur les \(K\)-points [2009.02319].

Cette topologie est, plus précisément, **the coarsest system of topologies that turns étale morphisms into open maps** [2009.02319]. 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 \(V=\mathbb A^n\), les ouverts de base sont les ensembles de la forme
\[
\left\{\alpha\in K^n:\exists \beta\in K\ [\,f(\alpha,\beta)=0\neq g(\alpha,\beta)\,]\right\},
\]
où \(f,g\in K[x_1,\dots,x_n,y]\), \(f\) est unitaire en \(y\), et où \(\partial f/\partial y\) est non nulle sur le lieu \(f=0\neq g\) [2009.02319]. 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 \(K\) | Topologie obtenue sur \(V(K)\) |
|---|---|
| \(K\) séparablement clos | topologie de Zariski |
| \(K\) réel clos | topologie d’ordre / euclidienne |
| \(K\) t-hensélien non séparablement clos | topologie t-hensélienne |
| \(K\) hensélien valué non séparablement clos | topologie de valuation |

Pour \(K\) séparablement clos, on a
\[
E_V=\text{Zariski topology on }V(K).
\]
Pour \(K\) réel clos, la topologie étale-ouverte est induite par la topologie d’ordre. Plus généralement, si \(K\) 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 [2009.02319].

Le lien avec l’arithmétique du corps est également direct. Le théorème central sur la largesse affirme
\[
\text{the étale-open topology on } \mathbb A^1(K) \text{ is non-discrete } \iff K \text{ is large.}
\]
De plus, pour les variétés quasi-projectives,
\[
K\text{ is not separably closed} \iff E_K \text{ is Hausdorff;}
\]
sur \(\mathbb A^1(K)\), la connexité topologique vaut exactement pour \(K\) séparablement clos ou \(K\cong \mathbb R\); enfin,
\[
(A^1(K),E_K)\text{ is locally compact Hausdorff} \iff K\text{ is a local field other than }\mathbb C.
\]
Ces correspondances permettent une application à la théorie des modèles:
\[
\text{If }K\text{ is large and stable, then }K\text{ is separably closed.}
\]
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 \(K\), puis en propriétés algébriques et stabilité-théoriques du corps [2009.02319].

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

Lorsque \(K=\operatorname{Frac}(R)\) pour un domaine local \(R\), la comparaison avec la topologie \(R\)-adique est particulièrement structurée. Si \(R\) est hensélien, alors la topologie \(R\)-adique sur \(V(K)\) raffine la topologie étale-ouverte; si \(R\) est régulier, alors la topologie étale-ouverte raffine la topologie \(R\)-adique. En conséquence, si \(R\) est hensélien et régulier, les deux coïncident; le cas emblématique est
\[
E_{\,L((t_1,\dots,t_n))}=\text{\(L[[t_1,\dots,t_n]]\)-adic topology}
\]
pour tout corps \(L\) et tout \(n\ge 1\) [2108.01868].

Cette coïncidence s’étend plus loin: si \(R\subsetneq K\) est un **quasi-excellent henselian local domain** de corps des fractions \(K\), alors
\[
\mathcal E_K=\text{\(R\)-adic topology}.
\]
Le même travail montre que, pour une topologie de corps localement bornée \(\tau\), l’égalité
\[
\mathcal E_K=\tau
\]
équivaut au fait que \(\tau\) soit **gt-henselian** et qu’une image étale non vide dans \(K\) soit \(\tau\)-bornée ouverte; la proposition clef identifie la gt-hensélianité à l’énoncé suivant: pour tout morphisme étale \(V\to W\), l’application
\[
V(K)\to W(K)
\]
est \(\tau\)-ouverte [2208.02398].

Le tableau n’est pas uniformément positif. Le même article établit que, pour un corps PAC, \(\mathcal E_K\) 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 \(R\)-adiques incomparables sur un même corps, et perte d’unicité de la topologie attendue [2208.02398]. 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 \(w\)-contractibles [1309.1198]. 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 [2202.05875].

Dans une direction différente, la **real-étale topology** sur \(Et(X)\) 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 \(RX\), et l’on dispose de l’équivalence
\[
Shv(RX)\simeq Shv(X_r).
\]
En homotopie motivique instable, cette topologie réalise
\[
Spc_r(S)\simeq Shv(RS),
\]
ce qui identifie la théorie motivique real-étale à une théorie de faisceaux sur le spectre réel [2501.15651].

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 [2311.05172].

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 \(Gal(X)\). Le théorème d’exodromie pro-étale donne
\[
\Sh^\wedge(X_{\proet},\mathscr E)\xrightarrow{\sim}\Fun(Gal(X),Cond(\mathscr E)),
\]
et son analogue étale identifie les faisceaux étales Postnikov-complets à des foncteurs continus vers \(S\mapsto \Sh(S,\mathscr E)\) [2605.22499]. Ces développements ne redéfinissent pas la topologie étale-ouverte sur \(V(K)\), 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 [2606.23906] [2009.02319].

Source: https://www.emergentmind.com/topics/etale-open-topology