# Euler characteristic of covering space is product of degree of covering and Euler characteristic of base

From Topospaces

## Statement

Suppose and are both topological spaces, with a path-connected space, and is a covering map (surjective) having finite degree. If and both have finitely generated homology, then we have the following relation:

where:

- is the Euler characteristic (?) of .
- is the degree of the covering map , i.e., the size of any of the fibers. The fibers all have the same size because the base space is path-connected and the map is a covering map.
- is the Euler characteristic (?) of .

## Related facts

### Corollaries

- If the base space is a space with zero Euler characteristic, then the covering space (assuming finite degree covering) is also a space with zero Euler characteristic.
- If the covering space is a space with zero Euler characteristic, then the base space (assuming finite degree covering) is also a space with zero Euler characteristic.
- For a finite degree covering, the
*sign*of the Euler characteristic of the base space and covering space is the same. - Classifying space of nontrivial finite group cannot have finitely generated homology: A space with Euler characteristic one (and hence, in particular, a contractible space, weakly contractible space, or acyclic space) cannot arise as a covering space of finite degree greater than one for any other space with finitely generated homology. In particular, this implies that the classifying space of any nontrivial finite group (viewed as a discrete group)
*cannot*be a space with finitely generated homology.

## Particular cases

The Poincare polynomial of a topological space is the ordinary generating function of the Betti numbers, and evaluating this polynomial at gives the Euler characteristic.

Degree of covering | Parameter | Base space | Homology information | Poincare polynomial | Euler characteristic | Covering space | Homology information | Poincare polynomial | Euler characteristic |
---|---|---|---|---|---|---|---|---|---|

2 | Odd nonnegative integer | real projective space | link | 0 | sphere | link | 0 | ||

2 | Even nonnegative integer | real projective space | link | 1 | sphere | link | 2 | ||

2 | -- | Klein bottle | link | 0 | 2-torus | link | 0 | ||

-- | circle | link | 0 | circle (via power map in ) | link | 0 |