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

数学、特に代数トポロジーや微分幾何学において、スティーフェル・ホイットニー類  は、実ベクトル束の位相不変量  であって、ベクトル束の切断がどこでも独立な集合を構成するための障害理論  を記述する。ベクトル束のファイバーのベクトル空間としての次元を n}} とすると、0 番目から n}} 番目までスティーフェル・ホイットニー類を持つ。i}} 番目のスティーフェル・ホイットニー類が 0 でないならば、ベクトル束は、どこでも線型独立な切断を  個持つことはない。n}} 番目のスティーフェル・ホイットニー類が 0 でないことは、束のどの切断もある点で 0 とならねばならないことを示している。1 番目のスティーフェル・ホイットニー類が 0 でないことは、ベクトル束が向き付け可能ではないことを示している。たとえば、円上の直線束としてのメビウスの帯の 1 番目のスティーフェル・ホイットニー類は 0 でなく、一方、円上の自明直線束 //S//1 × R}} の 1 番目のスティーフェル・ホイットニー類は 0 である。

エドゥアルト・シュティーフェル  とハスラー・ホイットニー  の名前に因んだ命名のスティーフェル・ホイットニー類は、実ベクトル束に付帯する Z/2Z}}-特性類である。

代数幾何学では、非退化二次形式を持つベクトル束に対してスティーフェル・ホイットニー類の類似も定義されていて、エタールコホモロジー群やミルナーのK-理論に値を持つ。特別な例として、体上の二次形式のスティーフェル・ホイットニー類を定義することもでき、最初の 2つは判別式とハッセ・ヴィット不変量  であるMilnor。

1. はじめに
-------

1.1. 一般的事項
----------

実ベクトル束 //E//}} に対し、//E//}} のスティーフェル・ホイットニー類は、//w//}} と書き、次のコホモロジー環の元である。

ここで //X//}} は束 //E//}} の底空間であり、Z/2Z}}は、0 と 1 のみからなる可換環である。//Hi//}} の中の //w//}} の直和成分は、//w////i//}} で表され、//E//}} の //}}-番目のスティーフェル・ホイットニー類と呼ぶ。したがって //w// =}} //w//0 + //w//1 + //w//2 + …}} であり、ここに各々の //wi//}} は、//Hi//}} の元である。

スティーフェル・ホイットニー類 //w//}} は、実ベクトル束 //E//}} の不変量である。つまり、//F//}} が //E//}} とが同じ底空間 //X//}} を持つ別の実ベクトルで、//F//}} が //E//}} とが同型であれば、スティーフェル・ホイットニー類 //w//}} と //w//}} とは等しい。 2つの実ベクトル束 //E//}} と //F//}} が同型か否かを判断することは一般的には困難であるが、スティーフェル・ホイットニー類 //w//}} と //w//}} は、簡単に計算可能な場合もある。スティーフェル・ホイットニー類が異なっていれば、//E//}} と //F//}} は同型ではない。

例としては、円 //S//1}} 上、自明束に同型ではない直線束が存在する。この直線束 L}} は、メビウスの帯である。コホモロジー群 //H//1}} は、0 以外にはひとつしか元がない。この元が L}} の第一スティーフェル・ホイットニー類 //w//1}} である。//S//1}} 上の自明直線束の第一スティーフェル・ホイットニー類は 0 であるので、それは L}} とは同型ではない。

しかし、同じスティーフェル・ホイットニー類を持つ 2つのベクトル束 //E//}} と //F//}} は、必ずしも同型とは限らない。例えば、E}} と F}} が同じ底空間 //X//}} 上の異なる階数の自明な実ベクトル束であるときに、同型でないということが起きる。//E//}} と //F//}} が同じ階数であってもこのようなことが起きる。2-球面 //S//2}} の接束と //S//2}} 上の階数 2 の自明な実ベクトル束は同じスティーフェル・ホイットニー類を持つが、同型ではない。ところが、//X//}} 上 2 つの実直線束が同じスティーフェル・ホイットニー類を持てば、それらは同型である。

1.2. 原点
-------

エドゥアルト・シュティーフェル  とハスラー・ホイットニーにより //X// の //i//-スケルトンに限定したベクトル束 //E//}} のいたるところで線形独立な //n// − //i// + 1}} 個の切断を構成するための障害理論 の2を法とした還元として発見したことから、スティーフェル・ホイットニー類 //w////i// との名前がついている。ここに //n// はベクトル束 //F// → //E// → //X//}} のファイバーの次元を表す。

詳しくは、X}} をCW-複体とすると、ホイットニーは、ツイストした係数を持つ //X// の //i//-番目の胞体コホモロジー群の中の類 //W////i// を定義した。次元 }} のスティーフェル多様体の ////-番目のホモトピー群である係数系は、//E// の線形独立なベクトルである。ホイットニーは、//Wi// =}} 0}} であることと、//X// の //i//-スケルトンへ制限したときに //E// が //n// − //i// + 1)}} 個の線型独立な切断を持つことが同値であることを証明した。

//i//−1//V////n//−//i//+1 は、無限巡回群か、もしくは、Z/2Z に同型であるので、//W////i// のクラスの、スティーフェル・ホイットニー類である //w////i// ∈ //H////i//}} への標準形式なリダクションが存在する。さらに、π}}//i//−1//V////n//−//i//+1 =}} Z/2Z}} であるときはいつも、2つのクラスは同一である。このようにして、1=//w//1 = 0}} であることと、束 //E// → //X//}} が向き付け可能であることとは同値である。

クラス //w//0 は何も情報を持っていない。なぜなら、定義により 1 に等しいからである。ホイットニーによるこの構成は、創造的な考え方であり、ホイットニー和公式 //w// =}} //w////w//}} が正しいことを示した。しかしながら、多様体の一般化に際し、//w//0   ≠   1 となることがある。8 を法として 1 になればよいのであるdate=April 2011}}date=April 2011}}。

2. 定義
-----

本記事を通して、//H////i//}} で群 G}} に係数を持つ空間 X}} の特異コホモロジーを表すこととする。写像  という用語はいつも位相空間の間の連続写像を意味することとする。

2.1. 公理的定義
----------

次の公理系は、 基底の mod-2 コホモロジーをパラコンパクト基底を持つ有限ランクの実ベクトルバンドルへ結び付けるスティーフェル・ホイットニー特性類 //w// の唯一の特徴付けをもたらす。

正規化: 実射影空間 P1 上のトートロジーラインバンドルのホイットニー類は、非自明である。すなわち、 である。
ランク: //w//0 = 1 ∈ //H//0 と //E// のランクの //i// に対し、 である。つまり である。
ホイットニー積公式 : である。つまり、直和のホイットニー類は、和の類のカップ積  である。
自然性 : 任意の実ベクトルバンドル //E// → //X// と写像 に対し、//w// = //f*w// である。ここに //f*E// は引き戻し束を表す。これらのクラスの一意性は、たとえば、Husemollerのセクション 17.2 - 17.6 1 や Milnor と Stasheff のセクション 8 に証明されている。存在性にはいくつかの証明があり、様々な種類の構成から導かれ、それらは異なった性格を持っている。

2.2. 無限グラスマン多様体を通した定義
---------------------

2.2.1. 無限グラスマン多様体とベクトル束
-----------------------

このセクションでは、分類空間の考え方を使う構成を述べる。

任意のベクトル場 //V// に対し、//Grn// で //V// の //n// 次元線型部分の空間であるグラスマン多様体を表し、無限グラスマン多様体を

で表す。この空間は、自然束  の構造が入る。この自然束は、ランク //n// のベクトル束であり、点 でのファイバーが //Ẃ// により表現される部分空間であるようなファイバー //V// の自明束の部分束として定義できる。

//f//: //X// → //Grn// を無限グラスマン多様体の連続写像とすると、同型を除き //X// 上の写像 //f// により誘導された束

は写像 [//f//] のホモトピー類のみに依存する。したがって、引き戻しの操作は、ホモトピー同値を法とした写像 //X// → //Grn//}} の集合

から、//X// 上のランク //n// のベクトル束の同型類の集合

への写像を与える。

この構成において重要なことは、//X// がパラコンパクト空間であれば、この写像は全単射であるということである。これが無限グラスマン多様体をベクトル束の分類空間と呼ぶ理由である。

2.2.2. 直線束の場合
-------------

直線束へ上記の構成を限定する、つまり、//X// 上の直線束の空間 Vect1 を考えることとする。直線のグラスマン多様体 //Gr//1 はまさに無限次の射影空間である。

これは、無限次元球面 //S//∞ によって対蹠点 に二重被覆されている。無限次元球面 //S//∞ は可縮であるので、

を得る。従って、P∞ はアイレンベルグ・マックレーン空間 K である。

アイレンベルグ・マックレーン空間の性質は次のような性質である。任意の //X// と η を生成子とする //f// → //f*//η により与えられる同型に対し、

であり、また、

となる。第一の式を適用することは、α : [//X//, //Gr//1] → Vect1 も全射となり、全射である写像

//w//1 : Vect1 → //H//1;を得る。このことが、直線束に対するスティーフェル・ホイットニー類 //w//1 を定義する。

2.2.3. 直線束の群
------------

Vect1 をテンソル積作用素の下の群と考えると、スティーフェル・ホイットニー類は同型である。//w//1: Vect1 → //H//1}} は同型、つまり、すべての直線束 λ, μ → //X//}} に対し、1=//w//1 = //w//1 + //w//1}} である。

たとえば、1=//H//1 = Z/2Z}} であるので、束同型を除き、円上には 2つの直線束しか存在しない、つまり自明直線束と開いたメビウスの帯である。

同じ構成を複素ベクトル束に対して行うと、チャーン類が //X// 上の複素直線束と //H//2}} の間の全単射を定義することが示される。何故ならば、対応する分類空間は、P∞, a K であるからである。この同型は、位相的なラインバンドルに対し成立し、代数的ベクトルバンドルのチャーン類の単射性への障害は、ヤコビ多様体である。

2.3. 消滅の位相幾何学的解釈
----------------

//i// > rank のときはいつでも、//wi// = 0 である。
//Ek// がどこでも線型独立であるような 切断を持っていると、 トップ次数のホイットニー類は 0 消滅し、 である。
第一スティーフェル・ホイットニー類が 0 であることと、バンドルが向き付け可能であることとは同値である。特に、多様体 //M// が向き付け可能であることと //w//1 = 0 は同値である。
バンドルがスピン構造を持つことと、第一と第二スティーフェル・ホイットニー類がともに 0 であることとは同値である。
向き付け可能なバンドルに対し、第二スティーフェル・ホイットニー類は自然な射影 //H//2 → //H//2 の像の中にあることと、バンドルが spinc構造を持つことは同値である。
滑らかな多様体 //X// のすべてのスティーフェル・ホイットニー数が 0 であることと、多様体が滑らかなコンパクトな多様体の境界であることとは同値である。この条件は充分条件でもある。

2.4. スティーフェル・ホイットニー類の一意性
------------------------

ラインバンドルに関する上記の全単射は、4つの公理を満たす函手 θ は次の議論により //w// と等しいことを意味する。第二の公理は、θ = 1 + θ1 であることを意味する。包含写像 //i// : P1 → P∞ に対し、引き戻しバンドル //i*//γ1 は と等しいので、第一と第三の公理を使うと、 である。写像 //i*//: //H//1; Z/2Z) → //H//1; Z/2Z) は同型であるので、 であり、θ = //w// であることが分かる。//E// を空間 //X// 上のランク //n// の実ベクトルバンドルとすると、//E// は分解原理、すなわち、ある空間 //X// が存在し、 が単射であり、ラインバンドル に対し、 となるような写像 //f// : //X′// → //X// となる。//X// 上の任意のラインバンドルは、ある写像 //g// に対し //g*//γ1 の形をし、自然に θ = //g*//θ = //g*w// = //w// となる。このように 上では、θ = //w// となる。上記の四番目の公理からは、

であることが分かる。//f*// は単射であるので、θ = //w// であるからである。このように、スティーフェル・ホイットニー類は 4つの公理を満たし、一意的な函手である。

2.5. 同じスティーフェル・ホイットニー類を持つ非同型なバンドル
---------------------------------

写像 //w//1 : Vect1 → //H//1 は全単射であるにもかかわらず、対応する写像は高次元では必ずしも単射となるわけではない。たとえば、//n// を偶数として、接バンドル //TSn// を考えると、R//n//+1 への //Sn// の標準的な埋め込みを持つ //Sn// への法バンドル ν はラインバンドルである。//Sn// は向きつけ可能であるので、ν は自明である。和 //TSn// ⊕ ν はまさに //T//n//+1 から //Sn// への制限であり、R//n//+1 は可縮であるので、和は自明である。従って //w// = //w////w// = //w// = 1 である。しかし //TSn// → //Sn// は自明ではない。そのオイラー類 である。ここに [//Sn//] は //Sn// の基本類を表し、χ はオイラー標数を表す。

3. 関連する不変量
----------

3.1. スティーフェル・ホイットニー数
--------------------

次元 //n// の多様体上で考えると、全次数   //n// のスティーフェル・ホイットニー類の任意の積は、与えられた Z/2Z の元を与える多様体の Z/2Z-基本類、ベクトルバンドルのスティーフェル・ホイットニー数とペアとすることができる。たとえば、多様体の次元を 3 とすると、3つの線型独立な により与えられるスティーフェル・ホイットニー数が存在する。一般に、多様体の次元が //n// であれば、独立なスティーフェル・ホイットニー数の数は、//n// の分割数となる。

滑らかな多様体の接バンドルのスティーフェル・ホイットニー数を、多様体のスティーフェル・ホイットニー数を呼ぶ。スティーフェル・ホイットニー数はコボルディズム不変量であることが知られている。このことはレフ・ポントリャーギンにより証明され、//B// が滑らかなコンパクトな –次元多様体で //M// と等しい境界を持っているとすると、//M// のスティーフェル・ホイットニー数は、すべて 0 となる。さらに、//M// のすべてのスティーフェル・ホイットニー数が 0 であれば、//M// はある滑らかなコンパクトな多様体の境界として実現することができることが、ルネ・トムにより証明された。

手術理論におけるスティーフェル・ホイットニー数の重要性のひとつに、スティーフェル・ホイットニー数は -次元多様体 のド・ラーム不変量という定理がある。

3.2. ウー類
--------

スティーフェル・ホイットニー類 //wk// は、Wu で吳文俊により定義されたウー類 //vk// のスティンロッドの平方根である。単純に、全スティーフェル・ホイットニー類は、全ウー類の全スティンロッドの平方根 //Sq// = //w// である。ウー類はいつも暗にスティンロッドの平方根の項でスティンロッドの平方根を表現するコホモロジー類として定義される。多様体 //X// を //n// 次元とすると、次数 //n-k// のコホモロジー類 //x// に対し、 となる。特に、狭く を要求すると、再び、次数 //n-k// のコホモロジー類 //x// に対し同じことになる。

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

元 は //i// + 1 整数スティーフェル・ホイットニー類と呼ばれる。ここに β はボックシュタイン準同型であり、modulo 2 のリダクション Z → Z/2Z に対応する。

たとえば、第三の整数スティーフェル・ホイットニー類は、Spinc構造への障害である。

4.1. スティンロッド代数上の関係式
-------------------

スティンロッド代数上において、滑らかな多様体のスティーフェル・ホイットニー類は、 の形をした類により生成される。特に、吳文俊の名前に因んだウーの公式}}

を満たす。

5. 関連項目
-------

一般的な事項としては特性類、特にチャーン類は複素ベクトルバンドルの直接の類似である。
実射影空間

6. 参考文献
-------

D. Husemoller, //Fibre Bundles//, Springer-Verlag, 1994.