14
$\begingroup$

I am interested in the classifying space $BG$ of a finite group $G$.

A real representation $V$ of $G$ of dimension $r$ defines a real vector bundle over $BG$ of rank $r$. If the determinant of this representation is trivial, then this bundle is orientable and a choice of orientation determines an Euler class $e(V) \in H^r(BG,\mathbb{Z})$.

Do these classes generate $H^*(BG,\mathbb{Z})$ as a ring?

This is easy to show when $G$ is abelian. In that case we need only consider $G = \mathbb{Z}_n$ and the cohomology ring is generated in degree 2 by the Euler class of the $2\pi/n$-rotation representation.

More generally, for any $G$, the map $H^1(BG,SO(2)) \to H^2(BG,\mathbb{Z})$ is an isomorphism since the latter is torsion and this is a Bockstein-type operation. We can consider the element of $H^1(BG,SO(2))$ as a homomorphism $G \to SO(2)$ giving us a 2d representation and it is easy to see from the definition of the Bockstein that the above map is the Euler class of this representation.

$\endgroup$
  • 1
    $\begingroup$ This is a great question. $\endgroup$ – Bombyx mori Feb 8 '19 at 17:13
  • $\begingroup$ @PraphullaKoushik: I am not an expert on this as well, I was reading Atiyah's paper earlier (before I heard the news of his passing). So this came naturally within the framework. $\endgroup$ – Bombyx mori Feb 9 '19 at 21:10
  • $\begingroup$ @Bombyxmori oh... ok ok.. :) $\endgroup$ – Praphulla Koushik Feb 10 '19 at 3:11
16
$\begingroup$

Let $G = \mathbb{Z}/p \times \mathbb{Z}/p$ for $p$ odd. Then $H^3(BG; \mathbb{Z}) \cong \mathbb{Z}/p$ is not in the subring generated by Euler classes, since the non-trivial irreducible representations are of rank $2$.

EDIT: The problem of determining the subring of $H^*(BG; \mathbb{Z})$ generated by all Chern classes has been much studied. You might start with Atiyah's 1961 paper.

$\endgroup$
  • $\begingroup$ Thanks! I forgot the Tor term in the Kunneth sequence. This is correct. $\endgroup$ – user404153 Feb 8 '19 at 18:52
9
$\begingroup$

Here is another short argument for why this cannot hold in general:

The cohomology of the alternating groups $H^*(A_n)$ stabilizes, and I think the first degree in which it stays nontrivial is 3 (But the precise degree doesn't matter for the argument). So there is a nontrivial element in $H^3(A_n)$ for large enough $n$.

However, since the $A_n$ are simple, the dimension of their smallest irreducible representation goes to infinity with $n$. So for large enough $n$, there simply is no $3$-dimensional representation!

If the $3$ above is indeed the correct degree, you can just get this statement from the knowledge of the discrete subgroups of $SO(3)$, since any nontrivial homomorphism $A_n\to SO(3)$ would have to be injective.

$\endgroup$
  • $\begingroup$ Thanks! Do you know a reference for the stable $H^*(A_n)$? I could only find one for $\mathbb{Z}/p$ coefficients. $\endgroup$ – user404153 Feb 9 '19 at 13:56
  • $\begingroup$ Sadly, I don't know one, but I'm not really an expert in this, so there might very well exist a good one. $\endgroup$ – Achim Krause Feb 9 '19 at 15:48
  • $\begingroup$ @user404153 This is a very special case of the result of this article of Palmer. He cites a 1978 article of Hausmann as a much earlier proof of this case. $\endgroup$ – Mike Miller Feb 10 '19 at 0:02
  • $\begingroup$ @MikeMiller Thanks, although the Palmer paper seems to prove homological stability but doesn't compute any of the groups (although does give the slope so in principle I suppose any given degree is computable?). I looked at the reference in Hausmann as well and I don't see how to tease the calculation out of what he did, even though Palmer refers to it as an "explicit calculation", lol. Cheers. $\endgroup$ – user404153 Feb 10 '19 at 8:43
2
$\begingroup$

By Venkov's proof of the Evens-Venkov theorem, if you take a faithful representation $G\rightarrow SO(m)$, then the cohomology $H^*(BG)$ is a finitely generated module for the image of $H^*(BSO(m))$. But the situation is quite different if you only allow yourself Euler classes, and allowing Euler classes of all representations doesn't help much.

There are insufficiently many such classes in general to come close to generating the whole cohomology ring.

Consider the group $G$ defined as the affine group $G=AGL(1,q)$ for $q$ a power of a prime $p$, say $q=p^n$. This is the group of all self-maps of the field $F_q$ of the form $x\mapsto ax+b$ with $a\neq 0$. This $G$ has a normal subgroup isomorphic to $(C_p)^n$ and quotient a cyclic group of order $p^n-1$. The irreducible complex representations of this group are easily computed: there are $p^n$ 1-dimensional representations and one other one of dimension $p^n-1$. The single large representation is already realized over the rationals. So the irreducible real representations are one of dimension $p^n-1$ and lots of others of dimension at most 2. The low-dimensional representations factor through the projection from $G$ onto $C_{q-1}$. So by taking Euler classes of irreducible real representations, you get a subring of $H^*(BG)$ in which only one of your generators has order divisible by $p$. The other generators have image 0 under the restriction map $H^*(BG)\rightarrow H^*(B(C_p)^n)$.

By the Evens-Venkov theorem, the cohomology of $(C_p)^n$ is a finitely-generated module for $H^*(BG)$ under this map. When $n>1$, $H^*(B(C_p)^n)$ cannot be a finitely-generated module for a subring generated by 1 element, so in this sense Euler classes do not come close to generating $H^*(BG)$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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