5
$\begingroup$

This is one of my old unsolved questions when I reading Novikov's book on homology theory. I do not know how to prove it because standard triangulation, fundamental diagram, etc does not help and it should be easy to prove.

  • 1
    I think you mean "bouquet" of flowers.2012-07-27
  • 0
    Maybe this helps. Remove a point from a torus. Then stretch open the surface until you have 2 bands attached at a piece of surface. This retracts even more onto the wedge of 2 circles.2012-07-27
  • 0
    No, this would not work because we only know it is open. Taking the closure of it does not admit a process of going back to the original surface.2012-07-28
  • 3
    Is the number of boundary components finite? If yes, then n-point compactification is a closed surface, which means you had a closed surface with n points removed. If the number of boundary components is infinite, I'm not even sure the claim is true... By the way, what are flowers? (I expected "circles")2012-07-28
  • 0
    I think it is allowed to be infinite, yes, I am not sure it is true too. But Novikov is a fields medalist so this statement must not be wrong for trivial reasons.2012-07-28
  • 0
    When I was in Moscow they used a bouquet of flowers to represent $\bigwedge S^{1}$.2012-07-28
  • 0
    This is equivalent to proving the fundamental group is free.2012-08-05

2 Answers 2

2

This question just floated up again, so let me put some references here.

This MO question gives several different proofs that for your surface $S$, $\pi_1(S)$ is free. In fact, Lee Mosher's answer gives a direct proof that $S$ is homotopy equivalent to a graph, and hence to a bouquet of circles. You can also proceed by noting the universal cover of $S$ is contractible, and hence $S$ is homotopy equivlanent to any $K(\pi_1(S),1)$, of which the appropriate bouquet of circles is one.

0

I would agree with Leonid. The claim should definitely be true for open surfaces which are built from closed ones by removing a top handle (i.e. a disc), (this should follow from a handle decomposition and the classification of closed surfaces). For example (as also stated in wiki if you search for surfaces) you could take a cantor set in the sphere, and take its complement. I don't expect this to have a good homotopy type.

  • 0
    I double checked, I think it should hold in your case, since it is still connected.2012-07-31