特性類

**特性類** (とくせいるい、) は、位相群を構造群とするファイバーバンドルの不変量であり、（十分性質がよい）位相空間を底空間とするファイバーバンドル

: \pi~:~E \to X

に対し、のコホモロジー群の元を対応させる対応関係

: c~:~\xi=(E,X,\pi)\mapsto c(\xi)\in H^q(X;A)

で、「自然な」ものである。

原理的には任意のファイバーバンドルに対して特性類を定義できるが、研究が進んでいるのは主にベクトルバンドルに対する特性類である。ベクトルバンドルの特性類は以下の数学の分野に応用がある：

* 
* K理論
* チャーン・ヴェイユ理論
* コボルディズム理論

またが可微分多様体であれば、の接バンドルの特性類を自身の不変量とみなす事ができる。接バンドルはの可微分構造に依存しているので、ミルナーはの特性類を利用する事により、の存在を示した。

1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。

## 定義と基本的な性質

### 定義
以下、をファイバーに持つファイバーバンドルの事を**-**バンドルと呼ぶこととし、全空間、底空間および射影\pi~:~E\to Xからなる**-**バンドルを(E,X,\pi)と表記する。特性類の概念を厳密に定義するには圏論の概念を使う必要があるので、まずは若干厳密性を犠牲にした定義を以下に述べる：

上の定義における記号の意味を説明すると、f^*(c(\xi))=c(f^*(\xi))における左辺のf^*は、がコホモロジーに誘導する写像
:f^*~:~c(\xi)\in H^q(Y,A)\mapsto f^*(c(\xi))\in H^q(X,A)
の事であり、右辺のf^*は上の-バンドル\xi=(E,X,\pi)のによる引き戻しによって定義される上の-バンドルの事である。

#### 注意点
上の定義に関して２つの注意点を述べる。第一に、上の定義におけるバンドル写像は構造群のへの作用と両立するもののみを考えている。したがって例えば次元実ベクトルバンドルを\mathrm{GL}_n(\mathbb{R})を構造群として持つ\mathbb{R}^n-バンドルとみなしたとき、各点x\in XのファイバーF_x上にバンドル写像を制限したf|_x~:~F_x\to F_yは線型同型写像でなければならず、行列式がになってはならない。逆に言えば、いずれかの点x\in Xで行列式がになるに対してはf^*(c(\xi))=c(f^*(\xi))が成立する必要はないし、次元が異なるベクトルバンドル間の写像に関してもこの性質が成立する必要はない。

第二に、本項では多くの教科書と同様、ファイバーバンドルの底空間がCW複体である場合に限定して特性類を定義したが、より一般の空間、例えばパラコンパクトな位相空間に対しても特性類を定義できる。ただしこの場合本項で述べる性質のいくつかは成立しない。なお幾何学における多くの用途ではCW複体を対象にすれば十分である。実際、任意の可微分多様体は単体的複体、したがってCW複体と位相同型になる事が知られており、（可微分とは限らない）位相多様体もコンパクトな場合はCW複体とホモトピー同型になる事が知られている。さらにいえば任意の位相空間はCW複体とである。

また本項では底空間に対してはCW複体である事を要求したものの、構造群*G*、ファイバー、全空間は（CW複体とは限らない）任意の位相群、位相空間でよい。

#### ホモトープな写像の特性類

構造群を持つファイバーバンドルの性質として以下が知られている：

すなわち特性類を考える上では、底空間の間の写像はホモトピークラスのみを考慮すればよい。

#### 厳密な定義
以上では特性類の定義に「対応関係」という未定義の言葉を使ったが、圏論の概念を使えばこうした未定義の語に頼らずに特性類の概念を定義できる：なお、上述の特性類の定義において圏の射は連続写像としたが、下記の定理より、これを胞体写像に変えても定義は同値になる：

特性類に登場するコホモロジーとして、特異コホモロジーより簡便な（だが特異コホモロジーと同値である）胞体コホモロジーを用いる場合は議論に胞体写像を用いる必要があるのでこの定理は有用である。

### ファイバーバンドルとその主バンドルの関係

以下の事実は特性類を具体的に定義する上で鍵となる重要な性質である：

この定理と特例類の定義からファイバーバンドルの特性類と主バンドルの特性類が1対1対応するという重要な事実が明らかに従う：

この事実から**ファイバーバンドルに対して特性類を定義するには主バンドルに対して特性類が定義できる事が必要十分である**事がわかる。そこで以下、おもに主バンドルにフォーカスして特性類の議論をすすめる事とする。

なお上の定理ではがに効果的に作用している事を仮定しているが、多くの場合この仮定は必須ではない。実際、が十分性質の良い空間、たとえはCW複体であれば、のへの作用が連続である必要十分条件は、のへ作用のから定まる写像\phi~:~G \to \mathrm{Homeo}(F)が（\mathrm{Homeo}(F)にコンパクト開位相を入れたとき）連続になる事である。よっての作用が忠実ではない場合であっても、写像\phiのカーネルで割った位相群G/\mathrm{ker}\phiはへ忠実かつ連続に作用するので、-バンドルの特性類を定義するには主G/\mathrm{ker}\phi-バンドルの特性類を定義すれば良い。

## 分類空間
本節では位相群の**分類空間**のいう概念を導入し、分類空間の概念を用いて主バンドルの特性類の概念を全く別の角度から特徴づける。この分類空間を用いた特性類の定義は、後の節で特性類の具体例を構築する上で非常に有益である。

### 定義と性質

#### 定義
分類空間の概念を定義するため、まず以下の概念を定義する。

弱可縮の概念を用いて、分類空間の概念は以下のように定義される：

「分類空間」という名称の由来は次節に回すが、分類空間は必ず存在し、本質的に一意である：上述したように、分類空間はホモトピー同型を除いて一意ではあるものの、同一の位相群に対し位相同型ではない複数の分類空間が存在しうる。このため位相群に対する個々の分類空間の事を分類空間の**モデル**（）という。

#### 分類定理
分類空間はその名称が示す通り、与えられた底空間上の-バンドルは、底空間から普遍-バンドル(PG,BG,\pi_G)への写像のホモトピークラスにより完全に分類される：

なお、上の定理において写像[f]\in[X,B]\mapsto f^*(P)\in \mathcal{P}_{G,F}(X)がwell-definedな事は、ホモトープな２つの写像が引き戻したバンドルは互いに同型な事だというすでに見た事実から従う。

上記の定理から、上の任意の主-バンドルに対し、写像f~:~X\to Bがホモトピー同値を除いて一意に定まる。このの事をの**分類写像**（）という。

構造群を持つファイバーバンドルと主-バンドルは1対1対応するので、上記の定理から一般のファイバーバンドルに対する分類定理が系として従う：
分類定理の場合と同様、上の-バンドルに対応する写像f~:~X\to Bをの**分類写像**（）という。

#### 離散群の分類空間
が離散群である場合は、定義より明らかに次が成立する：

この意味において、分類空間とは離散群におけるアイレンベルグ・マックレーン空間の概念を位相群に拡張したものである。

#### 準同型から誘導される写像
2つの位相群、の間の連続な準同型写像\varphi~:~G\to Hが与えられたとき、から分類空間の間の写像B\varphi~:~BG\to BHを定義できる。

この事を見るために主バンドルの一般論を簡単に復習する。\pi~:~P\to Xを主-バンドルとし、\varphi~:~G\to Hを連続準同型写像とするとき、
:P\times_{\varphi} H 
をPG\times H を同値関係
:(ag,h)\sim (a,\varphi(g)h)~\text{ for some}~g\in G
で割った空間とする事で、**バランス積**（）と呼ばれる上の主-バンドル
:[(a,h)]\in P\times_{\varphi} H \mapsto \pi(a) \in X 
を構成できる。そこでB\varphi~:~BG\to BHを次のように定義する：

実はこの対応関係は関手になっている：

#### 分類空間の性質

本節では、後で特性類を計算するとき必要となる分類空間の性質を述べる。

分類空間の関手は直積に関して以下のように振る舞う。

なお圏論的に言えば、「X \times_k Y」はコンパクト生成位相空間の圏における圏論的な直積になっている。

### 分類空間による特性類の特徴づけ

分類空間の概念を用いる事により、主バンドルに対する特性類の概念を以下のように特徴づける事ができる：
上述の定理の1対1関係は具体的に以下のようにかける。すでに述べたように構造群の忠実な作用を持つ任意の-バンドルの特性類は主-バンドルの特性類と主-バンドルの1対1対応するのでこの場合に話を限定する。
まず主-バンドルの任意の特性類に対し、
: c(PG)\in H^*(BG;A)
が対応する。逆にc_G\in H^*(BG;A)を任意に選ぶと、主-バンドル\xi=(P,X,\pi)に対し、分類定理により分類写像f_{\xi}~:~X\to BGがホモトピーを除いて一意に定まるので、のに対する特性類を
:c(\xi):=f_{\xi}{}^*(c_G)\in H^*(X;A)
により定義できる。

上の定理から、H^*(BG;A)の元を**普遍特性類**()という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。

定理の証明は以下の通りである：

## ベクトルバンドルの構造群の分類空間
特性類の概念は原理的には任意の位相群の主バンドルに対して定義できるが、研究が進んでいるのはベクトルバンドル（の主バンドル）に対する特性類である。

そこでベクトルバンドルの特性類について記述するための準備として、本節ではベクトルバンドルの構造群の分類空間を具体的に記述する。

すなわち本節ではK=\mathbb{C},\mathbb{R}に対し、一般線型群GL_n(K)の分類空間を記述する。さらに\mathbb{R}の場合にはベクトルバンドルに向き付けが定義可能なので、向き付け可能な\mathbb{R}上ベクトルバンドルの構造群であるGL_n^+(\mathbb{R})の分類空間についても記述する。ここでGL_n^+(\mathbb{R})は行列式が正の\mathbb{R}上可逆行列のなす群である。

本節ではさらに、ユニタリ群U_n、直交群O_n、回転群SO_nの分類空間についても記述する。後述するようにGL_n(\mathbb{C})、GL_n(\mathbb{R})、GL_n^+(\mathbb{R})の分類空間は、実はそれぞれU_n、O_n、SO_nの分類空間と等しい。

### スティーフェル多様体とグラスマン多様体
の分類空間を記述する為、本節ではとを定義する。

後述するようにこれらはそれぞれ普遍-バンドルの全空間、分類空間になる。が次元の有限次元ベクトル空間の場合は、V_nW、V^U_nW、V^O_nWは集合として自然に
:\begin{align}
V_nW&\simeq \mathrm{GL}_m(K)/\mathrm{GL}_{m-n}(K)\\
V_n^UW&\simeq U(m)/U(m-n)~~\text{when }K=\mathbb{C}\\
V^O_nW&\simeq O(m)/O(m-n)~~\text{when }K=\mathbb{R}
\end{align}
という同一視ができ、上式右辺には多様体としての構造が入る事がリー群の一般論から従うので、スティーフェル「多様体」と呼ぶ。が無限次元の場合はV_nW、V^U_nW、V^O_nWは有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。スティーフェル多様体と同様、が次元の有限次元ベクトル空間であれば、
:G_nW\simeq \mathrm{GL}_m(K)/(\mathrm{GL}_{n}(K)\times \mathrm{GL}_{m-n}(K))\simeq
\begin{cases}
U(m)/(U(n)\times U(m-n))~&~\text{when }K=\mathbb{C}\\
O(m)/(O(n)\times O(m-n))~&~\text{when }K=\mathbb{R}
\end{cases}

および
:\tilde{G}_nW \simeq \mathrm{GL}_m(K)/(\mathrm{GL}^+_{n}(K)\times \mathrm{GL}_{m-n}(K)) \simeq O(m)/(SO(n)\times O(m-n))~~\text{when }K=\mathbb{R}


という同一視ができ、この同一視により、G_nW、\tilde{G}_nWに多様体としての構造が入る。

### の分類空間の具体的記述
スティーフェル多様体V_nWの元である-フレームにそのフレームの貼る部分空間を対応させる事で商写像

: \pi_n~:~V_nW \to G_nW

を定義できる。\pi_n~:~V^U_nW \to G_nW、\pi_n~:~V^O_nW \to G_nW、\pi_n~:~V^O_nW \to \tilde{G}_nWも同様に定義できる。

上記の定理に関する留意点を述べる。K=\mathbb{C}, \mathbb{R}**に対する****の分類空間は****の分類空間と同一な空間**G_nK^{\infty}**である**。

これはCW複体上の任意のベクトルバンドルには必ず内積が定義でき、グラム・シュミットの正規直交化法によりがに可縮である事が理由である。

### 普遍-平面バンドル
分類定理で述べたように、上の主-バンドルに随伴する次元ベクトルバンドルは、任意のCW複体上の次元ベクトルバンドルを分類する上で有益である。このために随伴する次元ベクトルバンドルの事を**普遍-平面バンドル**（）と呼ぶ。

バンドルの一般論から、普遍-平面バンドルは(V_nK^{\infty} \times K^n)/GL_n(K)
と表記できるが、より具体的に表記する事も可能である。

グラスマン多様体はの次元部分ベクトル空間全体のなす多様体なので、グラスマン多様体の元＝ベクトル空間上のファイバーとして、自身を取ったベクトルバンドルを定義でき、これをグラスマン多様体の****と呼ぶが、のトートロジカル・バンドルが普遍-平面バンドルになっている。

具体的には
:E^m_n:=\{(V,v)\in G_nK^m \times K^m \mid v\in V\}

とし、第一成分への射影\pi^m_n~:~(V,v)\in E^m_n\mapsto V\in G_nK^m
によりE^m_n
を上のベクトルバンドルとみなしたものがのトートロジカル・バンドルであり、に関する帰納的極限をとった
:\pi_n~:~ E_n\to  G_nK^{\infty}

が普遍-平面バンドルになっている。

## 複素ベクトルバンドルの特性類：チャーン類
本章では、複素ベクトルバンドルの特性類である**[[チャーン類]]**について述べる。これまでの議論からわかるように、複素ベクトルバンドルの整数係数の特性類とは分類空間
:BGL_n(\mathbb{C})=BU(n)=G_n\mathbb{C}^{\infty}
のコホモロジーH^*(BU(n);\mathbb{Z}) の元と1対1対応するので、H^*(BU(n);\mathbb{Z}) の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、H^*(BU(n);\mathbb{Z}) の生成元である。

### の具体的記述
チャーン類について記述するため、まずH^*(BU(n);\mathbb{Z}) の具体的構成を調べる。n=1に対しては以下が成立する：

なお、上の補題において\alphaは偶数次のコホモロジーの元なので、\mathbb{Z}[\alpha]上カップ積は可換であるため、\mathbb{Z}[\alpha]が可換環であるという事実と矛盾しない。

一般のに対してH^*(BU(n);\mathbb{Z})の具体的構造を求めるため、連続準同型写像
:\iota~:~U(1)^n \hookrightarrow U(n), ~~(A_1,\ldots,A_n)\mapsto A_1\oplus\cdots\oplus A_n
を考える。ここでA_1\oplus \cdots\oplus A_nはA_1,\ldots,A_nを行列の対角成分に配置したU(n)の元である。（なおリー群の観点からは、U(n)の極大トーラスU(1)^nである）。このとき以下が成立する。

なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いと、および上記の補題から従う。

以上の事実から、後はH^*(BU(n);\mathbb{Z}) の\iota^*による像が\mathbb{Z}[\alpha_1,\ldots,\alpha_n] のどのような部分集合に落ちるかを決定すれば、H^*(BU(n);\mathbb{Z}) を具体的に書きあらわす事ができる。

H^*(BU(n);\mathbb{Z}) の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する：

(h)))\simeq (a\varphi_{u^{-1}}(h),1)を満たすのでは全射である。また明らかに\mu(a)=\mu(b) \iff [(a,1)]=[(b,1)] \iff a=bなので、は単射でもある。との連続性の証明は省略する。

以上の事実を用いて命題を示す。定義よりB\varphi_g~:~BG \to BGは主バンドルPB \times_{\varphi_g} G \to BG に対応する分類写像であり、上記の議論によりこの主バンドルはPG  \to BG 自身に等しいので、分類定理よりB\varphi_Aは恒等写像とホモトープである。
|drop=yes}}

A\in U(n)に対し\varphi_A~:~B\mapsto ABA^{-1}をU(n)上の内部自己同型とすると、上述の命題より、\varphi_{A} がコホモロジー群に誘導する写像
:B\varphi_{A}{}^*~:~ H^*(BU(n);\mathbb{Z})\to H^*(BU(n);\mathbb{Z}) 

は恒等写像である。単射\iotaによりU(1)^nをU(n)の部分群とみなし、U(1)^nの正規化群

:N=\{A\in U(n)\mid \varphi_A(U(1)^n)= U(1)^n\}

をU(1)^nの中心化群
:Z=\{A\in U(n)\mid \forall B\in U(1)^n ~:~ \varphi_A(B)= B\}

で割ったW=N/Zを考え、
:H^*(BU(1)^n;\mathbb{Z})^{W}:=\{u\in H^*(BU(1)^n ;\mathbb{Z})\mid \forall [A]\in W ~:~B\varphi_A|_{U(1)^n}{}^*(u)=u\} 

と定義するとこの定義はWell-definedである。ここで[A]\in W=N/Zは同値類を表す。

このとき次の事実が従う事が知られている：一般に連結なコンパクトリー群に対し、の極大トーラスをとするとき、の正規化群N := \{g\in G\mid \varphi_g(T)=T \}を中心化群<math>Z := \{g\in G\mid \forall t\in T ~:~\varphi_g(t)=t \}</math>で割った群
:W(G) := N/Z

の事をの**[[ワイル群]]**という。なお極大トーラスは共役を除いて一意に定まる事が知られているので、ワイル群は極大トーラスの取り方によらず同型になる。またの極大性から中心化群は実は自身に等しい。

明らかに前述のはU(n)のワイル群に相当する。後はU(n)のワイル群を決定しさえすれば、H^*(BU(n);\mathbb{Z}) \approx H^*(BU(1)^n;\mathbb{Z})^Wの構造が決定できる。

### チャーン類
P_{ij}~:~\mathbb{C}^n \to \mathbb{C}^n を第成分と第成分を入れ替える行列とすると、明らかに[P_{ij}]\in W である。この事実を利用すると、以下の事実が示せる：

位相群に分類空間を対応させる関手と位相空間にコホモロジー環を対応させる関手が直積を保つので、上述の定理からはH^*(BU(1)^n;\mathbb{Z}) \approx \mathbb{Z}[\alpha_1,\ldots,\alpha_n] の\alpha_1,\ldots,\alpha_nを入れ替える形でH^*(BU(1)^n;\mathbb{Z})に作用する。よって

:H^*(BU(1)^n;\mathbb{Z})^W\subset H^*(BU(1)^n;\mathbb{Z}) \approx \mathbb{Z}[\alpha_1,\ldots,\alpha_n] 

は対称多項式全体の集合に一致する。よく知られているように、任意の対称多項式は基本対称式の多項式として書けるので、以上の事実からチャーン類を以下のように定義する：

分類空間<math>H^*(BU(n);\mathbb{Z})</math>の元と特性類は1対1でするので、第チャーン類c_iに対応する特性類
: c_i(\xi)
をベクトルバンドルの**第チャーン類**という。分類空間の元c_iをc_i(\xi)と区別したいときは、c_iを**第普遍チャーン類**（）という。

なお、1\in H^*(BU(1)^n;\mathbb{Z})を「次の基本対象式」とみなし、c^{(n)}_0:=(\iota^*)^{-1}(1)=1を第チャーン類と呼ぶ。またn+1次以上の基本対称式は存在しないので、m>nに対しては、第チャーン類をc^{(n)}_m:=0と定義する。

またチャーン類は埋め込み\iota~:~U(1)^n\to U(n)を使って定義されており、この埋め込みは\mathbb{C}^nの正規直交基底の取り方に依存している。しかし正規直交基底の取り替えにより、\iotaはU(n)の内部自己同型\varphi_{A} との合成\iota\circ\varphi_{A} に置き換わるだけなので、前述した命題から、チャーン類は正規直交基底の取り方によらずwell-definedである。

以上で見たように各は対称多項式の根に相当するものなので、の事を**チャーン根**（）という。

これまでの議論とチャーン類の定義から明らかに以下の事実が従う：

#### 規約
チャーン類の定義において、の代わりに単元u\in \mathbb{C}, \text{ s.t. } |u|=1をこれらに掛けた\beta_1:=u\alpha_1,\ldots,\beta_n:=u\alpha_nをチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元の選び方だけ自由度がある事になる。

そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドル\xi_U=(EU(1),BU(1),\pi)に対し、c^{(1)}_1(\xi_U)がH^2(BU(1),\mathbb{Z})のcanonicalな生成元になるという規約を置く事が多いが、代数幾何学では\xi_Uの双対ベクトルバンドル\xi^*_Uに対してc^{(1)}_1(\xi^*_U)がH^2(BU(1),\mathbb{Z})のcanonicalな生成元になるという規約を置く事が多い。

区別のため代数幾何学の方のチャーン類をc'{}^{(n)}_kと書くことにすると、代数的位相幾何学のチャーン類とは
:c'{}^{(n)}_k=(-1)^kc^{(n)}_k 

という関係を満たす。本稿では以下、特に断りがない限り、代数的位相幾何学の規約を採用するものとする。

### チャーン類の公理的特徴づけ

前節で定義したチャーン類が次元公理と正規化公理を満たすのは明らかである。ホイットニー和の公式の証明は下記のとおりである。

一方、上記の公理を満たす特性類の一意性は数学的帰納法により容易に示せる。

### チャーン多項式

チャーン類を取り扱う上で、下記のチャーン多項式を考えると便利である：

なお、チャーン類の定義より、チャーン多項式はチャーン根を使って形式的に
: c(\xi,t)=\prod_i(t+\alpha_i)
と因数分解できる。

チャーン多項式を用いると、ホイットニー和の公式は以下のように言い換えられる：

#### チャーン多項式の性質
チャーン多項式は以下の性質を満たす。なお文献によっては以下の性質をチャーン類の公理として入れているものもあるが、実は他の公理から従うので、公理に入れる必要はない。

## 実ベクトルバンドルの特性類
本節以降、実ベクトルバンドルの特性類を記述していくが、その記述は複素ベクトルバンドルのそれと比べかなり複雑であるので、詳細は次節以降に譲り、本節では実ベクトルバンドルの特性類の概要を述べる。

実ベクトルバンドルの特性類が複雑になる理由は２つある：

# 実ベクトルバンドルの主バンドルの分類空間H^*(BO(n),\mathbb{Z})は複素ベクトルバンドルの主バンドルのH^*(BU(n),\mathbb{Z})と違い、\mathbb{Z}_2-捩れ部分群を持つ。この捩れ部分群が「悪さ」をするため、H^*(BO(n),\mathbb{Z})を簡単に記述する事ができない。
# 実ベクトルバンドルの場合は複素ベクトルバンドルと違い、向き付けの概念がある。このため向き付けのない場合の分類空間H^*(BO(n),\mathbb{Z})と向き付けのある場合の分類空間H^*(BSO(n),\mathbb{Z})の両方を考察しなければならない。

1つ目の問題を回避するために、以下ではH^*(BO(n),\mathbb{Z})を直接考察するのを諦め、H^*(BO(n),\mathbb{Z}_2)とH^*(BO(n), \Lambda)の２つを別々に考察することにする。ここではの逆元を持つ任意の可換環である。を使う事でH^*(BO(n),\mathbb{Z}_2)とH^*(BO(n), \Lambda)からH^*(BO(n),\mathbb{Z})を計算できるので、実用上はこの２つに対する特性類が把握できていれば十分である。

2つ目の問題に関しては、H^*(BO(n))とH^*(BSO(n))とは環構造が異なるので、この２つを両方とも考察する必要がある。

### 係数環がの場合
係数環が\mathbb{Z}_2の場合の特性類の記述は比較的簡単であり、H^*(BO(n))とH^*(BSO(n))の差はさほど大きくなく、
:\begin{align}
H^*(BO(n),\mathbb{Z}_2)&=\mathbb{Z}_2[w_1,\ldots,w_n] \\
H^*(BSO(n),\mathbb{Z}_2)&=\mathbb{Z}_2[w_2,\ldots,w_n],~~w_1=0  \\
\end{align}
という形で両者を記述できる。ここでw_1,\ldots,w_n は**スティーフェル・ホイットニー類**と呼ばれる特性類で、このようなw_1,\ldots,w_nの存在はチャーン類の場合と類似した方法で証明できる。ただし第チャーン類が**次**のコホモロジー群に属するのに対し、第スティーフェル・ホイットニー類は**次**のコホモロジー群に属するので注意が必要である。

### 係数環がを満たすの場合
それに対し係数環が2^{-1}\in \Lambda を満たすの場合はより複雑である。H^*(BO(n), \Lambda)に関しては、
:H^*(BO(n), \Lambda)=\Lambda[p_1,\ldots,p_{\lfloor n/2\rfloor}] 

の形で記述でき、p_1,\ldots,p_nを**ポントリャーギン類**という。（p_iは**次**のコホモロジー群に属する）。ここで\lfloor\cdot\rfloorは床関数である。
具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って
:p_i=(-1)^ic_{2i}

と書ける。（なお、実ベクトルバンドルの複素化の場合、奇数次のチャーン類c_{2i+1}
は2c_{2i+1}=0
を満たし、よって係数環がの場合は必ずc_{2i+1}=0
になる）。

一方、H^*(BSO(n), \Lambda)はが偶数か奇数で形が異なり、
:H^*(BSO(n), \Lambda)=
\begin{cases}
\Lambda[p_1,\ldots,p_{\lfloor n/2\rfloor}] & \text{ if }n \text{ is odd}\\
\Lambda[p_1,\ldots,p_{\lfloor n/2\rfloor},\chi]/(\chi^2= p_{\lfloor n/2\rfloor})& \text{ if }n \text{ is even}\\
\end{cases}

と書ける。ここでp_1,\ldots,p_{\lfloor n/2\rfloor}は前述のポントリャーギン類であり、は**オイラー類**と呼ばれる特性類である。また\Lambda[p_1,\ldots,p_{\lfloor n/2\rfloor},\chi]/(\chi^2= p_{\lfloor n/2\rfloor})は多項式環\Lambda[p_1,\ldots,p_{\lfloor n/2\rfloor},\chi]においてをと同一視して得られる環を表す。すなわち\Lambda[p_1,\ldots,p_n,\chi]を単項イデアル(\chi^2- p_{\lfloor n/2\rfloor})で割った環である。

以上をまとめると、実ベクトルバンドルの分類空間のコホモロジーは以下のように記述できる：

## スティーフェル・ホイットニー類

本節ではH^2(BO(n);\mathbb{Z})の構造を具体的に決定し、それをもとにスティーフェル・ホイットニー類を定義する。

H^2(BO(n);\mathbb{Z})の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的にはH^2(BU(n);\mathbb{Z})の構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合はH^*(BU(1);\mathbb{Z}) =\mathbb{Z}[\alpha]を満たす\alphaが2次のコホモロジー群H^2(BU(1);\mathbb{Z})に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である：

この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。

なお、コホモロジーの係数が\mathbb{Z}_2なので、カップ積は奇数次のコホモロジーにおいても可換である。

### の具体的記述

自然数n\ge 1に対しH^2(BO(n);\mathbb{Z}_2)の具体的形を調べるため、チャーン類のときと同様、連続準同型写像

: \iota~:~O(1)^n\hookrightarrow O(n),~(A_1,\ldots,A_n)\mapsto A_1\oplus\cdots\oplus A_n

によりO(1)^nをO(n)の部分群とみなす。ここで「\oplus」は対角線上に行列を並べる演算である。

\varphi_A~:~B\mapsto ABA^{-1}を内部自己同型とする。チャーン類の時と同様、O(1)^nの正規化群
:N=\{A\in O(n)\mid \varphi_A(O(1)^n)= O(1)^n\}

をO(1)^nの中心化群
:Z=\{A\in O(n)\mid \forall B\in O(1)^n ~:~\varphi_A(B)= B\}

で割った\Sigma=N/Zを考え、
:H^*(BO(1)^n;\mathbb{Z})^{\Sigma}:=\{u\in H^*(BO(1)^n;\mathbb{Z})\mid \forall [A]\in \Sigma ~:~B\varphi_A{}^*(u)=u\} 

と定義するとこの定義はWell-definedである。ここで[A]\in \Sigma=N/Zは同値類を表す。このとき次の事実が従う：ここではH^*(BO(1)^n;\mathbb{Z}_2)\approx H^*(BO(1);\mathbb{Z}_2)\otimes \cdots \otimes H^*(BO(1);\mathbb{Z}_2)の番目のH^*(BO(1);\mathbb{Z}_2)の生成元である。

### スティーフェル・ホイットニー類の定義
スティーフェル・ホイットニー類を以下のように定義する：

分類空間<math>H^*(BO(n);\mathbb{Z}_2)</math>の元と特性類は1対1でするので、第スティーフェル・ホイットニー類w_iに対応する特性類
: w_i(\xi)
をベクトルバンドルの**第スティーフェル・ホイットニー類**という。分類空間の元w_iをw_i(\xi)と区別したいときは、w_iを**第普遍スティーフェル・ホイットニー類**（）という。

チャーン類のときと同様、w^{(n)}_0:=(\iota^*)^{-1}(1)=1、w^{(n)}_m:=0 for m>nと定義する。

明らかに以下の事実が従う：

### 公理的特徴づけ
チャーン類と同様スティーフェル・ホイットニー類も公理的に特徴づける事ができる：

### 性質
全チャーン類と同様、全スティーフェル・ホイットニー類を定義でき、全チャーン類と同様の性質を示す事ができる：

自然な写像\nu~:~SO(1)\to U(1)が誘導する写像H^*(U(1);\mathbb{Z}_2) \to H^*(SO(1);\mathbb{Z}_2)は単射であり、H^*(U(1);\mathbb{Z}_2)の生成元の自乗がに移る事が知られている。したがって
\sigma_i(\alpha_1{}^2,\ldots,\alpha_n{}^2) \in H^*(U(1)^n;\mathbb{Z}_2)はw_i\in\sigma_i(\beta_1,\ldots,\beta_n) \in H^*(U(1)^n;\mathbb{Z}_2)に移るが、\mathbb{Z}_2上では\sigma_i(\alpha_1{}^2,\ldots,\alpha_n{}^2)=\sigma_i(\alpha_1,\ldots,\alpha_n)^2=c_iになので、以下が成立する：
とすると、任意の非負整数に対して以下が成立する：
: c_i(\xi_{\mathbb{C}})=w_i(\xi)^2 in H^*(X;\mathbb{Z}_2)
}}

逆に複素ベクトルバンドル\omegaから複素構造を実ベクトルバンドルとみなしたものを\xiの**脱複素化**（、）と呼び、\omega_{\mathbb{R}}と書くと任意の非負整数に対して以下が成立する事が知られている：
)=c_i(\xi)、w_{2i+1}(\omega_{\mathbb{C}}))=0 in H^*(X;\mathbb{Z}_2)
}}

## ポントリャーギン類とオイラー類

本節では2^{-1} \in \Lambdaを満たす可換環に対し、H^*(BSO(n),\Lambda)、H^*(BO(n),\Lambda)の構造を決定し、これをもとにポントリャーギン類とオイラー類を定義する。

### 定義
本節ではコホモロジー環H^*(BSO(n),\Lambda)、H^*(BO(n),\Lambda)の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこでの極大トーラスを記述するため、が偶数であるか奇数であるかに応じて、として\mu~:~SO(2)^m \hookrightarrow  SO(n)を

により定義する。ここで「\oplus」は対角線上に行列を並べる演算であり、は2次元の回転行列
: R(\theta):=
\begin{pmatrix}
 \cos \theta & -\sin \theta\\
 \sin \theta & \cos \theta
\end{pmatrix}

である。\muによるの像はの極大トーラスである事が知られている。さらに自然な埋め込み\iota~:~SO(n)\hookrightarrow O(n)を考える。

そしてこれら２つの写像が分類空間のコホモロジーに誘導する写像を考える：

上式の最後の同型「\approx」は、リー群としてSO(2)\approx U(1)である事からチャーン類のときの議論により従う。ここで「\approx」は環としての同型であり、H^*(BSO(2)^m,\Lambda)の積はカップ積である。

またはH^*(BSO(2)^m;\Lambda)\approx \otimes_j H^*(BSO(2);\Lambda)の番目のH^*(BSO(2);\Lambda)の生成元であり、は次数のコホモロジー\gamma_j\in H^{2}(BSO(2);\Lambda)に属している。（これらもチャーン類のときの議論により従う）。

なお、H^*(BSO(2);\Lambda)\approx \Lambda[\gamma]の生成元の選び方は、の単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く：

上で自然な同型SO(2) \approx U(1)を用いた。このように規約を決めると、チャーン類の定義から\gamma=c_1は**整数係数の**コホモロジーH^*(BSO(2);\mathbb{Z})=H^*(BU(1);\mathbb{Z})に属する事になるのが利点である。

本項の目標は、H^*(BSO(2)^m,\Lambda) \approx \Lambda[\gamma_1,\ldots,\gamma_m]を用いる事でH^*(BSO(n),\Lambda)とH^*(BO(n),\Lambda)の構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。

詳細は後回しにし、先に結論を述べる。

\begin{cases}
 \Lambda[p^{(n)}_1,\ldots,p^{(n)}_m]& \text{ if }n=2m+1\\
 \Lambda[p^{(n)}_1,\ldots,p^{(n)}_m,e^{(n)}]& \text{ if }n=2m\\
\end{cases}

: H^*(BO(n);\Lambda)\overset{B\mu^*\circ B\iota^*}{\overset{\sim}{\to}}
 \Lambda[p^{(n)}_1,\ldots,p^{(n)}_m]

|note=H^*(BSO(n);\Lambda)、H^*(BO(n);\Lambda)の構造}}

ポントリャーギン類とオイラー類を以下のように定義する：

紛れがなければ、p^{(n)}_i、e^{(n)}を単にp_i、eと書く。

分類空間<math>H^*(BO(n);\Lambda)</math>や<math>H^*(O(n);\Lambda)</math>の元と特性類は1対1でするので、第ポントリャーギン類p_iやオイラー類に対応する特性類
: p_i(\xi)、e(\xi)
をそれぞれベクトルバンドルの**第ポントリャーギン類**、**オイラー類**という。分類空間の元p_i、をp_i(\xi)、e(\xi)と区別したいときは、p_i、をそれぞれ**第普遍ポントリャーギン類**（）、**普遍オイラー類**（）という。

なぜ上述の定理が成立するのかについては後述する。

### 定理の証明のアイデア

本節では、前述したとの構造を記述した定理がなぜ成立するかを次の３つの場合に分けて説明する：
* が偶数の場合のの構造
* が奇数の場合のの構造
* の構造

#### 準備

定理を示すにはチャーン類の場合と同様、ワイル群を用いる事での構造を決定する。そのためにBorelによる以下の一般的な定義を用いる：

H^*(SO(n);\Lambda)がp\neq 2のねじれ元を持たない事を利用して、以下の命題を示せる：

上述の命題ではBorelの定理で「\mathbb{Z}_p」であったところが「」に代わっているが、普遍係数定理を用いる事で「」に代えてよい事が容易に示せる。

以上の事からのワイル群の具体的な形と
: H^*(BSO(2)^m,\mathbb{Z})^W\otimes \Lambda\subset H^*(BSO(2)^m,\mathbb{Z})\approx \Lambda[\gamma_1,\ldots,\gamma_m]
の具体的な形を決定すればH^*(BSO(n),\Lambda)の具体的な形が決定できる事になる。

#### が偶数の場合のの構造
とし、ワイル群W=W(SO(n))の具体的な形を決定するため、実ベクトル空間として\mathbb{R}^{n}=(\mathbb{R}^2)^mという同一視をし、以下の２種類の行列を考える：
* ：(\mathbb{R}^2)^m の成分を置換\sigmaに従って入れ替える置換行列。すなわち(x_j,y_j)_{j=1,\ldots,m}\in (\mathbb{R}^2)^mを(x_{\sigma(i)},y_{\sigma(i)})_{i=1,\ldots,m}\in (\mathbb{R}^2)^mに写す行列。
* ：の符号を反転する写像。すなわち(x_j,y_j)_{j=1,\ldots,m}\in(\mathbb{R}^2)^m を(x_j,(-1)^{\delta_{i,j}}y_j)_{j=1,\ldots,m}\in(\mathbb{R}^2)^m に写す行列x_j,y_j)_{j=1,\ldots,m}は、と90度回転の組み合わせで書く事ができるので、ワイル群の生成元を議論する際にはの方だけあれば十分である。なお本項ではに合わせてを用いる事にしたが、ではの代わりに
\begin{pmatrix}
 0 &1\\
 1 & 0
\end{pmatrix}
を用いている。しかしこれもワイル群上ではと同一の元を表すので、どちらを用いても問題ない。}}。ここではクロネッカーのデルタである。

の方はとがセットになって置換されるので\mathbb{R}^{n}=(\mathbb{R}^2)^m上の空間の向きを保ち、に属するが、の方は空間の向きを反転するのでには属するもののには属さない。しかしを**偶数個かけ合わせたもの**はに属する。

よってP_{\sigma}、C_iがH^*(BSO(2)^m;\mathbb{Z})\approx \mathbb{Z}[\gamma_1,\ldots,\gamma_m]上に誘導する写像を特定すれば、H^*(BSO(n);\Lambda)の構造が決定できるが、これらの写像は以下の通りである：

SO(2)=V^O_2\mathbb{R}^{\infty}\times_{\varphi_{C_1}}SO(2) \to BSO(2)=\tilde{G}_2\mathbb{R}^{\infty}の分類写像であった。C_1による共役\varphi_{C_1}~:~SO(2)\to SO(2)はR(\theta)をR(-\theta)に写す写像なので、バランス積PSO(2)\times_{\varphi_{C_1}}SO(2)は
: ((e_1,e_2),R(\theta))\sim (R(-\theta)(e_1,e_2),1)
という同値関係でPSO(2)\times SO(2)を割る事により定義される。ここでR(-\theta)(e_1,e_2)は(e_1,e_2)を含む平面上で(e_1,e_2)を-\thetaだけ回転させたものである。この同値類による同値関係を以下[\cdot]_{\varphi_{C_1}}と表す。

写像\xiを
:\xi~:~[e_1,e_2]\in BSO(2)=\tilde{G}_2\mathbb{R}^{\infty} \mapsto [e_1,-e_2]\in BSO(2)=\tilde{G}_2\mathbb{R}^{\infty}
により定義すると、下記の図式が可換になる：
:
\begin{array}{ccc}
 [((e_1,e_2),R(\theta))]_{\varphi_{C_1}}\in V^O_2\mathbb{R}^{\infty}\times_{\varphi_{C_1}}SO(2) & \to & R(\theta)(e_1,-e_2)\in V^O_2\mathbb{R}^{\infty}\\
\downarrow & \circlearrowright & \downarrow \\[] 
 [e_1,e_2]\in \tilde{G}_2\mathbb{R}^{\infty} & \overset{\xi}{\to} & [e_1,-e_2]\in \tilde{G}_2\mathbb{R}^{\infty}\\
\end{array}

よって、B\varphi_{C_1}の定義より、B\varphi_{C_1}はと一致し、の定義からB\varphi_{C_1}=\xiがH^*(BSO(2);\mathbb{Z})上に誘導する写像は、生成元\gamma_1を-\gamma_1に写す。
|drop=yes}}

よって、以下が成立する：

これらの事実を用いると、基本対称式p_i=\sigma_i(\gamma_1{}^2,\ldots,\gamma_m{}^2)とe=\gamma_1\cdots\gamma_mを用いて、
:H^*(BSO(n);\Lambda)\approx \Lambda[p_1,\ldots,p_m,e] 
と書ける事がわかる。

f_{\varepsilon_1,\ldots,\varepsilon_m}(\gamma_1{}^2,\ldots,\gamma_m{}^2)\gamma_1{}^{\varepsilon_1}\cdots\gamma_m{}^{\varepsilon_m}
という形で書きあらわせる。ここでf_{\varepsilon_1,\ldots,\varepsilon_m}(\gamma_1{}^2,\ldots,\gamma_m{}^2)\gamma_1{}^{\varepsilon_1}\cdots\gamma_m{}^{\varepsilon_m}は各に対し、の次数を\bmod 2したものが\varepsilon_iになる項の和である。

k,\ell\in\{1,\ldots,m\}に対し\gamma_k,\gamma_{\ell}の符号を反転すると、
: 
f(\gamma_1,\ldots,-\gamma_k\ldots,-\gamma_{\ell},\ldots,\gamma_m)
=\left(
\sum_{\varepsilon_k=0,\varepsilon_{\ell}=0}
-\sum_{\varepsilon_k=1,\varepsilon_{\ell}=0}
-\sum_{\varepsilon_k=0,\varepsilon_{\ell}=1}
+\sum_{\varepsilon_k=1,\varepsilon_{\ell}=1}
\right)
f_{\varepsilon_1,\ldots,\varepsilon_m}(\gamma_1{}^2,\ldots,\gamma_m{}^2)\gamma_1{}^{\varepsilon_1}\cdots\gamma_m{}^{\varepsilon_m} 

となる。は偶数回の符号反転に関して不変でなければならない事から、f(\gamma_1,\ldots,\gamma_m)=
f(\gamma_1,\ldots,-\gamma_k\ldots,-\gamma_{\ell},\ldots,\gamma_m)なので、
\varepsilon_k=\varepsilon_{\ell}となる項以外はでなければならない。
k,\ellの任意性から\varepsilon_1=\cdots=\varepsilon_mとなる項のみが生き残る事になるので、は
: f(\gamma_1,\ldots,\gamma_m)=
f_{0,\ldots,0}(\gamma_1{}^2,\ldots,\gamma_m{}^2)
+f_{1,\ldots,1}(\gamma_1{}^2,\ldots,\gamma_m{}^2)\gamma_1\cdots\gamma_m
であり、が\gamma_1{}^2,\ldots,\gamma_m{}^2,\gamma_1\cdots\gamma_mの多項式で書ける事がわかる。
は変数の入れ替えに対しても不変でなければならないので、以上の議論からは\gamma_1{}^2,\cdots,\gamma_m{}^2の基本対象式と\tau=\gamma_1\cdots\gamma_mの多項式として書く事ができ、定理が示された。
|drop=yes}}

#### が奇数の場合のの構造
とし、ワイル群W=W(SO(n))を具体的に求めるため、実ベクトル空間として\mathbb{R}^{n}=(\mathbb{R}^2)^m\times \mathbb{R}という同一視をし、、をが偶数の場合と同様に取るy_j)_j,z)を対応させる。}}。さらに以下の行列を考える：
*：((x_i,y_i)_i,z)\in(\mathbb{R}^2)^m\times\mathbb{R}に((x_i,y_i)_i,-z)を対応させる写像。
は明らかに位数の元であり、しかもと可換である。そして埋め込み\mu~:~SO(2)^m\hookrightarrow SO(n)の定義からによる共役はSO(2)^m上恒等写像になる。

が偶数の場合と同様の議論により、ワイル群の任意の元はC_1,\ldots,C_m,Mの偶数個の積ととの積により書ける事がわかるが、に着目するとさらに簡単な表現も得られる。

実際、による共役はSO(2)^m上恒等写像なので、変換に影響するのは以外のC_1,\ldots,C_m（と）のみである。そしてこれらの積C_{1}{}^{\varepsilon_1}\cdots C_{m}{}^{\varepsilon_m}が偶数個の積であっても奇数個の積であっても、
:\bar{C}_i:=C_iM
とすると、\bar{C}_1{}^{\varepsilon_1}\cdots\bar{C}_m{}^{\varepsilon_m}=C_{1}{}^{\varepsilon_1}\cdots C_{m}{}^{\varepsilon_m}M^{\varepsilon_1+\cdots+\varepsilon_m} は必ず偶数個の元C_1,\ldots,C_m,Mの積である。よって以下が成立する：

が偶数の場合と同様、P_{\sigma}、C_iがH^*(BSO(2);\mathbb{Z})\approx \mathbb{Z}[\gamma_1,\ldots,\gamma_m]上に誘導する写像は、それぞれ\gamma_1,\ldots,\gamma_mを\gamma_{\sigma(1)},\ldots,\gamma_{\sigma(m)}に写す写像、\gamma_iを-\gamma_iに代える写像である。またによる共役は恒等写像なので、\bar{C}_i=C_iMがH^*(BSO(2);\mathbb{Z})\approx \mathbb{Z}[\gamma_1,\ldots,\gamma_m]上に誘導する写像も\gamma_iを-\gamma_iに代える写像である。よって以下が成立する。

これらの写像で不変な元は\gamma_i{}^2の対称式なので、基本対称式p_i=\sigma_i(\gamma_1{}^2,\ldots,\gamma_m{}^2)を用いて、
:H^*(BSO(n);\Lambda)\approx \Lambda[p_1,\ldots,p_m] 
と書ける事がわかる。

#### の構造

O(n)/SO(n)=\mathbb{Z}_2である事から、部分群の分類空間に関する定理より、包含写像\iota~:~SO(n)\subset O(n)が誘導する写像
:B\iota~:~BSO(n)\to BO(n)
は\mathbb{Z}_2-主バンドルである。

\mathbb{Z}_2のへの作用は、\mathbb{Z}_2のH^*(BSO(n);\Lambda)への作用を誘導する。\mathbb{Z}_2の作用により不変なH^*(BSO(n);\Lambda)の元の集合をH^*(BSO(n);\Lambda)^{\mathbb{Z}_2}とすると以下が成立する事が知られている：

上述の定理から特に、
: H^*(BO(n);\Lambda) \to H^*(BSO(n);\Lambda) \to \Lambda[\gamma_1,\ldots,\gamma_m]
は単射である事が従う。この単射におけるH^*(BO(n);\Lambda)の像は、前述のの（偶数個または奇数個の）積が作用が誘導する写像、が誘導する写像で不変でなければならないので、のときと同様の議論により、
: H^*(BO(n);\Lambda)\approx \Lambda[p_1,\ldots,p_m]
が従う。

### 性質
前述の定理が成り立つ理由の説明は後回しにし、本節ではポントリャーギン類とオイラー類の性質を述べる。

ポントリャーギン類はチャーン類との間に以下の関係を満たす：

とすると、任意の非負整数jに対し、以下が成立する：
: p_j(\xi)=(-1)^j c_{2j}(\xi_{\mathbb{C}})、c_{2j+1}(\xi_{\mathbb{C}})=0 in H^*(X;\Lambda)
|note=**チャーン類との関係**}}

|_{SO(n)}\downarrow&\circlearrowright        & \varphi_{\hat{U}}\downarrow \\
U(1)^n                     &\overset{\nu}{\hookrightarrow}  &U(n)                       &                  =              & U(n)                        
\end{matrix}
、
を考える。ここで\rhoは
: (R(\theta_j))_{j=1,\ldots,m}\mapsto 
\begin{cases}
(e^{i\theta_j},e^{-i\theta_j})_{j=1,\ldots,m} &\text{if }n=2m\\
((e^{i\theta_j},e^{-i\theta_j})_{j=1,\ldots,m},1) & \text{if }n=2m+1
\end{cases}

であり、\varphi_{\hat{U}}は回転行列を
: UR(\theta)U^{-1}=\begin{pmatrix}
\mathrm{e}^{i\theta} & 0\\
0 & \mathrm{e}^{-i\theta}
\end{pmatrix}.
と対角化する行列
:
U=
{i \over \sqrt{2}}
\begin{pmatrix}
i & 1\\
1 & i
\end{pmatrix}

を並べてできる行列
:
\hat{U}:=
\begin{cases}
\overbrace{U\oplus\cdots\oplus U}^m &\text{if }n=2m\\
\overbrace{U\oplus\cdots\oplus U}^m\oplus 1 & \text{if }n=2m+1
\end{cases}

による内部自己同型
: \varphi_{\hat{U}}~:~U(n) \to U(n), ~R \to \hat{U}R\hat{U}^{-1}
であり、\nuは対角線への埋め込み
:\nu~:~U(1)^n\hookrightarrow U(n), ~~ (a_1,\ldots,a_n) \mapsto 
a_1\oplus\cdots\oplus a_n

である。

の場合に元の動きを図示すると、以下の通りである：
:
\begin{matrix}
(R(\theta_j))_{j=1,\ldots,m} &\overset{\mu}{\hookrightarrow} &R(\theta_1)\oplus \cdots \oplus R(\theta_m) &\overset{\iota}{\hookrightarrow}& R(\theta_1)\oplus \cdots \oplus R(\theta_m)  \\
\rho\downarrow&\circlearrowright              &\varphi_{\hat{U}}\downarrow&\circlearrowright        & \varphi_{\hat{U}}\downarrow \\
(e^{i\theta_j},e^{-i\theta_j})_{j=1,\ldots,m}   &\overset{\nu}{\hookrightarrow}  &e^{i\theta_1}\oplus e^{-i\theta_1}\oplus\cdots\oplus e^{i\theta_m}\oplus e^{-i\theta_m}                       &                  =              &e^{i\theta_1}\oplus e^{-i\theta_1}\oplus\cdots\oplus e^{i\theta_m}\oplus e^{-i\theta_m}.
\end{matrix}


よって非負整数に対し、
: B\iota^*(c_k)\underset{(1)}{=}B\iota^*B\varphi_{\hat{U}}{}^*(c_k)
=B(\varphi_{\hat{U}}|_{SO(n)}){}^*(c_k)
\underset{(2)}{=}B(\varphi_{\hat{U}}|_{SO(n)}){}^* (B\nu^*{}^{-1}(\sigma_k(\alpha_1,\ldots,\alpha_n)))
=B\mu^*{}^{-1}(B\rho^*(\sigma_k(\alpha_1,\ldots,\alpha_n)))
\underset{(3)}{=}
\begin{cases}
B\mu^*{}^{-1}(\sigma_k(\gamma_1,-\gamma_1,\ldots,\gamma_m,-\gamma_m))&\text{if }n=2m\\
B\mu^*{}^{-1}(\sigma_k(\gamma_1,-\gamma_1,\ldots,\gamma_m,-\gamma_m,0)) & \text{if }n=2m+1
\end{cases}

が成立する。ここで\alpha_s、\gamma_tはそれぞれH^*(U(1)^m;\mathbb{Z})\approx \otimes_{u}H^*(U(1);\mathbb{Z})、H^*(O(2)^m;\mathbb{Z})\approx \otimes_{v}H^*(O(2);\mathbb{Z})の番目、番目のH^*(U(1);\mathbb{Z})、H^*(O(2);\mathbb{Z})の生成元を表し、(1)は内部自己同型は分類空間に恒等写像を誘導する事から従い、(2)はチャーン類の定義から従い、(3)はの定義から従い、それ以外の等号は可換図式を追う事で従う。

\sigma_k(\gamma_1,-\gamma_1,\ldots,\gamma_m,-\gamma_m,0)=\sigma_k(\gamma_1,-\gamma_1,\ldots,\gamma_m,-\gamma_m)である事が対象多項式の定義から容易に従うので結局によらず
: B\iota^*(c_k)=
B\mu^*{}^{-1}(\sigma_k(\gamma_1,-\gamma_1,\ldots,\gamma_m,-\gamma_m))
が成立する。

任意の不定元、、に対し、
:(1+a_1X)\cdots(1+a_{2m}X)=\sum_k\sigma_k(a_1,\ldots,a_{2m})X^k
なので、
:\sum_{k=1}^{2m}\sigma_k(b_1,-b_1,\ldots,b_m,-b_m)X^k
=(1+b_1X)(1-b_1X)\cdots (1+b_mX)(1-b_mX)
=(1-b_1{}^2X^2)\cdots (1-b_m{}^2X^2)
=\sum_{j=1}^m(-1)^j\sigma_j(b_1{}^2,\ldots,b_m{}^2)X^{2j}
が成立する。両辺の次数を比較する事により、
:\sigma_k(b_1,-b_1,\ldots,b_m,-b_m)=
\begin{cases}
(-1)^j\sigma_j(b_1{}^2,\ldots,b_m{}^2) &\text{if }k=2j\\
0 & \text{if }k=2j+1
\end{cases}

である。以上の議論とポントリャーギン類の定義
: p_i=B\mu^*{}^{-1}(\sigma_j(\gamma_1{}^2,\ldots,\gamma_m{}^2))
から定理が従う。
|title=証明|drop=yes}}

上の定理が係数のコホモロジーに関するものである事に注意されたい。チャーン類は整数係数のコホモロジーに属するが、**整数係数の場合は<math>c_{2j+1}(\xi_{\mathbb{C}})=0</math>が成立するとは限らない**。しかし2c_{2j+1}(\xi_{\mathbb{C}})=0である事は言える。実際、一般に複素ベクトルバンドル\etaの複素共役バンドル\bar{\eta}とすると、c_k(\bar{\eta})=(-1)^kc_k(\eta)が成立し、しかも実ベクトルバンドルの複素化\xi_{\mathbb{C}}はその複素共役バンドル\bar{\xi}_{\mathbb{C}}と同型なので、
: 2c_{2j+1}(\xi_{\mathbb{C}})=0
が成立する。

またチャーン類は整数係数のコホモロジーに属している事から、以下の系も従う：

H^*(BO(n);\mathbb{Z})\hookrightarrow H^*(BO(n);\Lambda)は単射ではない（位数2の元が0に移る為）が、この写像によるp_iの逆像として(-1)^jc_{2j}(E_{\mathbb{C}})を選べば、c_{2j}(E_{\mathbb{C}})が整数係数のコホモロジーに属するというのが上記の定理の意味である。以下、**整数係数のコホモロジーにおけるポントリャーギン類**をp_i:=(-1)^jc_{2j}(E_{\mathbb{C}})によって定義する。

チャーン類の場合と同様以下の定義をする：

チャーン類に対するホイットニー和の公式からポントリャーギン類のホイットニー和の公式が従う：

上の定理では整数係数のコホモロジーを考えているので、両辺についている「」を消すことはできない。2^{-1}\in\Lambdaを満たす可換環を係数とするコホモロジーにおいては両辺にの逆元をかける事で、
: p(\xi\oplus \eta) = p(\xi)\smile p(\eta) in H^*(BO(n);\Lambda)
が成立する事がわかる。

また複素ベクトルバンドル\omegaから複素構造を実ベクトルバンドルとみなしたものを\xiの**脱複素化**（、）と呼び、\omega_{\mathbb{R}}と書く。\omega_{\mathbb{R}}を再び複素化したベクトルバンドル(\omega_{\mathbb{R}})_{\mathbb{C}}は\omega \oplus \bar{\omega}と同型になる事が知られている。ここで\bar{\omega}はの共役バンドルである。
よって、チャーン類のホイットニー和の公式からチャーン多項式がc((\omega_{\mathbb{R}})_{\mathbb{C}},1)=c(\omega,1)c(\bar{\omega},1)=c(\omega,1)c(\omega,-1)を満たす事がわかる。成分で書くと、
: \sum_{j=0}^{2n}c_j((\omega_{\mathbb{R}})_{\mathbb{C}})=\sum_{k=0}^nc_k(\omega)\sum_{\ell=0}^n(-1)^{\ell}c_{\ell}(\omega)=\sum_{j=0}^{2n}\sum_{s=0}^j(-1)^sc_{j-s}(\omega)c_s(\omega)
である。ここではのファイバーの次元である。

右辺の形から、右辺の（の倍数）次のコホモロジーはになるので、左辺も（4の倍数）のコホモロジーはでの倍数次のみ生き残る。よって整数係数のポントリャーギン類の定義から以下が結論付けられる：
)=\sum_{k=0}^nc_k(\omega)\sum_{\ell=0}^n(-1)^{\ell}c_{\ell}(\omega)
}}

前節で述べたようにオイラー類は\mu~:~SO(2)^m\to SO(n)により誘導される写像を使って\chi=B\mu^*(\gamma_1\cdots\gamma_m)と定義されていた。よって明らかに以下が成立する：

すでに述べたように、実ベクトルバンドル\xi=(\pi,X,E)に対し、H^*(X;\mathbb{Z}_2)においてc_i(\xi_{\mathbb{C}})=w_i(\xi)^2が成立する。よってポントリャーギン類の定義より以下が成立する。

オイラー類の満たす式「p_i(\xi)=e(\xi)^2 in H^*(X;\Lambda)」と上記の「p_i(\xi)=w_{2i}(\xi)^2 in H^*(X;\mathbb{Z}_2)」から、整数係数コホモロジーH^*(X;\mathbb{Z})の元\bar{e}(\xi)で、
: \bar{e}(\xi)=e(\xi) in H^*(X;\Lambda)、\bar{e}(\xi)=w_n(\xi) in H^*(X;\mathbb{Z}_2)、
を満たす元が一意に存在する。ここでは\xiのファイバーの次元である。このような\bar{e}(\xi)を**整数係数コホモロジーにおけるオイラー類**と呼ぶ。以下、紛れがなければ\bar{e}(\xi)の事を単にe(\xi)と書く。

本項では、係数のコホモロジーからスタートしてオイラー類を定義したため、整数係数コホモロジーにおけるオイラー類は上記のように人工的なもののになったが、を使って整数係数コホモロジーにおけるオイラー類を直接的に定義する事もできる。詳細はオイラー類の項目を参照。

上の実ベクトルバンドル\xi、\etaに対し、それぞれのファイバーの次元を、とすると、ホイットニー和の公式からw_{n+m}(\xi\oplus \eta)=w_n(\xi)\oplus w_m(\eta) in H^*(X;\mathbb{Z}_2)なので、前述したΛ係数のオイラー類の直和に対する振る舞いと合わせて、整数係数コホモロジーにおけるオイラー類に対しても下記の定理が成り立つことが分かる：

## 歴史

特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。ホモロジー論やホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。(obstruction theory)の一部として特性類の理論が生まれた1930年代において、ホモロジー論の「双対」な理論を構築しようとする大きな理由として特性類の理論がある。曲率不変量に対する特性類のアプローチは、一般化されたガウス・ボネの定理を証明するための理論を作ることが目的であった。

特性類の基礎が確立した1950年ごろ、当時知られていた基本的な特性類（スティーフェル・ホイットニー類やチャーン類やポントリャーギン類）は、古典線型群や極大トーラス(maximal torus)の構造を反映していることが明らかとなった。さらには、(Grassmannian)の(Schubert calculus)や、(Italian school of algebraic geometry)の業績の中にすでにチャーン類により記述されるべきものが存在することがわかった。

このような経緯で、特性類の基本的な構造は次のように認識された。空間 X とその上のベクトル束が与えられると、適切な線型群 G に対して、ホモトピーカテゴリ(homotopy category)の中で、X から分類空間 BG への写像が存在する。コホモロジー H*(BG) が計算することで、反変性により同じ次数の H*(X) の中にバンドルの特定類が定義される。ホモトピー論に対し、適切な情報は *G* の直交群(orthogonal group)やユニタリ群のようなコンパクトな部分群によりもたらされる。例えば、チャーン類は偶数次元の次数付きの成分を持った一つの類である。

幾何学においてさらなる構造を理論に組み込むこと有益である。1955年以降、K-理論やといった新たなコホモロジー理論に対しても、特性類の定義において文字 H を適切に変更するだけでそれらの理論における特性類を定義できる。

特性類は、後日、多様体の(foliation)の中でも発見された。（葉層に対してはある特異点を許容するように意味を変更すると）特性類はホモトピー論の中に分類空間の理論を持っている。

さらに20世紀後半における数学と物理学の再接近の結果として、ドナルドソンとコチックにより新しい特性類が(instanton)の理論の中で発見された。またチャーン(S. S. Chern)の観点と業績も重要であると認識された。チャーン・サイモンズ形式やチャーン・サイモンズ理論を参照のこと。

## 参照項目
*チャーン類
*(Segre class)
*スティーフェル・ホイットニー類
*ポントリャーギン類
*オイラー類
*オイラー標数

## 脚注

### 出典

### 注釈

## 文献

### 参考文献

#### 特性類関連
* レクチャーノート
** 
** 
**
**
**
**
**
**
**
**
* 論文
** 
* 書籍
** 
** 森田茂之, 特性類と幾何学. 現代数学の展開, 岩波書店 ISBN 978-4-00-006292-3
** 
*** 原著：
** 
**
**
** .
:この書籍のappendix "Geometry of Characteristic Classes" には、特性類の考え方の発展について非常に整理された深い入門が記載されている。

#### その他
* レクチャーノート
**
**
** 
* 書籍
** 
**