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

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

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

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

はじめに

一般的事項

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

$H^{\ast }(X;\mathbf {Z} /2\mathbf {Z} )=\bigoplus _{i\geq 0}H^{i}(X;\mathbf {Z} /2\mathbf {Z} )$$H^{\ast }(X;\mathbf {Z} /2\mathbf {Z} )=\bigoplus _{i\geq 0}H^{i}(X;\mathbf {Z} /2\mathbf {Z} )$
ここで Xは束 Eの底空間であり、Z/2Z︵しばしば、代わりに Z₂とも書かれる︶は、0 と1のみからなる可換環である。Hⁱ(X; Z/2Z) の中の w(E) の直和成分は、w_i(E) で表され、E の i-番目のスティーフェル・ホイットニー類と呼ぶ。したがって w(E) = w₀(E) + w₁(E) + w₂(E) + … であり、ここに各々の w_i(E) は、Hⁱ(X; Z/2Z) の元である。

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

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

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

原点

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

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

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

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

定義

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

公理的定義

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

(一)正規化(Normalization): 実射影空間(real projective space) P¹(R) 上のトートロジーラインバンドル(tautological line bundle)のホイットニー類は、非自明である。すなわち、${\displaystyle w(\gamma _{1}^{1})=1+a\in H^{*}(\mathbf {P} ^{1}(\mathbf {R} );\mathbf {Z} _{2})=\mathbf {Z} _{2}[$a]/(a^{2})} $w(\gamma _{1}^{1})=1+a\in H^{*}(\mathbf {P} ^{1}(\mathbf {R} );\mathbf {Z} _{2})=\mathbf {Z} _{2}[a]/(a^{2})$ である。

(二)ランク(Rank): w₀(E) = 1 ∈ H⁰(X) と Eのランクの iに対し、${\displaystyle w_{i}=0\in H^{i}($X)} $w_{i}=0\in H^{i}(X)$ である。つまり ${\displaystyle w($E)\in H^{\leq \mathrm {rank} E}(X)} $w(E)\in H^{\leq \mathrm {rank} E}(X)$である。

(三)ホイットニー積公式 (Whitney product formula): ${\displaystyle w(E\oplus F)=w($E)\smallsmile w(F)} $w(E\oplus F)=w(E)\smallsmile w(F)$である。つまり、直和のホイットニー類は、和の類のカップ積 (cup product) である。

(四)自然性 (Naturality): 任意の実ベクトルバンドル E→ Xと写像 $f:X'\to 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_n(V) で Vの n次元線型部分の空間であるグラスマン多様体(Grassmannian)を表し、無限グラスマン多様体を

$Gr_{n}=Gr_{n}(\mathbf {R} ^{\infty })$$Gr_{n}=Gr_{n}(\mathbf {R} ^{\infty })$
で表す。この空間は、自然束 (tautological bundle) $\gamma ^{n}\to Gr_{n}$$\gamma ^{n}\to Gr_{n}$の構造が入る。この自然束は、ランク nのベクトル束であり、点 ${\displaystyle W\in Gr_{n}($V)} $W\in Gr_{n}(V)$でのファイバーが Ẃ により表現される部分空間であるようなファイバー Vの自明束の部分束として定義できる。

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

${\displaystyle f^{*}\gamma ^{n}\in {\mathit {Vect}}_{n}($X)} $f^{*}\gamma ^{n}\in {\mathit {Vect}}_{n}(X)$
は写像 [f] のホモトピー類のみに依存する。したがって、引き戻しの操作は、ホモトピー同値を法とした写像 X→ Gr_nの集合

$[X;Gr_{n}]$$[X;Gr_{n}]$
から、X 上のランク nのベクトル束の同型類の集合

${\displaystyle {\mathit {Vect}}_{n}($X)} ${\mathit {Vect}}_{n}(X)$
への写像を与える。

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

直線束の場合

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

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

${\begin{aligned}\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{aligned}}$${\begin{aligned}\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{aligned}}$
を得る。従って、P^∞(R) はアイレンベルグ・マックレーン空間(Eilenberg-Maclane space) K(Z/2Z, 1) である。

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

$[X;\mathbf {P} ^{\infty }(\mathbf {R} )]=H^{1}(X;\mathbf {Z} /2\mathbf {Z} )$$[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}$$H^{1}(\mathbf {P} ^{\infty }(\mathbf {R} );\mathbf {Z} /2\mathbf {Z} )=\mathbf {Z} /2\mathbf {Z}$
となる。第一の式を適用することは、α : [X, Gr₁] → Vect₁(X) も全射となり、全射である写像

w₁ : Vect₁(X) → H¹(X; Z/2Z);

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

直線束の群

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

たとえば、H¹(S¹; Z/2Z) = Z/2Z であるので、束同型を除き、円上には2つの直線束しか存在しない、つまり自明直線束と開いたメビウスの帯︵すなわち境界を消したメビウスの帯︶である。

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

消滅の位相幾何学的解釈

(一)i > rank(E) のときはいつでも、w_i(E) = 0 である。

(二)E^k がどこでも線型独立であるような $s_{1},\ldots ,s_{\ell }$$s_{1},\ldots ,s_{\ell }$切断を持っていると、$\ell$$\ell$ トップ次数のホイットニー類は 0 消滅し、$w_{k-\ell +1}=\cdots =w_{k}=0$$w_{k-\ell +1}=\cdots =w_{k}=0$ である。

(三)第一スティーフェル・ホイットニー類が 0 であることと、バンドルが向き付け可能であることとは同値である。特に、多様体 Mが向き付け可能であることと w₁(TM) = 0 は同値である。

(四)バンドルがスピン構造を持つことと、第一と第二スティーフェル・ホイットニー類がともに 0 であることとは同値である。

(五)向き付け可能なバンドルに対し、第二スティーフェル・ホイットニー類は自然な射影 H²(M, Z) → H²(M, Z/2Z) の像の中にある︵同じことであるが、いわゆる、第三整数係数のスティーフェル・ホイットニー類が 0 である︶ことと、バンドルが spin^c構造を持つことは同値である。

(六)滑らかな多様体 Xのすべてのスティーフェル・ホイットニー数が 0 であることと、多様体が滑らかなコンパクトな多様体の︵向きつけられていない︶境界であることとは同値である。この条件は充分条件でもある。

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

ラインバンドルに関する上記の全単射は、4つの公理を満たす函手 θ は次の議論により wと等しいことを意味する。第二の公理は、θ(γ¹) = 1 + θ₁(γ¹) であることを意味する。包含写像 i : P¹(R) → P^∞(R) に対し、引き戻しバンドル i*γ¹ は $\gamma _{1}^{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^{*}\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¹(P^∞(R); Z/2Z) → H¹(P¹(R); Z/2Z) は同型であるので、$\theta _{1}(\gamma ^{1})=w_{1}(\gamma ^{1})$$\theta _{1}(\gamma ^{1})=w_{1}(\gamma ^{1})$ であり、θ(γ¹) = w(γ¹) であることが分かる。E を空間 X上のランク nの実ベクトルバンドルとすると、E は分解写像(splitting map)、すなわち、ある空間 Xが存在し、$f^{*}:H^{*}(X;\mathbf {Z} /2\mathbf {Z} ))\to H^{*}(X';\mathbf {Z} /2\mathbf {Z} )$$f^{*}:H^{*}(X;\mathbf {Z} /2\mathbf {Z} ))\to H^{*}(X';\mathbf {Z} /2\mathbf {Z} )$ が単射であり、ラインバンドル $\lambda _{i}\to X'$$\lambda _{i}\to X'$に対し、 $f^{*}E=\lambda _{1}\oplus \cdots \oplus \lambda _{n}$$f^{*}E=\lambda _{1}\oplus \cdots \oplus \lambda _{n}$となるような写像 f : X′ → Xとなる。X 上の任意のラインバンドルは、ある写像 gに対し g*γ¹ の形をし、自然に θ(g*γ¹) = g*θ(γ¹) = g*w(γ¹) = w(g*γ₁) となる。このように ${\displaystyle Vect_{1}($X)} $Vect_{1}(X)$上では、θ = wとなる。上記の四番目の公理からは、

${\displaystyle 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^{*}\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₁ : Vect₁(X) → H¹(X; Z/2Z) は全単射であるにもかかわらず、対応する写像は高次元では必ずしも単射となるわけではない。たとえば、n を偶数として、接バンドル TSⁿを考えると、Rⁿ⁺¹ への Sⁿの標準的な埋め込みを持つ Sⁿへの法バンドル ν はラインバンドルである。Sⁿ は向きつけ可能であるので、ν は自明である。和 TSⁿ⊕ ν はまさに TRⁿ⁺¹ から Sⁿへの制限であり、Rⁿ⁺¹ は可縮であるので、和は自明である。従って w(TSⁿ) = w(TSⁿ)w(ν) = w(TSⁿ ⊕ ν) = 1 である。しかし TSⁿ→ Sⁿは自明ではない。そのオイラー類 $e(TS^{n})=\chi (TS^{n})[S^{n}]=2[S^{n}]\not =0$$e(TS^{n})=\chi (TS^{n})[S^{n}]=2[S^{n}]\not =0$である。ここに [Sⁿ] は Sⁿの基本類を表し、χ はオイラー標数を表す。

関連する不変量

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

次元 nの多様体上で考えると、全次数 n のスティーフェル・ホイットニー類の任意の積は、与えられた Z/2Z の元を与える多様体の Z/2Z-基本類(fundamental class)、ベクトルバンドルのスティーフェル・ホイットニー数(Stiefel–Whitney number)とペアとすることができる。たとえば、多様体の次元を3とすると、3つの線型独立な $w_{1}^{3},w_{1}w_{2},w_{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)におけるスティーフェル・ホイットニー数の重要性のひとつに、スティーフェル・ホイットニー数は (4k+1)-次元多様体 $w_{2}w_{4k-1}$$w_{2}w_{4k-1}$のド・ラーム不変量(de Rham invariant)という定理がある。

ウー類

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

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

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

$\beta \colon H^{i}(X;\mathbf {Z} /2)\to H^{i+1}(X;\mathbf {Z} ).$$\beta \colon H^{i}(X;\mathbf {Z} /2)\to H^{i+1}(X;\mathbf {Z} ).$
たとえば、第三の整数スティーフェル・ホイットニー類は、Spin^c構造への障害である。

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

スティンロッド代数(Steenrod algebra)上において、︵接バンドルのスティーフェル・ホイットニー類として定義された︶滑らかな多様体のスティーフェル・ホイットニー類は、$w_{2^{i}}$$w_{2^{i}}$ の形をした類により生成される。特に、吳文俊(Wu Wenjun)の名前に因んだウーの公式

$Sq^{i}(w_{j})=\sum _{t=0}^{i}{j+t-i-1 \choose t}w_{i-t}w_{j+t}.$$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.
• May, J. P. (1999), A Concise Course in Algebraic Topology, U. Chicago Press, Chicago, http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf 2009年8月7日閲覧。