CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
Cohomologie des faisceauxLes groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
Cohomologie motiviqueUne cohomologie motivique est une théorie cohomologique en mathématiques dont l'existence a été conjecturée pour la première fois par Alexandre Grothendieck dans les années 1960. À l'époque, on la concevait comme construite sur les bases des sur les cycles algébriques, en géométrie algébrique. Elle puise ses fondements en théorie des catégories, ce qui permet de déduire des conséquences à partir de ces conjectures. Grothendieck et Bombieri ont démontré la profondeur de cette approche en dérivant une des conjectures de Weil de cette façon.
Classe caractéristiqueUne classe caractéristique est un objet mathématique défini et étudié notamment en topologie algébrique et en K-théorie, afin de différencier les fibrés vectoriels. De telles classes sont aujourd'hui comprises comme des invariants cohomologiques. La notion de classe caractéristique répond à une tentative de classification. Plus précisément, si est un fibré vectoriel, une classe caractéristique de est une classe dans la cohomologie de la base qui vérifie la condition suivante, dite de compatibilité : pour toute application continue , on a où est le fibré vectoriel induit sur par .
Local cohomologyIn algebraic geometry, local cohomology is an algebraic analogue of relative cohomology. Alexander Grothendieck introduced it in seminars in Harvard in 1961 written up by , and in 1961-2 at IHES written up as SGA2 - , republished as . Given a function (more generally, a section of a quasicoherent sheaf) defined on an open subset of an algebraic variety (or scheme), local cohomology measures the obstruction to extending that function to a larger domain.
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Motif (géométrie algébrique)La théorie des motifs est un domaine de recherche mathématique qui tente d'unifier les aspects combinatoires, topologiques et arithmétiques de la géométrie algébrique. Introduite au début des années 1960 et de manière conjecturale par Alexander Grothendieck afin de mettre au jour des propriétés supposées communes à différentes théories cohomologiques, elle se trouve au cœur de nombreux problèmes ouverts en mathématiques pures. En particulier, plusieurs propriétés des courbes elliptiques semblent motiviques par nature, comme la conjecture de Birch et Swinnerton-Dyer.
Classe d'EulerEn topologie algébrique, la classe d’Euler est une classe caractéristique d'un fibré vectoriel réel orienté. Elle mesure l’obstruction à trouver une section d’un fibré qui ne s’annule pas. Cette notion trouve son origine dans la théorie de l'homologie. Soit ξ un fibré vectoriel réel orienté de rang sur une variété compacte orientée de dimension . Une section générique de ξ est transverse à la section nulle. Par conséquent, le lieu de ses zéros est une sous-variété compacte sans bord orientée de dimension -, elle possède une classe d’homologie [] qui ne dépend pas du choix de la section.
Classe de ChernEn mathématiques, les classes de Chern sont des classes caractéristiques associées aux fibrés vectoriels. Elles tiennent leur nom du mathématicien sino-américain Shiing-Shen Chern, qui les a introduites en 1946 dans le cas complexe. Les classes de Chern ont des applications importantes en mathématiques, notamment en topologie et géométrie algébriques, et en physique dans l'étude des théories de Yang-Mills et des champs quantiques. Distinguer deux fibrés vectoriels sur une variété lisse est en général un problème difficile.
