Une assignation de données qui associe à chaque ouvert U d'un espace topologique X un objet algébrique ou analytique (ensemble, groupe, anneau, module, etc.) muni de flèches de restriction, satisfaisant l'axiome de localité (des sections égales sur les recouvrements sont égales) et l'axiome de recollement (des sections locales compatibles se recollent de façon unique en une section globale).

Principe

Encoder les données définies localement et les règles de restriction et de recollement pour reconstituer des objets globaux à partir de morceaux locaux compatibles.

Démonstration

Le faisceau C^0_X des fonctions réelles continues sur un espace topologique X associe à chaque ouvert U l'anneau C^0(U). Le faisceau des fonctions holomorphes sur une variété complexe ou le faisceau structural O_X sur un schéma sont d'autres exemples classiques.

Mauvaise application

Traiter un préfaisceau qui n'a pas l'axiome de recollement comme s'il était un faisceau (par exemple supposer que des données algébriques localement compatibles se recollent toujours de façon unique alors que des obstructions ou des classes de cohomologie peuvent l'empêcher).

Conséquence

L'utilisation correcte des faisceaux permet d'obtenir des suites spectrales local‑à‑global, des calculs de cohomologie de faisceaux et un contrôle précis des obstructions locales à l'extension et à la descente.

Inversion

Préfaisceau : une assignation avec des flèches de restriction mais sans recollement garanti ; un préfaisceau peut échouer à refléter la cohérence globale des données locales.

Limite

Tous les préfaisceaux ne sont pas des faisceaux ; la théorie des faisceaux exclut généralement les données munies seulement de recollements « à isomorphisme » (les champs) ou les objets définis uniquement sur des voisinages formels (schémas formels) sans structures supplémentaires.

Tension sémantique

Par rapport à un fibré ou à un système local : un faisceau encode des données algébriques locales et des conditions de recollement, tandis qu'un fibré/système local impose de plus une trivialité locale et une structure géométrique ou linéaire.

Synthèse

Un faisceau est une manière formalisée d'enregistrer des données algébriques ou analytiques locales avec des flèches de restriction et une loi de recollement précise, de sorte que des sections locales compatibles déterminent une section globale unique, facilitant le raisonnement local‑à‑global.