Novikov additivity I (Ex)

From Manifold Atlas
Revision as of 09:03, 29 May 2012 by Tibor Macko (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Let (Y,X) be a 2n-dimensional manifold with boundary, n = 2k. Consider the homomorphism \varphi \colon H^{n} (Y,X) \rightarrow H^{n} (X) and denote \widehat{H}^{n} (Y) the image of \varphi. Coefficients are understood to be in \mathbb{R}.

The middle dimensional intersection form

\displaystyle  H^{n} (Y) \otimes H^{n} (Y) \rightarrow \mathbb{R}

is degenerate in general. Show that the intersection form B on \widehat{H}^{n} (Y) defined by

\displaystyle  B(\varphi (a), \varphi (b)) = \langle a \cup b , [Y] \rangle

is a non-degenerate symmetric bilinear form and let us define the signature \textup{Sign} (Y) to be the signature of this form.

Suppose that we have also another 2n-dimensional manifold Y' with boundary -X. Form the closed manifold Z = Y' \cup_{X} Y. Show that

\displaystyle  \textup{Sign} (Z) = \textup{Sign} (Y') + \textup{Sign} (Y).

Hint: section 7 of ASIT III

References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox