ポントリャーギン類

数学において、レフ・ポントリャーギン(Lev Pontryagin)の名前のついた**ポントリャーギン類**(Pontryagin classes)は特性類のひとつで、4 の倍数の次数を持つコホモロジー群の中にある。ポントリャーギン類は、実ベクトルバンドルへ適用される。

## 定義
*M* 上の実ベクトルバンドル *E* が与えられると、その *k*-次**ポントリャーギン類**(Pontryagin class) *p<sub>k</sub>*(*E*) は、
:*p<sub>k</sub>*(*E*) = *p<sub>k</sub>*(*E*, **Z**) = (−1)*k* *c*2*k*(*E* ⊗ **C**) ∈ *H*4*k*(*M*, **Z**)
として定義される。ここに
* *c*2*k*(*E* ⊗ **C**) は、*E* の(complexification) *E* ⊗ **C** = *E* ⊕ *iE* の2*k*-次チャーン類である。
**H*4*k*(*M*, **Z**) は *M* の整数係数の 4*k*-次コホモロジー群である。

有理ポントリャーギン類 *p<sub>k</sub>*(*E*, **Q**) は、*H*4*k*(*M*, **Q**) の中の *p<sub>k</sub>*(*E*) の像、有理係数の *M* 上の 4*k*-次コホモロジー群として定義される。

## 性質
**全ポントリャーギン類**(total Pontryagin class) 
:p(E)=1+p_1(E)+p_2(E)+\cdots\in H^*(M,\mathbf{Z}),
は、ベクトルバンドルの(Whitney sum)の観点から modulo 2-torsion で乗法的である。ホイットニー和とは、*M* の 2つのベクトルバンドル *E* と *F* に対し、
:2p(E\oplus F)=2p(E)\smile p(F)
となることである。個々のポントリャーギン類 *p<sub>k</sub>* の項では、
:2p_1(E\oplus F)=2p_1(E)+2p_1(F),
:2p_2(E\oplus F)=2p_2(E)+2p_1(E)\smile p_1(F)+2p_2(F)
などとなる。

ベクトルバンドルのポントリャーギン類やスティーフェル・ホイットニー類が 0 となることは、ベクトルバンドルが自明であることを保証するものではない。たとえば、ベクトルバンドルの同型を同一視すると、一意な非自明なランク 10 のベクトルバンドル *E*10 が 9-球面上に存在する。（*E*10 の(clutching function)は、(stable homotopy group) π8(O(10)) = **Z**/2**Z** から来る。）ポントリャーギン類とスティーフェル・ホイットニー類はすべて 0 となる。ポントリャーギン類は次数 9 には存在しないので、*E*10 のスティーフェル・ホイットニー類 *w*9 は、ウーの公式 *w*9 = *w*1*w*8 + Sq1(*w*8) により 0 となる。さらに、このベクトルバンドルは安定で非自明、つまり、すべての自明バンドルを持つ *E*10 のホイットニー和は、非自明のままである。

2*k*-次元ベクトルバンドル *E* があたえられると、
:p_k(E)=e(E)\smile e(E),
を得る。ここに *e*(*E*) は *E* のオイラー類を表し、\smile はコホモロジー類のカップ積(cup product)を表す。

### ポントリャーギン類と曲率
陳省身(Shiing-Shen Chern)とアンドレ・ヴェイユ(André Weil)により 1948年頃に示されたように、有理ポントリャーギン類
:p_k(E,\mathbf{Q})\in H^{4k}(M,\mathbf{Q})
は、ベクトルバンドルの曲率形式に多項式を通して依存した微分形式として表現することができる。このチャーン・ヴェイユ理論は、代数トポロジーと大域微分幾何学の間に大きな関係があることを明らかにした。

接続形式を持つ *n*-次元微分可能多様体(differentiable manifold) *M* 上のベクトルバンドル *E* に対し、全ポントリャーギン類は、
:p=\left[1-\frac{{\rm Tr}(\Omega ^2)}{8 \pi ^2}+\frac{{\rm Tr}(\Omega ^2)^2-2 {\rm Tr}(\Omega ^4)}{128 \pi ^4}-\frac{{\rm Tr}(\Omega ^2)^3-6 {\rm Tr}(\Omega ^2) {\rm Tr}(\Omega ^4)+8 {\rm Tr}(\Omega ^6)}{3072 \pi ^6}+\cdots\right]\in H^*_{dR}(M)

として表現される。ここに Ω は曲率形式を表し、*H**dR(*M*) はド・ラームコホモロジー群を表す。

### 多様体のポントリャーギン類
**滑らかな多様体のポントリャーギン類**は、多様体の接バンドルのポントリャーギン類として定義される。

セルゲイ・ノヴィコフ(Sergei Novikov)は 1966年に、多様体が同相であれば、*H*4*k*(*M*, **Q**) の中の有理ポントリャーギン類 *p<sub>k</sub>*(*M*, **Q**) は同じであることを証明した。

次元が少なくとも 5 であれば、与えられたホモトピー型(homotopy type)とポントリャーギン類を持つ微分可能多様体は高々有限個しか存在しない。

## ポントリャーギン数
**ポントリャーギン数**(Pontryagin numbers)は、滑らかな多様体の位相不変量(topological invariant)である。ポントリャーギン数は、多様体の次元が 4 で割り切れないような滑らかな多様体 0 であり、次のように多様体のポントリャーギン類の項で定義される。

滑らかな 4*n*-次元多様体 *M* と自然数の集まり
:*k*1, *k*2, ..., *k<sub>m</sub>* such that *k*1+*k*2+...+*k<sub>m</sub>* =*n* が与えられると、ポントリャーギン数 P_{k_1,k_2,\dots,k_m} は、
:P_{k_1,k_2,\dots, k_m}=p_{k_1}\smile p_{k_2}\smile \cdots\smile p_{k_m}([M])
により定義される。ここに *p<sub>k</sub>* は *k*-次ポントリャーギン類を表し、[*M*] は *M* の基本類 を表す。

### 性質
#ポントリャーギン数は、向き付けられたコボルディズム(cobordism)不変量であり、スティーフェル・ホイットニー数とともに、向きつけられた多様体のコボルディズムを決定する。
#閉リーマン多様体のポントリャーギン数（ポントリャーギン類と同様に定義される）は、リーマン多様体の曲率テンソルからある多項式の積分として計算することができる。
#(signature)や種数 and <math>\hat A</math>-genusはポントリャーギン数を通して表現することができる。

## 一般化
四元数構造を持つベクトルバンドルに対し、**四元数**ポントリャーギン類も存在する。

## 関連項目
*チャーン・サイモンズ形式

## 参考文献
*
* 

## 外部リンク
*