Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Recently I found the following definition:

Let $M^{n}$ be an $n-$dimensional topological manifold. Then $N^{k}\subseteq M^{n}$ is a locally flat submanifold if for every $x\in N$ there exists an open set $U$ in $M$ such that the pair $(U,U\cap N)$ is homeomorphic to the pair $(R^{n},R^{k})$.

The first thing I noted is that if $N$ is a locally flat submanifold of $M$, then $N$ in fact is a sumbanifold of $M$. The second thing I noted is that in the category of smooth manifolds the notion of locally smooth submanifold and submanifold are equivalent.

I would like to know if there is an example of a topological submanifold of a manifold that is not a locally flat submanifold or if the notions of locally flat submanifold and submanifold are equivalent in the category of topological manifolds?

share|improve this question
    
Local flatness definition on Wikipedia. –  Matt N. Oct 22 '12 at 12:34

1 Answer 1

up vote 3 down vote accepted

Consider a knot $K\subset S^3$. Then think of the $4$-ball $B^4$ as the cone on $S^3$: $B^4=C(S^3)$. Consider the cone on $K$ inside the $4$-ball, $C(K)\subset B^4$. This is homeomorphic to a disk and is a submanifold of $B^4$. However it is not locally flat since any small ball around the cone point will have a knot on the boundary, so won't be locally standard, as in the definition of locally flat.

share|improve this answer
    
I'm not sure about the example, does it works with a trivial knot? Or the knot must be "knotted"? –  Antonio Oct 29 '11 at 18:43
1  
@Antonio: Yes the knot must be knotted. It doesn't work with the trivial knot. –  Grumpy Parsnip Oct 29 '11 at 18:52
2  
I see, and do you think that I can have a conversation with your advisor via e-mail? Either you give me his e-mail or can you tell him about me and give him my e-mail jhernand@matmor.unam.mx? –  Antonio Oct 29 '11 at 19:19
1  
I was not expecting that :D –  Mariano Suárez-Alvarez Oct 29 '11 at 23:04
1  
@MattN.: the tameness of $K$ is a separate issue. I was actually thinking that $K$ is tame, but the cone on $K$ is still not locally flat. A knot $K$ in $\mathbb R^3$ is tame if and only of it is locally flat. –  Grumpy Parsnip Oct 22 '12 at 23:32

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.