Faisceaux et Cohomologie
Un faisceau enregistre des données définies localement et assemblées de manière cohérente, et la cohomologie des faisceaux mesure l'obstruction au passage de solutions locales à une solution globale.
Definition
Un faisceau sur un espace associe à chaque ensemble ouvert un ensemble (ou groupe, anneau, ou module) de sections compatibles sous restriction et recollement ; la cohomologie des faisceaux est la suite des foncteurs dérivés de la prise de sections globales, quantifiant l'échec des sections locales à se recoller globalement.
Scope
Ce sujet introduit les préfaisceaux et les faisceaux sur un espace topologique ou un schéma, les germes, la faisceautisation (sheafification) et les morphismes de faisceaux, avec les exemples centraux du faisceau structural, des faisceaux d'idéaux, et des faisceaux cohérents et quasi-cohérents. Il développe la cohomologie des faisceaux via les foncteurs dérivés du foncteur des sections globales et l'outil de calcul de la cohomologie de Čech, la cohomologie des faisceaux cohérents sur l'espace projectif, et des résultats fondamentaux tels que les théorèmes de finitude et d'annulation de Serre et la dualité de Serre.
Core questions
- Comment les axiomes de recollement font-ils d'un faisceau l'outil approprié pour les données locales-globales ?
- Que capturent les faisceaux cohérents et quasi-cohérents concernant la géométrie sur un schéma ?
- Pourquoi la cohomologie des faisceaux est-elle définie comme un foncteur dérivé, et comment la cohomologie de Čech la calcule-t-elle ?
- Que nous apprennent les théorèmes de finitude, d'annulation et de dualité de Serre sur la cohomologie cohérente ?
Key concepts
- Préfaisceaux, faisceaux, germes et faisceautisation
- Faisceaux cohérents et quasi-cohérents
- Cohomologie des faisceaux comme foncteur dérivé
- Cohomologie de Čech et son accord avec la cohomologie dérivée
- Finitude de Serre, annulation et dualité de Serre
Clinical relevance
La cohomologie des faisceaux est le moteur de calcul central de la géométrie algébrique, contrôlant les sections de fibrés en droites, les déformations et la théorie de l'obstruction ; la même machinerie sous-tend la cohomologie étale utilisée pour prouver les conjectures de Weil et est omniprésente en topologie et en géométrie complexe.
History
Leray a introduit les faisceaux et leur cohomologie dans les années 1940 ; le FAC de Serre (1955) a introduit la cohomologie des faisceaux cohérents en géométrie algébrique, et Grothendieck a reformulé la cohomologie comme foncteurs dérivés dans son article de Tôhoku (1957), le cadre adopté dans les traitements modernes.
Key figures
- Jean Leray
- Jean-Pierre Serre
- Alexander Grothendieck
Related topics
Seminal works
- hartshorne1977
- maclane1971
Frequently asked questions
- Quelle est la différence entre un préfaisceau et un faisceau ?
- Un préfaisceau associe des données à des ensembles ouverts avec des applications de restriction ; un faisceau exige en outre que les sections locales concordant sur les chevauchements se recollent en une section globale unique, ce qui correspond précisément à la localité nécessaire en géométrie.
- Pourquoi la cohomologie des faisceaux est-elle importante géométriquement ?
- Ses dimensions comptent les sections globales, les obstructions et les invariants tels que le genre ; l'annulation de la cohomologie supérieure est ce qui permet d'assembler globalement des données géométriques locales — par exemple, les sections d'un fibré en droites.