Cohomologie

Cohomologie

Homologie et cohomologie

Page d'aide sur l'homonymie Pour les articles homonymes, voir Homologie.

L'homologie est une technique générale en mathématiques qui sert à mesurer l'obstruction qu'ont certaines suites de morphismes à être exactes. Elle intervient dans de nombreux domaines comme l'algèbre, la topologie algébrique, la géométrie algébrique ou la géométrie différentielle.

Sommaire

Généralités

Complexe de chaines

Un complexe de chaines est la donnée d'une suite de groupes abéliens ou plus généralement d'objets d'une catégorie abélienne Mi et d'une famille d'homomorphismes, appelés opérateurs de bord \partial_i:M_i\rightarrow M_{i-1}, telle que :  \partial_i\partial_{i+1}=0 . Les éléments de Mi s'appellent des chaines de degré i. Les éléments du noyau \ker \partial_i s'appellent des cycles. Les éléments de l'image Im\ \partial_{i+1} s'appellent des bords. Tout bord est un cycle. Les groupes d'homologie du complexe M * sont alors, par définition :  H_i(M_*,\partial_*)= \ker \partial_i / Im\ \partial_{i+1}.

Complexe de cochaines

Un complexe de cochaines est la donnée d'une suite de groupes abéliens ou plus généralement d'objets d'une catégorie abélienne Mi et d'une famille d'homomorphismes, appelés opérateurs de cobord \partial^i:M^i\rightarrow M^{i+1}, telle que :  \partial^i\partial^{i-1}=0 . Les éléments de Mi s'appellent des cochaines de degré i. Les éléments du noyau \ker \partial^i s'appellent des cocycles. Les éléments de l'image Im\ \partial^{i-1} s'appellent des cobords. Tout cobord est un cocycle. Les groupes de cohomologie du complexe M * sont alors, par définition :  H^i(M^*,\partial^*)= \ker \partial^i / Im\ \partial^{i-1}.

On remarque que si M * est un complexe de cochaines, on obtient un complexe de chaines en posant Mi = M i. Cependant les deux terminologies existent car il peut être désagréable de modifier l'indexation.

Par exemple, si (M_*,\partial _*) est un complexe de chaines de groupes abéliens, posons M^i=\mathrm{Hom}(M_i,\mathbf{Z}) et \partial^i=(\partial_i)^* (l'application transposée). Alors (M^*,\partial^*) est un complexe de cochaines.

Exemple

À tout espace topologique, on peut associer son complexe de chaines singulières et donc son homologie singulière. Du point de vue de la théorie des catégories, l'homologie peut être vue comme un foncteur de la catégorie des espaces topologiques vers la catégorie des groupes abéliens gradués.

On peut remplacer les groupes abéliens par des modules sur un anneau commutatif.

Catalogue

Chaque théorie homologique mérite à elle seule un article. La liste suivante n'est pas exhaustive.

Bibliographie

Ouvrages de mathématiques

  • William Fulton ; Algebraic Topology: A First Course, Graduate Texts in Mathematics 153, Springer-Verlag (1995), ISBN 0-387-94327-7.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Homologie et cohomologie ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Cohomologie de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Cohomologie De Dolbeault — En géométrie complexe et en géométrie différentielle, la cohomologie de Dolbeault est une généralisation aux variétés complexes de la cohomologie de De Rham. Définition du complexe de cochaines Pour un fibré vectoriel holomorphe E sur une variété …   Wikipédia en Français

  • Cohomologie de dolbeault — En géométrie complexe et en géométrie différentielle, la cohomologie de Dolbeault est une généralisation aux variétés complexes de la cohomologie de De Rham. Définition du complexe de cochaines Pour un fibré vectoriel holomorphe E sur une variété …   Wikipédia en Français

  • Cohomologie De De Rham — En 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 basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

  • Cohomologie de de rham — En 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 basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

  • Cohomologie Galoisienne — En mathématiques, la cohomologie galoisienne est l étude de l action d un groupe de Galois sur certains groupes, par des méthodes cohomologiques. Elle permet d obtenir des résultats à la fois sur le groupe de Galois agissant, et sur le groupe sur …   Wikipédia en Français

  • Cohomologie Des Groupes Profinis — La cohomologie des groupes profinis est une théorie cohomologique, reposant sur la théorie des groupes profinis. Elle consiste en un raffinement de la cohomologie des groupes classique, principalement par la prise en compte de la nature… …   Wikipédia en Français

  • Cohomologie Des Faisceaux — Les groupes de cohomologie d un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Formulation Les groupes de cohomologie d un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de… …   Wikipédia en Français

  • Cohomologie Motivique — Une cohomologie motivique est une théorie cohomologique en mathématiques dont l existence a été conjecturée pour la première fois par Alexander Grothendieck dans les années 1960. À l époque, on la concevait comme construite sur les bases des… …   Wikipédia en Français

  • Cohomologie de Dolbeault — En géométrie complexe et en géométrie différentielle, la cohomologie de Dolbeault (de) est une généralisation aux variétés complexes de la cohomologie de De Rham. Définition du complexe de cochaines Pour un fibré vectoriel holomorphe E sur… …   Wikipédia en Français

  • Cohomologie de De Rham — En 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 basée sur des propriétés algébriques des espaces de formes… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”