Un modèle topologique d'un faisceau donné par un espace E muni d'une projection p : E → X qui est un homéomorphisme local ; les points de E représentent des germes de sections et les sections continues de p au‑dessus d'un ouvert U correspondent aux éléments du faisceau associé sur U.

Principe

Réaliser un faisceau de manière concrète comme espace total des germes, de sorte que les homéomorphismes locaux codent les opérations de restriction et de recollement par la topologie de la projection.

Démonstration

Pour le faisceau des fonctions continues sur X, son espace étalé a pour points les couples (x, germe de f en x) ; la projection envoie (x, germe) sur x et les sections locales correspondent aux fonctions continues sur des voisinages.

Mauvaise application

Supposer que la construction de l'espace étalé préserve des structures algébriques supplémentaires sans vérification (par exemple, attendre qu'une structure d'anneau sur les points du total donne une variété algébrique alors qu'il s'agit d'un modèle purement topologique).

Conséquence

L'espace étalé fournit un objet géométrique concret représentant le faisceau, rendant les questions sur les sections et les stalks topologiques et permettant des constructions explicites et une intuition sur le recollement.

Inversion

Faisceau comme foncteur abstrait : perception d'un faisceau comme assignation de données aux ouverts sans espace total choisi ; l'espace étalé inverse cette abstraction en produisant un espace de germes.

Limite

La construction s'applique aux faisceaux d'ensembles ou d'objets algébriques ayant une structure sous‑jacente d'ensemble et une topologie induite par les germes ; elle ne produit pas automatiquement des schémas ou des espaces algébriques sans structure supplémentaire.

Tension sémantique

Par rapport aux stalks ou à la description par préfaisceaux : les espaces étalés mettent l'accent sur un espace total topologique de germes, tandis que les stalks et les préfaisceaux se concentrent sur des descriptions algébriques en chaque point ou sur des ouverts.

Synthèse

L'espace étalé réalise un faisceau comme un espace topologique de germes muni d'une projection homéomorphe locale sur la base, convertissant les opérations de restriction et de recollement du faisceau en propriétés géométriques de la projection.