# Homotopy type of connected sum depends on choice of gluing map

From Topospaces

Revision as of 17:25, 29 July 2011 by Vipul (talk | contribs) (Created page with "==Statement== It is possible to find an example of compact connected orientable manifolds <math>M_1</math> and <math>M_2</math> such that the homotopy type of the [[connecte...")

## Statement

It is possible to find an example of compact connected orientable manifolds and such that the homotopy type of the connected sum is not well defined, i.e., we can get connected sums of different homotopy types depending on the choice of the gluing map.

## Facts used

## Proof

To construct an example, we need to find a case where both and are orientable but neither of them has an orientation-reversing self-homeomorphism. One simple choice, by Fact (1), is to set both and as isomorphic to the complex projective plane .

There are two possible connected sums:

- Connected sum of two complex projective planes with same orientation: This has cohomology ring isomorphic to , where are additive generators of the free abelian group and is the additive generator for .
- Connected sum of two complex projective planes with opposite orientation: This has cohomology ring isomorphic to , where are additive generators of the free abelian group and is the additive generator for .