0
$\begingroup$

Suppose I have a manifold $\mathcal{M}$ and a closed submanifold $\mathcal{N} \subset \mathcal{M}$ of codimension 1. If I remove the closed submanifold $\mathcal{N}$ from $\mathcal{M}$ will I be left with a manifold?

I am not sure if it is true but it looks very plausible. However, I am pretty sure that if would only hold for codimension 1. For example in the manifold $\mathbb{R}^2$ I can take the submanifold complement to a figure "8".

Furthermore, would the statement also be true for smooth manifolds or symplectic manifolds?

Any help is welcome.

Thanks in advance.

  • 0
    No, for example remove $(0,1) \times \{0\}$ from $\mathbb{R}^2$.2012-06-03
  • 0
    @ChrisEagle What about if you remove a closed submanifold?2012-06-03
  • 1
    Then the result is open, hence clearly a manifold.2012-06-03
  • 1
    But open subsets of manifolds are always manifolds, right? Just restrict the charts. Also, it's not obvious to me that the figure 8 is a manifold.2012-06-03
  • 0
    @DylanMoreland I am taking the submanifold to be the complement of the figure "8" so the two open disk inside the figure and the open punctured space surrounding it, this is a manifold.2012-06-03
  • 0
    @ChrisEagle So my statement would hold for closed submanifold?2012-06-03
  • 0
    @user29751: Yes, but for boring reasons: as Dylan says, an open subset of a manifold is always a manifold.2012-06-03
  • 2
    @user29751: But it's not just that you can remove a closed *manifold*, you can even remove any closed set. So, if something like a Cantor set is removed, the resulting thing is still a manifold, being an open subset of a manifold.2012-06-03
  • 0
    @user29751 In the question you talked about removing things that were manifolds. That's all I meant.2012-06-03

1 Answers 1

0

As pointed out in comments, removing any closed set from a manifold (topological, smooth, complex, symplectic...) leaves a manifold of the same kind, because the charts restrict to open subsets. One should note that the remaining manifold may be disconnected.

Removing a set which is not closed, generally, does not preserve the manifold structure, even if the removed set is itself a manifold. For example, remove an open line segment from a plane (example given by Chris Eagle).