In mathematics, equivariant cohomology (or Borel cohomology) is a cohomology theory from algebraic topology which applies to topological spaces with a group action. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space with action of a topological group is defined as the ordinary cohomology ring with coefficient ring of the homotopy quotient : If is the trivial group, this is the ordinary cohomology ring of , whereas if is contractible, it reduces to the cohomology ring of the classifying space (that is, the group cohomology of when G is finite.) If G acts freely on X, then the canonical map is a homotopy equivalence and so one gets: It is also possible to define the equivariant cohomology of with coefficients in a module A; these are abelian groups. This construction is the analogue of cohomology with local coefficients. If X is a manifold, G a compact Lie group and is the field of real numbers or the field of complex numbers (the most typical situation), then the above cohomology may be computed using the so-called Cartan model (see equivariant differential forms.) The construction should not be confused with other cohomology theories, such as Bredon cohomology or the cohomology of invariant differential forms: if G is a compact Lie group, then, by the averaging argument, any form may be made invariant; thus, cohomology of invariant differential forms does not yield new information. Koszul duality is known to hold between equivariant cohomology and ordinary cohomology. For a Lie groupoid equivariant cohomology of a smooth manifold is a special example of the groupoid cohomology of a Lie groupoid. This is because given a -space for a compact Lie group , there is an associated groupoidwhose equivariant cohomology groups can be computed using the Cartan complex which is the totalization of the de-Rham double complex of the groupoid. The terms in the Cartan complex arewhere is the symmetric algebra of the dual Lie algebra from the Lie group , and corresponds to the -invariant forms.

À 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 (17)
Concepts associés (1)
Homologie des groupes
En algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe. Pour un groupe G, on note Z[G] l'algèbre du groupe G sur l'anneau des entiers relatifs Z. Soient alors M un Z[G]-module (ce qui revient à se donner un groupe abélien M et un morphisme de G dans le groupe des automorphismes de M), et une résolution projective de M. Les groupes d'homologie de G à coefficients dans M sont définis par : De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par : où est une résolution injective de M.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.