Equivariant differential form

In differential geometry, an equivariant differential form on a manifold M

${\displaystyle \alpha :{\mathfrak {g}}\to \Omega ^{*}(M)}$

from the Lie algebra ${\displaystyle {\mathfrak {g}}=\operatorname {Lie} (G)}$ to the space of differential forms on M that are equivariant; i.e.,

${\displaystyle \alpha (\operatorname {Ad} (g)X)=g\alpha (X).}$

In other words, an equivariant differential form is an invariant element of^[1]

${\displaystyle \mathbb {C} [{\mathfrak {g}}]\otimes \Omega ^{*}(M)=\operatorname {Sym} ({\mathfrak {g}}^{*})\otimes \Omega ^{*}(M).}$

For an equivariant differential form ${\displaystyle \alpha }$, the equivariant exterior derivative ${\displaystyle d_{\mathfrak {g}}\alpha }$ of ${\displaystyle \alpha }$ is defined by

${\displaystyle (d_{\mathfrak {g}}\alpha )(X)=d(\alpha (X))-i_{X^{\#}}(\alpha (X))}$

where d is the usual exterior derivative and ${\displaystyle i_{X^{\#}}}$ is the interior product by the fundamental vector field generated by X. It is easy to see ${\displaystyle d_{\mathfrak {g}}\circ d_{\mathfrak {g}}=0}$ (use the fact the Lie derivative of ${\displaystyle \alpha (X)}$ along ${\displaystyle X^{\#}}$ is zero) and one then puts

${\displaystyle H_{G}^{*}(X)=\ker d_{\mathfrak {g}}/\operatorname {im} d_{\mathfrak {g}},}$

which is called the

${\displaystyle d_{\mathfrak {g}}}$-closed or ${\displaystyle d_{\mathfrak {g}}}$-exact forms are called equivariantly closed or equivariantly exact.

The integral of an equivariantly closed form may be evaluated from its restriction to the fixed point by means of the localization formula.

References

• Berline, Nicole; Getzler, E.; Vergne, Michèle (2004), Heat Kernels and Dirac Operators, Springer,
  ISBN 978-3-540-20062-8

This differential geometry-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e