Faisceau (mathématiques)

En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert. En géométrie, aussi bien d'ailleurs en géométrie algébrique qu'en géométrie différentielle, la notion de faisceau est une généralisation de celle d'ensemble des sections d'un fibré vectoriel. Dans ce cadre, la base du fibré est une variété algébrique ou une variété différentielle. Les faisceaux ont été introduits par Jean Leray en topologie algébrique lorsqu'il était en captivité durant la Seconde Guerre mondiale. Sous l'impulsion, notamment, d'Henri Cartan, de Jean-Pierre Serre et d'Alexandre Grothendieck (à qui on doit le terme préfaisceau), les faisceaux ont pris par la suite une importance considérable dans de nombreux domaines des mathématiques où l'on cherche à passer, pour un problème donné, d'une solution locale à une solution globale. Les obstructions à un tel passage s'étudient grâce à la cohomologie des faisceaux. Préfaisceau (théorie des catégories) De façon équivalente, on peut définir un préfaisceau comme un foncteur contravariant de la catégorie des ouverts de X (avec les inclusions comme morphismes) dans . Les préfaisceaux les plus courants sont à valeurs dans des catégories concrètes (catégories des ensembles, groupes, anneaux, espaces vectoriels, algèbres, modules, espaces topologiques, groupes topologiques, etc.). Dans ce cas, pour tous ouverts V ⊂ U, on note : et un élément s'appelle une section de au-dessus de U. On écrit au lieu de . L'exemple fondamental de préfaisceau est celui où les morphismes de restriction sont les restrictions usuelles de fonctions.