La procédure qui associe à un faisceau d'ensembles (ou d'objets algébriques) sur un espace topologique X un espace topologique E muni d'une projection p:E→X qui est un homéomorphisme local — l'espace étalé — de sorte que le faisceau est isomorphe au faisceau des sections locales de p.

Principe

Un faisceau équivaut à l'assignation des germes (stalks) et de la règle de recollement ; la construction étalée assemble tous les stalks en un espace total muni de la topologie finale rendant la projection sur X un homéomorphisme local, réalisant géométriquement les axiomes du faisceau comme existence et unicité des sections locales.

Démonstration

Pour le faisceau des fonctions continues à valeurs réelles sur X, l'espace étalé est la réunion disjointe de tous les germes de fonctions en chaque point de X, muni de la topologie engendrée par les germes provenant d'une unique fonction continue sur un ouvert ; localement la projection ressemble à un produit et les sections locales retrouvent les fonctions initiales.

Mauvaise application

Confondre la construction topologique étalée avec la notion distincte de morphisme étale en géométrie algébrique sans vérifier le contexte, ou appliquer la construction à des préfaisceaux qui n'obéissent pas aux axiomes du faisceau (ainsi l'espace des germes ne reproduit pas le comportement de recollement du préfaisceau).

Conséquence

La construction d'espace étalé fournit une équivalence entre faisceaux d'ensembles sur X et espaces étalés au‑dessus de X, donnant un modèle géométrique concret des faisceaux, facilitant les arguments stalkwise et rendant les opérations sur les faisceaux (image réciproque, image directe des sections) manifestes comme des applications continues entre espaces.

Inversion

La procédure inverse reconstruit un faisceau à partir d'un homéomorphisme local en prenant, pour tout ouvert U⊂X, l'ensemble des sections continues U→E ; l'inversion souligne que toute application continue n'est pas un homéomorphisme local et que les préfaisceaux sans recollement ne sont pas représentés par des espaces étalés.

Limite

S'applique principalement aux faisceaux d'ensembles (et, avec adaptations, aux faisceaux munis de structures telles que groupes ou anneaux) sur des espaces topologiques ; l'usage du terme « étale » en géométrie algébrique pour un morphisme lisse non ramifié est apparenté dans l'esprit mais distinct dans les conditions techniques et le contexte.

Tension sémantique

Tension entre le point de vue faisceau‑comme‑foncteur et le point de vue faisceau‑comme‑espace étalé : l'un est algébrique/fonctoriel, l'autre géométrique ; confondre la construction topologique étalée avec les applications étales en géométrie des schémas peut masquer des hypothèses nécessaires.

Synthèse

La construction d'espace étalé assemble des germes en un espace total muni d'une projection homéomorphique locale vers la base de sorte que le faisceau initial est exactement le faisceau des sections locales de cette projection, fournissant une incarnation géométrique des axiomes du faisceau et un pont entre perspectives fonctorielles et spatiales.