cohomology of compact connected Lie groups
\PMlinkescapephrase
properties \PMlinkescapephrasestructure \PMlinkescapephrasetype \PMlinkescapephrasesingular \PMlinkescapephrasetheory \PMlinkescapephraseproposition \PMlinkescapephrasecompact \PMlinkescapephraseconnected \PMlinkescapephrasecohomology^{} \PMlinkescapephrasecomplex \PMlinkescapephraseright \PMlinkescapephraseinvariant \PMlinkescapephrasetangent space \PMlinkescapephraseadjoint^{} \PMlinkescapephrasealternating^{}
This entry aims to describe some properties of the cohomology (http://planetmath.org/DeRhamCohomology) of compact (http://planetmath.org/Compact) connected (http://planetmath.org/ConnectedSpace) Lie groups^{}. It turns out that this type of Lie groups admit a somewhat simplified cohomology theory, compared with singular cohomology or de Rham cohomology^{}. This simplified theory then allows one to observe some of the imposed on the structure of the cohomology groups^{} of compact connected Lie groups.
The construction and results presented in the entry on invariant differential forms are assumed and will be the of what we are about to describe.
1 Cohomology of invariant forms
Let $G$ be a compact connected Lie group. Given a differential manifold $M$ and smooth action of $G$ in $M$, let ${\mathrm{\Omega}}_{G}^{k}(M)$ denote the space of the $k$invariant differential forms (http://planetmath.org/InvariantDifferentialForm) in $M$. It is known (see this entry (http://planetmath.org/InvariantDifferentialForm)) that ${\mathrm{\Omega}}_{G}^{*}(M)$ forms a chain complex^{} and the cohomology groups of this complex are isomorphic to the cohomology groups of $M$, i.e.
$${H}^{k}({\mathrm{\Omega}}_{G}(M))\cong {H}^{k}(M;\mathbb{R})$$ 
We now regard the manifold $M$ as a compact connected Lie group $G$. There are several smooth actions on $G$ that are worth to be considered, such as:

•
The action of $G$ on itself by left multiplication.

•
The action of $G$ on itself by right multiplication.

•
The action of $G$ on itself by conjugation.

•
The action of $G\times G$ on $G$ given by $(g,h)\cdot k:=gk{h}^{1}$
Thus, by the previous remark, the cohomology of a compact connected Lie group $G$ restricts to the cohomology of left invariant forms, right invariant forms, adjoint invariant forms or biinvariant forms (http://planetmath.org/InvariantDifferentialForm). Moreover, the cohomology of $G$ is the cohomology of differential forms^{} invariant under any smooth action of any compact connect Lie group on $G$ .
1.1 Left invariant forms
Since left invariant forms are uniquely determined by their values in ${T}_{e}G$, the tangent space (http://planetmath.org/TangentSpace) at the identity, they allow a simpler characterization of the cohomology of compact connected Lie groups.
$$
Proposition  Let $G$ be a compact connected Lie group and ${T}_{e}{G}^{*}$ the chain complex of alternating forms on ${T}_{e}G$ with coboundary operator $d$ given by
$$ 
Then, the cohomology groups of ${H}^{k}(G,\mathbb{R})$ are isomorphic to the cohomology groups ${H}^{k}({T}_{e}{G}^{*})$ of the complex ${T}_{e}{G}^{*}$.
$$
1.2 Biinvariant forms
Two sided invariance is just the same as left invariance adjoint invariance. Hence, every biinvariant form can be seen as an alternating form on ${T}_{e}G$ wich is also adjoint invariant. Thus, just like the previous proposition, the cohomology groups of $G$ are just the cohomology groups of the complex ${T}_{e}{G}_{ad}^{*}$ of adjoint invariant alternating forms on ${T}_{e}G$, with coboundary operator
$$ 
This can be further improved. The following important theorem will be the key to more specific results.
$$
Theorem 1  Let $G$ be a compact connected Lie group. Let $\omega $ be a multilinear^{} $k$form on ${T}_{e}$. Then $\omega $ is adjoint invariant if and only if the following equality holds:
$$\sum _{i=1}^{k}\omega ({X}_{1},\mathrm{\dots},{X}_{i1},[Y,{X}_{i}],{X}_{i+1},\mathrm{\dots},{X}_{k})=0\mathit{\hspace{1em}\hspace{1em}}\text{for all}Y,{X}_{1},\mathrm{\dots},{X}_{k}\in {T}_{e}G$$ 
$$
Proposition  Every adjoint invariant alternating form on ${T}_{e}G$ is closed (http://planetmath.org/ClosedDifferentialForm).
Proof: Let ${\alpha}_{i,i}=0$, ${\alpha}_{i,j}={(1)}^{j}$ if $$ and ${\alpha}_{i,j}={(1)}^{j+1}$ if $i>j$. Then
$d\omega ({X}_{0},\mathrm{\dots},{X}_{k})$  $=$  $\frac{1}{2}}{\displaystyle \sum _{i\ne j}}{(1)}^{i}{\alpha}_{i,j}\omega ([{X}_{i},{X}_{j}],{X}_{0},\mathrm{\dots},\widehat{{X}_{i}},\mathrm{\dots},\widehat{{X}_{j}},\mathrm{\dots},{X}_{k})$  
$=$  $\frac{1}{2}}{\displaystyle \sum _{i}}{(1)}^{i}{\displaystyle \sum _{j}}{\alpha}_{i,j}\omega ([{X}_{i},{X}_{j}],{X}_{0},\mathrm{\dots},\widehat{{X}_{i}},\mathrm{\dots},\widehat{{X}_{j}},\mathrm{\dots},{X}_{k})$  
$=$  $0$ 
where the sum is zero by Theorem 1. $\mathrm{\square}$
$$
Corollary 1  Let $G$ be a compact connected Lie group. The cohomology groups ${H}^{k}(G;\mathbb{R})$ are isomorphic to the vector space^{} of adjoint invariant alternating $k$forms on ${T}_{e}G$.
$$
2 Relations between cohomology groups
Let $G$ be a compact connected Lie group. In the proofs of the following results we are always using the fact stated in Corollary 1, that ${H}^{k}(G;\mathbb{R})$ is exactly the space of adjoint invariant alternating $k$forms on ${T}_{e}G$. Let $[{T}_{e}G,{T}_{e}G]$ denote the subspace^{} (http://planetmath.org/VectorSubspace) of ${T}_{e}G$ generated by elements of the form $[X,Y]$, with $X,Y\in {T}_{e}G$.
$$
Proposition  $[{T}_{e}G,{T}_{e}G]={T}_{e}G\u27fa{H}^{1}(G;\mathbb{R})=0$
Proof: It follows easily form the fact that adjoint invariant alternating $1$forms on ${T}_{e}G$ are precisely those who satisfy $\omega ([X,Y])=0$ for all $X,Y\in {T}_{e}G$ (Theorem 1). $\mathrm{\square}$
$$
Corollary  ${H}^{1}(G;\mathbb{R})=0\u27f9{H}^{2}(G;\mathbb{R})=0$
Proof: Let $\omega $ be an adjoint invariant $2$form on ${T}_{e}G$. We have that
$0=d\omega (X,Y,Z)$  $=$  $\omega ([X,Y],Z)+\omega ([X,Z],Y)\omega ([Y,Z],X)$  
$=$  $\omega ([X,Y],Z)\left(\omega ([Z,X],Y)+\omega (X,[Z,Y])\right)$  
$=$  $\omega ([X,Y],Z)$ 
where the last step comes from Theorem 1. Now, as $[{T}_{e}G,{T}_{e}G]={T}_{e}G$ by the previous Proposition, $\omega =0$. $\mathrm{\square}$
$$
Let $Sy{m}^{2}$ be the space of adjoint invariant symmetric bilinear forms^{} on ${T}_{e}G$ and ${T}_{e}{G}_{a}{d}^{k}$ the space of adjoint invariant alternating $k$forms on ${T}_{e}G$.
$$
Theorem 2  Suppose ${H}^{1}(G;\mathbb{R})=0$. The function^{} $\mathrm{\Phi}:Sy{m}^{2}\u27f6{T}_{e}{G}^{3}$ defined by
$$\mathrm{\Phi}(\eta )(X,Y,Z):=\eta ([X,Y],Z),X,Y,Z\in {T}_{e}G$$ 
is well defined and bijective.
$$
One can always assure the existence of nonzero adjoint invariant symmetric bilinear forms on ${T}_{e}G$. This can be achieved by taking an inner product $\u27e8\cdot ,\cdot \u27e9$ on ${T}_{e}G$ and defining, for $X,Y\in {T}_{e}G$,
$$\eta (X,Y):=\frac{1}{\mu (G)}{\int}_{G}\u27e8{({C}_{g})}_{*}X,{({C}_{g})}_{*}Y\u27e9\mathit{d}\mu (g)$$ 
where $\mu $ is the Haar measure of $G$ and ${C}_{g}$ is the function of conjugation by $g\in G$. Hence we can conclude that
$$
Corollary  Suppose $G$ is nontrivial. Then ${H}^{1}(G;\mathbb{R})=0\u27f9{H}^{3}(G;\mathbb{R})\ne 0$
Title  cohomology of compact connected Lie groups 

Canonical name  CohomologyOfCompactConnectedLieGroups 
Date of creation  20130322 17:49:47 
Last modified on  20130322 17:49:47 
Owner  asteroid (17536) 
Last modified by  asteroid (17536) 
Numerical id  10 
Author  asteroid (17536) 
Entry type  Feature 
Classification  msc 57T10 
Classification  msc 58A12 
Classification  msc 55N99 
Classification  msc 22E15 
Related topic  InvariantDifferentialForm 