nLab
equivariant de Rham cohomology

Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

The equivariant cohomology-generalization of de Rham cohomology.

cohomologyBorel-equivariant cohomology
real ordinary cohomologyreal equivariant ordinary cohomology
de Rham cohomologyequivariant de Rham cohomology

Properties

Throughout we consider the following setup:

Definition

(smooth manifold with smooth action of a Lie group)

Let

  1. XX be a smooth manifold with de Rham algebra denoted (Ω (X),d dR)\big( \Omega^\bullet(X), d_{dR} \big),

  2. GG a Lie group with Lie algebra denoted (𝔤,[,])\big(\mathfrak{g}, [-,-]\big),

  3. X×GρXX \times G \overset{\rho}{\longrightarrow} X a smooth action of GG on XX.

Often this data is called a smooth GG-manifold XX, or similar.

Models

Given a smooth GG-manifold XX (Def. ) various dg-algebras are used to model the corresponding GG-equivariant de Rham cohomology XX, known as

The Weil model

Let (W(𝔤),d W)\big( W(\mathfrak{g}), d_W \big) denote the Weil algebra of 𝔤\mathfrak{g}. If {t a}\{t_a\} is a linear basis for 𝔤\mathfrak{g}

(1)𝔤=span({t a}) \mathfrak{g} \;=\; span\big( \{t_a\} \big)

with induced structure constants for the Lie bracket being {f bc a} a,b,c\big\{f_{b c}^a\big\}_{a,b,c}

(2)[t a,t b]=f ab ct bt c [t_a, t_b] \;=\; f_{a b}^c t^b \wedge t^c

(using the Einstein summation convention throughout)

then the Weil algebra is the dgc-algebra explicitly given by generators and relations as follows:

(3)W(𝔤)[{t adeg=1} a,{r adeg=2} a]/(d Wt a =12f bc at bt c+r a d Wr a =f bc at br c) W(\mathfrak{g}) \;\coloneqq\; \mathbb{R}\big[ \{ \underset { deg = 1 } { \underbrace{ t^a } } \}_a, \{ \underset { deg = 2 } { \underbrace{ r^a } } \}_a \big] \Big/ \left( \begin{aligned} d_W \, t^a & = - \tfrac{1}{2}f^a_{b c} t^b \wedge t^c + r^a \\ d_W \, r^a & = f^a_{b c} t^b \wedge r^c \end{aligned} \right)

Now consider the tensor product of dgc-algebras of the de Rham algebra of XX with the Weil algebra of 𝔤\mathfrak{g}

(4)(Ω (X)W(𝔤),d dR+d W). \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}), \, d_{dR} + d_W \Big) \,.

On this consider the following joint Cartan calculus operations: for each fKalbasis element t at_a (1) a graded derivation of degree -1 (contraction)

(5)ι a:(Ω(X)W(𝔤)) (Ω(X)W(𝔤)) 1 \iota_a \;\colon\; \Big( \Omega \big( X \big) \otimes W(\mathfrak{g}) \Big)^\bullet \longrightarrow \Big( \Omega \big( X \big) \otimes W(\mathfrak{g}) \Big)^{\bullet - 1 }

and a graded derivation of degree 0 (generalized Lie derivative)

(6) a:(Ω(X)W(𝔤)) (Ω(X)W(𝔤)) \mathcal{L}_a \;\colon\; \Big( \Omega \big( X \big) \otimes W(\mathfrak{g}) \Big)^\bullet \longrightarrow \Big( \Omega \big( X \big) \otimes W(\mathfrak{g}) \Big)^{\bullet}

defined on ωΩ (X)\omega \in \Omega^\bullet(X) any differential form and t a,r at^a, r^a as in (3) as follows

(7)ι a:{ω ι v aω t b δ b a r b 0 \iota_a \;\colon\; \left\{ \begin{aligned} \omega & \mapsto \iota_{v^a} \omega \\ t^b &\mapsto \delta^a_b \\ r^b & \mapsto 0 \end{aligned} \right.

and

(8) a:{ω v aω t b f ac bt c r b f ac br c \mathcal{L}_a \;\colon\; \left\{ \begin{aligned} \omega & \mapsto \mathcal{L}_{v^a} \omega \\ t^b &\mapsto f_{a c}^b t^c \\ r^b & \mapsto f_{a c}^b r^c \end{aligned} \right.

where

v a:X((e,t a),0)TG×TXT(G×X)dρTX v^a \;\colon\; X \overset{ \big( (e,t_a), 0 \big) }{\hookrightarrow} T G \times T X \simeq T ( G \times X ) \overset{ d \rho } {\longrightarrow} T X

is the vector field on XX which is the derivative of the action ρ\rho of GG along the Lie algebra-element t a𝔤T eGt_a \in \mathfrak{g} \simeq T_e G,

and where ι v a\iota_{v^a} is ordinary contraction of vector fields into differential forms and v a=[d dR,ιv a]\mathcal{L}_{v^a} = [d_{dR}, \iota-{v^a}] is Lie derivative of differential forms.

With this one defines the sub-chain complex of horizontal differential forms as the joint kernel of the contraction operators (5)

(9)(Ω (X)W(𝔤)) horker({ι a} a)(Ω (X)W(𝔤)) \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{hor} \overset{ ker\big( \{\iota_a\}_a \big) }{\hookrightarrow} \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)

(this subspace need not be preserved by the differential, but the following further subspace is)

and the further sub-dgc-algebra of basic differential forms, which are in addition in the kernel of the Lie derivatives (6)

(10)(Ω (X)W(𝔤)) basicker({ a} a)(Ω (X)W(𝔤)) horker({ι a} a)(Ω (X)W(𝔤)) \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{basic} \overset{ ker\big( \{\mathcal{L}_a\}_a \big) }{\hookrightarrow} \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{hor} \overset{ ker\big( \{\iota_a\}_a \big) }{\hookrightarrow} \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)

Since the differential d dR+d Wd_{dR} + d_W (4) graded-commutes with ι a\iota_a to a\mathcal{L}_a (by definition and by Cartan's magic formula) and hence graded-commutes with the Lie derivative a\mathcal{L}_a itself, it restricts to this joint kernel, thus defining a sub-dgc-algebra (just no longer semi-free, in generaL)

(11)((Ω (X)W(𝔤)) basic,d dR+d W) \Big( \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{basic} , d_{dR} + d_W \Big)

This dgc-algebra is called the Weil model for GG-equivariant de Rham cohomology of XX.

(see Atiyah-Bott 84, Mathai-Quillen 86, Sec. 5 Kalkman 93, Sec.2.1, Miettinen 96, Sec. 2).

The Cartan model

The Cartan model follows from the Weil model above by algebraically solving the horizontality constraint (9). This we discuss first below. Then we summarize state the resulting dgc-algebra further below.

Reviews include (Mathai-Quillen 86, Sec. 5, Kalkman 93, section 2.2)

Via horizontal projection of the Weil model

The Cartan model arises form the Weil model above by the observation that the first of the two constraints defining basic differential forms (10), namely the constrain for horizontal differential forms (9), may be uniformly solved:

Lemma

(projection operator onto horizontal differential forms)

Consider the normal ordered exponential of minus the sum of the contraction derivations (5) followed by wedge product with the corresponding degree-1 generator (3)

(12):exp(θ aι a):=1aθ aι a+12a,bθ aθ bι bι a:Ω (X)W(𝔤)Ω (X)W(𝔤) : \exp \big( - \theta^a \iota_a \big) : \;=\; 1 - \underset{a}{\sum} \theta^a \iota_a + \tfrac{1}{2} \underset{a,b}{\sum} \theta^a \theta^b \iota_b \iota_a - \cdots \;\;\colon\;\; \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \longrightarrow \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g})

We have:

  1. This is the projection operator onto the sub-space of horizontal differential forms (9).

  2. The restriction of this projector to Ω (X)\Omega^\bullet\big(X \big) is a graded algebra-isomorphism onto the horizontal forms in CE(𝔤)Ω (X)CE(\mathfrak{g}) \otimes \Omega^\bullet\big(X \big)

    Ω (X):exp(θ aι a):(CE(𝔤)Ω (X)) hor \Omega^\bullet\big(X \big) \underoverset{\simeq}{ :\exp\big( - \theta^a \iota_a \big): }{\longrightarrow} \big( CE(\mathfrak{g}) \otimes \Omega^\bullet(X) \big)_{hor}
  3. Hence the further tensor product with [{r a} a]\mathbb{R}\big[ \{r^a\}_a \big] is an algebra isomorphism onto the full subspace of horizontal differential forms (9)

    [{r a} a]Ω (X):exp(θ aι a):(CE(𝔤)Ω (X)) hor \mathbb{R}\big[ \{r^a\}_a \big] \otimes \Omega^\bullet\big(X \big) \underoverset{\simeq}{ :\exp\big( - \theta^a \iota_a \big): }{ \longrightarrow } \big( CE(\mathfrak{g}) \otimes \Omega^\bullet(X) \big)_{hor}
  4. The operator commutes with the Lie derivative (6) and hence restricts to an isomorphism onto the sub-dgc-algebra of basic differential forms (10)

    (13)([{r a} a]Ω (X)) G:exp(θ aι a):(CE(𝔤)Ω (X)) bas \big( \mathbb{R}\big[ \{r^a\}_a \big] \otimes \Omega^\bullet\big(X \big) \big)^G \underoverset{\simeq}{ \;\;\; :\exp\big( - \theta^a \iota_a \big): \;\;\; }{ \longrightarrow } \big( CE(\mathfrak{g}) \otimes \Omega^\bullet(X) \big)_{bas}
  5. The inverse of (13)

    (14)([{r a} a]Ω (X)) Gϵ(CE(𝔤)Ω (X)) bas \big( \mathbb{R}\big[ \{r^a\}_a \big] \otimes \Omega^\bullet\big(X \big) \big)^G \underoverset{\simeq}{ \;\;\; \epsilon \;\;\; }{ \longleftarrow } \big( CE(\mathfrak{g}) \otimes \Omega^\bullet(X) \big)_{bas}

    is the algebra homomorphism given setting all generaotors θ a\theta^a in (3) to zero

    (15)ϵ:{ω ω θ a 0 r a r a \epsilon \;\colon\; \left\{ \array{ \omega & \mapsto \omega \\ \theta^a & \mapsto 0 \\ r^a & \mapsto r^a } \right.
  6. The induced differential on the left, which hence makes :exp(θ aι a):: \exp\big( - \theta^a \iota_a\big) : a dgc-algebra-isomorphism and hence in particular a quasi-isomorphism is

    (16)ϵ(d dR+d W):exp(θ aι a):=d dR+r aι v a. \epsilon \circ \big( d_{dR} + d_W\big) \circ : \exp\big( -\theta^a \iota_a \big) : \;=\; d_{dR} + r^a \iota_{v^a} \,.

This is the Mathai-Quillen isomorphism (Mathai-Quillen 86, around (5.9)).

Proof

Observe that the operator (12) is equal to the product

:exp(θ aι a):=(idθ 1ι 1)(idθ 2ι 2)(idθ dim(𝔤)ι dim(𝔤)). : \exp \big( - \theta^a \iota_a \big) : \;=\; \big( id - \theta^1 \iota_1 \big) \big( id - \theta^2 \iota_2 \big) \cdots \big( id - \theta^{dim(\mathfrak{g})} \iota_{dim(\mathfrak{g})} \big) \,.

Here all factors commute with each other, and each factor is itself a projection operator, with image the kernel of the corresponding single contraction operator, e.g.

im(1θ 1ι 1)ker(ι 1) im \big( 1 - \theta^1 \iota_1 \big) \;\simeq\; ker\big( \iota_1\big)

etc.

Hence the joint image is the joint kernel of the contraction operators.

It is clear by inspection that ϵ\epsilon in (14) is a linear inverse to :exp(θ aι a):: \exp\big( - \theta^a \iota_a\big) :. Therefore, since ϵ\epsilon is manifestly an algebra homomorphism, so is :exp(θ aι a):: \exp\big( - \theta^a \iota_a\big) :.

This implies that the induced differential (16) is a graded derivation and hence that it may be identified by its action on generators. Direct inspection indeed yields

for all generators r ar^a

ϵ(d dR+d W):exp(θ aι a):(r a) =0 =(d dR+r aι v a)(r a) \begin{aligned} \epsilon \circ \big( d_{dR} + d_W\big) \circ : \exp\big( -\theta^a \iota_a \big) : \big( r^a \big) & = 0 \\ & = \big( d_{dR} + r^a \iota_{v^a} \big) ( r^a ) \end{aligned}

and for all differential forms ωΩ (X)\omega \in \Omega^\bullet\big( X \big):

ϵ(d dR+d W):exp(θ aι a):(ω) =ϵ(d dR+d W)(ωθ aι v aω+) =ϵ(d dRω+aθ ad dRι v aω+(r a12f bc at bt c)ι v aω+) =d dRι v a(ω)+r aι v a(ω) \begin{aligned} \epsilon \circ \big( d_{dR} + d_W\big) \circ : \exp\big( -\theta^a \iota_a \big) : \big( \omega \big) & = \epsilon \circ \big( d_{dR} + d_W\big) \big( \omega - \theta^a \iota_{v^a} \omega + \cdots \big) \\ & = \epsilon \circ \big( d_{dR} \omega + \underset{a}{\sum} \theta^a d_{dR} \iota_{v^a} \omega + \big( r^a - \tfrac{1}{2}f^a_{b c} t^b \wedge t^c \big) \iota_{v^a} \omega + \cdots \big) \\ & = d_{dR} \iota_{v^a} ( \omega) + r^a \iota_{v^a} (\omega) \end{aligned}

because ϵ\epsilon annihilates, by (15), all summands containing a θ a\theta^a-factor.

The left hand side graded algebra of the isomorphism (13) equipped with the induced differential (16) is called the Cartan model, and that isomorphism exhibits it as equivalent to the Weil model:

(17)((Ω (X)[{r a} a]) G,d dR+r aι v a) :exp(θ aι a): ((Ω (X)W(𝔤)) basic,d dR+d W) Cartan model Weil model \array{ \Big( \Big( \Omega^\bullet\big(X \big) \otimes \mathbb{R}\big[ \{r^a\}_a \big] \Big)^G \,,\, d_{dR} + r^a \iota_{v^a} \Big) & \underoverset{\simeq}{ : \exp\big( - \theta^a \iota_a \big) : }{\longrightarrow} & \Big( \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{basic} , d_{dR} + d_W \Big) \\ \text{Cartan model} && \text{Weil model} }

This statement is originally due to Cartan 50, Sec. 6.


In summary, the Cartan model is explicitly the following dgc-algebra:

Direct definition

Write

(Ω (G,𝔤 *[1]) GΩ(G,𝔤 *[1]) (\Omega^\bullet(G, \mathfrak{g}^\ast[1])^G \hookrightarrow \Omega(G, \mathfrak{g}^\ast[1])

for the GG-invariant differential forms on GG with coefficients in the linear dual of the Lie algebra 𝔤\mathfrak{g}, shifted up in degree. So for {F a}\{F^a\} a dual basis, a general element of this space in degree 2p+q2 p + q is of the form

ω=F a 1F a pω a 1,,a q, \omega \;=\; F^{a_1} \wedge \cdots F^{a_p} \wedge \omega_{a_1,\cdots ,a_q} \,,

where ω \omega_{\cdots} are differential q-forms, such that for each t a𝔤t_a \in \mathfrak{g} the Lie derivative of these forms satisfies

v aω a 1,a 2,a p=f aa 1 bω b,a 2,,a p+f aa 2 bω a 1,b,,a p+, \mathcal{L}_{v^a} \omega_{a_1, a_2 \cdots , a_p} = f_{a a_1}{}^b \omega_{b , a_2, \cdots , a_p} + f_{a a_2}^{}^b \omega_{a_1 , b, \cdots , a_p} + \cdots \,,

where {f ab b}\{f_{a b}{}^b\} are the structure constants of 𝔤\mathfrak{g} (2).

Equip this graded vector space Ω (G,𝔥 *[1]) G\Omega^\bullet(G, \mathfrak{h}^\ast[1])^G with a differential dd by

d:ωd dRωF aι v aω d \colon \omega \mapsto d_{dR}\omega - F^a \iota_{v^a} \omega

(e.g. Kalkman 93 (1.15)).

The resulting dgc-algebra (Ω (G,𝔤 *[1]) G,d)(\Omega^\bullet(G,\mathfrak{g}^\ast[1])^G, d) is the Cartan model for GG-equivariant de Rham cohomology on XX.


Equivariant de Rham theorem

The point of the above dgc-algebra models is that, under suitable conditions, their cochain cohomology computes the real cohomology of the homotopy type of the homotopy quotient XHX \sslash H, which, as an actual topological space, may be presented by the Borel construction X× GEGX \times_G E G, hence the Borel equivariant de Rham cohomology of XX.

This is the equivariant cohomology-generalization of the plain de Rham theorem:

Proposition

(equivariant de Rham theorem)

Let

  1. GG be a Lie group which is

    1. compact;

    2. connected;

  2. XX be a smooth GG-manifold (Def. ).

Then the cochain cohomology of (the cochain complex underlying) the Weil model dgc-algebra (11), and hence, by Lemma , also of the Cartan model dgc-algebra (17). is isomorphic to the real cohomology of the homotopy quotient XGX \!\sslash\! G of the action on (the topological space underlying) XX by the (topological group underlying) GG, hence in particular of the Borel construction X× GEGXGX \times_G E G \simeq X \!\sslash\! G :

Cartan model cohomology H ((Ω (X)[{r a} a]) G,d dR+r aι v a) H (:exp(θ aι a):) H ((Ω (X)W(𝔤)) basic,d dR+d W) H (XG,) Weil model cohomology equivariant real cohomology \array{ \text{Cartan model cohomology} \\ H^\bullet \Big( \Big( \Omega^\bullet\big(X \big) \otimes \mathbb{R}\big[ \{r^a\}_a \big] \Big)^G \,,\, d_{dR} + r^a \iota_{v^a} \Big) \\ {}^{\simeq} \Big\downarrow {}^{ H^\bullet\big( : \exp\big( - \theta^a \iota_a \big) : \big) } \\ H^\bullet \Big( \Big( \Omega^\bullet \big( X \big) \otimes W(\mathfrak{g}) \Big)_{basic} , d_{dR} + d_W \Big) &\underoverset{\simeq}{\;\;\;\;\;\;\;\;\;\;\;\;\;}{\longrightarrow}& H^\bullet \big( X \!\!\sslash\!\! G \,,\, \mathbb{R} \big) \\ \text{Weil model cohomology} && \mathclap{ \text{equivariant real cohomology} } }

(e.g Meinrenken 06, Theorem 6.1)

Proof idea

Recall that the product topological space X×EGX \times E G of XX with the total space EGE G of the universal principal bundle, equipped with the diagonal action by the group GG, constitutes a resolution of XX as a topological G-space, in that the projection

X×EG whepr 1X X \times E G \underoverset{\simeq_{whe}}{ \;\;\; pr_1 \;\;\; }{\longrightarrow} X

is a GG-equivariant function which is a weak homotopy equivalence (since EGE G is a weakly contractible topological space) and the diagonal GG-action on X×EGX \times E G is free (since the action on EGE G is). Therefore the homotopy quotient of XX by GG is presented by the ordinary quotient space of X×EGX \times E G by GG, which is what is called the Borel construction

X× GEG(X×EG)/G wheXG X \times_G E G \;\coloneqq\; \big( X \times E G \big)/G \;\simeq_{whe}\; X \sslash G

The point now is that the Weil model (11) for equivariant cohomology is exactly the analog of the Borel construction in terms of dgc-algebraic rational homotopy theory-type models in real cohomology:

By the ordinary de Rham theorem the image of the smooth manifold XX in dgc-algebra rational homotopy theory (with real number-coefficients) is given by the de Rham algebra Ω (X)\Omega^\bullet(X), and the image of EGE G is the Weil algebra W(𝔤)W(\mathfrak{g}): The contractability of EGE G corresponds to the free propery (here) of the Weil algebra, and the GG-action on EGE G corresponds to the canonical 𝔤\mathfrak{g}-Cartan calculus on W(𝔤)W(\mathfrak{g}).

Since for a free action the invariant forms are the basic differential forms, this shows that/how the Weil model is the image of the Borel construction in dgc-algebraic rational homotopy theory:

\,

Remark

A generalization of the equivariant de Rham theorem to non-compact Lie groups exists (Getzler 94) but this uses the simplicial de Rham complex of the action groupoid XGX \sslash G (Bott-Shulman-Stasheff 76) and is thus a fair bit more complicated, computationally.


References

The Cartan model for equivariant de Rham cohomology is originally due to

  • Henri Cartan, La transgression dans un groupe de Lie et dans un espace fibré principal, Colloque de topologie (espaces fibrés). Bruxelles, 1950

Review includes

See also

Early discussion of the Weil model includes

The slick proof of the equivalence between the Weil model and the the Cartan model via the Mathai-Quillen isomorphism (Lemma ) is due to

A review of the Weil model and the Cartan model and the introduction of the “BRST model” (Kalkman model) is in

Generalization of the equivariant de Rham theorem to non-compact Lie groups is due to

based on the simplicial de Rham complex

see also

Some related discussion for equivariant Riemannian geometry in

  • Peter Michor, Basic Differential Forms for Actions of Lie Groups, Proceedings of the American Mathematical Society Vol. 124, No. 5 (May, 1996), pp. 1633-1642 (jstor:)

Discussion in the broader context of equivariant differential cohomology is in

  • Andreas Kübel, Andreas Thom, Equivariant Differential Cohomology, Transactions of the American Mathematical Society (2018) (arXiv:1510.06392)

Discussion in the context of the gauged WZW model includes

Discussion in view of supersymmetry:

Last revised on June 28, 2019 at 10:53:47. See the history of this page for a list of all contributions to it.