If $G$ is a finite nontrivial group, then $K(G, 1)$ cannot be a finite CW-complex?

Question

I am currently working on this algebraic topology problem and got stuck:

Suppose $X$ is a finite CW complex with $\pi_1(X)$ a nontrivial finite group. Show that its universal cover $\widetilde{X}$ is not contractible. (Hint: Use Lefschetz fixed theorem)

I guess I am supposed to apply Lefschetz fixed point theorem to the deck transformations but from there I don't know how to proceed.

Answer 1

There is a way to prove without Lefschetz fixed point theorem. If $X$ is a finite CW-complex, so is $\widetilde{X}$. If $|\pi_1(X)|=d$, then $d\cdot\chi(X)=\chi(\widetilde{X})$. If $\widetilde{X}$ is contractible, then $\chi(\widetilde{X})=1$. Then $d=1$, contradicting the nontriviality of $\pi_1(X)$.

Edit: One can construct a triangulation for $X$ such that it can be lifted to one for $\widetilde{X}$. Using definition of covering spaces, the number of $i$-dimensional simplices in the triangulation of $\widetilde{X}$ is $d$ times that of $i$-dimensional simplices in the triangulation of $X$. So we have $d\cdot\chi(X)=\chi(\widetilde{X})$.

Answer 2

If $X$ is a finite CW complex and $E \to X$ is a covering space with finite fibers, then $E$ is a finite CW complex too. This is because a covering space of a CW-complex has a CW-complex structure too, and a covering space of a compact space is compact (a CW-complex is finite iff it's compact).

So suppose $X \sim K(G,1)$ with nontrivial $G$ is a finite CW-complex. It follows that $\widetilde{X}$ is a finite (contractible) CW-complex, so you can apply the Lefschetz fixed point theorem. Take a nontrivial deck transformation $f$ of $\widetilde{X}$ (which exists because $G$ is nontrivial); it has no fixpoint. But the Lefschetz number of $f$ is $$\Lambda_f = \sum_{k \ge 0} (-1)^k \operatorname{tr}(f_*|_{H_*(\widetilde{X}; \mathbb{Q})}),$$ and since $\widetilde{X}$ would be contractible in this situation, it's equal to the trace of $f$ on $H_0(\widetilde{X}; \mathbb{Q}) \cong \mathbb{Q}$, and $f_* = \operatorname{id}_{\mathbb{Q}}$ has trace $1$. So the Lefschetz number is nonzero and $f$ must have a fixed point, contradiction (cf. Any map of a contractible complex to itself has a fixed point).