14
$\begingroup$

Let $E\to B$ be a fibration with fiber F, and assume for simplicity that B is connected. Suppose moreover that B and F have Euler characteristics (perhaps they are manifolds). Then often, one can conclude that E has an Euler characteristic as well, and that

$$ \chi(E) = \chi(B)\cdot \chi(F). $$

The only proof of this that I have been able to find uses a spectral sequence argument, and requires that $\pi_1(B)$ act trivially on the homology of F, so that the homology in the spectral sequence can be taken with constant coefficients. This condition is sometimes referred to as orientability of the fibration (with respect to the homology theory, normally rational homology).

Is the result known to be true any more generally than this? Is there any other known proof? Are there any examples where it is known to be false?

$\endgroup$

3 Answers 3

17
$\begingroup$

Assume for simplicity that $B,F$ are finite CW-complexes and let $p:E\to B$ be the bundle projection.

Suppose $B$ is obtained from a CW-complex $B'$ by attaching an $n$-cell. Suppose $\chi(B')\chi(F)=\chi (E')$ with $E'=p^{-1}(B')$. Then $H^*(E,E')\cong \tilde H(E/E')\cong H^*(D^n\times F,S^{n-1}\times F)$ [upd: some more details: $E/E'$ is the one point compactification of $p^{-1}(B\setminus B')$; now $B\setminus B'$ is an $n$-disk and so $p^{-1}(B\setminus B')\cong (D^n\setminus S^{n-1})\times F$, so the one point compactification of $p^{-1}(B\setminus B')$ is $(D^n\times F)/(S^{n-1}\times F)$. Now using excision and homotopy we see that $\tilde H^*(E/E')\cong H^*(D^n\times F,S^{n-1}\times F)$.]

So $\chi(E,E')=(-1)^n\chi(F)$. So by induction on the number of cells we get $\chi(E)=\chi(B)\chi(F)$. No assumptions on the action of $\pi_1(B)$ are necessary.

$\endgroup$
11
  • $\begingroup$ Nice argument. If only you could do the same for signature :( $\endgroup$
    – Igor Rivin
    Nov 7, 2011 at 20:07
  • 1
    $\begingroup$ It looks like algori is assuming you have a locally trivial bundle, rather than a fibration (although the argument works also). A slight variant is to use $Z/2$ coefficients:, then when the image of $\pi_1(B)\to Aut(H_*(F;Z/2))$ is finite (eg if $F$ a finite complex), pull back the fibration to the corresponding finite cover of $B$, where the action is now trivial so e.g. the spectral sequence argument applies. Then a simple version of algori's argument shows that $\chi$ is multiplicative under finite coverings, and so divide $\chi(B)$ and $\chi(E)$ by this degree. $\endgroup$
    – Paul
    Nov 8, 2011 at 17:00
  • 1
    $\begingroup$ Paul -- that's what algori was assuming, yes. Nice trick, by the way. $\endgroup$
    – algori
    Nov 8, 2011 at 18:13
  • 1
    $\begingroup$ Only the CW structure on the base B is used in the argument. (Plus an assumption that the spaces E, E' etc are sufficiently nice to switch from relative cohomology to reduced cohomology of the quotient, and to apply excision, and that F has a Euler characteristic). The CW structure of F and/or E is not used. $\endgroup$ Mar 29, 2018 at 14:05
  • 1
    $\begingroup$ For a general fibration the argument is almost identical, with one additional wrinkle. When you restrict the fibration to the n-cell, it is not necessarily a product $D^n \times F$. But it is homotopy equivalent to such a product. So now we don't have an isomorphism but just a homotopy equivalence $p^{-1}(B/B') \simeq (D^n /S^{n-1}) \times F$. In cohomology though, we still get an isomorphism, so the argument precedes as before. $\endgroup$ Mar 29, 2018 at 14:09
7
$\begingroup$

Since this question seems to be attracting some renewed interest, I may as well point out that a few years after I asked it, Kate Ponto and I proved a generalization of this formula by purely homotopical/categorical methods, which applies to any fibration and yields a result about the Lefschetz number and even the Reidemeister trace. The paper is here.

$\endgroup$
1
$\begingroup$

Let $B$ be a finite simplicial complex. Let us consider its dual cell-decomposition. The preimage of each cell has Euler characteristic equal to that of $F.$ Now use the usual combinatorial formula for the Euler characteristic of the union of finitly many sets, $\chi(A_1 \cup \dots \cup A_k)$, taking for $A_i$, the preimage of the dual cell of the $i$-th vertex of $B$. We obtain the required equality.

$\endgroup$

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.