Cohomologie de ČechLa cohomologie de Čech est une théorie cohomologique, développée à l'origine par le mathématicien Eduard Čech en faisant jouer au nerf d'un recouvrement sur un espace topologique le rôle des simplexes en homologie simpliciale. On peut définir une cohomologie de Čech pour les faisceaux, ou plus généralement pour les objets d'un site, en particulier une catégorie de schémas munie de la topologie de Zariski.
Théorème de KünnethEn mathématiques, le théorème de Künneth est un résultat de topologie algébrique qui décrit l'homologie singulière du produit X × Y de deux espaces topologiques, en termes de groupes homologiques singuliers Hi(X, R) et Hj(Y, R). Il tient son nom du mathématicien allemand Hermann Künneth. Si R est supposé être un corps commutatif, alors le résultat est une approximation du cas général : en effet, on n'a plus besoin d'invoquer le foncteur Tor.
Roger GodementRoger Godement, né le au Havre et mort le à Villejuif dans le Val-de-Marne, est un mathématicien français, connu pour ses travaux en analyse fonctionnelle, topologie algébrique et théorie des groupes, ainsi que pour ses nombreux livres portant sur des sujets très variés à des niveaux accessibles aux étudiants des premières années d'université. Il est normalien de la rue d'Ulm (promotion 1940) et agrégé de mathématiques (1943). Sa thèse, soutenue en juillet 1946 à Paris et dirigée par Henri Cartan, a pour titre Les fonctions de type positif et la théorie des groupes.
Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
Cohomologie de De RhamEn mathématiques, la cohomologie de De Rham est un outil de topologie différentielle, c'est-à-dire adapté à l'étude des variétés différentielles. Il s'agit d'une théorie cohomologique fondée sur des propriétés algébriques des espaces de formes différentielles sur la variété. Elle porte le nom du mathématicien Georges de Rham. Le affirme que le morphisme naturel, de la cohomologie de De Rham d'une variété différentielle vers sa cohomologie singulière à coefficients réels, est bijectif.
Faisceau injectifEn mathématiques, un faisceau injectif est un d'une catégorie abélienne de faisceaux. Typiquement, dans la catégorie des faisceaux de groupes abéliens sur un espace topologique fixé, un faisceau est dit injectif lorsque, pour tout sous-faisceau d'un faisceau , tout morphisme injectif de dans se prolonge en un morphisme de dans . Autrement dit, le foncteur (contravariant) exact à gauche est exact. On en déduit immédiatement : Pour tout point de , il existe un plongement de la fibre dans un groupe abélien injectif .
Dualité de PoincaréEn mathématiques, le théorème de de Poincaré est un résultat de base sur la structure des groupes d'homologie et cohomologie des variétés, selon lequel, si M est une variété « fermée » (i.e. compacte et sans bord) orientée de dimension n, le k-ième groupe de cohomologie de M est isomorphe à son (n – k)-ième groupe d'homologie, pour tout entier naturel k ≤ n : La dualité de Poincaré a lieu quel que soit l'anneau de coefficients, dès qu'on a choisi une orientation relativement à cet anneau ; en particulier, puisque toute variété a une unique orientation mod 2, la dualité est vraie mod 2 sans hypothèse d'orientation.
Jean LerayJean Leray, né le à Chantenay-sur-Loire (Loire-Inférieure) et mort le à La Baule, est un mathématicien français qui a travaillé à la fois sur les équations aux dérivées partielles, la mécanique des fluides et sur la topologie algébrique. Il passe sa jeunesse à Nantes et à Rennes, puis fait ses études à l'École normale supérieure et devient professeur à Nancy en 1936. Il effectue ses principaux travaux en topologie entre 1940 et 1945 alors qu'il est prisonnier de guerre en Autriche.
Dualité (mathématiques)thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.
Groupe de PicardEn géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l'anneau des entiers de K n'est autre que le groupe des classes de K. Pour les courbes algébriques et les variétés abéliennes, le groupe de Picard (ou plutôt le foncteur de Picard) permet de construire respectivement la jacobienne et la variété abélienne duale.
