Théorème des coefficients universels

Le 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). Le théorème des coefficients universels, démontré pour la première fois en 1942 par Samuel Eilenberg et Saunders MacLane, est le plus généralement exprimé en termes des foncteurs Tor et Ext, sous la forme de suites exactes courtes. Avant d'énoncer le théorème dans toute sa généralité, on peut en comprendre l'origine dans un cas simple. La dualité entre chaînes et cochaînes induit un couplage pour tout complexe de chaînes . Il en découle un morphisme de groupes abéliens obtenu par curryfication, qui envoie un -cocycle vers . Le théorème des coefficients universels généralise cette construction au cas où le groupe considéré est différent de , ce qui oblige à tenir compte des groupes d'extension (en d'autre termes, le couplage n'est pas parfait). La suite suivante, formée par les groupes d'homologie et de cohomologie d'un complexe de chaînes de -modules libres à coefficients dans un groupe abélien est exacte :La suite est scindée, mais pas de manière naturelle. Le théorème et sa preuve peuvent aisément être étendus pour donner le théorème de Künneth. Dans le cas de l'homologie on a la suite exacte « symétrique » qui fait intervenir le foncteur Tor au lieu de Ext. On considère encore un complexe de chaînes de -modules libres à coefficients dans un groupe abélien , et on a :Comme dans le cas de l'homologie, cette suite est scindée de manière non naturelle.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (9)

Unités associées (1)

Concepts associés (12)

En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.

En topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité.

In algebraic topology, simplicial homology is the sequence of homology groups of a simplicial complex. It formalizes the idea of the number of holes of a given dimension in the complex. This generalizes the number of connected components (the case of dimension 0). Simplicial homology arose as a way to study topological spaces whose building blocks are n-simplices, the n-dimensional analogs of triangles. This includes a point (0-simplex), a line segment (1-simplex), a triangle (2-simplex) and a tetrahedron (3-simplex).

Cours associés (1)

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

Séances de cours associées (19)

Homologie avec coefficients MATH-323: Topology III - Homology

Couvre l'homologie avec les coefficients, introduisant le concept de définition des groupes d'homologie par rapport aux groupes abélisques arbitraires.

Théorèmes du coefficient universel MATH-323: Topology III - Homology

Se penche sur les théorèmes des coefficients universels en algèbre homologique, montrant leur application pratique dans le calcul des groupes d'homologie et de cohomologie.

Modèles acycliques: Produit de coupe et Cohomologie MATH-506: Topology IV.b - cohomology rings

Couvre le produit de la tasse sur la cohomologie, les modèles acycliques et le théorème universel des coefficients.

Cohomology in singular blocks of parabolic category O

Jonathan Gruber

We determine the dimensions of Ext -groups between simple modules and dual generalized Verma modules in singular blocks of parabolic versions of category O for complex semisimple Lie algebras and affine Kac-Moody algebras. ...

2023

Scattering Map for the Vlasov–Poisson System

Klaus Martin Widmayer

We construct (modified) scattering operators for the Vlasov–Poisson system in three dimensions, mapping small asymptotic dynamics as t→−∞ to asymptotic dynamics as t→+∞. The main novelty is the construction of modified wave operators, but we also obtain a ...

2021

An effective proof of the Cartan formula: The even prime

Anibal Maximiliano Medina Mardones

The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in F-p-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is F-2. More explicitly, for ...

2020