スティーフェル・ホイットニー類
数学、特に代数トポロジーや微分幾何学において、スティーフェル・ホイットニー類 () は、実ベクトル束の (topological invariant) であって、ベクトル束の切断がどこでも（線型）独立な集合を構成するための (obstruction) を記述する。ベクトル束のファイバーのベクトル空間としての次元を とすると、0 番目から 番目までスティーフェル・ホイットニー類を持つ。 番目のスティーフェル・ホイットニー類が 0 でないならば、ベクトル束は、どこでも線型独立な切断を ( ) 個持つことはない。 番目のスティーフェル・ホイットニー類が 0 でないことは、束のどの切断もある点で 0 とならねばならないことを示している。1 番目のスティーフェル・ホイットニー類が 0 でないことは、ベクトル束が向き付け可能ではないことを示している。たとえば、円上の直線束としてのメビウスの帯の 1 番目のスティーフェル・ホイットニー類は 0 でなく、一方、円上の自明直線束 の 1 番目のスティーフェル・ホイットニー類は 0 である。
エドゥアルト・シュティーフェル (Eduard Stiefel) と (Hassler Whitney) の名前に因んだ命名のスティーフェル・ホイットニー類は、実ベクトル束に付帯する -特性類である。
代数幾何学では、非退化二次形式を持つベクトル束に対してスティーフェル・ホイットニー類の類似も定義されていて、エタールコホモロジー群やミルナーのK-理論に値を持つ。特別な例として、体上の二次形式のスティーフェル・ホイットニー類を定義することもでき、最初の 2つは判別式と (Hasse–Witt invariant) である。
実ベクトル束 に対し、 のスティーフェル・ホイットニー類は、 と書き、次のコホモロジー環の元である。
ここで は束 の底空間であり、（しばしば、代わりに とも書かれる）は、0 と 1 のみからなる可換環である。 の中の の直和成分は、 で表され、 の -番目のスティーフェル・ホイットニー類と呼ぶ。したがって であり、ここに各々の は、 の元である。
スティーフェル・ホイットニー類 は、実ベクトル束 の不変量である。つまり、 が とが同じ底空間 を持つ別の実ベクトルで、 が とが同型であれば、スティーフェル・ホイットニー類 と とは等しい。 （ここに、同型とは、恒等写像 を被覆するベクトル束の同型写像 が存在することを言う。）2つの実ベクトル束 と が同型か否かを判断することは一般的には困難であるが、スティーフェル・ホイットニー類 と は、簡単に計算可能な場合もある。スティーフェル・ホイットニー類が異なっていれば、 と は同型ではない。
例としては、円 上、自明束に同型ではない直線束（つまり、階数 1 の実ベクトル束）が存在する。この直線束 は、メビウスの帯（ベクトル束となるベクトル空間の構造をファイバーへいれることのできるファイバー束）である。コホモロジー群 は、0 以外にはひとつしか元がない。この元が の第一スティーフェル・ホイットニー類 である。 上の自明直線束の第一スティーフェル・ホイットニー類は 0 であるので、それは とは同型ではない。 
しかし、同じスティーフェル・ホイットニー類を持つ 2つのベクトル束 と は、必ずしも同型とは限らない。例えば、 と が同じ底空間 上の異なる階数の自明な実ベクトル束であるときに、同型でないということが起きる。 と が同じ階数であってもこのようなことが起きる。2-球面 の接束と 上の階数 2 の自明な実ベクトル束は同じスティーフェル・ホイットニー類を持つが、同型ではない。ところが、 上 2 つの実直線束が同じスティーフェル・ホイットニー類を持てば、それらは同型である。
エドゥアルト・シュティーフェル (Eduard Stiefel) と(Hassler Whitney)により "X" の "i"-スケルトンに限定したベクトル束 のいたるところで線形独立な 個の切断を構成するための(obstruction class) の2を法とした還元として発見したことから、スティーフェル・ホイットニー類 "w"("E") との名前がついている。ここに "n" はベクトル束 のファイバーの次元を表す。
詳しくは、 を(CW complex)とすると、ホイットニーは、ツイストした係数を持つ "X" の "i"-番目の胞体コホモロジー群の中の類 "W"("E") を定義した。次元 のの "(i-1)"-番目のホモトピー群である係数系は、"E" の線形独立なベクトルである。ホイットニーは、 であることと、"X" の "i"-スケルトンへ制限したときに "E" が 個の線型独立な切断を持つことが同値であることを証明した。
"V"("F") は、無限巡回群か、もしくは、Z/2Z に同型であるので、"W"("E") のクラスの、スティーフェル・ホイットニー類である への(canonical)なリダクションが存在する。さらに、 であるときはいつも、2つのクラスは同一である。このようにして、 であることと、束 が向き付け可能であることとは同値である。
クラス "w"("E") は何も情報を持っていない。なぜなら、定義により 1 に等しいからである。ホイットニーによるこの構成は、創造的な考え方であり、(Whitney sum)公式 が正しいことを示した。しかしながら、多様体の一般化に際し（つまりある(homology manifold)）、"w"("M") ≠ 1 となることがある。8 を法として 1 になればよいのである。
本記事を通して、 で群 に係数を持つ空間 の特異コホモロジーを表すこととする。写像 (map) という用語はいつも位相空間の間の連続写像を意味することとする。
次の公理系は、 基底の mod-2 コホモロジーをパラコンパクト基底を持つ有限ランクの実ベクトルバンドルへ結び付けるスティーフェル・ホイットニー特性類 "w" の唯一の特徴付けをもたらす。
これらのクラスの一意性は、たとえば、Husemollerのセクション 17.2 - 17.6 1 や Milnor と Stasheff のセクション 8 に証明されている。存在性にはいくつかの証明があり、様々な種類の構成から導かれ、それらは異なった性格を持っている。
このセクションでは、分類空間の考え方を使う構成を述べる。
任意のベクトル場 "V" に対し、"Gr"("V") で "V" の "n" 次元線型部分の空間である(Grassmannian)を表し、無限グラスマン多様体を
で表す。この空間は、 (tautological bundle) formula_8 の構造が入る。この自然束は、ランク "n" のベクトル束であり、点 formula_9 でのファイバーが "Ẃ" により表現される部分空間であるようなファイバー "V" の自明束の部分束として定義できる。
"f": "X" → "Gr" を無限グラスマン多様体の連続写像とすると、同型を除き "X" 上の写像 "f" により誘導された束
は写像 ["f"] のホモトピー類のみに依存する。したがって、引き戻しの操作は、ホモトピー同値を法とした写像 の集合
から、"X" 上のランク "n" のベクトル束の同型類の集合
への写像を与える。
この構成において重要なことは、"X" がパラコンパクト空間であれば、この写像は全単射であるということである。これが無限グラスマン多様体をベクトル束の分類空間と呼ぶ理由である。
直線束へ上記の構成を限定する、つまり、"X" 上の直線束の空間 Vect("X") を考えることとする。直線のグラスマン多様体 "Gr" はまさに無限次の射影空間である。
これは、無限次元球面 "S" によってに二重被覆されている。無限次元球面 "S" は可縮であるので、
を得る。従って、P(R) は(Eilenberg-Maclane space) K(Z/2Z, 1) である。
アイレンベルグ・マックレーン空間の性質は次のような性質である。任意の "X" と η を生成子とする "f" → "f*"η により与えられる同型に対し、
であり、また、
となる。第一の式を適用することは、α : ["X", "Gr"] → Vect("X") も全射となり、全射である写像
を得る。このことが、直線束に対するスティーフェル・ホイットニー類 "w" を定義する。
Vect("X") をテンソル積作用素の下の群と考えると、スティーフェル・ホイットニー類は同型である。 は同型、つまり、すべての直線束 に対し、 である。
たとえば、 であるので、束同型を除き、円上には 2つの直線束しか存在しない、つまり自明直線束と開いたメビウスの帯（すなわち境界を消したメビウスの帯）である。
同じ構成を複素ベクトル束に対して行うと、チャーン類が "X" 上の複素直線束と の間の全単射を定義することが示される。何故ならば、対応する分類空間は、P(C), a K(Z/2Z, 2) であるからである。この同型は、位相的なラインバンドルに対し成立し、代数的ベクトルバンドルのチャーン類の単射性への障害は、ヤコビ多様体である。
ラインバンドルに関する上記の全単射は、4つの公理を満たす函手 θ は次の議論により "w" と等しいことを意味する。第二の公理は、θ(γ) = 1 + θ(γ) であることを意味する。包含写像 "i" : P(R) → P(R) に対し、引き戻しバンドル "i*"γ は formula_20 と等しいので、第一と第三の公理を使うと、formula_21 である。写像 "i*": "H"(P(R); Z/2Z) → "H"(P(R); Z/2Z) は同型であるので、formula_22 であり、θ(γ) = "w"(γ) であることが分かる。"E" を空間 "X" 上のランク "n" の実ベクトルバンドルとすると、"E" は(splitting map)、すなわち、ある空間 "X" が存在し、formula_23 が単射であり、ラインバンドル formula_24 に対し、 formula_25 となるような写像 "f" : "X′" → "X" となる。"X" 上の任意のラインバンドルは、ある写像 "g" に対し "g*"γ の形をし、自然に θ("g*"γ) = "g*"θ(γ) = "g*w"(γ) = "w"("g*"γ) となる。このように formula_26 上では、θ = "w" となる。上記の四番目の公理からは、
であることが分かる。"f*" は単射であるので、θ = "w" であるからである。このように、スティーフェル・ホイットニー類は 4つの公理を満たし、一意的な函手である。
写像 "w" : Vect("X") → "H"("X"; Z/2Z) は全単射であるにもかかわらず、対応する写像は高次元では必ずしも単射となるわけではない。たとえば、"n" を偶数として、接バンドル "TS" を考えると、R への "S" の標準的な埋め込みを持つ "S" への法バンドル ν はラインバンドルである。"S" は向きつけ可能であるので、ν は自明である。和 "TS" ⊕ ν はまさに "T"R から "S" への制限であり、R は可縮であるので、和は自明である。従って "w"("TS") = "w"("TS")"w"(ν) = "w"("TS" ⊕ ν) = 1 である。しかし "TS" → "S" は自明ではない。そのオイラー類 formula_28 である。ここに ["S"] は "S" の基本類を表し、χ はオイラー標数を表す。
次元 "n" の多様体上で考えると、全次数 "n" のスティーフェル・ホイットニー類の任意の積は、与えられた Z/2Z の元を与える多様体の Z/2Z-基本類(fundamental class)、ベクトルバンドルのスティーフェル・ホイットニー数(Stiefel–Whitney number)とペアとすることができる。たとえば、多様体の次元を 3 とすると、3つの線型独立な formula_29 により与えられるスティーフェル・ホイットニー数が存在する。一般に、多様体の次元が "n" であれば、独立なスティーフェル・ホイットニー数の数は、"n" の分割数となる。
滑らかな多様体の接バンドルのスティーフェル・ホイットニー数を、多様体のスティーフェル・ホイットニー数を呼ぶ。スティーフェル・ホイットニー数は(cobordism)不変量であることが知られている。このことはレフ・ポントリャーギン(Lev Pontryagin)により証明され、"B" が滑らかなコンパクトな ("n"+1)–次元多様体で "M" と等しい境界を持っているとすると、"M" のスティーフェル・ホイットニー数は、すべて 0 となる。さらに、"M" のすべてのスティーフェル・ホイットニー数が 0 であれば、"M" はある滑らかなコンパクトな多様体の境界として実現することができることが、ルネ・トム(René Thom)により証明された。
(surgery theory)におけるスティーフェル・ホイットニー数の重要性のひとつに、スティーフェル・ホイットニー数は (4"k"+1)-次元多様体 formula_30 の(de Rham invariant)という定理がある。
スティーフェル・ホイットニー類 "w" は、 で(Wu Wenjun)により定義されたウー類(Wu classes) "v" の(Steenrod square)である。単純に、全スティーフェル・ホイットニー類は、全ウー類の全スティンロッドの平方根 "Sq"("v") = "w" である。ウー類はいつも暗にスティンロッドの平方根の項でスティンロッドの平方根を表現するコホモロジー類として定義される。多様体 "X" を "n" 次元とすると、次数 "n-k" のコホモロジー類 "x" に対し、formula_31 となる。特に、狭く formula_32 を要求すると、再び、次数 "n-k" のコホモロジー類 "x" に対し同じことになる。
元 formula_33 は "i" + 1 整数スティーフェル・ホイットニー類と呼ばれる。ここに β は(Bockstein homomorphism)であり、modulo 2 のリダクション Z → Z/2Z に対応する。
たとえば、第三の整数スティーフェル・ホイットニー類は、Spin構造への障害である。
(Steenrod algebra)上において、（接バンドルのスティーフェル・ホイットニー類として定義された）滑らかな多様体のスティーフェル・ホイットニー類は、formula_35 の形をした類により生成される。特に、吳文俊(Wu Wenjun)の名前に因んだ
を満たす。