Signature (topology)

Signature (topology)

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"2"n"("M","R"),

where

:"d" = 4"n".

The basic identity for the cup product

:alpha^p smile eta^q = (-1)^{pq}(eta^q smile alpha^p)

shows that with "p" = "q" = 2"n" the product is commutative. It takes values in

:"H"4"n"("M","R").

If we assume also that "M" is compact, Poincaré duality identifies this with

:"H"0("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"2"n"("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.

René Thom showed that the signature of a manifold is a cobordism invariant, and in particular is given by some linear combination of its Pontryagin numbers. Friedrich Hirzebruch found an explicit expression for this linear combination as the L genus of the manifold.

ee also

*Hirzebruch signature theorem
*Genus of a multiplicative sequence


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Signature of a knot — The signature of a knot is a topological invariant in knot theory. It may be computed from the Seifert surface.Given a knot K in the 3 sphere, it has a Seifert surface S whose boundary is K . The Seifert form of S is the pairing phi : H 1(S) imes …   Wikipedia

  • List of geometric topology topics — This is a list of geometric topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of algebraic topology topics Publications in topology Contents 1 Low dimensional topology 1.1 …   Wikipedia

  • Link Layer Topology Discovery — (LLTD) est un protocole de couche de liaison de données pour la découverte de la topologie de réseau et le diagnostic de qualité de service, développé par Microsoft en tant qu élément de l ensemble de technologies Windows Rally. Le protocole… …   Wikipédia en Français

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Théorème de l'indice — En mathématiques, et plus précisément en géométrie différentielle, le théorème de l indice d Atiyah–Singer, démontré par Michael Atiyah et Isadore Singer en 1963, affirme que pour un opérateur différentiel elliptique sur une variété… …   Wikipédia en Français

  • Groupes d'homotopie des sphères — Enroulement d une sphère à deux dimensions autour d une autre sphère En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des… …   Wikipédia en Français

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Cobordism — A cobordism (W;M,N). In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds are cobordant if their disjoint… …   Wikipedia

  • 4-manifold — In mathematics, 4 manifold is a 4 dimensional topological manifold. A smooth 4 manifold is a 4 manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different.… …   Wikipedia

  • Rokhlin's theorem — In 4 dimensional topology, a branch of mathematics, Rokhlin s theorem states that if a smooth, compact 4 manifold M has a spin structure (or, equivalently, the second Stiefel Whitney class w 2( M ) vanishes), then the signature of its… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”