3
$\begingroup$

Are there any general results on the (integral) cohomology of fiber bundle, where the fiber is a compact group $H$ (continuous or discrete) and the base space is the classifying space $BG$ of another compact group $G$ (continuous or discrete). Any literature references is much appreciated.

Since we have two groups $G$ and $H$. I wonder if the result can be expressed as group cohomology of the two groups.

$\endgroup$
4
  • $\begingroup$ Serre's spectral sequence? $\endgroup$ Nov 12, 2012 at 21:35
  • $\begingroup$ I wonder if the Serre's spectral sequence can be expressed in terms of group cohomology of $H$ and $G$. $\endgroup$ Nov 12, 2012 at 21:50
  • $\begingroup$ Do you have in mind a definition of group cohomology that does not involve the cohomology of the classifying space? $\endgroup$
    – S. Carnahan
    Nov 12, 2012 at 23:00
  • $\begingroup$ There is an elementary definition of group cohomology without involving the topological cohomology of the classifying space. (See Wiki en.wikipedia.org/wiki/Group_cohomology ) I stress group cohomology since we may need G-module where the group has non-trivial action. Using classifying space to define group cohomology with a non-trivial G-module, we may need the "local coefficient system" which I do not understand. This is why I prefer to state the results in terms of group cohomology. $\endgroup$ Nov 12, 2012 at 23:50

1 Answer 1

1
$\begingroup$

A typical example would be the case when $G$ is a subgroup of $H$. Then $(EH\times H)/G$ (diagonal action) is 1. homotopy equivalent to $H/G$, and 2. fibered over $BG=EH/G$ with fiber $H$. Note that this works both in the Lie case and the discrete case but in the latter case what we get is not very interesting since the fiber of our fibration is a potentially infinite discrete space.

[upd: There is one thing one can extract from this though: the $i$-th cohomology group of $G$ with coefficients in the infinite product $\Pi_{h\in H}\mathbb{Z}_{(h)}$ is $\Pi_{h G\in H/G} \mathbb{Z}_{(hG)}$ when $i=0$ and is 0 otherwise; this may be of some use when $G$, or its index in $H$, is finite.]

On the other hand, if $G$ is normal in $H$ one can go a bit further: $BH=EH/H$ is the quotient of $BG=EH/G$ by a free action of $H/G$. So, as above, we construct a fibration over $B(H/G)$ with fiber $BG$ and total space $BH$. If we now take an $H$-module $M$ (i.e., a local system on $BH$) we get the Hochschild-Serre spectral sequence

$$E_2^{pq}=H^p(H/G,H^q(G,M))\Rightarrow H^{p+q}(H,M).$$

There are lots of references where this is discussed. One could take a look e.g. at the original paper by Hochschild and Serre (Cohomology of group extensions, Transactions AMS 1953).

$\endgroup$
16
  • $\begingroup$ Let $X$ be the fiber bundle with fiber $H$ and base space $BG$. I wonder do we have: $E_2^{pq}=H_g^p(H,H_g^q(G,M))\Rightarrow H^{p+q}(X,M)$ ? $\endgroup$ Nov 13, 2012 at 0:36
  • $\begingroup$ Xiao-Gang -- there are potentially lots of fiber bundles with fiber $H$ and base $BG$. If we have one that comes from an action of $G$ on $H$, then we do have a Serre spectral sequence converging to the cohomology of the total space, which is $\sim H/G$, but its $E_2$ term looks quite different from what you describe. The Hochschild-Serre sequence has a similar (but still different) $E_2$ but converges to the cohomology of $H$. $\endgroup$
    – algori
    Nov 13, 2012 at 0:53
  • $\begingroup$ Indeed, we are considering fiber bundles with fiber $H$ and base $BG$ that comes from an action of $G$ on $H$. But $G$ may not be a subgroup of $H$. So we do not have $H/G$. $\endgroup$ Nov 13, 2012 at 2:39
  • $\begingroup$ Xiao-Gang -- re "We do not have..": yes we do, assuming the action comes from a group homomorphism $f:G\to H$, except that the action will be not free in general (and the base of the fibration will be $BIm(f)=BG/\ker(f)$). $\endgroup$
    – algori
    Nov 13, 2012 at 2:49
  • $\begingroup$ algori: Thank you for explaining, but as a physicist, I am still confused (maybe over something simple). Do you mean $H^*(X,M)=H^*(H/G,M)$? But if $G$ is not a subgroup of $H$, we cannot compute the quotient group $H/G$. But do you mean $H/Im(f)$ instead of $H/G$? If the action is trivial, do you have $H^*(X,M)=H^*(H,M)$? (which does not look right, since $X=H\times BG$ in this case). $\endgroup$ Nov 13, 2012 at 3:17

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.