| Revision as of 21:15, 16 February 2006 editCharles Matthews (talk | contribs)Autopatrolled, Administrators360,571 editsm See also ...← Previous edit | Revision as of 14:14, 29 September 2006 edit undoR.e.b. (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers42,907 edits expandNext edit → | ||
| Line 1: | Line 1: | ||
| In ], the '''signature''' of |
In ], the '''signature''' of an oriented ] ''M'' is defined when ''M'' has dimension ''d'' divisible by four. In that case, when ''M'' is ] and ], ] gives rise to a ] ''Q'' on the 'middle' real ] | ||
| :''H''<sup>2''n''</sup>(''M'',''R''), | :''H''<sup>2''n''</sup>(''M'',''R''), | ||
| Line 21: | Line 21: | ||
| which is a one-dimensional real vector space and can be identified with ''R''. Therefore cup product, under these hypotheses, does give rise to a ] on ''H''<sup>2''n''</sup>(''M'',''R''); and therefore to a quadratic form ''Q''. | which is a one-dimensional real vector space and can be identified with ''R''. Therefore cup product, under these hypotheses, does give rise to a ] on ''H''<sup>2''n''</sup>(''M'',''R''); and therefore to a quadratic form ''Q''. | ||
| The ] of '' |
The ] of ''M'' is by definition the '''signature''' of ''Q''. If ''M'' is not connected, its signature is defined to be the sum of the signatures of its connected components. If ''M'' has dimension not divisible by 4, its signature is usually defined to be 0. The form ''Q'' is ]. This invariant of a manifold has been studied in detail, starting with ] for 4-manifolds. | ||
| When ''d'' is twice an odd integer, the same construction gives rise to an ]. Such forms do not have a signature invariant; if they are non-degenerate, any two such forms are equivalent. | When ''d'' is twice an odd integer, the same construction gives rise to an ]. Such forms do not have a signature invariant; if they are non-degenerate, any two such forms are equivalent. | ||
| Thom showed that the signature of a manifold is a cobordism invariant, and in particular is given by some linear combination of it Pontryagin numbers. Hirzebruch found an explicit expression for this linear combination as the ] of the manifold. | |||
| ==See also== | ==See also== | ||
| *] | *] | ||
| *] | |||
| *] | |||
| ]] | ]] | ||
Revision as of 14:14, 29 September 2006
In mathematics, the signature of an oriented manifold M is defined when M has dimension d divisible by four. In that case, when M is connected and orientable, cup product gives rise to a quadratic form Q on the 'middle' real cohomology group
- H(M,R),
where
- d = 4n.
The basic identity for the cup product
shows that with p = q = 2n the product is commutative. It takes values in
- H(M,R).
If we assume also that M is compact, Poincaré duality identifies this with
- H0(M,R),
which is a one-dimensional real vector space and can be identified with R. Therefore cup product, under these hypotheses, does give rise to a symmetric bilinear form on H(M,R); and therefore to a quadratic form Q.
The signature of M is by definition the signature of Q. If M is not connected, its signature is defined to be the sum of the signatures of its connected components. If M has dimension not divisible by 4, its signature is usually defined to be 0. The form Q is non-degenerate. This invariant of a manifold has been studied in detail, starting with Rokhlin's theorem for 4-manifolds.
When d is twice an odd integer, the same construction gives rise to an antisymmetric bilinear form. Such forms do not have a signature invariant; if they are non-degenerate, any two such forms are equivalent.
Thom showed that the signature of a manifold is a cobordism invariant, and in particular is given by some linear combination of it Pontryagin numbers. Hirzebruch found an explicit expression for this linear combination as the L genus of the manifold.