# the criteria for 3-dim manifolds diffeomorphic to $\mathbb{R}^3$

In Schoen and Yau's paper "Complete three-dimensional manifolds with positive Ricci curvature and scalar curvature", they mentioned “If $M^3$ is contractible, to prove it is diffeomorphic to $\mathbb{R}^3$, from a topological result by Stallings "Group Theory and Three DimensionalManifolds", it suffices to prove that $M^3$ is simply connected at infinity and irreducible.”

I checked Stallings’ book, did not find the exact result they referred to. Can anyone tell me which theorem in Stallings’ book they referred to or any other place to find the detailed proof of the above statement? Thanks.

• I think the reference should be his paper The piecewise-linear structure of Euclidean space. Jul 16, 2017 at 9:17
• @Seirios, in "The piecewise-linear structure of Euclidean space", only for $n\geq 5$, not for $3$-dim. Jul 16, 2017 at 12:22

I am not sure what Schoen and Yau had in mind. Any open contractible $$n$$-manifold that is simply-connected at infinity is homeomorphic to $$\mathbb R^n$$. This is due to Stallings  if $$n\ge 5$$ and to Guilbault  if $$n=4$$, while the case $$n=3$$ follows from the result of Husch and Price  and the non-existence of fake $$3$$-cells by Perelman's solution of the Poincaré conjecture.

 J.~Stallings, The piecewise-linear structure of Euclidean space, Proc. Cambridge Philos. Soc. 58 (1962), 481--488

 C.~R. Guilbault, An open collar theorem for $$4$$-manifolds, Trans. Amer. Math. Soc. 331 (1992), no.~1, 227--245.

 L.~S. Husch and T.~M. Price, Finding a boundary for a $$3$$-manifold, Ann. of Math. 91 (1970), 223--235.

Since the question is about dimension $$3$$ let me give more details. By Perelman there is no fake $$3$$-cells. Now Theorem 2 of  implies that any contractible $$3$$-manifold that is simply-connected at infinity is homeomorphic to the interior of a compact $$3$$-manifold $$N$$ (in fact the result in  gives a general criterion of when one can attach a boundary to a $$3$$-manifold). Now $$N$$ is a contractible $$3$$-manifold whose boundary is a $$2$$-sphere, and again invoking Perelman we conclude that $$N$$ is a $$3$$-disk, up to homeomorphism. Finally, by Moise homeomorphic $$3$$-manifolds are diffeomorphic.

• thanks for your detailed answer and comments. Schoen_Yau's paper is in 1980's, the Perelman's result is not known at that time. I just wonder whether there is a simple (in reasonable sense) way to verify their claim, instead of using the whole work of Perelman's solution to Poincare conjecture. Jul 16, 2017 at 13:12
• How do Schoen-Yau prove irreducibility of a Ricci positive open $3$-manifold? At the moment I cannot access their paper. Jul 16, 2017 at 13:18
• Oh, I found the paper. They prove irreducibility via minimal surfaces. Thus one does not need Perelman in their setting. Jul 16, 2017 at 13:29

Husch and Price is the right reference, but I thought I could give a quick sketch of a proof.

Let $X^3$ be simply connected at infinity and contractible. For every compact $C \subset X$, there exists a compact $D$ containing $C$ such that $π_1(X-D)\to π_1(X-C)$ is trivial. Taking a regular neighborhood, we may assume that $D$ is a compact submanifold with boundary. Compress $∂D$ as much as possible in the complement of $C$ to obtain a compact incompressible surface $S \subset X-C$. If $S$ is not a union of 2-spheres, then each non-trivial component is $π_1$-injective in $X-C$ by the loop theorem. But the fundamental group of this surface is in the image of $π_1(∂D) \to π_1(X-C)$, which is trivial, a contradiction. Thus, $S$ must consist of a collection of 2-spheres. Since $X$ is contractible, each such sphere bounds a contractible submanifold, which is a 3-ball by the Poincaré conjecture (and I suppose van Kampen's theorem). Hence $C$ is contained in a 3-ball. Thus, $X$ is a nested union of 3-balls, and is therefore homeomorphic to $R^3$.