6
$\begingroup$

Given the fibred product of two manifolds over a base space $X\times_Y Z$ , is there an analogue of Künneth theorem that allows one to compute the cohomology of the fibred product?

$\endgroup$
  • 1
    $\begingroup$ Look up the Eilenberg--Moore spectral sequence. $\endgroup$ – Mark Grant Jul 29 '13 at 16:34
5
$\begingroup$

The Eilenberg-Moore spectral sequence can be understood as a parametrized K\"unneth theorem. There is a monograph (also a paper) by L. Smith giving this approach (Lectures on the EMSS, Springer LNM 134, 1970). Section 22.7 of http://www.math.uchicago.edu/~may/EXTHEORY/MaySig.pdf gives a new conceptual construction and a long list of relevant references.

$\endgroup$
3
$\begingroup$

There is a Künneth theorem in sheaf cohomology, which takes the form of an isomorphism between (complexes of) sheaves on $Y$. More precisely let $f : X \to Y$, $g : Z \to Y$ and $h : X \times_Y Z \to Y$, let $F$ and $G$ be sheaves on $X$ and $Z$ and denote by the same name their pullbacks to $X \times_Y Z$. Then there is an isomorphism in the derived category of $Y$ $$ Rf_\ast F \otimes^L Rg_\ast G \cong Rh_\ast (F \otimes^L G) $$ under some mild hypotheses that I'm not going to worry about (if you're forming arbitrary fibered products of manifolds then you're not worrying about precise hypotheses). So there is no Künneth theorem directly for the cohomology of $X \times_Y Z$, but if you compute the cohomology of $X \times_Y Z$ via the Leray spectral sequence for $X \times_Y Z \to Y$ then you see a Künneth formula. For details I highly recommend Dimca's book "Sheaves in topology".

$\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.