21
$\begingroup$

I believe that I have run across the statement that if $X$ is a compact smooth manifold and $CX$ is the cone on $X$, i.e. $[0,1] \times X$ modulo $(0,x)\sim(0,y)$ for all $x,y \in X$, then $CX$ admits the structure of a smooth manifold with boundary, with $\left\{1\right\} \times X$ smoothly immersed in it as the boundary, just when $X$ is diffeomorphic to a sphere in Euclidean space with its standard smooth structure. I would like a reference, or a reference to a similar statement.

$\endgroup$
  • 1
    $\begingroup$ if $CX$ is smooth, the intersection homology will egale to singular homology. Hence, all the Betti number of $X$ is 0 except the 0 and top degree. Thus...by Poincare conjecture, $X$ is a sphere. But I think there should be a simple argument. $\endgroup$ – shu Nov 1 '13 at 14:54
  • $\begingroup$ @shu : The Poincare conjecture also requires $X$ to be simply-connected. $\endgroup$ – Sam Nov 1 '13 at 15:31
  • 1
    $\begingroup$ @sam, you are right I forgot it. But is there a proof without using Poincare conjecture? $\endgroup$ – shu Nov 1 '13 at 15:42
  • $\begingroup$ @shu : I doubt it. $\endgroup$ – Sam Nov 1 '13 at 15:43
  • 1
    $\begingroup$ Without the Poincare conjecture you can say $X$ is a homotopy-sphere, that's what your argument gives you. $\endgroup$ – Ryan Budney Nov 3 '13 at 12:33
21
$\begingroup$

There is no need for smoothness here : if $X$ is a compact topological $n$-manifold and $CX$ is the cone on $X$, then $CX$ is a topological manifold if and only if $X$ is homeomorphic to a sphere. This is trivial for $n=1$, so assume that $n \geq 2$. The backward implication is trivial, so assume that $CX$ is a topological manifold. Let $p_0 \in CX$ be the cone point. The local homology groups $H_{k}(CX,CX-p_0)$ are then $\mathbb{Z}$ for $k=0,n+1$ and $0$ otherwise. Looking at the long exact sequence for the pair $(CX,CX-p_0)$, we then get that $H_{k}(X)$ is $\mathbb{Z}$ for $k=0,n$ and $0$ otherwise. In other words, $X$ is a homology $n$-sphere. Next, since $n+1 \geq 3$ and $CX$ is an $(n+1)$-manifold, the space $CX$ must satisfy the following condition : for all point $q \in CX$ and all neighborhoods $U$ of $q$, there must be a neighborhood $V$ of $q$ such that $V \subset U$ and $V-q$ is simply connected. Around the cone point $p_0$, it is easy to see that this condition implies that $X$ must be simply-connected. The Poincare conjecture thus implies that $X$ is homeomorphic to an $n$-sphere.

| cite | improve this answer | |
$\endgroup$
  • 4
    $\begingroup$ Is it true that, under smoothness assupmtion, X is diffeomorphic to a sphere? (I'm not a specialist, but for instance, if I take the cone of an exotic 7-sphere, does it admit a smooth structure?) $\endgroup$ – user126154 Nov 1 '13 at 16:29
  • 5
    $\begingroup$ @user40911 Not in high dimensions: if $C\Sigma$ had a smooth structure for which $\Sigma \hookrightarrow C\Sigma$ were a smooth embedding, then removing a small ball from $C\Sigma$ we obtain an $h$-cobordism from $\Sigma$ to the sphere, so $\Sigma$ is not exotic. $\endgroup$ – Oscar Randal-Williams Nov 1 '13 at 17:29
  • 9
    $\begingroup$ One the other hand, the double suspension of a homology sphere is homeomorphic to a sphere. So the cone of a non-manifold can be a manifold. See J. W. Cannon: Shrinking cell-like decompositions of manifolds. Codimension three, Ann. Math. 110 (1979), 83-112. R. D. Edwards: The double suspension of a certain homology 3-sphere is S^5, Notices AMS 22 (1975), A-334. for details. $\endgroup$ – Jason DeVito Nov 2 '13 at 1:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.