22
$\begingroup$

It has been stated in several papers that $H^{odd}(BG,\mathbb{R})=0$ for compact Lie group $G$. However, I've still not found a proof of this. I believe that the proof is as follows:

--> $G$ compact $\Rightarrow$ it has a maximal toral subgroup, say $T$

--> the inclusion $T\hookrightarrow G$ induces inclusion $H^k(BG,\mathbb{R})\hookrightarrow H^k(BT,\mathbb{R})$

--> $H^*(BT,\mathbb{R})\cong \mathbb{R}[c_1,...,c_n]$ where the $c_i$'s are Chern classes of degree $\deg(c_k)=2k$

--> Thus, any polys in $\mathbb{R}[c_1,...,c_n]$ are necessarily of even degree. Hence, $H^{odd}(BG,\mathbb{R})=0$

Is this the correct reasoning? Could someone fill in the gaps; i.e., give a formal proof of this statement?

$\endgroup$
9
  • 4
    $\begingroup$ Why is this tagged mathematical-physics? $\endgroup$ Apr 15, 2011 at 5:48
  • $\begingroup$ @Andy - perhaps it is the direction the OP is coming from... which doesn't make it right however. $\endgroup$
    – David Roberts
    Apr 15, 2011 at 6:34
  • 1
    $\begingroup$ Yes, sorry about tagging it mp. I was thinking about where this surfaces - which happened to be some papers on Chern-Simons theory. $\endgroup$
    – Kevin Wray
    Apr 15, 2011 at 6:43
  • 1
    $\begingroup$ A small correction: the third line should be $H^\ast(BT;{\Bbb R}) = {\Bbb R}[t_1,...,t_n]$, where the $t_i$'s are Chern roots, all of degree 2. Morally, the inclusion $H^\ast(BT) \hookrightarrow H^\ast(BG)$ is a manifestation of the splitting principle, i.e., "any vector bundle splits (compatibly with extra structure)", so characteristic classes can be written in terms of Chern roots. $\endgroup$ Apr 17, 2011 at 7:04
  • 1
    $\begingroup$ I think the tag "mathematical-physics" is there to attract the flavor of answer of interest to the OP (as well as, perhaps, his/her backround), viz, e.g. Figueroa-O'Farrill's answer. $\endgroup$
    – Dr Shello
    Apr 17, 2011 at 7:48

6 Answers 6

18
$\begingroup$

Here's the argument I know that avoids spectral sequences, based on the little-known space $G/N(T)$.

In between $T$ and $G$ is $N(T)$. Note that $EG$ "is an" $ET$ and $EN(T)$, since it's contractible and $T,N(T)$ act freely on it, so we can identify $BT, BN(T)$ with $EG/T, EG/N(T)$.

Now consider the two maps $EG/T \to EG/N(T) \to EG/G$, with fibers $W = N(T)/T$ and $G/N(T)$ respectively. The first case divides by a free action of $W$, so we can identify $H^\ast(BN(T);{\mathbb Q}) = H^\ast(BT; {\mathbb Q})^W$ by pushing and pulling. (Actually we only need to invert $|W|$, and generally less; for $G=U(n)$ it's true over $\mathbb Z$.) In particular, there is only even cohomology.

So let's look at the space $G/N(T) = (G/T)/W$. The space $G/T$ has a Bruhat decomposition, hence only even-degree cohomology (even over $\mathbb Z$), which you can prove via Morse theory on a generic adjoint orbit if you don't want to bring in algebraic geometry, and its Euler characteristic is $|W|$.

Hence the space $(G/T)/W$ has (rationally) only even-degree cohomology, and Euler characteristic $1$. So it has the rational cohomology of a point! For $G=SU(2)$ this space is ${\mathbb RP}^2$.

By a particularly trivial application of Leray-Hirsch (which I think is the only remainder of the spectral sequence argument Mark Grant gave), $H^\ast(EG/G; {\mathbb Q}) \cong H^\ast(EG/N(T); {\mathbb Q})$.

(Oops: I guess this answer isn't so different from Ralph's.)

$\endgroup$
3
  • $\begingroup$ Allen, I can see why push-pull gives an inclusion of $H^\ast(BN(T);{\Bbb Q})$ in $H^\ast(BT;{\Bbb Q})^W$, but why is the map surjective? Am I missing something obvious? This almost proves the general fact about finite quotients from Grothendieck's Tohoku paper, and I'd like to know the "easy" proof! $\endgroup$ Apr 17, 2011 at 5:54
  • $\begingroup$ Isn't pull-push just multiplication by $|W|$? $\endgroup$ Apr 17, 2011 at 12:40
  • 1
    $\begingroup$ I like this argument. If $p:Y \to X$ is a finite Galois covering of manifolds with group $W$, then $H^{\ast} (X) \to H^{\ast}(Y)^W$ is an isomorphism (with real coeff.). Injectivity is ''pull-push''. Surjectivity: if a form $\omega$ represents and element in $H^{\ast}(Y)^G$, then $\frac{1}{|W|} \sum_g g^{\ast} \omega$ represents the same class and is invariant. But invariant forms on $Y$ descend to forms on $X$. $BG$ and the likes are not manifolds, but one can find Hilbert manifold models, where de Rham theory works well. $\endgroup$ Apr 17, 2011 at 14:06
17
$\begingroup$

If you know a bit of Algebraic Topology (in particular the dreaded spectral sequences), the following is a nice way to see this.

The well known Hopf Theorem states that for $G$ a compact connected Lie group the real cohomology $H^*(G;\mathbb{R})\cong\wedge(y_1,\ldots , y_r)$ is an external algebra on odd dimensional generators $y_i$. This is proved using the Hopf algebra structure on $H^*(G;\mathbb{R})$. A good reference is Chapter 1 of the book Algebraic Models in Geometry by Félix, Oprea and Tanré (which I believe also discusses the approach mentioned in José's answer).

Since $BG$ is simply-connected, it is a nice exercise using the Serre spectral sequence of the universal $G$-bundle $G\to EG\to BG$ to see that $H^*(BG;\mathbb{R})\cong\mathbb{R}[x_1,\ldots x_r]$ is a polynomial algebra on even dimensional generators $x_i$.

$\endgroup$
1
  • 3
    $\begingroup$ See also McCleary's User's guide to spectral sequences, Theorem 7.30 for a result attributed to Borel: If $G$ is a topological group with $H_\ast(G;k) = \Lambda(x_1,...,x_r)$ where $deg(x_i)$ is odd for all $i$ and $k$ is a field, then $H^\ast(BG;k) = k[y_1,...,y_r]$ with $deg(y_i) = deg(x_i) + 1.$ $\endgroup$
    – Ralph
    Apr 15, 2011 at 10:33
12
$\begingroup$

For $G$ compact (and connected), $H(BG,\mathbb{R})$ is the $G$-equivariant cohomology of a point. It can be computed via infinitesimal methods and it is isomorphic to the cohomology of the Weil algebra of the Lie algebra of $G$. However there is an equivalent model computing the same cohomology, known as the Cartan model. The grading in the Cartan model is such that all cochains have even degree.

Since you tagged this "mathematical physics", I should add that the Weyl algebra is the dga generated by the connection one-form (i.e., gauge field) on the universal $G$-bundle and the point behind the Cartan model is that the only appearance of the gauge field in an equivariant cocycle is via "minimal coupling" or via the curvature. There's nothing in a point for the gauge field to couple minimally to, hence all you get are curvatures. Being 2-forms all polynomial expressions in the curvatures have even degree.

$\endgroup$
9
$\begingroup$

Recall the Chern-Weil homomorphism $Sym^{\ast} \mathfrak{g}^{\vee} \to H^{\ast}(BG; \mathbb{R})$ for each Lie group $G$. If $G$ is compact, it is an isomorphism. See Dupont, Curvature and Characteristic classes (a great book). This includes the desired statement, because the CW-homomorphism doubles the degree. Here is a sketch, taken from that book.

One step is fairly easy, namely that $H^{\ast}(BG) \to H^{\ast} (BT)$ is injective: There is a fibre bundle $f:BT \to BG$ with fibre $G/T$. Let $\chi$ be the Euler class of the vertical tangent bundle of $BT$. Then the transfer $\tau_{f}: H^{\ast}(BT) \to H^{\ast}(BG)$ is defined as $x \mapsto f_{!} (x \chi)$. It is not hard to see (exercise, use $f_{!} (f^{\ast} x \cdot y) =x f_{!} (y)$ that $\tau_f \circ f^{\ast}: H^{\ast} (BG) \to H^{\ast} (BG)$ is the multiplication by Euler number of $G/T$. It is a classical result that the Euler number of $G/T$ is the order of the Weyl group, in particular positive, in particular nonzero. Hence $f^{\ast}: H^{\ast}(BG) \to H^{\ast}(BT)$ is injective.

Moreover, the Chern-Weil homomorphism is an iso for a torus by a direct computation (which ultimately boils down to the computation $\frac{1}{2 \pi i} \int_{S^1} \frac{dz}{z}=1$).

To prove that $f^{\ast}$ is surjective on the $W$-invariants is harder. It remains to show (write down a diagram) that the restriction $Sym^{\ast} (\mathfrak{g}^{\vee}) \to Sym^{\ast} \mathfrak{t}^{W}$ is an isomorphism. This is a theorem by Chevalley and uses quite a bit of structure theory of Lie groups.

$\endgroup$
1
  • $\begingroup$ Yes, I like your argument for injectivity and this is all that I need to show $H^{odd}(BG,\mathbb{R})=0$. Thanks. $\endgroup$
    – Kevin Wray
    Apr 17, 2011 at 6:33
8
$\begingroup$

Just for completeness, here's another argument without spectral sequences via rational homotopy theory.

Recall a theorem of Hopf, which states that the rational cohomology of a path-connected H-space of finite rational cohomology type (finite dimensional rational cohomology in each degree) is a free graded commutative graded algebra (cga) $(\wedge V,0)$ (The reason is, that the cohomology has a Hopf algebra structure.) This applies to a compact lie group $G$ and implies immediately, that the rational cohomology serves as a minimal model of $G$ and since the cohomology of a compact Lie group is finite dimensional, $V$ has to be concentrated in odd degrees.

The long exact sequence of the universal fibration $G\rightarrow EG\rightarrow BG$ shows, that $\pi_i(BG)\cong\pi_{i-1}(G)$ since $EG$ is contractible. Recall that the minimal model of a space $X$ is a cdga whose underlying cga is the free cga generated by $\pi_*(X)\otimes\mathbb{Q}$ with a differential $d$, i.e. has the shape $(\wedge(\pi_*(X)\otimes\mathbb{Q}),d)$, so the minimal model of $BG$ has the shape $(\wedge(\pi_{*+1}(G)\otimes\mathbb{Q}),d)$. Since the minimal model of $G$ is concentrated in odd degrees, the one of $BG$ is concentrated in even degrees, so the differential must vanish for degree reasons and the minimal model of $BG$ is just $(\wedge(\pi_{*+1}(G)\otimes\mathbb{Q}),0)$. Since the cohomology of the minimal model of a space is the cohomology of the space, we get the claim.

$\endgroup$
7
$\begingroup$

For a reference see Hsiang's Cohomology theory of topological transformation groups (chapter III, §1). The results of the book that are relevant for your question can also be found in the following paper: Richard Gonzales, Localization in equivariant cohomology and GKM theory (cf. Remark 9, Lemma 5).

The idea is roughly as follows: Let $G$ be a compact Lie group and $G_0$ be the connecting component of the identity element. Then $BG_0 \to BG$ is a covering and $$H^\ast(BG;\mathbb{R}) = H^*(BG_0;\mathbb{R})^{\Gamma}$$ where $\Gamma = G/G_0$ is a finite group. Let $T$ be a maximal torus of $G_0$. Then one shows that $$H^\ast(BG_0;\mathbb{R}) = H^\ast(BT;\mathbb{R})^W$$ where $W$ is the Weyl group of $G_0$. Thus $H^\ast(BG;\mathbb{R})$ can be identified with a subring of $H^\ast(BT;\mathbb{R})$ that is a polynomial ring with generators of degree two. So $H^{odd}(BG;\mathbb{R}) = 0$ follows.

$\endgroup$
3
  • 1
    $\begingroup$ I added the missing asterisks: it is safer to use \ast than *. $\endgroup$ Apr 15, 2011 at 9:38
  • $\begingroup$ The reference I know for the general fact $H^\ast(X/\Gamma;{\Bbb Q}) = H^\ast(X;{\Bbb Q})^\Gamma$ (for $\Gamma$ a finite group acting freely) is Grothendieck's Tohoku paper, which of course uses a lot of spectral sequences. Grothendieck remarks that this can be proved much more easily, presumably along the lines Allen K. indicates. Does anyone know an earlier/easier reference? (Cf. the answer here: mathoverflow.net/questions/18898/… ) $\endgroup$ Apr 17, 2011 at 5:47
  • 5
    $\begingroup$ @ Dave Anderson: The isomorphism $ H^\ast(X/\Gamma;{\Bbb Q}) = H^\ast(X;{\Bbb Q})^\Gamma $ is a simple application of the transfer homomorphism. For a textbook proof see my algebraic topology book, Proposition 3G.1, page 321. $\endgroup$ Apr 17, 2011 at 14:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.