La théorie des faisceaux : un faisceau attribue des données algébriques ou catégoriques aux ouverts d'un espace topologique (ou aux objets d'un site), munies d'applications de restriction vérifiant les axiomes de localité et de recollement, et étudie les conséquences globales par des constructions dérivées telles que la cohomologie des faisceaux.

Principe

Du local vers le global : encoder les sections locales et leurs restrictions et recollements de sorte que les obstructions à l'existence ou à l'unicité globales soient mesurées par des foncteurs dérivés cohomologiques ; l'exactitude et la flabbitude gouvernent la calculabilité.

Démonstration

Le faisceau des fonctions continues réelles sur une variété attribue à chaque ouvert l'anneau des fonctions continues ; des sections sur un recouvrement qui coïncident sur les recouvrements se recollent en une section globale, tandis qu'un H^1 non trivial pour le faisceau des trivialisations locales signale une obstruction à la construction d'un objet global comme un fibré en droites.

Mauvaise application

Considérer indifféremment un préfaisceau comme un faisceau sans vérifier la condition de recollement, ou supposer que la cohomologie des faisceaux coïncide avec la cohomologie singulière pour des coefficients ou des espaces quelconques, ce qui conduit à des conclusions erronées sur les obstructions.

Conséquence

La théorie des faisceaux organise les données locales, offre un langage souple pour les structures algébriques et analytiques cohérentes, et fournit des obstructions et invariants de classification calculables (par ex. fibrés en droites, classes d'extension) via la cohomologie.

Inversion

Un cosheaf inverse la variance et la perspective de recollement (somme amalgamée au lieu d'intersections), mettant l'accent sur la façon dont les contributions locales s'assemblent vers l'avant plutôt que sur la façon dont l'objet global se restreint localement ; certains problèmes sont mieux modélisés par des cosheaves.

Limite

S'applique aux espaces topologiques et, plus généralement, aux sites et aux topos ; exclut les invariants qui ne peuvent être exprimés en termes de sections locales et de restrictions et les situations où il n'existe pas de théorie de recouvrement/recollement pertinente.

Tension sémantique

Tension entre préfaisceau et faisceau : le préfaisceau enregistre des assignations locales mais peut échouer à recoller ; tension aussi entre faisceaux et fibrés car un fibré localement trivial détermine un faisceau de sections mais la réciproque demande une structure supplémentaire.

Synthèse

La théorie des faisceaux formalise la localité et le recollement : en encodant comment les données locales se restreignent et se combinent, puis en utilisant des foncteurs dérivés, on obtient des invariants cohomologiques qui mesurent précisément les obstructions au passage des solutions locales aux objets globaux.