Could you help me to see why signature is a HOMOTOPY invariant? Definition is below (from Stasheff) The \emph{signature (index)} $\sigma(M)$ of a compact and oriented $n$ manifold $M$ is defined as follows. If $n=4k$ for some $k$, we choose a basis $\{a_1,...,a_r\}$ for $H^{2k}(M^{4k}, \mathbb{Q})$ so that the \emph{symmetric} matrix $[
Signature of a manifold as an invariant
1
$\begingroup$
general-topology
algebraic-topology
differential-topology
-
0Cohomolgy groups are diffeomorphism invariants, but ? – 2012-06-16
-
6Cohomology groups are homotopy invariants. – 2012-06-16
-
0Cohomology groups are not diffeomorphism invariants! For example, Milnor's exotic spheres show this. Although I am sure there are other easier examples. For example, take any smooth thickening of a manifold... – 2012-06-18
-
0Note that the signature is an *oriented* homotopy invariant, i.e., it is invariant only under orientation preserving homotopies. – 2013-03-03
-
2@SeanTilson: Cohomology groups are invariant under homotopy equivalence, and thus under homeomorphism, and thus under diffeomorphism. Milnor's exotic spheres are all homeomorphic--- and thus, in particular, cohomology spheres--- but not diffeomorphic. – 2015-08-17
-
0Yes, but they do not distinguish between different diffeomorphism classes. I guess I was less than clear by what I meant. – 2015-08-17