21
$\begingroup$

After reading some recent questions on mathoverflow about universal coverings, I am curious about the following:

Is it possible to construct a closed $6$-manifold $M$, with universal cover homeomorphic to $\mathbb{CP}^3 \setminus \{p_1,p_2\}$?

$\endgroup$
1
  • 4
    $\begingroup$ One simple observation is that, since the number of (Freudenthal) ends is an invariant of the fundamental group, if so then $\pi_1(M)$ has two ends, from which it follows that it has a finite-index subgroup isomorphic to $\mathbb{Z}$. Passing to the corresponding finite-sheeted cover, you may as well assume that $\pi_1(M)\cong\mathbb{Z}$. $\endgroup$
    – HJRW
    Commented Mar 31, 2022 at 14:04

1 Answer 1

35
$\begingroup$

More is true. Let $M^n$ be a closed connected simply connected manifold of dimension $\ge 3$. Let $p,q\in M$ be two distinct points. Suppose $M\setminus\{p,q\}$ is the universal cover of a closed manifold.

Then $M$ is homeomorphic to $\mathbb S^n$.

Suppose it is and $M=\tilde N$ is the universal cover of a closed manifold $N^n$. As HJRW suggested in a comment $\pi_1(N)$ must have two ends and hence must be virtually $\mathbb Z$. By passing to a finite index subgroup we can assume it's $\mathbb Z$. Since the action of $\pi_1(N)$ on $\tilde N$ must permute the ends we can again assume by passing to finite index subgroup that it fixes the ends. Then it can be extended to a continuous action on $M$ fixing $p$ and $q$. Take a peripheral $X_1=S^{n-1}$ around $p$. Let $g$ be a generator of $\pi_1(N)\cong \mathbb Z$. Since $\tilde N$ is quasiisometric to $\mathbb Z$ by a quasiisometry preserving the group action and $X_1$ is compact it follows that $g^l(X_1)$ is disjoint from $X_1$ for all large $l$. By passing to a finite cover of $N$ we can assume that this holds for all nontrivial powers of $g$. Let $\bar D^n$ be the disk centered at $p$ with boundary $X_1$. By possibly changing $g$ to $g^{-1}$ we can assume that $X_2=g(X_1)$ is a sphere in $ D^n$. By the Annulus theorem the region $W_1$ between $X_1$ and $X_2$ is homeo to $S^{n-1}\times [0,1]$. Then $W_2=g(W_1)$ is a manifold with boundary glued to $W_1$ along $X_2$. Then $g^2(W_1)=g(W_2)$ will be another copy of $\mathbb S^{n-1}\times [0,1]$ glued to $W_2$ along the second piece of the boundary. Continuing we get a copy of $\mathbb S^{n-1}\times \mathbb R$ sitting in $\tilde N$ with the standard action of $\mathbb Z$. Passing to the quotient by $\mathbb Z$ this gives an embedding of $\mathbb S^{n-1}\times \mathbb S^1$ into $N$ which must be a homeomorphism since these are connected closed manifolds of the same dimension. Then $\tilde N$ is homeo to $ \mathbb S^{n-1}\times \mathbb R$ and $M$ is homeo to $\mathbb S^n$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .