6. Faisceaux cohérents et cohomologie
Les méthodes cohomologiques sont, comme dans la théorie des espaces analytiques, un des outils les plus puissants de la géométrie algébrique (cf. fonctions analytiques – Fonctions analytiques de plusieurs variables complexes et topologie - Topologie algébrique). La topologie de Zariski permet de développer une théorie de la cohomologie à valeur dans les faisceaux algébriques cohérents sur les variétés algébriques.
Considérons une variété algébrique (X, OX). On définit un faisceau de OX-modules ℱ, ou faisceau algébrique sur X, en associant à chaque ouvert U de X un OX(U)-module ℱ(U) et en se donnant, pour U ⊂ V, des opérations de restriction ℱ(V) → ℱ(U) « semi-linéaires » relativement à celles de OX. Ces données sont soumises à des axiomes (1) et (2) analogues à ceux énoncés au chapitre 3 pour les faisceaux d'anneaux. La fibre :

… pour nos abonnés, l'article se prolonge sur 18 pages…



