Cohomologie étaleLa cohomologie étale est la théorie cohomologique des faisceaux associée à la topologie étale. Elle mime le comportement habituel de la cohomologie classique sur des objets mathématiques où celle-ci n'est pas envisageable, en particulier les schémas et les espaces analytiques. La cohomologie étale a été introduite pour les schémas par Alexander Grothendieck et Michael Artin dans SGA 4 et 41⁄2, avec l'objectif de réaliser une cohomologie de Weil et ainsi résoudre les conjectures de Weil, objectif partiellement rempli, plus tard complété par Pierre Deligne avec l'introduction de la cohomologie l-adique.
Nombre de BettiEn mathématiques, et plus précisément en topologie algébrique, les nombres de Betti sont des invariants topologiques, c'est-à-dire qu'ils aident à distinguer différents espaces topologiques. Ils forment une suite dont chaque terme est un entier naturel ou +∞. Pour les espaces « raisonnables » comme les variétés compactes et les complexes simpliciaux ou CW-complexes finis, ils sont tous finis, et nuls à partir d'un certain rang (au-delà de la dimension de l'espace). Henri Poincaré les a nommés ainsi en l'honneur d'Enrico Betti.
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Cohomologie cristallineLa cohomologie cristalline est une cohomologie de Weil pour les schémas, introduite par Alexander Grothendieck en 1966 et développée par Pierre Berthelot. Elle étend le domaine d'application de la cohomologie étale en considérant les modules sur les anneaux de vecteurs de Witt sur le corps de base. Conjectures de Weil Dans l'étude des variétés différentiables compactes, la formule de Lefschetz permet de calculer le nombre de points fixes d'un morphisme de la variété dans elle-même.
Suite exacteEn mathématiques, plus particulièrement en algèbre homologique, une suite exacte est une suite (finie ou infinie) d'objets et de morphismes entre ces objets telle que l' de l'un est égale au noyau du suivant. Dans le contexte de la théorie des groupes, on dit que la suite (finie ou infinie) de groupes et de morphismes de groupes est exacte si pour tout entier naturel n on a . Dans ce qui précède, sont des groupes et des morphismes de groupes avec . Dans la suite, 0 dénote le groupe trivial, qui est l'objet nul dans la catégorie des groupes.
Splitting lemmaIn mathematics, and more specifically in homological algebra, the splitting lemma states that in any , the following statements are equivalent for a short exact sequence If any of these statements holds, the sequence is called a split exact sequence, and the sequence is said to split. In the above short exact sequence, where the sequence splits, it allows one to refine the first isomorphism theorem, which states that: C ≅ B/ker r ≅ B/q(A) (i.e.
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).
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.
Groupe abélien libreEn mathématiques, un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers (relatifs) d'éléments de B. Comme les espaces vectoriels, les groupes abéliens libres sont classifiés (à isomorphisme près) par leur rang, défini comme le cardinal d'une base, et tout sous-groupe d'un groupe abélien libre est lui-même abélien libre.
Foncteur ExtLes foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Théorème des coefficients universelsLe théorème des coefficients universels est un résultat d'algèbre homologique portant sur les groupes d'homologie et de cohomologie d'un complexe de chaînes. Ce théorème comporte deux volets : d'une part il relie entre elles homologie et cohomologie, et d'autre part il explique le lien entre la (co)homologie à coefficients dans et la (co)homologie à coefficients dans un groupe . Une utilisation courante de ce théorème est de calculer les groupes de cohomologie à coefficient dans un groupe via le calcul de la cohomologie dans , qui sont faciles à calculer (par exemple au moyen d'une décomposition cellulaire).
