28
$\begingroup$

I once read (I believe in Ravi Vakil's notes on Algebraic Geometry) that the connected sum of a pair of surfaces can be defined in terms of a universal property. This gives a slick proof that the connected sum is unique up to homeomorphism. Unfortunately, I am unable to find where exactly I read this or remember what exactly universal property was; if anyone could help me out in either regard it would be much appreciated.

  • 1
    Even if one found a universal property that characterized the direct sum, you'd have to prove that whatever disc you removed satisfied that property at the end of the day. For this I can think of no way to avoid the use of the disc theorem: http://en.wikipedia.org/wiki/Disc_theorem which is hard. But, if you've gotten this far, then you've already proven that the connected sum is well-defined up to homeomorphism. So I don't know if the end result would be "slick."2012-11-29

1 Answers 1

2

As already noted in the comments, there is an obvious universal property (since the connected sum is a special pushout) once the embeddings of the discs have been chosen. For different embeddings, there exists some homeomorphism. There are lots of them, but even abstract nonsense cannot replace the nontrivial proof of existence. But since there is no canonical homeomorphism, I strongly doubt that there is a ny universal property which does not depend on the embeddings of the discs.