# Elementary geometric characterization of spheres?

I've read the following two theorems.

Theorem. A compact connected metric space whose points are cuts points with the exception of at most two is homeomorphic to the unit interval.

Theorem. A compact connected metric space which becomes disconnected upon removing any two points is homeomorphic to the unit circle.

Are there analogous characterizations for $S^n$ using higher-connectedness, i.e triviality of homotopy groups?

• Well spheres have many non-trivial homotopy groups, and there are many spaces homotopy equivalent to the sphere which are not homeomorphic to it. Up to homeomorphism spheres are the only compact simply-connected manifolds with their homology (this is the generalized Poincare conjecture), and that is not an easy result. – PVAL-inactive Jan 29 '16 at 0:29
• For a unit circle you also want to demand that the space has no cut points as well. – Henno Brandsma Jan 29 '16 at 16:45

In higher dimensions this is very difficult and, I think, there is no simple characterization along the lines of the ones in low dimensions. The main difficulty comes from characterization of compact manifolds among, say, compact metrizable topological spaces. The characterizations of spheres in dimensions 1 and 2 are (implicitly) based on the fact that in these dimensions homology manifolds are the same as topological manifolds. This is far from being true in higher dimensions. Until 1995 there was at least a conjecture describing which homology manifolds are topological manifolds (Cannon's conjecture). If this conjecture were true then topological manifolds of dimension $\ge 5$ would be characterized as ANRs which are homology manifolds satisfying the "disjoint disk property". Cannon's conjecture was disproved in the paper "Topology of Homology Manifolds" by J. Bryant, S. Ferry, W. Mio and S. Weinberger (Annals of Math., 1996). Now, as far as I known, there is no even a simple-minded conjecture characterizing topological manifolds and, in particular, spheres, of dimension $\ge 5$. In view of these results, the only (known to me) topological characterization of $S^n$ is the following:
Theorem. Suppose that $X$ is a compact metrizable space. Assume also that $M$ is ANR (an absolute neighborhood retract), is an $n$-dimensional homology manifold, has DDP (disjoint disk property) and $i(X)=1$ where $i$ is Quinn's invariant. Assume also $X-x$ is contractible for some (every) $x\in X$. Then $X$ is homeomorphic to $S^n$, provided $n\ge 5$.
• What is the issue with this working in $4$ and $3$? Is recognizing 4-manifolds post Freedman theory really still fundamentally different than in higher dimensions? – PVAL-inactive Jan 29 '16 at 22:07