Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

There do exist manifolds which do not admit any smooth structure at all. But the only examples I've heard of are all compact.

Are there any non-compact, non-smoothable manifolds?

share|improve this question
9  
Stupid example: take the union of a compact non-smoothable manifold with a noncompact manifold. –  Jim Conant Mar 3 '13 at 14:32
1  
I think Kervaire's example embeds into Euclidean space... maybe you could take a small open neighborhood (that deformation retracts back down to the original)? The obstruction is homotopy invariant, so that should do it. –  Dylan Wilson Mar 3 '13 at 14:49
15  
A small open neighborhood of anything in the Euclidean space does admit a smooth structure:)) –  Serge Lvovski Mar 3 '13 at 15:31
    
eek! what has happened to me? :P –  Dylan Wilson Mar 3 '13 at 22:53

1 Answer 1

up vote 28 down vote accepted

The Cairns-Hirsch theorem says that a PL manifold $M$ is smoothable if and only if $M\times \mathbb{R}$ is smoothable, so you can take $M$ to be any one of the known compact, PL examples such as Kervaire's manifold and then $M\times\mathbb{R}^n$ is non-smoothable for $n \geq 1$.

share|improve this answer
4  
I wish to add for the benefit of the OP that any PL manifold $M$ is homotopy equivalent to a smooth manifold: properly embed $M$ into a a smooth $n$-manifold (e.g. Euclidean space) and take a regular neighborhood. I would be interested in any results on how (the smallest) $n$ depends on $M$. –  Igor Belegradek Mar 3 '13 at 16:03
1  
@Igor: I think you have to be a little careful on how it's embedded, so that you can take a regular neighborhood which is homotopy equivalent. –  Ian Agol Mar 3 '13 at 23:54
    
@Ian: the standard definition of a regular neighborhood of a subcomplex $K$ in a PL manifold is a closed neighborhood $R$ of $K$ that is a codimension zero PL submanifold, and that collapses to $K$ via finitely many elementary collapses. The last property implies that $R$ is simply homotopy equivalent to $K$. –  Igor Belegradek Mar 4 '13 at 0:15
2  
@Ian: perhaps the concern is that the embedding should be PL? Yes, I thought this is understood since we start from a PL manifold. We do not want wild embedding here, and any PL manifold has a PL embedding into a Euclidean space. –  Igor Belegradek Mar 4 '13 at 0:49

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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