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

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

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

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

## はじめに

### 一般的事項
実ベクトル束  に対し、 の**スティーフェル・ホイットニー類**は、 と書き、次のコホモロジー環の元である。

:H^\ast(X; \mathbf{Z}/2\mathbf{Z}) = \bigoplus_{i\geq0} H^i(X; \mathbf{Z}/2\mathbf{Z})

ここで  は束  の底空間であり、（しばしば、代わりに  とも書かれる）は、0 と 1 のみからなる可換環である。 の中の  の直和成分は、 で表され、 の **-番目のスティーフェル・ホイットニー類**と呼ぶ。したがって  であり、ここに各々の  は、 の元である。

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

例としては、円  上、自明束に同型ではない直線束（つまり、階数 1 の実ベクトル束）が存在する。この直線束  は、メビウスの帯（ベクトル束となるベクトル空間の構造をファイバーへいれることのできるファイバー束）である。コホモロジー群  は、0 以外にはひとつしか元がない。この元が  の第一スティーフェル・ホイットニー類  である。 上の自明直線束の第一スティーフェル・ホイットニー類は 0 であるので、それは  とは同型ではない。 

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

### 原点
エドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー(Hassler Whitney)により *X* の *i*-スケルトンに限定したベクトル束  のいたるところで線形独立な  個の切断を構成するための(obstruction class) の2を法とした還元として発見したことから、スティーフェル・ホイットニー類 *w**i*(*E*) との名前がついている。ここに *n* はベクトル束  のファイバーの次元を表す。

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

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

クラス *w*0(*E*) は何も情報を持っていない。なぜなら、定義により 1 に等しいからである。ホイットニーによるこの構成は、創造的な考え方であり、(Whitney sum)公式  が正しいことを示した。しかしながら、多様体の一般化に際し（つまりある(homology manifold)）、*w*0(*M*)&nbsp;≠&nbsp;1 となることがある。8 を法として 1 になればよいのである。

## 定義
本記事を通して、 で群  に係数を持つ空間  の特異コホモロジーを表すこととする。**写像** (map) という用語はいつも位相空間の間の連続写像を意味することとする。

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

# **正規化**(Normalization): (real projective space) **P**1(**R**) 上の(tautological line bundle)のホイットニー類は、非自明である。すなわち、w(\gamma^1_1)= 1 + a \in H^*(\mathbf{P}^1(\mathbf{R}); \mathbf Z_2)= \mathbf Z_2[a]/(a^2) である。
# **ランク**(Rank): *w*0(*E*) = 1 ∈ *H*0(*X*) と *E* のランクの *i* に対し、w_i = 0 \in H^i(X) である。つまり w(E) \in H^{\le \mathrm{rank} E}(X) である。
# **ホイットニー積公式** (Whitney product formula): w(E\oplus F)= w(E) \smallsmile w(F) である。つまり、直和のホイットニー類は、和の類のカップ積 (cup product) である。
# **自然性** (Naturality): 任意の実ベクトルバンドル *E* → *X* と写像 f:X' \to X に対し、*w*(*f*E*) = *f*w*(*E*) である。ここに *f*E* は(pullback vector bundle)を表す。

これらのクラスの一意性は、たとえば、Husemollerのセクション 17.2 - 17.6 1 や Milnor と Stasheff のセクション 8 に証明されている。存在性にはいくつかの証明があり、様々な種類の構成から導かれ、それらは異なった性格を持っている。

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

#### 無限グラスマン多様体とベクトル束
このセクションでは、分類空間の考え方を使う構成を述べる。

任意のベクトル場 *V* に対し、*Gr<sub>n</sub>*(*V*) で *V* の *n* 次元線型部分の空間である(Grassmannian)を表し、無限グラスマン多様体を
:Gr_n = Gr_n(\mathbf{R}^\infty)
で表す。この空間は、 (tautological bundle) \gamma^n \to Gr_n の構造が入る。この自然束は、ランク *n* のベクトル束であり、点 W \in Gr_n (V) でのファイバーが *Ẃ* により表現される部分空間であるようなファイバー *V* の自明束の部分束として定義できる。

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

:f^*\gamma^n \in \mathit{Vect}_n(X)

は写像 [*f*] のホモトピー類のみに依存する。したがって、引き戻しの操作は、ホモトピー同値を法とした写像  の集合
: [X; Gr_n]
から、*X* 上のランク *n* のベクトル束の同型類の集合
:\mathit{Vect}_n(X)
への写像を与える。

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

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

:\mathbf{P}^\infty(\mathbf{R}) = \mathbf{R}^\infty/\mathbf{R}^*,
これは、無限次元球面 *S*∞ によってに二重被覆されている。無限次元球面 *S*∞ は可縮であるので、

:\begin{align}
\pi_1(\mathbf{P}^\infty(\mathbf{R})) &= \mathbf{Z}/2\mathbf{Z} \\
\pi_i(\mathbf{P}^\infty(\mathbf{R})) &= \pi_i(S^\infty) = 0 && i > 1
\end{align}
を得る。従って、**P**∞(**R**) は(Eilenberg-Maclane space) K(**Z**/2**Z**, 1) である。

アイレンベルグ・マックレーン空間の性質は次のような性質である。任意の *X* と η を生成子とする *f* → *f**η により与えられる同型に対し、
:[X; \mathbf{P}^\infty(\mathbf{R})] = H^1(X; \mathbf{Z}/2\mathbf{Z})
であり、また、
:H^1(\mathbf{P}^\infty(\mathbf{R}); \mathbf{Z}/2\mathbf{Z}) = \mathbf{Z}/2\mathbf{Z}
となる。第一の式を適用することは、α : [*X*, *Gr*1] → Vect1(*X*) も全射となり、全射である写像
:*w*1 : Vect1(*X*) → *H*1(*X*; **Z**/2**Z**);
を得る。このことが、直線束に対するスティーフェル・ホイットニー類 *w*1 を定義する。

#### 直線束の群
Vect1(*X*) をテンソル積作用素の下の群と考えると、スティーフェル・ホイットニー類は同型である。 は同型、つまり、すべての直線束  に対し、 である。

たとえば、 であるので、束同型を除き、円上には 2つの直線束しか存在しない、つまり自明直線束と開いたメビウスの帯（すなわち境界を消したメビウスの帯）である。

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

### 消滅の位相幾何学的解釈
# *i* > rank(*E*) のときはいつでも、*w<sub>i</sub>*(*E*) = 0 である。
# *E<sup>k</sup>* がどこでも線型独立であるような s_1,\ldots,s_{\ell} 切断を持っていると、\ell トップ次数のホイットニー類は 0 消滅し、w_{k-\ell+1}=\cdots=w_k=0 である。
# 第一スティーフェル・ホイットニー類が 0 であることと、バンドルが向き付け可能であることとは同値である。特に、多様体 *M* が向き付け可能であることと *w*1(*TM*) = 0 は同値である。
# バンドルがスピン構造を持つことと、第一と第二スティーフェル・ホイットニー類がともに 0 であることとは同値である。
# 向き付け可能なバンドルに対し、第二スティーフェル・ホイットニー類は自然な射影 *H*2(*M*, **Z**) → *H*2(*M*, **Z**/2**Z**) の像の中にある（同じことであるが、いわゆる、第三**整数係数**のスティーフェル・ホイットニー類が 0 である）ことと、バンドルがspin<sup>c</sup>構造を持つことは同値である。
# 滑らかな多様体 *X* のすべてのスティーフェル・ホイットニー数が 0 であることと、多様体が滑らかなコンパクトな多様体の（向きつけられていない）境界であることとは同値である。この条件は充分条件でもある。

### スティーフェル・ホイットニー類の一意性
ラインバンドルに関する上記の全単射は、4つの公理を満たす函手 θ は次の議論により *w* と等しいことを意味する。第二の公理は、θ(γ1) = 1 + θ1(γ1) であることを意味する。包含写像 *i* : **P**1(**R**) → **P**∞(**R**) に対し、引き戻しバンドル *i**γ1 は \gamma_1^1 と等しいので、第一と第三の公理を使うと、i^* \theta_1(\gamma^1) = \theta_1(i^* \gamma^1) = \theta_1(\gamma_1^1) = w_1(\gamma_1^1) = w_1(i^* \gamma^1) = i^* w_1(\gamma^1) である。写像 *i**: *H*1(**P**∞(**R**); **Z**/2**Z**) → *H*1(**P**1(**R**); **Z**/2**Z**) は同型であるので、\theta_1(\gamma^1) = w_1(\gamma^1) であり、θ(γ1) = *w*(γ1) であることが分かる。*E* を空間 *X* 上のランク *n* の実ベクトルバンドルとすると、*E* は(splitting map)、すなわち、ある空間 *X* が存在し、f^*:H^*(X; \mathbf{Z}/2\mathbf{Z})) \to H^*(X'; \mathbf{Z}/2\mathbf{Z}) が単射であり、ラインバンドル \lambda_i \to X' に対し、 f^* E = \lambda_1 \oplus \cdots \oplus \lambda_n となるような写像 *f* : *X′* → *X* となる。*X* 上の任意のラインバンドルは、ある写像 *g* に対し *g**γ1 の形をし、自然に θ(*g**γ1) = *g**θ(γ1) = *g*w*(γ1) = *w*(*g**γ1) となる。このように Vect_1(X) 上では、θ = *w* となる。上記の四番目の公理からは、
:f^*\theta(E) = \theta(f^*E) = \theta(\lambda_1 \oplus \cdots \oplus \lambda_n) = \theta(\lambda_1) \cdots \theta(\lambda_n) = w(\lambda_1) \cdots w(\lambda_n) = w(f^*E) = f^* w(E)
であることが分かる。*f** は単射であるので、θ = *w* であるからである。このように、スティーフェル・ホイットニー類は 4つの公理を満たし、一意的な函手である。

### 同じスティーフェル・ホイットニー類を持つ非同型なバンドル
写像 *w*1 : Vect1(*X*) → *H*1(*X*; **Z**/2**Z**) は全単射であるにもかかわらず、対応する写像は高次元では必ずしも単射となるわけではない。たとえば、*n* を偶数として、接バンドル *TS<sup>n</sup>* を考えると、**R***n*+1 への *S<sup>n</sup>* の標準的な埋め込みを持つ *S<sup>n</sup>* への法バンドル ν はラインバンドルである。*S<sup>n</sup>* は向きつけ可能であるので、ν は自明である。和 *TS<sup>n</sup>* ⊕ ν はまさに *T***R***n*+1 から *S<sup>n</sup>* への制限であり、**R***n*+1 は可縮であるので、和は自明である。従って *w*(*TS<sup>n</sup>*) = *w*(*TS<sup>n</sup>*)*w*(ν) = *w*(*TS<sup>n</sup>* ⊕ ν) = 1 である。しかし *TS<sup>n</sup>* → *S<sup>n</sup>* は自明ではない。そのオイラー類 e(TS^n) = \chi(TS^n)[S^n] = 2[S^n] \not =0 である。ここに [*S<sup>n</sup>*] は *S<sup>n</sup>* の基本類を表し、χ はオイラー標数を表す。

## 関連する不変量

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

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

(surgery theory)におけるスティーフェル・ホイットニー数の重要性のひとつに、スティーフェル・ホイットニー数は (4*k*+1)-次元多様体 w_2w_{4k-1} の***'(de Rham invariant)という定理がある。


===ウー類===
スティーフェル・ホイットニー類 ''w<sub>k</sub>'' は、 で(Wu Wenjun)により定義された'''ウー類'''(Wu classes) ''v<sub>k</sub>'' の(Steenrod square)である。単純に、全スティーフェル・ホイットニー類は、全ウー類の全スティンロッドの平方根 ''Sq''(''v'') = ''w'' である。ウー類はいつも暗にスティンロッドの平方根の項でスティンロッドの平方根を表現するコホモロジー類として定義される。多様体 ''X'' を ''n'' 次元とすると、次数 ''n-k'' のコホモロジー類 ''x'' に対し、<math>v_k \cup x = Sq^k(x)</math> となる。特に、狭く <math>\langle v_k \cup x, \mu\rangle = \langle Sq^k(x), \mu \rangle</math> を要求すると、再び、次数 ''n-k'' のコホモロジー類 ''x'' に対し同じことになる。


==整数スティーフェル・ホイットニー類==
元 <math>\beta w_i \in H^{i+1}(X;\mathbf{Z})</math> は ''i'' + 1 '''整数'''スティーフェル・ホイットニー類と呼ばれる。ここに β は(Bockstein homomorphism)であり、modulo 2 のリダクション '''Z''' → '''Z'''/2'''Z''' に対応する。

:<math>\beta\colon H^i(X;\mathbf{Z}/2) \to H^{i+1}(X;\mathbf{Z}).</math>

たとえば、第三の整数スティーフェル・ホイットニー類は、[[スピン構造#スピンc-構造|Spin<sup>c</sup>構造]]への障害である。


===スティンロッド代数上の関係式===
(Steenrod algebra)上において、（接バンドルのスティーフェル・ホイットニー類として定義された）滑らかな多様体のスティーフェル・ホイットニー類は、<math>w_{2^i}</math> の形をした類により生成される。特に、吳文俊(Wu Wenjun)の名前に因んだ***'
:Sq^i(w_j)=\sum_{t=0}^i {j+t-i-1 \choose t} w_{i-t}w_{j+t}.
を満たす。

## 関連項目
* 一般的な事項としては特性類、特にチャーン類は複素ベクトルバンドルの直接の類似である。
* (Real projective space)

## 参考文献

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