Pontryagin class

From Wikipedia, the free encyclopedia

In mathematics, the Pontryagin classes are certain characteristic classes. The Pontryagin class lies in cohomology groups with index a multiple of four. It applies to real vector bundles.

1 Definition
2 Properties
- 2.1 Pontryagin classes and curvature
- 2.2 Pontryagin classes of a manifold
3 Pontryagin numbers
- 3.1 Properties
4 Generalizations
5 See also

[edit] Definition

Given a vector bundle <math>E</math> over <math>M</math> its k-th Pontryagin class <math>p_k(E)</math> can be defined as

<math>p_k(E)=p_k(E,\mathbb{Z})=(-1)^kc_{2k}(E \otimes \mathbb{C})\in H^{4k}(M,\mathbb{Z}),</math>

here <math>c_{2k}(E \otimes \mathbb{C})</math> denotes times 2k-th Chern class of the complexification <math>E \otimes \mathbb{C}=E\oplus i E</math> of <math>E</math> and <math>H^{4k}(M,\mathbb{Z})</math>, the 4k-cohomology group of <math>M</math> with integer coefficients.

The rational Pontryagin class <math>p_k(E,{\mathbb Q})</math> is defined to be image of <math>p_k(E)</math> in <math>H^{4k}(M,\mathbb{Q})</math>, the 4k-cohomology group of <math>M</math> with rational coefficients.

Pontryagin classes have a meaning in real differential geometry — unlike the Chern class, which assumes a complex vector bundle at the outset.

[edit] Properties

If all Pontryagin classes and Stiefel-Whitney classes of <math>E</math> vanish then the bundle is stably trivial, i.e. its Whitney sum with a trivial bundle is trivial. The total Pontryagin class <math>p(E)=1+p_1(E)+p_2(E)+...\in H^{*}(M,\mathbb{Z}),</math> is multiplicative with respect to Whitney sum of vector bundles, i.e <math>p(E\oplus F)=p(E)\cup p(F)</math> for two vector bundles <math>E</math> and <math>F</math> over <math>M</math>, i.e.

<math>p_1(E\oplus F)=p_1(E)+p_1(F),</math>

<math>p_2(E\oplus F)=p_2(E)+p_1(E)\cup p_1(F)+p_2(F) </math>

and so on. Given a 2k-dimensional vector bundle E we have

where <math>e(E)</math> denotes Euler class of E, and the notation is the cup product of cohomology classes.

[edit] Pontryagin classes and curvature

As was shown by Shiing-Shen Chern and André Weil around 1948, the rational Pontryagin classes

<math>p_k(E,\mathbb{Q})\in H^{4k}(M,\mathbb{Q})</math>

can be presented as differential forms which depend polynomially on the curvature form of a vector bundle. This Chern-Weil theory revealed a major connection between algebraic topology and global differential geometry.

For a vector bundle E over a n-dimensional differentiable manifold M equipped with a connection, its k-th Pontryagin class can be realized by the 4k-form

<math> Tr(\Omega\wedge...\wedge\Omega)</math>

constructed with 2k copies of the curvature form <math>\Omega</math>. In particular the value

<math> p_k(E,\mathbb{Q})=[Tr(\Omega\wedge...\wedge\Omega)]\in H^{4k}_{dR}(M)</math>

does not depend on the choice of connection. Here

denotes the de Rham cohomology groups.

[edit] Pontryagin classes of a manifold

The Pontryagin classes of a smooth manifold are defined to be the Pontryagin classes of its tangent bundle.

Novikov's theorem states that if manifolds are homeomorphic then their rational Pontryagin classes

<math>p_k(M,\mathbb{Q}) \in H^{4k}(M,\mathbb{Q})</math>

are the same.

If the dimension is at least five, there at most finitely many different smooth manifolds with given homotopy type and Pontryagin classes.

[edit] Pontryagin numbers

Pontryagin numbers are certain topological invariants of a smooth manifold. The Pontryagin number vanishes if the dimension of manifold is not divisible by 4. It is defined in terms of the Pontryagin classes of a manifold as follows:

Given a smooth 4n-dimensional manifold M and a collection of natural numbers

the Pontryagin number <math>P_{k_1,k_2,...k_m}</math> is defined by

where <math>p_{k}</math> denotes the k-th Pontryagin class and [M] the fundamental class of M.

[edit] Properties

Pontryagin numbers are oriented cobordism invariant; and together with Stiefel-Whitney numbers they determine an oriented manifold's oriented cobordism class.
Pontryagin numbers of closed Riemannian manifold (as well as Pontryagin classes) can be calculated as integrals of certain polynomial from curvature tensor of Riemannian manifold.
Such invariants as signature and <math>\hat A</math>-genus can be expressed through Pontryagin numbers.