8
$\begingroup$

Let $G$ be a compact group (maybe non-Lie group). Let $B_{G}$ denote the classifying space of $G$. If $G$ contains a circle group $\mathbb{S}^{1}$, then I think that $H^{\ast }( B_{G};\mathbb{Q} )$ is not trivial, where $H^{\ast }$ is the cohomology algebra. I don't know how exactly to prove this.

I just know this: If $G$ is a torus and $H$ is a subtorus of $G$, then $H^{\ast }( B_{G};\mathbb{Q} ) \longrightarrow H^{\ast }( B_{H};\mathbb{Q} )$ is surjective.

$\endgroup$

1 Answer 1

12
$\begingroup$

(Edited per request to add more detail.)

Consider first the case $G = U(n)$. If $S^1 \to U(1)^n \subset U(n)$ is injective, with $H^*(BS^1) = Z[t]$, $H^*(BU(1)^n) = Z[t_1, \dots, t_n]$, $H^*(BU(n)) = Z[c_1, \dots, c_n]$, each $c_i$ mapping to the $i$-th elementary symmetric polynomial in the $t_j$, and each $t_j$ mapping to $x_j t$ for some integers $x_j$, then some $c_i$ must map to a nonzero multiple of $t^i$, because otherwise each elementary symmetric polynomial in the $x_j$ would be zero, so that $\prod_{j=1}^n (x-x_j) = x^n$ and each $x_j = 0$, contradicting that $S^1 \to U(1)^n$ is (split) injective.

The same calculation works for $G = GL_n(C)$, since $U(n) \simeq GL_n(C)$.

For any compact Hausdorff group $G$ the Peter--Weyl theorem gives a homomorphism $\rho \colon G \to GL_n(C)$ that is injective on the given subgroup $S^1 \subset G$. By the calculation above, $H^*(BGL_n(C)) \to H^*(BG) \to H^*(BS^1)$ maps some $c_i$ nontrivially, so the middle algebra cannot be trivial.

You may equally well use $Q$-coefficients everywhere.

$\endgroup$
2
  • $\begingroup$ The unitary group $U(n)$ is a subgroup of $GL_n(C)$. You say isomorphic. $\endgroup$ Commented Jun 11 at 7:01
  • 1
    $\begingroup$ @MehmetOnat The symbol $\simeq$ denotes homotopy equivalence, while $\cong$ denotes isomorphism. $\endgroup$ Commented Jun 11 at 9:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .