特性類

特性類  は、位相群を構造群とするファイバーバンドルの不変量であり、位相空間B}}を底空間とするファイバーバンドル

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

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

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

K理論
チャーン・ヴェイユ理論
コボルディズム理論 またX}}が可微分多様体であれば、X}}の接バンドルTX}}の特性類をX}}自身の不変量とみなす事ができる。接バンドルTX}}はX}}の可微分構造に依存しているので、ミルナーはTX}}の特性類を利用する事により、ミルナーの７次元球面の存在を示した。

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

1. 定義と基本的な性質
------------

1.1. 定義
-------

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

上の定義における記号の意味を説明すると、における左辺のは、f}}がコホモロジーに誘導する写像

の事であり、右辺のはX}}上のF}}-バンドルのf}}による引き戻しによって定義されるY}}上のF}}-バンドルの事である。

1.1.1. 注意点
----------

上の定義に関して２つの注意点を述べる。第一に、上の定義におけるバンドル写像f}}は構造群G}}のF}}への作用と両立するもののみを考えている。したがって例えばn}}次元実ベクトルバンドルをを構造群として持つ-バンドルとみなしたとき、各点のファイバー上にバンドル写像f}}を制限したは線型同型写像でなければならず、行列式が0}}になってはならない。逆に言えば、いずれかの点で行列式が0}}になるf}}に対してはが成立する必要はないし、次元が異なるベクトルバンドル間の写像に関してもこの性質が成立する必要はない。

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

また本項では底空間B}}に対してはCW複体である事を要求したものの、構造群//G//、ファイバーF}}、全空間E}}は任意の位相群、位相空間でよい。

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

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

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

1.1.3. 厳密な定義
------------

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

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

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

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

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

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

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

2. 分類空間
-------

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

2.1. 定義と性質
----------

2.1.1. 定義
---------

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

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

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

2.1.2. 分類定理
-----------

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

定理なお、上の定理において写像がwell-definedな事は、ホモトープな２つの写像が引き戻したバンドルは互いに同型な事だというすでに見た事実から従う。

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

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

2.1.3. 離散群の分類空間
---------------

G}}が離散群である場合は、定義より明らかに次が成立する：

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

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

2つの位相群G}}、H}}の間の連続な準同型写像が与えられたとき、φ}}から分類空間の間の写像を定義できる。

この事を見るために主バンドルの一般論を簡単に復習する。を主G}}-バンドルとし、を連続準同型写像とするとき、

をを同値関係

で割った空間とする事で、バランス積と呼ばれるX}}上の主H}}-バンドル

を構成できる。そこでを次のように定義する：

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

2.1.5. 分類空間の性質
--------------

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

分類空間の関手B}}は直積に関して以下のように振る舞う。 なお圏論的に言えば、「」はコンパクト生成位相空間の圏における圏論的な直積になっている。

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

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

が対応する。逆にを任意に選ぶと、主G}}-バンドルに対し、分類定理により分類写像がホモトピーを除いて一意に定まるので、X}}のc}}に対する特性類を

により定義できる。

上の定理から、の元を普遍特性類という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。

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

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

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

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

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

本節ではさらに、ユニタリ群、直交群、回転群の分類空間についても記述する。後述するように、、の分類空間は、実はそれぞれ、、の分類空間と等しい。

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

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

後述するようにこれらはそれぞれ普遍//GLsub-バンドルの全空間、分類空間になる。定義W}}が次元m}}の有限次元ベクトル空間の場合は、、、は集合として自然に//

という同一視ができ、上式右辺には多様体としての構造が入る事がリー群の一般論から従うので、スティーフェル「多様体」と呼ぶ。W}}が無限次元の場合は、、は有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。定義スティーフェル多様体と同様、W}}が次元m}}の有限次元ベクトル空間であれば、

および

という同一視ができ、この同一視により、、に多様体としての構造が入る。

3.2. //GLsubの分類空間の具体的記述 //
--------------------------

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

を定義できる。、、も同様に定義できる。

上記の定理に関する留意点を述べる。に対する//GLsubの分類空間は//U//、//O//}}の分類空間と同一な空間である。//

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

3.3. 普遍n}}-平面バンドル
-----------------

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

バンドルの一般論から、普遍n}}-平面バンドルはと表記できるが、より具体的に表記する事も可能である。

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

具体的には

とし、第一成分への射影によりをGsub上のベクトルバンドルとみなしたものがGsubのトートロジカル・バンドルであり、//m//→∞}}に関する帰納的極限をとった

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

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

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

のコホモロジーの元と1対1対応するので、の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、の生成元である。

4.1. 1=//H//supの具体的記述
---------------------

チャーン類について記述するため、まずの具体的構成を調べる。に対しては以下が成立する： なお、上の補題においては偶数次のコホモロジーの元なので、上カップ積は可換であるため、が可換環であるという事実と矛盾しない。

一般のn}}に対しての具体的構造を求めるため、連続準同型写像

を考える。ここではを//n//×//n//}}行列の対角成分に配置したの元である。。このとき以下が成立する。 なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いとKünnethの公式、および上記の補題から従う。

以上の事実から、後はのによる像がのどのような部分集合に落ちるかを決定すれば、を具体的に書きあらわす事ができる。

の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する：

に対しを上の内部自己同型とすると、上述の命題より、がコホモロジー群に誘導する写像

は恒等写像である。単射によりをの部分群とみなし、の正規化群

をの中心化群

で割ったを考え、

と定義するとこの定義はWell-definedである。ここでは同値類を表す。 このとき次の事実が従う事が知られている：定理一般に連結なコンパクトリー群G}}に対し、G}}の極大トーラスをT}}とするとき、T}}の正規化群を中心化群で割った群

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

明らかに前述のW}}はのワイル群に相当する。後はのワイル群を決定しさえすれば、の構造が決定できる。

4.2. チャーン類
----------

を第i}}成分と第j}}成分を入れ替える行列とすると、明らかにである。この事実を利用すると、以下の事実が示せる： 位相群に分類空間を対応させる関手B}}と位相空間にコホモロジー環を対応させる関手Hsupが直積を保つので、上述の定理からW}}はのを入れ替える形でに作用する。よって

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

分類空間の元と特性類は1対1でするので、第i}}チャーン類に対応する特性類

をベクトルバンドルξ}}の第i}}チャーン類という。分類空間の元をと区別したいときは、を第i}}普遍チャーン類という。

なお、を「0}}次の基本対象式」とみなし、を第0}}チャーン類と呼ぶ。また次以上の基本対称式は存在しないので、に対しては、第m}}チャーン類をと定義する。

またチャーン類は埋め込みを使って定義されており、この埋め込みはの正規直交基底の取り方に依存している。しかし正規直交基底の取り替えにより、はの内部自己同型との合成に置き換わるだけなので、前述した命題から、チャーン類は正規直交基底の取り方によらずwell-definedである。

以上で見たように各αsubは対称多項式の根に相当するものなので、αsubの事をチャーン根date=2022年5月という。

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

4.2.1. 規約
---------

チャーン類の定義において、αsubの代わりに単元をこれらに掛けたをチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元u}}の選び方だけ自由度がある事になる。

そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドルに対し、がのcanonicalな生成元になるという規約を置く事が多いが、代数幾何学ではの双対ベクトルバンドルに対してがのcanonicalな生成元になるという規約を置く事が多い。

区別のため代数幾何学の方のチャーン類をと書くことにすると、代数的位相幾何学のチャーン類とは

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

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

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

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

4.4. チャーン多項式
------------

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

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

と因数分解できる。

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

4.4.1. チャーン多項式の性質
-----------------

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

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

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

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

実ベクトルバンドルの主バンドルの分類空間は複素ベクトルバンドルの主バンドルのと違い、-捩れ部分群を持つ。この捩れ部分群が「悪さ」をするため、を簡単に記述する事ができない。
実ベクトルバンドルの場合は複素ベクトルバンドルと違い、向き付けの概念がある。このため向き付けのない場合の分類空間と向き付けのある場合の分類空間の両方を考察しなければならない。 1つ目の問題を回避するために、以下ではを直接考察するのを諦め、との２つを別々に考察することにする。ここでΛ}}は2}}の逆元を持つ任意の可換環である。ボックシュタインスペクトル系列を使う事でとからを計算できるので、実用上はこの２つに対する特性類が把握できていれば十分である。

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

5.1. 係数環が1=Unicodeの場合
---------------------

係数環がの場合の特性類の記述は比較的簡単であり、との差はさほど大きくなく、

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

5.2. 係数環が2supを満たすΛ}}の場合
-----------------------

それに対し係数環がを満たすΛ}}の場合はより複雑である。に関しては、

の形で記述でき、をポントリャーギン類という。。ここでは床関数である。 具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って

と書ける。。

一方、はn}}が偶数か奇数で形が異なり、

と書ける。ここでは前述のポントリャーギン類であり、χ}}はオイラー類と呼ばれる特性類である。または多項式環においてχsupをpsubと同一視して得られる環を表す。すなわちを単項イデアルで割った環である。

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



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

本節ではの構造を具体的に決定し、それをもとにスティーフェル・ホイットニー類を定義する。

の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的にはの構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合はを満たすが2次のコホモロジー群に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である： この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。

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

6.1. 1=//H//supの具体的記述
---------------------

自然数に対しの具体的形を調べるため、チャーン類のときと同様、連続準同型写像

によりをの部分群とみなす。ここで「」は対角線上に行列を並べる演算である。

を内部自己同型とする。チャーン類の時と同様、の正規化群

をの中心化群

で割ったを考え、

と定義するとこの定義はWell-definedである。ここでは同値類を表す。このとき次の事実が従う：定理ここでβsubはのi}}番目のの生成元である。

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

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

分類空間の元と特性類は1対1でするので、第i}}スティーフェル・ホイットニー類に対応する特性類

をベクトルバンドルξ}}の第i}}スティーフェル・ホイットニー類という。分類空間の元をと区別したいときは、を第i}}普遍スティーフェル・ホイットニー類という。

チャーン類のときと同様、、 for と定義する。

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

6.3. 公理的特徴づけ
------------

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

6.4. 性質
-------

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

自然な写像が誘導する写像は単射であり、の生成元α}}の自乗αsupがβ}}に移る事が知られている。したがってはに移るが、上ではになので、以下が成立する：

逆に複素ベクトルバンドルから複素構造を忘却関手実ベクトルバンドルとみなしたものをの脱複素化と呼び、と書くと任意の非負整数i}}に対して以下が成立する事が知られている：

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

本節ではを満たす可換環Λ}}に対し、、の構造を決定し、これをもとにポントリャーギン類とオイラー類を定義する。

7.1. 定義
-------

本節ではコホモロジー環、の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこで//SO//}}の極大トーラスを記述するため、n}}が偶数であるか奇数であるかに応じて1=//n//=//2m//}}、1=//n//=//2m//+//1//}}としてを

により定義する。ここで「」は対角線上に行列を並べる演算であり、//R//}}は2次元の回転行列

である。による//SO//supの像は//SO//}}の極大トーラスである事が知られている。さらに自然な埋め込みを考える。

そしてこれら２つの写像が分類空間のコホモロジーに誘導する写像を考える： 上式の最後の同型「」は、リー群としてである事からチャーン類のときの議論により従う。ここで「」は環としての同型であり、の積はカップ積である。

またγsubはのj}}番目のの生成元であり、γsubは次数2}}のコホモロジーに属している。。

なお、の生成元γ}}の選び方は、Λ}}の単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く： 上で自然な同型を用いた。このように規約を決めると、チャーン類の定義からは整数係数のコホモロジーに属する事になるのが利点である。

本項の目標は、を用いる事でとの構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。

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

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

紛れがなければ、、を単に、と書く。

分類空間やの元と特性類は1対1でするので、第i}}ポントリャーギン類やオイラー類e}}に対応する特性類

、をそれぞれベクトルバンドルξ}}の第i}}ポントリャーギン類、オイラー類という。分類空間の元、e}}を、と区別したいときは、、e}}をそれぞれ第i}}普遍ポントリャーギン類、普遍オイラー類という。

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

7.2. 定理の証明のアイデア
---------------

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

n}}が偶数の場合の//H//supの構造
n}}が奇数の場合の//H//supの構造
//H//supの構造

7.2.1. 準備
---------

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

がのねじれ元を持たない事を利用して、以下の命題を示せる：

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

以上の事から1=//SO//}}のワイル群1=//W//=//W//)}}の具体的な形と

の具体的な形を決定すればの具体的な形が決定できる事になる。

7.2.2. 1=//n//}}が偶数の場合の//H//supの構造
----------------------------------

1=//n//=//2m//}}とし、ワイル群の具体的な形を決定するため、実ベクトル空間としてという同一視をし、以下の２種類の行列を考えるC_i、P_σの定義}}：

Psub：の成分を置換に従って入れ替える置換行列。すなわちをに写す行列。
Csub：ysubの符号を反転する写像。すなわちをに写す行列group="注"。ここでδsubはクロネッカーのデルタである。Psubの方はxsubとysubがセットになって置換されるので上の空間の向きを保ち、//SO//}}に属するが、Csubの方は空間の向きを反転するので//O//}}には属するものの//SO//}}には属さない。しかしCsubを偶数個かけ合わせたものは//SO//}}に属する。

よって、が上に誘導する写像を特定すれば、の構造が決定できるが、これらの写像は以下の通りである：

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

これらの事実を用いると、基本対称式とを用いて、

と書ける事がわかる。

7.2.3. 1=//n//}}が奇数の場合の//H//supの構造
----------------------------------

1=//n//=//2m//+//1//}}とし、ワイル群を具体的に求めるため、実ベクトル空間としてという同一視をし、Psub、Csubをn}}が偶数の場合と同様に取るgroup=注。さらに以下の行列を考える：

M}}：にを対応させる写像。M}}は明らかに位数2}}の元であり、しかもCsubと可換である。そして埋め込みの定義からM}}による共役は上恒等写像になる。

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

実際、M}}による共役は上恒等写像なので、変換に影響するのはM}}以外ののみである。そしてこれらの積が偶数個の積であっても奇数個の積であっても、

とすると、は必ず偶数個の元の積である。よって以下が成立する：

n}}が偶数の場合と同様、、が上に誘導する写像は、それぞれをに写す写像、をに代える写像である。またM}}による共役は恒等写像なので、が上に誘導する写像もをに代える写像である。よって以下が成立する。

これらの写像で不変な元はの対称式なので、基本対称式を用いて、

と書ける事がわかる。

7.2.4. //H//supの構造
------------------

である事から、部分群の分類空間に関する定理より、包含写像が誘導する写像

は-主バンドルである。

の//BSO//}}への作用は、のへの作用を誘導する。の作用により不変なの元の集合をとすると以下が成立する事が知られている：

上述の定理から特に、

は単射である事が従う。この単射におけるの像は、前述のCsubの積が作用が誘導する写像、Psubが誘導する写像で不変でなければならないので、//H//supのときと同様の議論により、

が従う。

7.3. 性質
-------

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

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

上の定理がΛ}}係数のコホモロジーに関するものである事に注意されたい。チャーン類は整数係数のコホモロジーに属するが、整数係数の場合はが成立するとは限らない。しかしである事は言えるgroup="注"。実際、一般に複素ベクトルバンドルの複素共役バンドルとすると、が成立し、しかも実ベクトルバンドルの複素化はその複素共役バンドルと同型なので、

が成立する。

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

は単射ではないが、この写像によるの逆像としてを選べば、が整数係数のコホモロジーに属するというのが上記の定理の意味である。以下、整数係数のコホモロジーにおけるポントリャーギン類をによって定義する。

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

チャーン類に対するホイットニー和の公式からポントリャーギン類のホイットニー和の公式が従う： 上の定理では整数係数のコホモロジーを考えているので、両辺についている「2}}」を消すことはできない。を満たす可換環Λ}}を係数とするコホモロジーにおいては両辺に2}}の逆元をかける事で、

in が成立する事がわかる。

また複素ベクトルバンドルから複素構造を忘却関手実ベクトルバンドルとみなしたものをの脱複素化と呼び、と書く。を再び複素化したベクトルバンドルはと同型になる事が知られている。ここではω}}の共役バンドルである。 よって、チャーン類のホイットニー和の公式からチャーン多項式がを満たす事がわかる。成分で書くと、

である。ここでn}}はω}}のファイバーの次元である。

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

前節で述べたようにオイラー類はにより誘導される写像を使ってと定義されていた。よって明らかに以下が成立する：

すでに述べたように、実ベクトルバンドルに対し、においてが成立する。よってポントリャーギン類の定義より以下が成立する。

オイラー類の満たす式「 in 」と上記の「 in 」から、整数係数コホモロジーの元で、

in 、 in 、を満たす元が一意に存在する。ここでn}}はのファイバーの次元である。このようなを整数係数コホモロジーにおけるオイラー類と呼ぶ。以下、紛れがなければの事を単にと書く。

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

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

8. 歴史
-----

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

特性類の基礎が確立した1950年ごろ、当時知られていた基本的な特性類は、古典線型群や極大トーラスの構造を反映していることが明らかとなった。さらには、グラスマン多様体のシューベルトの計算や、代数幾何学のイタリア学派の業績の中にすでにチャーン類により記述されるべきものが存在することがわかった。

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

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

特性類は、後日、多様体の葉層構造の中でも発見された。特性類はホモトピー論の中に分類空間の理論を持っている。

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

9. 参照項目
-------

チャーン類
セグレ類
スティーフェル・ホイットニー類
ポントリャーギン類
オイラー類
オイラー標数

10. 脚注
------

10.1. 出典
--------

10.2. 注釈
--------

11. 文献
------

11.1. 参考文献
----------

11.1.1. 特性類関連
-------------

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

11.1.2. その他
-----------

レクチャーノート
書籍