特性類

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

π : E \to X

に対し、テンプレート:Mvarのコホモロジー群の元を対応させる対応関係

c : ξ = (E, X, π) \mapsto c (ξ) \in H^{q} (X; A)

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

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

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

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

定義と基本的な性質

定義

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

テンプレート:Math theorem

上の定義における記号の意味を説明すると、 $f^{*} (c (ξ)) = c (f^{*} (ξ))$ における左辺の $f^{*}$ は、テンプレート:Mvarがコホモロジーに誘導する写像

f^{*} : c (ξ) \in H^{q} (Y, A) \mapsto f^{*} (c (ξ)) \in H^{q} (X, A)

の事であり、右辺の $f^{*}$ はテンプレート:Mvar上のテンプレート:Mvar-バンドル $ξ = (E, X, π)$ のテンプレート:Mvarによる引き戻しによって定義されるテンプレート:Mvar上のテンプレート:Mvar-バンドルの事である。

注意点

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

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

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

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

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

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

厳密な定義

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

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

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

以下の事実は特性類を具体的に定義する上で鍵となる重要な性質である：テンプレート:Math theorem

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

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

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

分類空間

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

定義と性質

定義

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

テンプレート:Math theorem 弱可縮の概念を用いて、分類空間の概念は以下のように定義される：

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

分類定理

分類空間はその名称が示す通り、与えられた底空間上のテンプレート:Mvar-バンドルは、底空間から普遍テンプレート:Mvar-バンドル $(P G, B G, π_{G})$ への写像のホモトピークラスにより完全に分類される：

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

上記の定理から、テンプレート:Mvar上の任意の主テンプレート:Mvar-バンドルテンプレート:Mvarに対し、写像 $f : X \to B$ がホモトピー同値を除いて一意に定まる。このテンプレート:Mvarの事をテンプレート:Mvarの分類写像（テンプレート:Lang-en-short）という^[6]。

構造群テンプレート:Mvarを持つファイバーバンドルと主テンプレート:Mvar-バンドルは1対1対応するので、上記の定理から一般のファイバーバンドルに対する分類定理が系として従う：テンプレート:Math theorem 分類定理の場合と同様、テンプレート:Mvar上のテンプレート:Mvar-バンドルテンプレート:Mvarに対応する写像 $f : X \to B$ をテンプレート:Mvarの分類写像（テンプレート:Lang-en-short）という^[6]。

離散群の分類空間

テンプレート:Mvarが離散群である場合は、定義より明らかに次が成立する：

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

準同型から誘導される写像

2つの位相群テンプレート:Mvar、テンプレート:Mvarの間の連続な準同型写像 $φ : G \to H$ が与えられたとき、テンプレート:Mvarから分類空間の間の写像 $B φ : B G \to B H$ を定義できる。

この事を見るために主バンドルの一般論を簡単に復習する。 $π : P \to X$ を主テンプレート:Mvar-バンドルとし、 $φ : G \to H$ を連続準同型写像とするとき、

P \times_{φ} H

を $P G \times H$ を同値関係

(a g, h) \sim (a, φ (g) h) for some g \in G

で割った空間とする事で、バランス積（テンプレート:Lang^[7]）と呼ばれるテンプレート:Mvar上の主テンプレート:Mvar-バンドル

[(a, h)] \in P \times_{φ} H \mapsto π (a) \in X

を構成できる。そこで $B φ : B G \to B H$ を次のように定義する：テンプレート:Math theorem

実はこの対応関係は関手になっている：テンプレート:Math theorem

分類空間の性質

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

分類空間の関手テンプレート:Mvarは直積に関して以下のように振る舞う。テンプレート:Math theorem なお圏論的に言えば、「 $X \times_{k} Y$ 」はコンパクト生成位相空間の圏における圏論的な直積になっている^[8]。

テンプレート:Math theorem テンプレート:Math proof

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

分類空間の概念を用いる事により、主バンドルに対する特性類の概念を以下のように特徴づける事ができる：テンプレート:Math theorem 上述の定理の1対1関係は具体的に以下のようにかける。すでに述べたように構造群テンプレート:Mvarの忠実な作用を持つ任意のテンプレート:Mvar-バンドルの特性類は主テンプレート:Mvar-バンドルの特性類と主テンプレート:Mvar-バンドルの1対1対応するのでこの場合に話を限定する。まず主テンプレート:Mvar-バンドルの任意の特性類テンプレート:Mvarに対し、

c (P G) \in H^{*} (B G; A)

が対応する。逆に $c_{G} \in H^{*} (B G; A)$ を任意に選ぶと、主テンプレート:Mvar-バンドル $ξ = (P, X, π)$ に対し、分類定理により分類写像 $f_{ξ} : X \to B G$ がホモトピーを除いて一意に定まるので、テンプレート:Mvarのテンプレート:Mvarに対する特性類を

c (ξ) : = f_{ξ}^{*} (c_{G}) \in H^{*} (X; A)

により定義できる。

上の定理から、 $H^{*} (B G; A)$ の元を普遍特性類(テンプレート:Lang-en-short)という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。

定理の証明は以下の通りである：テンプレート:Math proof

ベクトルバンドルの構造群の分類空間

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

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

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

本節ではさらに、ユニタリ群 $U_{n}$ 、直交群 $O_{n}$ 、回転群 $S O_{n}$ の分類空間についても記述する。後述するように $G L_{n} (ℂ)$ 、 $G L_{n} (ℝ)$ 、 $G L_{n}^{+} (ℝ)$ の分類空間は、実はそれぞれ $U_{n}$ 、 $O_{n}$ 、 $S O_{n}$ の分類空間と等しい。

スティーフェル多様体とグラスマン多様体

テンプレート:Mathの分類空間を記述する為、本節ではテンプレート:仮リンクとテンプレート:仮リンクを定義する。

後述するようにこれらはそれぞれ普遍テンプレート:Math-バンドルの全空間、分類空間になる。テンプレート:Math theorem テンプレート:Mvarが次元テンプレート:Mvarの有限次元ベクトル空間の場合は、 $V_{n} W$ 、 $V_{n}^{U} W$ 、 $V_{n}^{O} W$ は集合として自然に

\begin{matrix} V_{n} W & ≃ {G L}_{m} (K) / {G L}_{m - n} (K) \\ V_{n}^{U} W & ≃ U (m) / U (m - n) when K = ℂ \\ V_{n}^{O} W & ≃ O (m) / O (m - n) when K = ℝ \end{matrix}

という同一視ができ^{[注 1]}、上式右辺には多様体としての構造が入る事がリー群の一般論^{[注 2]}から従うので、スティーフェル「多様体」と呼ぶ。テンプレート:Mvarが無限次元の場合は $V_{n} W$ 、 $V_{n}^{U} W$ 、 $V_{n}^{O} W$ は有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。テンプレート:Math theoremスティーフェル多様体と同様、テンプレート:Mvarが次元テンプレート:Mvarの有限次元ベクトル空間であれば、

G_{n} W ≃ {G L}_{m} (K) / ({G L}_{n} (K) \times {G L}_{m - n} (K)) ≃ {\begin{matrix} U (m) / (U (n) \times U (m - n)) & when K = ℂ \\ O (m) / (O (n) \times O (m - n)) & when K = ℝ \end{matrix}

および

{\tilde{G}}_{n} W ≃ {G L}_{m} (K) / ({G L}_{n}^{+} (K) \times {G L}_{m - n} (K)) ≃ O (m) / (S O (n) \times O (m - n)) when K = ℝ

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

テンプレート:Mathの分類空間の具体的記述

スティーフェル多様体 $V_{n} W$ の元であるテンプレート:Mvar-フレームにそのフレームの貼る部分空間を対応させる事で商写像

π_{n} : V_{n} W \to G_{n} W

を定義できる。 $π_{n} : V_{n}^{U} W \to G_{n} W$ 、 $π_{n} : V_{n}^{O} W \to G_{n} W$ 、 $π_{n} : V_{n}^{O} W \to {\tilde{G}}_{n} W$ も同様に定義できる。テンプレート:Math theorem

上記の定理に関する留意点を述べる。 $K = ℂ, ℝ$ に対するテンプレート:Mathの分類空間はテンプレート:Mathの分類空間と同一な空間 $G_{n} K^{\infty}$ である。

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

普遍テンプレート:Mvar-平面バンドル

分類定理で述べたように、テンプレート:Mvar上の主テンプレート:Math-バンドルテンプレート:Mvarに随伴するテンプレート:Mvar次元ベクトルバンドルは、任意のCW複体テンプレート:Mvar上のテンプレート:Mvar次元ベクトルバンドルを分類する上で有益である。このためテンプレート:Mvarに随伴するテンプレート:Mvar次元ベクトルバンドルの事を普遍テンプレート:Mvar-平面バンドル（テンプレート:Lang-en-short）^[10]と呼ぶ。

バンドルの一般論から、普遍テンプレート:Mvar-平面バンドルは $(V_{n} K^{\infty} \times K^{n}) / G L_{n} (K)$ と表記できるが、より具体的に表記する事も可能である。

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

具体的には

E_{n}^{m} : = {(V, v) \in G_{n} K^{m} \times K^{m} ∣ v \in V}

とし、第一成分への射影 $π_{n}^{m} : (V, v) \in E_{n}^{m} \mapsto V \in G_{n} K^{m}$ により $E_{n}^{m}$ をテンプレート:Mvar上のベクトルバンドルとみなしたものがテンプレート:Mvarのトートロジカル・バンドルであり、テンプレート:Mathに関する帰納的極限をとった

π_{n} : E_{n} \to G_{n} K^{\infty}

が普遍テンプレート:Mvar-平面バンドルになっている^[10]。

複素ベクトルバンドルの特性類：チャーン類

本章では、複素ベクトルバンドルの特性類であるチャーン類について述べる。これまでの議論からわかるように、複素ベクトルバンドルの整数係数の特性類とは分類空間

B G L_{n} (ℂ) = B U (n) = G_{n} ℂ^{\infty}

のコホモロジー $H^{*} (B U (n); ℤ)$ の元と1対1対応するので、 $H^{*} (B U (n); ℤ)$ の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、 $H^{*} (B U (n); ℤ)$ の生成元である。

テンプレート:Mathの具体的記述

チャーン類について記述するため、まず $H^{*} (B U (n); ℤ)$ の具体的構成を調べる。 $n = 1$ に対しては以下が成立する：テンプレート:Math theorem なお、上の補題において $α$ は偶数次のコホモロジーの元なので、 $ℤ [α]$ 上カップ積は可換であるため、 $ℤ [α]$ が可換環であるという事実と矛盾しない。

一般のテンプレート:Mvarに対して $H^{*} (B U (n); ℤ)$ の具体的構造を求めるため、連続準同型写像^{[注 3]}

ι : U (1)^{n} ↪ U (n), (A_{1}, \dots, A_{n}) \mapsto A_{1} \oplus \dots \oplus A_{n}

を考える。ここで $A_{1} \oplus \dots \oplus A_{n}$ は $A_{1}, \dots, A_{n}$ をテンプレート:Math行列の対角成分に配置した $U (n)$ の元である。（なおリー群の観点からは、 $U (n)$ の極大トーラス $U (1)^{n}$ である）。このとき以下が成立する。テンプレート:Math theorem なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いとテンプレート:仮リンク、および上記の補題から従う。

以上の事実から、後は $H^{*} (B U (n); ℤ)$ の $ι^{*}$ による像が $ℤ [α_{1}, \dots, α_{n}]$ のどのような部分集合に落ちるかを決定すれば、 $H^{*} (B U (n); ℤ)$ を具体的に書きあらわす事ができる。

$H^{*} (B U (n); ℤ)$ の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する：テンプレート:Math theorem テンプレート:Math proof

$A \in U (n)$ に対し $φ_{A} : B \mapsto A B A^{- 1}$ を $U (n)$ 上の内部自己同型とすると、上述の命題より、 $φ_{A}$ がコホモロジー群に誘導する写像

B φ_{A}^{*} : H^{*} (B U (n); ℤ) \to H^{*} (B U (n); ℤ)

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

N = {A \in U (n) ∣ φ_{A} (U (1)^{n}) = U (1)^{n}}

を $U (1)^{n}$ の中心化群

Z = {A \in U (n) ∣ \forall B \in U (1)^{n} : φ_{A} (B) = B}

で割った $W = N / Z$ を考え、

H^{*} (B U (1)^{n}; ℤ)^{W} : = {u \in H^{*} (B U (1)^{n}; ℤ) ∣ \forall [A] \in W : B φ_{A} |_{U (1)^{n}}^{*} (u) = u}

と定義する^{[注 4]}とこの定義はWell-definedである。ここで $[A] \in W = N / Z$ は同値類を表す。テンプレート:Math proof このとき次の事実が従う事が知られている：テンプレート:Math theorem一般に連結なコンパクトリー群テンプレート:Mvarに対し、テンプレート:Mvarの極大トーラスをテンプレート:Mvarとするとき、テンプレート:Mvarの正規化群 $N : = {g \in G ∣ φ_{g} (T) = T}$ を中心化群 $Z : = {g \in G ∣ \forall t \in T : φ_{g} (t) = t}$ で割った群

W (G) : = N / Z

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

明らかに前述のテンプレート:Mvarは $U (n)$ のワイル群に相当する。後は $U (n)$ のワイル群を決定しさえすれば、 $H^{*} (B U (n); ℤ) \approx H^{*} (B U (1)^{n}; ℤ)^{W}$ の構造が決定できる。

チャーン類

$P_{i j} : ℂ^{n} \to ℂ^{n}$ を第テンプレート:Mvar成分と第テンプレート:Mvar成分を入れ替える行列とすると、明らかに $[P_{i j}] \in W$ である。この事実を利用すると、以下の事実が示せる：テンプレート:Math theorem テンプレート:Math proof 位相群に分類空間を対応させる関手テンプレート:Mvarと位相空間にコホモロジー環を対応させる関手テンプレート:Mvarが直積を保つので、上述の定理からテンプレート:Mvarは $H^{*} (B U (1)^{n}; ℤ) \approx ℤ [α_{1}, \dots, α_{n}]$ の $α_{1}, \dots, α_{n}$ を入れ替える形で $H^{*} (B U (1)^{n}; ℤ)$ に作用する。よって

H^{*} (B U (1)^{n}; ℤ)^{W} \subset H^{*} (B U (1)^{n}; ℤ) \approx ℤ [α_{1}, \dots, α_{n}]

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

分類空間 $H^{*} (B U (n); ℤ)$ の元と特性類は1対1でするので、第テンプレート:Mvarチャーン類 $c_{i}$ に対応する特性類

c_{i} (ξ)

をベクトルバンドルテンプレート:Mvarの第テンプレート:Mvarチャーン類という。分類空間の元 $c_{i}$ を $c_{i} (ξ)$ と区別したいときは、 $c_{i}$ を第テンプレート:Mvar普遍チャーン類（テンプレート:Lang-en-short）という。

なお、 $1 \in H^{*} (B U (1)^{n}; ℤ)$ を「テンプレート:Mvar次の基本対象式」とみなし、 $c_{0}^{(n)} : = (ι^{*})^{- 1} (1) = 1$ を第テンプレート:Mvarチャーン類と呼ぶ。また $n + 1$ 次以上の基本対称式は存在しないので、 $m > n$ に対しては、第テンプレート:Mvarチャーン類を $c_{m}^{(n)} : = 0$ と定義する^{[注 5]}。

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

以上で見たように各テンプレート:Mvarは対称多項式の根に相当するものなので、テンプレート:Mvarの事をチャーン根テンプレート:訳語疑問点（テンプレート:Lang^[11]）という。

これまでの議論とチャーン類の定義から明らかに以下の事実が従う：テンプレート:Math theorem

規約

チャーン類の定義において、テンプレート:Mvarの代わりに単元 $u \in ℂ, s.t. | u | = 1$ をこれらに掛けた $β_{1} : = u α_{1}, \dots, β_{n} : = u α_{n}$ をチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元テンプレート:Mvarの選び方だけ自由度がある事になる。

そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドル $ξ_{U} = (E U (1), B U (1), π)$ に対し、 $c_{1}^{(1)} (ξ_{U})$ が $H^{2} (B U (1), ℤ)$ のcanonicalな生成元になるという規約を置く事が多いが^[12]、代数幾何学では $ξ_{U}$ の双対ベクトルバンドル $ξ_{U}^{*}$ に対して $c_{1}^{(1)} (ξ_{U}^{*})$ が $H^{2} (B U (1), ℤ)$ のcanonicalな生成元になるという規約を置く事が多い^[12]。

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

c^{'}_{k}^{(n)} = (- 1)^{k} c_{k}^{(n)}

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

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

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

テンプレート:Math proof

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

チャーン多項式

チャーン類を取り扱う上で、下記のチャーン多項式を考えると便利である：テンプレート:Math theorem

なお、チャーン類の定義より、チャーン多項式はチャーン根を使って形式的に

c (ξ, t) = \prod_{i} (t + α_{i})

と因数分解できる。

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

チャーン多項式の性質

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

テンプレート:Math theorem

テンプレート:Math proof

実ベクトルバンドルの特性類

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

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

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

1つ目の問題を回避するために、以下では $H^{*} (B O (n), ℤ)$ を直接考察するのを諦め、 $H^{*} (B O (n), ℤ_{2})$ と $H^{*} (B O (n), Λ)$ の２つを別々に考察することにする。ここでテンプレート:Mvarはテンプレート:Mvarの逆元を持つ任意の可換環^{[注 6]}である。テンプレート:仮リンクを使う事で $H^{*} (B O (n), ℤ_{2})$ と $H^{*} (B O (n), Λ)$ から $H^{*} (B O (n), ℤ)$ を計算できるので、実用上はこの２つに対する特性類が把握できていれば十分である。

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

係数環がテンプレート:Mathの場合

係数環が $ℤ_{2}$ の場合の特性類の記述は比較的簡単であり、 $H^{*} (B O (n))$ と $H^{*} (B S O (n))$ の差はさほど大きくなく、

\begin{matrix} H^{*} (B O (n), ℤ_{2}) & = ℤ_{2} [w_{1}, \dots, w_{n}] \\ H^{*} (B S O (n), ℤ_{2}) & = ℤ_{2} [w_{2}, \dots, w_{n}], w_{1} = 0 \end{matrix}

という形で両者を記述できる。ここで $w_{1}, \dots, w_{n}$ はスティーフェル・ホイットニー類と呼ばれる特性類で、このような $w_{1}, \dots, w_{n}$ の存在はチャーン類の場合と類似した方法で証明できる。ただし第テンプレート:Mvarチャーン類がテンプレート:Mvar次のコホモロジー群に属するのに対し、第テンプレート:Mvarスティーフェル・ホイットニー類はテンプレート:Mvar次のコホモロジー群に属するので注意が必要である。

係数環がテンプレート:Mathを満たすテンプレート:Mvarの場合

それに対し係数環が $2^{- 1} \in Λ$ を満たすテンプレート:Mvarの場合はより複雑である。 $H^{*} (B O (n), Λ)$ に関しては、

H^{*} (B O (n), Λ) = Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}]

の形で記述でき、 $p_{1}, \dots, p_{n}$ をポントリャーギン類という。（ $p_{i}$ はテンプレート:Mvar次のコホモロジー群に属する）。ここで $⌊ \cdot ⌋$ は床関数である。具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って

p_{i} = (- 1)^{i} c_{2 i}

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

一方、 $H^{*} (B S O (n), Λ)$ はテンプレート:Mvarが偶数か奇数で形が異なり、

H^{*} (B S O (n), Λ) = {\begin{matrix} Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}] & if n is odd \\ Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}, χ] / (χ^{2} = p_{⌊ n / 2 ⌋}) & if n is even \end{matrix}

と書ける。ここで $p_{1}, \dots, p_{⌊ n / 2 ⌋}$ は前述のポントリャーギン類であり、テンプレート:Mvarはオイラー類と呼ばれる特性類である。また $Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}, χ] / (χ^{2} = p_{⌊ n / 2 ⌋})$ は多項式環 $Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}, χ]$ においてテンプレート:Mvarをテンプレート:Mvarと同一視して得られる環を表す。すなわち $Λ [p_{1}, \dots, p_{n}, χ]$ を単項イデアル $(χ^{2} - p_{⌊ n / 2 ⌋})$ で割った環である。

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


係数環	分類空間	コホモロジー
$ℤ_{2}$	$B O (n)$	$ℤ_{2} [w_{1}, \dots, w_{n}]$
$ℤ_{2}$	$B S O (n)$	$ℤ_{2} [w_{2}, \dots, w_{n}]$ 、 $w_{1} = 0$
$2^{- 1} \in Λ$ を満たすテンプレート:Mvar	$B O (n)$	$Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}]$
	$B S O (n)$ s.t. テンプレート:Mvarは奇数	$Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}]$
	$B S O (n)$ s.t. テンプレート:Mvarは偶数	$Λ [p_{1}, \dots, p_{⌊ n / 2 ⌋}, χ] / (χ^{2} = p_{⌊ n / 2 ⌋})$

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

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

$H^{2} (B O (n); ℤ)$ の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的には $H^{2} (B U (n); ℤ)$ の構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合は $H^{*} (B U (1); ℤ) = ℤ [α]$ を満たす $α$ が2次のコホモロジー群 $H^{2} (B U (1); ℤ)$ に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である：テンプレート:Math theorem この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。

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

テンプレート:Mathの具体的記述

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

ι : O (1)^{n} ↪ O (n), (A_{1}, \dots, A_{n}) \mapsto A_{1} \oplus \dots \oplus A_{n}

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

$φ_{A} : B \mapsto A B A^{- 1}$ を内部自己同型とする。チャーン類の時と同様、 $O (1)^{n}$ の正規化群

N = {A \in O (n) ∣ φ_{A} (O (1)^{n}) = O (1)^{n}}

を $O (1)^{n}$ の中心化群

Z = {A \in O (n) ∣ \forall B \in O (1)^{n} : φ_{A} (B) = B}

で割った $Σ = N / Z$ を考え^{[注 7]}、

H^{*} (B O (1)^{n}; ℤ)^{Σ} : = {u \in H^{*} (B O (1)^{n}; ℤ) ∣ \forall [A] \in Σ : B φ_{A}^{*} (u) = u}

と定義するとこの定義はWell-definedである。ここで $[A] \in Σ = N / Z$ は同値類を表す。このとき次の事実が従う：テンプレート:Math theoremここでテンプレート:Mvarは $H^{*} (B O (1)^{n}; ℤ_{2}) \approx H^{*} (B O (1); ℤ_{2}) \otimes \dots \otimes H^{*} (B O (1); ℤ_{2})$ のテンプレート:Mvar番目の $H^{*} (B O (1); ℤ_{2})$ の生成元である。テンプレート:Math theorem

スティーフェル・ホイットニー類の定義

スティーフェル・ホイットニー類を以下のように定義する：テンプレート:Math theorem

分類空間 $H^{*} (B O (n); ℤ_{2})$ の元と特性類は1対1でするので、第テンプレート:Mvarスティーフェル・ホイットニー類 $w_{i}$ に対応する特性類

w_{i} (ξ)

をベクトルバンドルテンプレート:Mvarの第テンプレート:Mvarスティーフェル・ホイットニー類という。分類空間の元 $w_{i}$ を $w_{i} (ξ)$ と区別したいときは、 $w_{i}$ を第テンプレート:Mvar普遍スティーフェル・ホイットニー類（テンプレート:Lang-en-short）という。

チャーン類のときと同様、 $w_{0}^{(n)} : = (ι^{*})^{- 1} (1) = 1$ 、 $w_{m}^{(n)} : = 0$ for $m > n$ と定義する。

明らかに以下の事実が従う^[15]：テンプレート:Math theorem

公理的特徴づけ

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

性質

全チャーン類と同様、全スティーフェル・ホイットニー類を定義でき、全チャーン類と同様の性質を示す事ができる^{[注 8]}：テンプレート:Math theorem

自然な写像 $ν : S O (1) \to U (1)$ が誘導する写像 $H^{*} (U (1); ℤ_{2}) \to H^{*} (S O (1); ℤ_{2})$ は単射であり、 $H^{*} (U (1); ℤ_{2})$ の生成元テンプレート:Mvarの自乗テンプレート:Mvarがテンプレート:Mvarに移る事が知られている^[16]。したがって $σ_{i} (α_{1}^{2}, \dots, α_{n}^{2}) \in H^{*} (U (1)^{n}; ℤ_{2})$ は $w_{i} \in σ_{i} (β_{1}, \dots, β_{n}) \in H^{*} (U (1)^{n}; ℤ_{2})$ に移るが、 $ℤ_{2}$ 上では $σ_{i} (α_{1}^{2}, \dots, α_{n}^{2}) = σ_{i} (α_{1}, \dots, α_{n})^{2} = c_{i}$ になので、以下が成立する：テンプレート:Math theorem

逆に複素ベクトルバンドル $ω$ から複素構造をテンプレート:仮リンク実ベクトルバンドルとみなしたものを $ξ$ の脱複素化（テンプレート:Lang-en-short、テンプレート:Lang-en-short）と呼び、 $ω_{ℝ}$ と書くと任意の非負整数テンプレート:Mvarに対して以下が成立する事が知られている：テンプレート:Math theorem

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

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

定義

本節ではコホモロジー環

H^{*} (B S O (n), Λ)

、

H^{*} (B O (n), Λ)

の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこでテンプレート:Mathの極大トーラスを記述するため、テンプレート:Mvarが偶数であるか奇数であるかに応じてテンプレート:Math、テンプレート:Mathとして

μ : S O (2)^{m} ↪ S O (n)

を

$μ : S O (2)^{m} ↪ S O (n), (R (θ_{1}), \dots, R (θ_{m})) \mapsto {\begin{matrix} R (θ_{1}) \oplus \dots \oplus R (θ_{m}) & if n = 2 m \\ R (θ_{1}) \oplus \dots \oplus R (θ_{m}) \oplus 1 & if n = 2 m + 1 \end{matrix}$

により定義する^[17]。ここで「 $\oplus$ 」は対角線上に行列を並べる演算であり、テンプレート:Mathは2次元の回転行列

R (θ) : = (\begin{matrix} \cos θ & - \sin θ \\ \sin θ & \cos θ \end{matrix})

である。 $μ$ によるテンプレート:Mathの像はテンプレート:Mathの極大トーラスである事が知られている。さらに自然な埋め込み $ι : S O (n) ↪ O (n)$ を考える。

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

$H^{*} (B O (n), Λ) \overset{B ι^{*}}{\to} H^{*} (B S O (n), Λ) \overset{B μ^{*}}{\to} H^{*} (B S O (2)^{m}, Λ) \approx Λ [γ_{1}, \dots, γ_{m}]$

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

またテンプレート:Mvarは $H^{*} (B S O (2)^{m}; Λ) \approx \otimes_{j} H^{*} (B S O (2); Λ)$ のテンプレート:Mvar番目の $H^{*} (B S O (2); Λ)$ の生成元であり、テンプレート:Mvarは次数テンプレート:Mvarのコホモロジー $γ_{j} \in H^{2} (B S O (2); Λ)$ に属している。（これらもチャーン類のときの議論により従う）。

なお、 $H^{*} (B S O (2); Λ) \approx Λ [γ]$ の生成元テンプレート:Mvarの選び方は、テンプレート:Mvarの単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く：テンプレート:Math theorem 上で自然な同型 $S O (2) \approx U (1)$ を用いた。このように規約を決めると、チャーン類の定義から $γ = c_{1}$ は整数係数のコホモロジー $H^{*} (B S O (2); ℤ) = H^{*} (B U (1); ℤ)$ に属する事になるのが利点である。

本項の目標は、 $H^{*} (B S O (2)^{m}, Λ) \approx Λ [γ_{1}, \dots, γ_{m}]$ を用いる事で $H^{*} (B S O (n), Λ)$ と $H^{*} (B O (n), Λ)$ の構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。

詳細は後回しにし、先に結論を述べる。テンプレート:Math theorem

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

紛れがなければ、 $p_{i}^{(n)}$ 、 $e^{(n)}$ を単に $p_{i}$ 、 $e$ と書く。

分類空間 $H^{*} (B O (n); Λ)$ や $H^{*} (O (n); Λ)$ の元と特性類は1対1でするので、第テンプレート:Mvarポントリャーギン類 $p_{i}$ やオイラー類テンプレート:Mvarに対応する特性類

p_{i} (ξ)

、

e (ξ)

をそれぞれベクトルバンドルテンプレート:Mvarの第テンプレート:Mvarポントリャーギン類、オイラー類という。分類空間の元 $p_{i}$ 、テンプレート:Mvarを $p_{i} (ξ)$ 、 $e (ξ)$ と区別したいときは、 $p_{i}$ 、テンプレート:Mvarをそれぞれ第テンプレート:Mvar普遍ポントリャーギン類（テンプレート:Lang-en-short）、普遍オイラー類（テンプレート:Lang-en-short）という。

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

定理の証明のアイデア

テンプレート:Anchors

本節では、[[#実ベクトルバンドルの分類空間の構造|前述したテンプレート:Mathとテンプレート:Mathの構造を記述した定理]]がなぜ成立するかを次の３つの場合に分けて説明する：

準備

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

$H^{*} (S O (n); Λ)$ が $p \neq 2$ のねじれ元を持たない事を利用して、以下の命題を示せる：テンプレート:Math theorem

上述の命題ではBorelの定理で「 $ℤ_{p}$ 」であったところが「テンプレート:Mvar」に代わっているが、普遍係数定理を用いる事で「テンプレート:Mvar」に代えてよい事が容易に示せる。

テンプレート:Math proof

以上の事からテンプレート:Mathのワイル群テンプレート:Mathの具体的な形と

H^{*} (B S O (2)^{m}, ℤ)^{W} \otimes Λ \subset H^{*} (B S O (2)^{m}, ℤ) \approx Λ [γ_{1}, \dots, γ_{m}]

の具体的な形を決定すれば $H^{*} (B S O (n), Λ)$ の具体的な形が決定できる事になる。

テンプレート:Mathが偶数の場合のテンプレート:Mathの構造

テンプレート:Mathとし、ワイル群 $W = W (S O (n))$ の具体的な形を決定するため、実ベクトル空間として $ℝ^{n} = (ℝ^{2})^{m}$ という同一視をし、以下の２種類の行列を考える^[17]^[18]テンプレート:Anchors：

テンプレート:Mvar： $(ℝ^{2})^{m}$ の成分を置換 $σ$ に従って入れ替える置換行列。すなわち $(x_{j}, y_{j})_{j = 1, \dots, m} \in (ℝ^{2})^{m}$ を $(x_{σ (i)}, y_{σ (i)})_{i = 1, \dots, m} \in (ℝ^{2})^{m}$ に写す行列。
テンプレート:Mvar：テンプレート:Mvarの符号を反転する写像。すなわち $(x_{j}, y_{j})_{j = 1, \dots, m} \in (ℝ^{2})^{m}$ を $(x_{j}, (- 1)^{δ_{i, j}} y_{j})_{j = 1, \dots, m} \in (ℝ^{2})^{m}$ に写す行列テンプレート:Refn。ここでテンプレート:Mvarはクロネッカーのデルタである。

テンプレート:Mvarの方はテンプレート:Mvarとテンプレート:Mvarがセットになって置換されるので $ℝ^{n} = (ℝ^{2})^{m}$ 上の空間の向きを保ち、テンプレート:Mathに属するが、テンプレート:Mvarの方は空間の向きを反転するのでテンプレート:Mathには属するもののテンプレート:Mathには属さない。しかしテンプレート:Mvarを偶数個かけ合わせたものはテンプレート:Mathに属する^[17]。

テンプレート:Math theorem テンプレート:Math proof よって $P_{σ}$ 、 $C_{i}$ が $H^{*} (B S O (2)^{m}; ℤ) \approx ℤ [γ_{1}, \dots, γ_{m}]$ 上に誘導する写像を特定すれば、 $H^{*} (B S O (n); Λ)$ の構造が決定できるが、これらの写像は以下の通りである：テンプレート:Math theorem テンプレート:Math proof

よって、以下が成立する：テンプレート:Math theorem

これらの事実を用いると、基本対称式 $p_{i} = σ_{i} (γ_{1}^{2}, \dots, γ_{m}^{2})$ と $e = γ_{1} \dots γ_{m}$ を用いて、

H^{*} (B S O (n); Λ) \approx Λ [p_{1}, \dots, p_{m}, e]

と書ける事がわかる。

テンプレート:Math proof

テンプレート:Mathが奇数の場合のテンプレート:Mathの構造

テンプレート:Mathとし、ワイル群 $W = W (S O (n))$ を具体的に求めるため、実ベクトル空間として $ℝ^{n} = (ℝ^{2})^{m} \times ℝ$ という同一視をし、テンプレート:Mvar、テンプレート:Mvarをテンプレート:Mvarが偶数の場合と同様に取るテンプレート:Refn。さらに以下の行列を考える：

テンプレート:Mvar： $((x_{i}, y_{i})_{i}, z) \in (ℝ^{2})^{m} \times ℝ$ に $((x_{i}, y_{i})_{i}, - z)$ を対応させる写像。

テンプレート:Mvarは明らかに位数テンプレート:Mvarの元であり、しかもテンプレート:Mvarと可換である。そして埋め込み $μ : S O (2)^{m} ↪ S O (n)$ の定義からテンプレート:Mvarによる共役は $S O (2)^{m}$ 上恒等写像になる。

テンプレート:Mathが偶数の場合と同様の議論により、ワイル群の任意の元は $C_{1}, \dots, C_{m}, M$ の偶数個の積とテンプレート:Mvarとの積により書ける事がわかるが、テンプレート:Mvarに着目するとさらに簡単な表現も得られる。

実際、テンプレート:Mvarによる共役は $S O (2)^{m}$ 上恒等写像なので、変換に影響するのはテンプレート:Mvar以外の $C_{1}, \dots, C_{m}$ （とテンプレート:Mvar）のみである。そしてこれらの積 $C_{1}^{ε_{1}} \dots C_{m}^{ε_{m}}$ が偶数個の積であっても奇数個の積であっても、

{\bar{C}}_{i} : = C_{i} M

とすると、 ${\bar{C}}_{1}^{ε_{1}} \dots {\bar{C}}_{m}^{ε_{m}} = C_{1}^{ε_{1}} \dots C_{m}^{ε_{m}} M^{ε_{1} + \dots + ε_{m}}$ は必ず偶数個の元 $C_{1}, \dots, C_{m}, M$ の積である。よって以下が成立する：

テンプレート:Math theorem テンプレート:Math proof

テンプレート:Mvarが偶数の場合と同様、 $P_{σ}$ 、 $C_{i}$ が $H^{*} (B S O (2); ℤ) \approx ℤ [γ_{1}, \dots, γ_{m}]$ 上に誘導する写像は、それぞれ $γ_{1}, \dots, γ_{m}$ を $γ_{σ (1)}, \dots, γ_{σ (m)}$ に写す写像、 $γ_{i}$ を $- γ_{i}$ に代える写像である。またテンプレート:Mvarによる共役は恒等写像なので、 ${\bar{C}}_{i} = C_{i} M$ が $H^{*} (B S O (2); ℤ) \approx ℤ [γ_{1}, \dots, γ_{m}]$ 上に誘導する写像も $γ_{i}$ を $- γ_{i}$ に代える写像である。よって以下が成立する。

テンプレート:Math theorem

これらの写像で不変な元は $γ_{i}^{2}$ の対称式なので、基本対称式 $p_{i} = σ_{i} (γ_{1}^{2}, \dots, γ_{m}^{2})$ を用いて、

H^{*} (B S O (n); Λ) \approx Λ [p_{1}, \dots, p_{m}]

と書ける事がわかる。

テンプレート:Mathの構造

$O (n) / S O (n) = ℤ_{2}$ である事から、部分群の分類空間に関する定理より、包含写像 $ι : S O (n) \subset O (n)$ が誘導する写像

B ι : B S O (n) \to B O (n)

は $ℤ_{2}$ -主バンドルである^[17]。

$ℤ_{2}$ のテンプレート:Mathへの作用は、 $ℤ_{2}$ の $H^{*} (B S O (n); Λ)$ への作用を誘導する。 $ℤ_{2}$ の作用により不変な $H^{*} (B S O (n); Λ)$ の元の集合を $H^{*} (B S O (n); Λ)^{ℤ_{2}}$ とすると以下が成立する事が知られている：テンプレート:Math theorem

テンプレート:Math proof

上述の定理から特に、

H^{*} (B O (n); Λ) \to H^{*} (B S O (n); Λ) \to Λ [γ_{1}, \dots, γ_{m}]

は単射である事が従う。この単射における $H^{*} (B O (n); Λ)$ の像は、前述のテンプレート:Mvarの（偶数個または奇数個の）積が作用が誘導する写像、テンプレート:Mvarが誘導する写像で不変でなければならないので、テンプレート:Mathのときと同様の議論により、

H^{*} (B O (n); Λ) \approx Λ [p_{1}, \dots, p_{m}]

が従う。

性質

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

ポントリャーギン類はチャーン類との間に以下の関係を満たす：テンプレート:Math theorem

テンプレート:Math proof

上の定理がテンプレート:Mvar係数のコホモロジーに関するものである事に注意されたい。チャーン類は整数係数のコホモロジーに属するが、整数係数の場合は $c_{2 j + 1} (ξ_{ℂ}) = 0$ が成立するとは限らない。しかし $2 c_{2 j + 1} (ξ_{ℂ}) = 0$ である事は言えるテンプレート:Refn。実際、一般に複素ベクトルバンドル $η$ の複素共役バンドル $\bar{η}$ とすると、 $c_{k} (\bar{η}) = (- 1)^{k} c_{k} (η)$ が成立し、しかも実ベクトルバンドルの複素化 $ξ_{ℂ}$ はその複素共役バンドル ${\bar{ξ}}_{ℂ}$ と同型なので、

2 c_{2 j + 1} (ξ_{ℂ}) = 0

が成立する。

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

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

チャーン類の場合と同様以下の定義をする：テンプレート:Math theorem

チャーン類に対するホイットニー和の公式からポントリャーギン類のホイットニー和の公式が従う：テンプレート:Math theorem 上の定理では整数係数のコホモロジーを考えているので、両辺についている「テンプレート:Mvar」を消すことはできない^{[注 9]}。 $2^{- 1} \in Λ$ を満たす可換環テンプレート:Mvarを係数とするコホモロジーにおいては両辺にテンプレート:Mvarの逆元をかける事で、

p (ξ \oplus η) = p (ξ) ⌣ p (η)

in

H^{*} (B O (n); Λ)

が成立する事がわかる。

また複素ベクトルバンドル $ω$ から複素構造をテンプレート:仮リンク実ベクトルバンドルとみなしたものを $ξ$ の脱複素化（テンプレート:Lang-en-short、テンプレート:Lang-en-short）と呼び、 $ω_{ℝ}$ と書く。 $ω_{ℝ}$ を再び複素化したベクトルバンドル $(ω_{ℝ})_{ℂ}$ は $ω \oplus \bar{ω}$ と同型になる事が知られている^[19]。ここで $\bar{ω}$ はテンプレート:Mvarの共役バンドルである。よって、チャーン類のホイットニー和の公式からチャーン多項式が $c ((ω_{ℝ})_{ℂ}, 1)$ $= c (ω, 1) c (\bar{ω}, 1)$ $= c (ω, 1) c (ω, - 1)$ を満たす事がわかる。成分で書くと、

\sum_{j = 0}^{2 n} c_{j} ((ω_{ℝ})_{ℂ}) = \sum_{k = 0}^{n} c_{k} (ω) \sum_{ℓ = 0}^{n} (- 1)^{ℓ} c_{ℓ} (ω) = \sum_{j = 0}^{2 n} \sum_{s = 0}^{j} (- 1)^{s} c_{j - s} (ω) c_{s} (ω)

である。ここでテンプレート:Mvarはテンプレート:Mvarのファイバーの次元である。

右辺の形から、右辺の（テンプレート:Mvarの倍数テンプレート:Math）次のコホモロジーはテンプレート:Mvarになるので、左辺も（4の倍数テンプレート:Math）のコホモロジーはテンプレート:Mvarでテンプレート:Mvarの倍数次のみ生き残る。よって整数係数のポントリャーギン類の定義から以下が結論付けられる：テンプレート:Math theorem

前節で述べたようにオイラー類は $μ : S O (2)^{m} \to S O (n)$ により誘導される写像を使って $χ = B μ^{*} (γ_{1} \dots γ_{m})$ と定義されていた。よって明らかに以下が成立する：テンプレート:Math theorem

すでに述べたように、実ベクトルバンドル $ξ = (π, X, E)$ に対し、 $H^{*} (X; ℤ_{2})$ において $c_{i} (ξ_{ℂ}) = w_{i} (ξ)^{2}$ が成立する。よってポントリャーギン類の定義より以下が成立する。テンプレート:Math theorem

オイラー類の満たす式「 $p_{i} (ξ) = e (ξ)^{2}$ in $H^{*} (X; Λ)$ 」と上記の「 $p_{i} (ξ) = w_{2 i} (ξ)^{2}$ in $H^{*} (X; ℤ_{2})$ 」から、整数係数コホモロジー $H^{*} (X; ℤ)$ の元 $\bar{e} (ξ)$ で、

\bar{e} (ξ) = e (ξ)

in

H^{*} (X; Λ)

、

\bar{e} (ξ) = w_{n} (ξ)

in

H^{*} (X; ℤ_{2})

、

を満たす元が一意に存在する。ここでテンプレート:Mvarは $ξ$ のファイバーの次元である。このような $\bar{e} (ξ)$ を整数係数コホモロジーにおけるオイラー類と呼ぶ。以下、紛れがなければ $\bar{e} (ξ)$ の事を単に $e (ξ)$ と書く。

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

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

歴史

特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。ホモロジー論やホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。テンプレート:仮リンク(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)の観点と業績も重要であると認識された。チャーン・サイモンズ形式やチャーン・サイモンズ理論を参照のこと。

参照項目

脚注

テンプレート:脚注ヘルプ

出典

テンプレート:Reflist

注釈

テンプレート:Reflist

文献

参考文献

特性類関連

レクチャーノート
論文
- テンプレート:Cite web
書籍
- テンプレート:Cite book
- 森田茂之, 特性類と幾何学. 現代数学の展開, 岩波書店 ISBN 978-4-00-006292-3
- テンプレート:Cite book
  - 原著：テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book テンプレート:ISBN.

この書籍のappendix "Geometry of Characteristic Classes" には、特性類の考え方の発展について非常に整理された深い入門が記載されている。

その他

レクチャーノート
書籍
- テンプレート:Cite book
- テンプレート:Cite book

↑ ^1.0 ^1.1 #Mitchell pp.24-25.
↑ ^2.0 ^2.1 #Friedl p.10.
↑ #Davis p.186.
↑ 引用エラー: 無効な <ref> タグです。「名前なし-20230316125856-2」という名前の注釈に対するテキストが指定されていません
↑ 引用エラー: 無効な <ref> タグです。「Mitchel13」という名前の注釈に対するテキストが指定されていません
↑ ^6.0 ^6.1 #Bruner p.21.
↑ #Mitchell p.4.
↑ 引用エラー: 無効な <ref> タグです。「Mitchell17-18」という名前の注釈に対するテキストが指定されていません
↑ #Mitchell pp.14,19.
↑ ^10.0 ^10.1 #May pp.188-189.
↑ #Walton p.8.
↑ ^12.0 ^12.1 ^12.2 #May p.199.
↑ #Bruner p.33. #Behrens p.1.
↑ #Walton p.6.
↑ #Cohen p.95.
↑ #Bruner p.47.
↑ ^17.0 ^17.1 ^17.2 ^17.3 #Bruner pp.57-61.
↑ #Conrad pp.1-4.
↑ #Milnor pp.176-177.

引用エラー: 「注」という名前のグループの <ref> タグがありますが、対応する <references group="注"/> タグが見つかりません

[:0-1] 1.0 ^1.1 #Mitchell pp.24-25.

[:1-2] 2.0 ^2.1 #Friedl p.10.

[3] #Davis p.186.

[名前なし-20230316125856-2-4] 引用エラー: 無効な <ref> タグです。「名前なし-20230316125856-2」という名前の注釈に対するテキストが指定されていません

[Mitchel13-5] 引用エラー: 無効な <ref> タグです。「Mitchel13」という名前の注釈に対するテキストが指定されていません

[:4-6] 6.0 ^6.1 #Bruner p.21.

[7] #Mitchell p.4.

[Mitchell17-18-8] 引用エラー: 無効な <ref> タグです。「Mitchell17-18」という名前の注釈に対するテキストが指定されていません

[:2-11] #Mitchell pp.14,19.

[:3-12] 10.0 ^10.1 #May pp.188-189.

[:5-16] #Walton p.8.

[:8-17] 12.0 ^12.1 ^12.2 #May p.199.

[:6-18] #Bruner p.33. #Behrens p.1.

[:7-19] #Walton p.6.

[22] #Cohen p.95.

[24] #Bruner p.47.

[:9-25] 17.0 ^17.1 ^17.2 ^17.3 #Bruner pp.57-61.

[:10-26] #Conrad pp.1-4.

[Milnor176-177-28] #Milnor pp.176-177.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[注 1]

[注 2]

[9]

[10]

[注 3]

[注 4]

[注 5]

[11]

[12]

[13]

[14]

[注 6]

[注 7]

[15]

[注 8]

[16]

[17]

[18]

[注 9]

[19]

特性類

定義と基本的な性質

定義

注意点

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

厳密な定義

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

分類空間

定義と性質

定義

分類定理

離散群の分類空間

準同型から誘導される写像

分類空間の性質

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

ベクトルバンドルの構造群の分類空間

スティーフェル多様体とグラスマン多様体

テンプレート:Mathの分類空間の具体的記述

普遍テンプレート:Mvar-平面バンドル

複素ベクトルバンドルの特性類：チャーン類

テンプレート:Mathの具体的記述

チャーン類

規約

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

チャーン多項式

チャーン多項式の性質

実ベクトルバンドルの特性類

係数環がテンプレート:Mathの場合

係数環がテンプレート:Mathを満たすテンプレート:Mvarの場合

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

テンプレート:Mathの具体的記述

スティーフェル・ホイットニー類の定義

公理的特徴づけ

性質

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

定義

定理の証明のアイデア

準備

テンプレート:Mathが偶数の場合のテンプレート:Mathの構造

テンプレート:Mathが奇数の場合のテンプレート:Mathの構造

テンプレート:Mathの構造

性質

歴史

参照項目

脚注

出典

注釈

文献

参考文献

特性類関連

その他

ナビゲーション メニュー

検索

ナビゲーションメニュー