Is every closed simply connected manifold a non-trivial covering space?

The manifold $\mathbb{CP}^2$ is not the universal covering space of any manifold other than itself.

One way to see this is to note that if $M \to N$ is a $d$-sheeted covering of closed manifolds, then $\chi(M) = d\chi(N)$. As $\chi(\mathbb{CP}^2) = 3$, we see that $d = 1$, in which case $N = \mathbb{CP}^2$, or $d = 3$. If a three-sheeted covering were to exist, the manifold $N$ would satisfy $\pi_1(N) \cong \mathbb{Z}_3$ (as this is the only group of order $3$). As $\mathbb{Z}_3$ has no index two subgroups, the manifold $N$ is orientable. But then the signature of $N$ satisfies $1 = \sigma(\mathbb{CP}^2) = 3\sigma(N)$ which is impossible, so the only manifold which is covered by $\mathbb{CP}^2$ is itself.

More generally, the connected sum of $k$ copies of $\mathbb{CP}^2$ does not cover any manifold other than itself. The argument above for orientability of the quotient doesn't apply when $k$ is even, instead you can use the argument in this answer (which works for any $k$).


A closed simply connected $n$-manifold for $n = 2, 3$ is a sphere, so the smallest example occurs in dimension at least $4$. In dimension $4$ we can show that $\mathbb{CP}^2$ doesn't cover another manifold. There are two nice arguments given in the answers to this math.SE question, which I'll briefly sketch:

  1. Using the Lefschetz fixed point theorem, we can show that every diffeomorphism $f : \mathbb{CP}^2 \to \mathbb{CP}^2$ has a fixed point. It follows that $\mathbb{CP}^2$ does not admit a free action by any nontrivial group. This argument generalizes to all $\mathbb{CP}^{2k}$.

  2. $\chi(\mathbb{CP}^2) = 3$, so a nontrivial space that $\mathbb{CP}^2$ covers can only have $\chi(X) = 1$. This space must be a quotient by some action of $\mathbb{Z}/3$ and so has $\pi_1(X) \cong \mathbb{Z}/3$, which implies that $H^1(X, \mathbb{F}_2) = 0$ and hence that $X$ is orientable. But this implies $b_4 = 1$ so $\chi(X) \ge 2$; contradiction. This argument generalizes to $\mathbb{CP}^{2k}$ whenever $2k+1$ is prime.

It's worth noting the way in which both of these arguments fail for the spheres $S^n$ (which cover the real projective spaces $\mathbb{RP}^n$): 1) Lefschetz shows that a diffeomorphism can be fixed-point-free if it acts by $(-1)^{n+1}$ on $H_n$, which the antipode map does, and 2) $\chi(S^n) = 1 + (-1)^n$ so when $n$ is odd we only learn that a covered space also has $\chi = 0$ (true of e.g. the lens spaces) and when $n$ is even we learn that a nontrivial covered space has $\chi = 1$, $\pi_1 = \mathbb{Z}_2$ and can't be orientable, which is consistent, and true of $\mathbb{RP}^n$.

I also want to note that unlike the classification of covering spaces, which is purely homotopy-theoretic in that it only depends on $\pi_1$, the classification of covered spaces depends delicately on homeomorphism type. For example a point doesn't cover anything nontrivially but $\mathbb{R}$ does. In fact for every group $G$ and every simply connected space $X$ we can find a homotopy equivalent space $X'$ which covers a space with $\pi_1 \cong G$. So studying covered spaces is genuinely a point-set topological question.


Below, I'll give an example which, as a topological manifold can non-trivially cover, but as a smooth manifold it cannot.

Recall that in each dimension, the set of diffeomorphism types of $S^n$ forms an abelian group under the connect sum operation, where the inverse to an element is given by switching the orientation.

Elements of order $2$ in this group are precisely the exotic spheres which admit an orientation reversing diffeomorphism.

In dimension $10$, the group of exotic spheres has order $6$. By Cauchy's theorem, there is an element $\Sigma$ of order $3$. In particular, such a $\Sigma$ does not admit an orientation reversing diffeomorphism.

It follows from an easy application of the Lefschetz fixed point formula that any orientation preserving diffeomorphism $f:\Sigma\rightarrow \Sigma$ must have a fixed point. Thus, $\Sigma$ cannot smoothly cover anything.

On the other hand, $\Sigma$, being homeomorphic to $S^{10}$ can topologically cover $\mathbb{R}P^{10}$.