特性類 (とくせいるい、英: Characteristic class) は、位相群を構造群とするファイバーバンドルの不変量であり、(十分性質がよい)位相空間Xを底空間とするファイバーバンドル
![{\displaystyle \pi ~:~E\to X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d92f83463182fd45b6290becae27ad31c507a7a)
に対し、Xのコホモロジー群の元を対応させる対応関係
![{\displaystyle c~:~\xi =(E,X,\pi )\mapsto c(\xi )\in H^{q}(X;A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93d4f7bd167b348354b771f6d721266f9443b35e)
で、「自然な」ものである。
原理的には任意のファイバーバンドルに対して特性類を定義できるが、研究が進んでいるのは主にベクトルバンドルに対する特性類である。ベクトルバンドルの特性類は以下の数学の分野に応用がある:
またXが可微分多様体であれば、Xの接バンドルTXの特性類をX自身の不変量とみなす事ができる。接バンドルTXはXの可微分構造に依存しているので、ミルナーはTXの特性類を利用する事により、7次元球面と位相同型だが微分位相同型ではない可微分多様体(英語版)の存在を示した。
1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。
定義と基本的な性質
定義
以下、Fをファイバーに持つファイバーバンドルの事をF-バンドルと呼ぶこととし、全空間E、底空間Xおよび射影
からなるF-バンドルを
と表記する。特性類の概念を厳密に定義するには圏論の概念を使う必要があるので、まずは若干厳密性を犠牲にした定義を以下に述べる:
定義 (特性類) ― Gを位相群とし、FをGが作用する位相空間とし、Aをアーベル群とし、さらにqを非負整数とする。このとき次数qのA係数特異コホモロジー群におけるGに関する特性類とは、CW複体を底空間とし構造群Gを持つF-バンドル
にコホモロジー群
の元を対応させる「対応関係」
![{\displaystyle c~:~\xi =(E,X,\pi )\mapsto c(\xi )\in H^{q}(X;A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93d4f7bd167b348354b771f6d721266f9443b35e)
で、任意のCW複体X、Y、構造群Gを持つY上の任意のF-バンドル
、および任意の連続写像
![{\displaystyle f~:~X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a82a3e1737c8dd2e266178131714626ab686ae6)
に対し、
![{\displaystyle f^{*}(c(\xi ))=c(f^{*}(\xi ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b622255aeac5e7a092442cb98bc507fa59b692a)
が成立するものの事をいう。またF-バンドル
のcによる像
の事をξの(cに関する)特性類と呼ぶ[1]。
上の定義における記号の意味を説明すると、
における左辺の
は、fがコホモロジーに誘導する写像
![{\displaystyle f^{*}~:~c(\xi )\in H^{q}(Y,A)\mapsto f^{*}(c(\xi ))\in H^{q}(X,A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af9db233bd50e58bb35694ec9cb830b2608c3bc4)
の事であり、右辺の
はX上のF-バンドル
のfによる引き戻しによって定義されるY上のF-バンドルの事である。
注意点
上の定義に関して2つの注意点を述べる。第一に、上の定義におけるバンドル写像fは構造群GのFへの作用と両立するもののみを考えている。したがって例えばn次元実ベクトルバンドルを
を構造群として持つ
-バンドルとみなしたとき、各点
のファイバー
上にバンドル写像fを制限した
は線型同型写像でなければならず、行列式が0になってはならない。逆に言えば、いずれかの点
で行列式が0になるfに対しては
が成立する必要はないし、次元が異なるベクトルバンドル間の写像に関してもこの性質が成立する必要はない。
第二に、本項では多くの教科書と同様、ファイバーバンドルの底空間BがCW複体である場合に限定して特性類を定義したが、より一般の空間、例えばパラコンパクトな位相空間に対しても特性類を定義できる[2]。ただしこの場合本項で述べる性質のいくつかは成立しない[2]。なお幾何学における多くの用途ではCW複体を対象にすれば十分である。実際、任意の可微分多様体は単体的複体、したがってCW複体と位相同型になる事が知られており[3]、(可微分とは限らない)位相多様体もコンパクトな場合はCW複体とホモトピー同型になる事が知られている[3]。さらにいえば任意の位相空間はCW複体と弱ホモトピー同型(英語版)である[4]。
また本項では底空間Bに対してはCW複体である事を要求したものの、構造群G、ファイバーF、全空間Eは(CW複体とは限らない)任意の位相群、位相空間でよい。
ホモトープな写像の特性類
構造群を持つファイバーバンドルの性質として以下が知られている:
すなわち特性類を考える上では、底空間の間の写像はホモトピークラスのみを考慮すればよい。
厳密な定義
以上では特性類の定義に「対応関係」という未定義の言葉を使ったが、圏論の概念を使えばこうした未定義の語に頼らずに特性類の概念を定義できる:
なお、上述の特性類の定義において圏CWの射は連続写像としたが、下記の定理より、これを胞体写像に変えても定義は同値になる:
定理 (胞体近似定理(英: cellular approximation theorem)) ― X、YをCW複体とすると、 任意の連続写像
は胞体写像(英: cellular map)とホモトープである[5]。
特性類に登場するコホモロジーとして、特異コホモロジーより簡便な(だが特異コホモロジーと同値である)胞体コホモロジーを用いる場合は議論に胞体写像を用いる必要があるのでこの定理は有用である。
ファイバーバンドルとその主バンドルの関係
以下の事実は特性類を具体的に定義する上で鍵となる重要な性質である:
定理 ― 構造群GのファイバーFへの作用が効果的であれば[6]、構造群Gを持つF-バンドルと、構造群G を持つ主G-バンドルと1対1対応する[7]。
この定理と特例類の定義からファイバーバンドルの特性類と主バンドルの特性類が1対1対応するという重要な事実が明らかに従う:
この事実からファイバーバンドルに対して特性類を定義するには主バンドルに対して特性類が定義できる事が必要十分である事がわかる。そこで以下、おもに主バンドルにフォーカスして特性類の議論をすすめる事とする。
なお上の定理ではGがFに効果的に作用している事を仮定しているが、多くの場合この仮定は必須ではない。実際、Fが十分性質の良い空間、たとえはCW複体であれば、GのFへの作用が連続である必要十分条件は、GのFへ作用のから定まる写像
が(
にコンパクト開位相を入れたとき)連続になる事である[6]。よってGの作用が忠実ではない場合であっても、写像
のカーネルで割った位相群
はFへ忠実かつ連続に作用するので、F-バンドルの特性類を定義するには主
-バンドルの特性類を定義すれば良い。
分類空間
本節では位相群の分類空間のいう概念を導入し、分類空間の概念を用いて主バンドルの特性類の概念を全く別の角度から特徴づける。この分類空間を用いた特性類の定義は、後の節で特性類の具体例を構築する上で非常に有益である。
定義と性質
定義
分類空間の概念を定義するため、まず以下の概念を定義する。
定義 ― 位相空間Xが弱可縮(英語版)であるとは、任意の自然数nに対し、n次のホモトピー群
が0になる事である。
弱可縮の概念を用いて、分類空間の概念は以下のように定義される:
定義 ― Gを位相群とする。
を主G-バンドルでPが弱可縮なものとするとき、Bの事をGの分類空間(英: classifying space)といい、
を(あるいは単にPを)普遍G-バンドル(英: universal G-bundle)という[8]。
「分類空間」という名称の由来は次節に回すが、分類空間は必ず存在し、本質的に一意である:
定理 (普遍G-バンドルの存在性と本質的な一意性) ― 任意の位相群Gに対し、分類空間とその上の普遍G-バンドルが存在する。しかも分類空間はcanonicalなホモトピー同型を除いて一意であり、普遍G-バンドルもG-ホモトピー同型を除いて一意である。さらに分類空間としてCW複体を取る事が可能である[8]。
記号の定義 ― Gの(ホモトピー同型を除いて)一意に存在する分類空間、普遍G-バンドルをそれぞれBG、PGと表記する。
上述したように、分類空間はホモトピー同型を除いて一意ではあるものの、同一の位相群に対し位相同型ではない複数の分類空間が存在しうる。このため位相群に対する個々の分類空間の事を分類空間のモデル(英: model)という[8]。
分類定理
分類空間はその名称が示す通り、与えられた底空間上のG-バンドルは、底空間から普遍G-バンドル
への写像のホモトピークラスにより完全に分類される:
定理 (分類定理) ― Gを位相群とし、
を主G-バンドルとする。 さらにXを任意のCW複体とし、
をXからBへの連続写像のホモトピークラス全体の集合とし、
をX上の主G-バンドルの同型類の集合とする。
このとき
が普遍G-バンドルである必要十分条件は任意のCW複体Xに対し、
![{\displaystyle [f]\in [X,B]\mapsto f^{*}(P)\in {\mathcal {P}}_{G}(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fea1787abc7324430bac78d38230519ba4e87d5)
が全単射な事である[8]。ここで
は
によるPのXへの引き戻しである。
なお、上の定理において写像
がwell-definedな事は、ホモトープな2つの写像が引き戻したバンドルは互いに同型な事だというすでに見た事実から従う。
上記の定理から、X上の任意の主G-バンドルξに対し、写像
がホモトピー同値を除いて一意に定まる。このfの事をξの分類写像(英: classifying map)という[9]。
構造群Gを持つファイバーバンドルと主G-バンドルは1対1対応するので、上記の定理から一般のファイバーバンドルに対する分類定理が系として従う:
系 (ファイバーバンドルに対する分類定理) ― Gを位相群とし、
を普遍G-バンドルとし、FをGが忠実に作用する位相空間とし、
を
に随伴するF-バンドルとする。さらにCW複体Xに対し、構造群Gを持つX上のF-バンドル全体の集合を
とする。
このとき、任意のCW複体Xに対し、
![{\displaystyle [f]\in [X,B]\mapsto f^{*}(E)\in {\mathcal {E}}_{G,F}(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e8f5e856d95302fd11015602cf83e10752ee03)
が全単射である[10]。
分類定理の場合と同様、X上のF-バンドルξに対応する写像
をξの分類写像(英: classifying map)という[9]。
離散群の分類空間
Gが離散群である場合は、定義より明らかに次が成立する:
定理 ― 離散群Gに対し、Gのアイレンベルグ・マックレーン空間(英語版)(英: Eilenberg-Maclane space)
、およびその普遍被覆空間
はGの分類空間、普遍Gバンドルである[11]。
この意味において、分類空間とは離散群におけるアイレンベルグ・マックレーン空間の概念を位相群に拡張したものである。
準同型から誘導される写像
2つの位相群G、Hの間の連続な準同型写像
が与えられたとき、φから分類空間の間の写像
を定義できる。
この事を見るために主バンドルの一般論を簡単に復習する。
を主G-バンドルとし、
を連続準同型写像とするとき、
![{\displaystyle P\times _{\varphi }H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf26febfe9e3ee1d36648a69c49cfe19bc2e7bb6)
を
を同値関係
![{\displaystyle (ag,h)\sim (a,\varphi (g)h)~{\text{ for some}}~g\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e42dce35ad597109288005d8f76dc431a6899d49)
で割った空間とする事で、バランス積(balanced product[12])と呼ばれるX上の主H-バンドル
![{\displaystyle [(a,h)]\in P\times _{\varphi }H\mapsto \pi (a)\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86055b8b47bf1764bbbd7f1a00c5f09ec39e1480)
を構成できる。そこで
を次のように定義する:
実はこの対応関係は関手になっている:
定理 ― 以下のようにBを定義すると、Bは位相群の圏からCW空間のホモトピー同値類の圏への関手である[13]:
- 位相群GにBGを対応させる
- 連続準同型写像
に
を対応させる。
分類空間の性質
本節では、後で特性類を計算するとき必要となる分類空間の性質を述べる。
分類空間の関手Bは直積に関して以下のように振る舞う。
なお圏論的に言えば、「
」はコンパクト生成位相空間の圏における圏論的な直積になっている[14]。
分類空間による特性類の特徴づけ
分類空間の概念を用いる事により、主バンドルに対する特性類の概念を以下のように特徴づける事ができる:
定理 (分類空間による特性類の特徴づけ) ―
を位相群Gの分類空間とし、FをGが効果的に作用する位相空間とし、さらにAをアーベル群とする。
このとき構造群Gを持つF-バンドルの特性類とBGのコホモロジー群
の元は1対1対応する[1]。
上述の定理の1対1関係は具体的に以下のようにかける。すでに述べたように構造群Gの忠実な作用を持つ任意のF-バンドルの特性類は主G-バンドルの特性類と主G-バンドルの1対1対応するのでこの場合に話を限定する。 まず主G-バンドルの任意の特性類cに対し、
![{\displaystyle c(PG)\in H^{*}(BG;A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5692ab19e56739f2de0c543c6eb69852f8bcd748)
が対応する。逆に
を任意に選ぶと、主G-バンドル
に対し、分類定理により分類写像
がホモトピーを除いて一意に定まるので、Xのcに対する特性類を
![{\displaystyle c(\xi ):=f_{\xi }{}^{*}(c_{G})\in H^{*}(X;A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dafad39083257244becaeeaf638f4d79d835bdf7)
により定義できる。
上の定理から、
の元を普遍特性類(英: universal characteristic class)という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。
定理の証明は以下の通りである:
ベクトルバンドルの構造群の分類空間
特性類の概念は原理的には任意の位相群の主バンドルに対して定義できるが、研究が進んでいるのはベクトルバンドル(の主バンドル)に対する特性類である。
そこでベクトルバンドルの特性類について記述するための準備として、本節ではベクトルバンドルの構造群の分類空間を具体的に記述する。
すなわち本節では
に対し、一般線型群
の分類空間を記述する。さらに
の場合にはベクトルバンドルに向き付けが定義可能なので、向き付け可能な
上ベクトルバンドルの構造群である
の分類空間についても記述する。ここで
は行列式が正の
上可逆行列のなす群である。
本節ではさらに、ユニタリ群
、直交群
、回転群
の分類空間についても記述する。後述するように
、
、
の分類空間は、実はそれぞれ
、
、
の分類空間と等しい。
スティーフェル多様体とグラスマン多様体
GLn(K)の分類空間を記述する為、本節ではスティーフェル多様体(英語版)とグラスマン多様体(英語版)を定義する。
後述するようにこれらはそれぞれ普遍GLn(K)-バンドルの全空間、分類空間になる。
Wが次元mの有限次元ベクトル空間の場合は、
、
、
は集合として自然に
![{\displaystyle {\begin{aligned}V_{n}W&\simeq \mathrm {GL} _{m}(K)/\mathrm {GL} _{m-n}(K)\\V_{n}^{U}W&\simeq U(m)/U(m-n)~~{\text{when }}K=\mathbb {C} \\V_{n}^{O}W&\simeq O(m)/O(m-n)~~{\text{when }}K=\mathbb {R} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38697a17b9e1a34e02a029168e783512125d0946)
という同一視ができ[注 3]、上式右辺には多様体としての構造が入る事がリー群の一般論[注 4]から従うので、スティーフェル「多様体」と呼ぶ。Wが無限次元の場合は
、
、
は有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。
スティーフェル多様体と同様、Wが次元mの有限次元ベクトル空間であれば、
![{\displaystyle G_{n}W\simeq \mathrm {GL} _{m}(K)/(\mathrm {GL} _{n}(K)\times \mathrm {GL} _{m-n}(K))\simeq {\begin{cases}U(m)/(U(n)\times U(m-n))~&~{\text{when }}K=\mathbb {C} \\O(m)/(O(n)\times O(m-n))~&~{\text{when }}K=\mathbb {R} \end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ae8936a986c170d5e060b3818ffccacf9695189)
および
![{\displaystyle {\tilde {G}}_{n}W\simeq \mathrm {GL} _{m}(K)/(\mathrm {GL} _{n}^{+}(K)\times \mathrm {GL} _{m-n}(K))\simeq O(m)/(SO(n)\times O(m-n))~~{\text{when }}K=\mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fa12b2b312a6d98174506c0997e0ab19f5109c3)
という同一視ができ、この同一視により、
、
に多様体としての構造が入る。
GLn(K)の分類空間の具体的記述
スティーフェル多様体
の元であるn-フレームにそのフレームの貼る部分空間を対応させる事で商写像
![{\displaystyle \pi _{n}~:~V_{n}W\to G_{n}W}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bcc3716051fd1eb342ec764a1ec945f208aa5b9)
を定義できる。
、
、
も同様に定義できる。
上記の定理に関する留意点を述べる。
に対するGLn(K)の分類空間はU(n)、O(n)の分類空間と同一な空間
である。
これはCW複体上の任意のベクトルバンドルには必ず内積が定義でき、グラム・シュミットの正規直交化法によりGLn(K)がU(n)、O(n)に可縮である事が理由である[18]。
普遍n-平面バンドル
分類定理で述べたように、GnK∞上の主GLn(K)-バンドルVnK∞に随伴するn次元ベクトルバンドルは、任意のCW複体X上のn次元ベクトルバンドルを分類する上で有益である。このためVnK∞に随伴するn次元ベクトルバンドルの事を普遍n-平面バンドル(英: universal n-plane bundle)[19]と呼ぶ。
バンドルの一般論から、普遍n-平面バンドルは
と表記できるが、より具体的に表記する事も可能である。
グラスマン多様体GnKmはKmのn次元部分ベクトル空間全体のなす多様体なので、グラスマン多様体の元V=ベクトル空間上のファイバーとして、V自身を取ったベクトルバンドルを定義でき、これをグラスマン多様体のトートロジカル・バンドル(英語版)と呼ぶが、GnK∞のトートロジカル・バンドルが普遍n-平面バンドルになっている。
具体的には
![{\displaystyle E_{n}^{m}:=\{(V,v)\in G_{n}K^{m}\times K^{m}\mid v\in V\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e92efd5e4a15e41b2f3545065c398a2cf0025d37)
とし、第一成分への射影
により
をGnKm上のベクトルバンドルとみなしたものがGnKmのトートロジカル・バンドルであり、m→∞に関する帰納的極限をとった
![{\displaystyle \pi _{n}~:~E_{n}\to G_{n}K^{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6fb86803ac9f19952cbcc5805725c1095094a20)
が普遍n-平面バンドルになっている[19]。
複素ベクトルバンドルの特性類:チャーン類
本章では、複素ベクトルバンドルの特性類であるチャーン類について述べる。これまでの議論からわかるように、複素ベクトルバンドルの整数係数の特性類とは分類空間
![{\displaystyle BGL_{n}(\mathbb {C} )=BU(n)=G_{n}\mathbb {C} ^{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba68c231962721f0892a74f3ceb16545bd7fdd49)
のコホモロジー
の元と1対1対応するので、
の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、
の生成元である。
H*(BU(n);ℤ)の具体的記述
チャーン類について記述するため、まず
の具体的構成を調べる。
に対しては以下が成立する:
なお、上の補題において
は偶数次のコホモロジーの元なので、
上カップ積は可換であるため、
が可換環であるという事実と矛盾しない。
一般のnに対して
の具体的構造を求めるため、連続準同型写像[注 6]
![{\displaystyle \iota ~:~U(1)^{n}\hookrightarrow U(n),~~(A_{1},\ldots ,A_{n})\mapsto A_{1}\oplus \cdots \oplus A_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa72b12fa859d064ca588f44cd7aceeaa2ccc4d3)
を考える。ここで
は
をn×n行列の対角成分に配置した
の元である。(なおリー群の観点からは、
の極大トーラス
である)。このとき以下が成立する。
補題 (Splitting Principle) ―
が誘導する写像
![{\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )\approx H^{*}(BU(1);\mathbb {Z} )\otimes \cdots \otimes H^{*}(BU(1);\mathbb {Z} )=\mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/277db5ac94e36c65f71d4b37c279605cd7f5339a)
は単射環準同型である。ここでαiはi番目の
の生成元である。
なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いとKünnethの公式(英語版)、および上記の補題から従う。
以上の事実から、後は
の
による像が
のどのような部分集合に落ちるかを決定すれば、
を具体的に書きあらわす事ができる。
の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する:
命題 ― 任意の位相群G、および任意の
に対し、G上の内部自己同型
がBGに誘導する写像
![{\displaystyle B\varphi _{g}~:~BG\to BG}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64763fa789bdec0b4c61d1708f3b5cb4236544b1)
は恒等写像とホモトープである。
証明
命題を示すため、まず任意のu ∈ Gに対し、バランス積
はG-主バンドルとしてPと同型である事を示す。実際、
はP × Gを同値関係
で割ったものとして定義されるので、写像
を
により定義すると、任意の
は
を満たすのでμは全射である。また明らかに
なので、μは単射でもある。μとμ-1の連続性の証明は省略する。
以上の事実を用いて命題を示す。定義より
は主バンドル
に対応する分類写像であり、上記の議論によりこの主バンドルは
自身に等しいので、分類定理より
は恒等写像とホモトープである。
に対し
を
上の内部自己同型とすると、上述の命題より、
がコホモロジー群に誘導する写像
![{\displaystyle B\varphi _{A}{}^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(n);\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bfa01ce17dcde88c59cc683f4d724095e75dbef)
は恒等写像である。単射
により
を
の部分群とみなし、
の正規化群
![{\displaystyle N=\{A\in U(n)\mid \varphi _{A}(U(1)^{n})=U(1)^{n}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de5eca461d6f86574f27fb8d979ae42bcd76392b)
を
の中心化群
![{\displaystyle Z=\{A\in U(n)\mid \forall B\in U(1)^{n}~:~\varphi _{A}(B)=B\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b6e13b04aaaf334d8f6b832293d712b5b047488)
で割った
を考え、
![{\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )^{W}:=\{u\in H^{*}(BU(1)^{n};\mathbb {Z} )\mid \forall [A]\in W~:~B\varphi _{A}|_{U(1)^{n}}{}^{*}(u)=u\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d2e1820858e4fd873d6dc2ef0ac28e440c1dc80)
と定義する[注 7]とこの定義はWell-definedである。ここで
は同値類を表す。
このとき次の事実が従う事が知られている:
定理 ― 写像
![{\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )^{W}\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]^{W}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5928999fdccd0e3a7b07afe085c3178421187470)
は環同型である[20]。
一般に連結なコンパクトリー群Gに対し、Gの極大トーラスをTとするとき、Tの正規化群
を中心化群
で割った群
![{\displaystyle W(G):=N/Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/290e8412c28ddd7e8b9228a9e1ea3295d49b99cd)
の事をGのワイル群という。なお極大トーラスは共役を除いて一意に定まる事が知られているので、ワイル群は極大トーラスの取り方によらず同型になる。またTの極大性から中心化群Z(G)は実はT自身に等しい。
明らかに前述のWは
のワイル群に相当する。後は
のワイル群を決定しさえすれば、
の構造が決定できる。
チャーン類
を第i成分と第j成分を入れ替える行列とすると、明らかに
である。この事実を利用すると、以下の事実が示せる:
証明
定理を示すために
の
における正規化群Nから
を任意に選び、Aの形を決定する。
そのために
を
を満たす相異なる複素数とし、
を
を対角成分に置いた行列とする。e1、...、enを
の標準的な基底とし、eiが張る複素1次元部分空間をEiとすると、Uが対角行列である事から、EiはUの固有値uiに関する固有空間である。
Aが正規化群Nの元である事から、
である。すなわち
を満たす
が存在し、
とすると、
が成立する。Cも対角行列である事から、
としてviが張る複素1次元部分空間をViとすると、ViはCの固有値viに関する固有空間である。
固有値分解の一意性より、ある置換
が存在し、
かつ
が成立する。Vi、Eσ(i)はそれぞれvi、eσ(i)が張る複素1次元部分空間なので、ある
が存在し、
が成立する。
よって
を置換行列
とする(
はクロネッカーのデルタ)とき、viの定義より
![{\displaystyle A=(a_{1}\oplus \cdots \oplus a_{n})P_{\sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab3bae6cca980fbc4df8eef9bd3a461351ee25ca)
が成立する。
はユニタリ行列なので、
が成立する。すなわち
である。よってワイル群
においては、
![{\displaystyle [A]=[(a_{1}\oplus \cdots \oplus a_{n})P_{\sigma }]=[P_{\sigma }]\in W=N/U(1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd9134daf174ea43b8672a88fd8005f262fc991)
が成立する。
AはNの任意の元だったので、Σnをn次の置換群とするとき、以上の議論から
![{\displaystyle \Sigma _{n}\to W,~~\sigma \mapsto [P_{\sigma }]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe09c89364ad1fb820685ef48e19abf1721fa6cb)
は全射である。
またこの写像は単射でもある。実際
をn次の単位行列とする時、
であれば、
が成立する必要がある。しかし
の元は各eiを定数倍する行列なので、そのような形の
は明らかに
のケースに限る。
以上のことからワイル群Wが置換群に群同型な事が示せた。定理の後半も以上の議論から明らかに従う。
位相群に分類空間を対応させる関手Bと位相空間にコホモロジー環を対応させる関手H*が直積を保つので、上述の定理からWは
の
を入れ替える形で
に作用する。よって
![{\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )^{W}\subset H^{*}(BU(1)^{n};\mathbb {Z} )\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28f2bb8063900356fc15036a39f0205223af54b5)
は対称多項式全体の集合に一致する。よく知られているように、任意の対称多項式は基本対称式の多項式として書けるので、以上の事実からチャーン類を以下のように定義する:
定義 (チャーン類) ―
上の第i基本多項式
![{\displaystyle \sigma _{i}(\alpha _{1},\ldots ,\alpha _{n})=\sum _{A\subset \{1,\ldots ,n\},|A|=i}\left(\ \prod _{k\in A}\alpha _{k}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/039e78944f8f9fb78874cdc8edb6f9f4fcccd2b9)
の
![{\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd336c9127ab18b162efe9e710d7e0038b91fc21)
による逆像
![{\displaystyle c_{i}^{(n)}=(\iota ^{*})^{-1}(\sigma _{i}(\alpha _{1},\ldots ,\alpha _{n}))\in H^{2i}(BU(n);\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50938851cb0c61b8a6276fe41f03085f851735e4)
を第iチャーン類(英: i-th Chern class)と呼ぶ[20]。
紛れがなければ添字を省略し、
を単に
と書く。
分類空間
の元と特性類は1対1でするので、第iチャーン類
に対応する特性類
![{\displaystyle c_{i}(\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37641ecc7e49ac72b54617d8b40bbdbdc59c8dfc)
をベクトルバンドルξの第iチャーン類という。分類空間の元
を
と区別したいときは、
を第i普遍チャーン類(英: i-th universal Chern class)という。
なお、
を「0次の基本対象式」とみなし、
を第0チャーン類と呼ぶ。また
次以上の基本対称式は存在しないので、
に対しては、第mチャーン類を
と定義する[注 8]。
またチャーン類は埋め込み
を使って定義されており、この埋め込みは
の正規直交基底の取り方に依存している。しかし正規直交基底の取り替えにより、
は
の内部自己同型
との合成
に置き換わるだけなので、前述した命題から、チャーン類は正規直交基底の取り方によらずwell-definedである。
以上で見たように各α1,...,αnは対称多項式の根に相当するものなので、α1,...,αnの事をチャーン根[訳語疑問点](Chern root[21])という。
これまでの議論とチャーン類の定義から明らかに以下の事実が従う:
定理 ― :
規約
チャーン類の定義において、α1,...,αnの代わりに単元
をこれらに掛けた
をチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元uの選び方だけ自由度がある事になる。
そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドル
に対し、
が
のcanonicalな生成元になるという規約を置く事が多いが[22]、代数幾何学では
の双対ベクトルバンドル
に対して
が
のcanonicalな生成元になるという規約を置く事が多い[22]。
区別のため代数幾何学の方のチャーン類を
と書くことにすると、代数的位相幾何学のチャーン類とは
![{\displaystyle c'{}_{k}^{(n)}=(-1)^{k}c_{k}^{(n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a726476e2f35c9759cd635b2476f0fccab9e18c)
という関係を満たす[22]。本稿では以下、特に断りがない限り、代数的位相幾何学の規約を採用するものとする。
チャーン類の公理的特徴づけ
定理・定義 (チャーン類の公理的特徴づけ) ― 特性類の組
でn次元複素ベクトルバンドル
に
の元を対応させるもの
![{\displaystyle c_{i}^{(n)}~:~\xi =(\pi ,E,B)\mapsto H^{2i}(B,\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f302642eae2eedc3f3799d7c9fd741c7e06f0b69)
で以下の性質を満たすものが一意に存在する。
をn次元ベクトルバンドルの第iチャーン類と呼ぶ[23]。
以下でXは任意のCW複体、ξ、ηはX上の任意の複素ベクトルバンドル、n、mはそれぞれξ、ηのファイバー(であるベクトル空間)の次元であり、「
」はベクトルバンドルのホイットニー和である:
- 次元公理[訳語疑問点](英: dimension axiom[24]):
、
。 - ホイットニー和の公式(英: Whitney sum formula[25]):
![{\displaystyle c_{k}^{(n+m)}(\xi \oplus \eta )=\sum _{i=0}^{k}c_{i}^{(n)}(\xi )\smile c_{k-i}^{(m)}(\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1801386a9f8f252d38fde68a239839da2fbd7e75)
- 正規化公理[訳語疑問点](英: normalization axiom[25]):普遍1-平面バンドル
に対し、
は
のcanonicalな生成元である。
前節で定義したチャーン類が次元公理と正規化公理を満たすのは明らかである。ホイットニー和の公式の証明は下記のとおりである。
証明
写像
、
が分類空間に誘導する写像
を考えると、
の構造とKünnethの公式(英語版)から
![{\displaystyle H^{2i}(BU(n+m);\mathbb {Z} )\hookrightarrow H^{2i}(BU(n)\times BU(m);\mathbb {Z} )\simeq \sum _{k=0}^{i}H^{2k}(BU(n);\mathbb {Z} )\times H^{2(i-k)}(BU(m);\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adb47517d905b10251fe108b44296a49ba11c73b)
が成立する。よって
をチャーン根とすると、
![{\displaystyle c_{i}^{(n+m)}=\sigma _{i}(\alpha _{1},\ldots ,\alpha _{n+m})=\sum _{k=0}^{i}\sigma _{k}(\alpha _{1},\ldots ,\alpha _{n})\sigma _{i-k}(\alpha _{n+1},\ldots ,\alpha _{n+m})\approx \sum _{k=0}^{i}c_{k}^{(n+m)}\smile c_{i-k}^{(n+m)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75ddf661e74b27ab6a7caf933da007c4e183eef1)
が成立する。なお上式の2つ目の等号は、対称多項式に関する簡単な計算により従う。 ホイットニー和の公式は上式を
、ξ、ηに関する分類写像で引き戻す事で従う。
一方、上記の公理を満たす特性類の一意性は数学的帰納法により容易に示せる。
チャーン多項式
チャーン類を取り扱う上で、下記のチャーン多項式を考えると便利である:
定義 (チャーン多項式、全チャーン類) ― 上と同様に記号を定義するとき、変数tに対し、
![{\displaystyle c(\xi ,t)=c_{0}(\xi )+c_{1}(\xi )t+\cdots +c_{n}(\xi )t^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/291a851337a3772b035a58ecd5de49461993bf6f)
をξのチャーン多項式(英: Chern polynomial)といい[26]、特に
![{\displaystyle c(\xi ):=c(\xi ,1)=c_{0}(\xi )+c_{1}(\xi )+\cdots c_{n}(\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd47b72f289272a2a98a30241d4b71a8184b7557)
を全チャーン類[27](英: total Chern class)という。
なお、チャーン類の定義より、チャーン多項式はチャーン根を使って形式的に
![{\displaystyle c(\xi ,t)=\prod _{i}(t+\alpha _{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e33a4530138bf09710365a610e7baff01700e1e5)
と因数分解できる。
チャーン多項式を用いると、ホイットニー和の公式は以下のように言い換えられる:
定義 ― 上と同様に記号を定義するとき、以下が成立する:
![{\displaystyle c(\xi \oplus \eta ,t)=c(\xi ,t)\smile c(\eta ,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b83b9e71f007a2529ed1d0877e89b4180817a839)
チャーン多項式の性質
チャーン多項式は以下の性質を満たす。なお文献によっては以下の性質をチャーン類の公理として入れているものもあるが[28]、実は他の公理から従うので[29]、公理に入れる必要はない。
命題 ― CW複体X上の自明な直線バンドルεと任意のベクトルバンドルηに対して以下が成立する:
![{\displaystyle c(\epsilon ,t)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0eaa8269f75444cd4eae4ec7a9cb01286bdd47cc)
- 安定性(英: stability[24]):
![{\displaystyle c(\eta \oplus \epsilon ,t)=c(\eta ,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5537a024d1eebefff55e4d478a1f6b2a213b39ec)
実ベクトルバンドルの特性類
本節以降、実ベクトルバンドルの特性類を記述していくが、その記述は複素ベクトルバンドルのそれと比べかなり複雑であるので、詳細は次節以降に譲り、本節では実ベクトルバンドルの特性類の概要を述べる。
実ベクトルバンドルの特性類が複雑になる理由は2つある:
- 実ベクトルバンドルの主バンドルの分類空間
は複素ベクトルバンドルの主バンドルの
と違い、
-捩れ部分群を持つ。この捩れ部分群が「悪さ」をするため、
を簡単に記述する事ができない。 - 実ベクトルバンドルの場合は複素ベクトルバンドルと違い、向き付けの概念がある。このため向き付けのない場合の分類空間
と向き付けのある場合の分類空間
の両方を考察しなければならない。
1つ目の問題を回避するために、以下では
を直接考察するのを諦め、
と
の2つを別々に考察することにする。ここでΛは2の逆元を持つ任意の可換環[注 9]である。ボックシュタインスペクトル系列(英語版)を使う事で
と
から
を計算できるので、実用上はこの2つに対する特性類が把握できていれば十分である。
2つ目の問題に関しては、
と
とは環構造が異なるので、この2つを両方とも考察する必要がある。
係数環がℤ2の場合
係数環が
の場合の特性類の記述は比較的簡単であり、
と
の差はさほど大きくなく、
![{\displaystyle {\begin{aligned}H^{*}(BO(n),\mathbb {Z} _{2})&=\mathbb {Z} _{2}[w_{1},\ldots ,w_{n}]\\H^{*}(BSO(n),\mathbb {Z} _{2})&=\mathbb {Z} _{2}[w_{2},\ldots ,w_{n}],~~w_{1}=0\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdca20ff24a615aec8aa8386b3d65397b792ddb5)
という形で両者を記述できる。ここで
はスティーフェル・ホイットニー類と呼ばれる特性類で、このような
の存在はチャーン類の場合と類似した方法で証明できる。ただし第iチャーン類が2i次のコホモロジー群に属するのに対し、第iスティーフェル・ホイットニー類はi次のコホモロジー群に属するので注意が必要である。
係数環が2-1∈Λを満たすΛの場合
それに対し係数環が
を満たすΛの場合はより複雑である。
に関しては、
![{\displaystyle H^{*}(BO(n),\Lambda )=\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor }]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5d6c59f2494ed435b7a83725d7ca93e62d442bf)
の形で記述でき、
をポントリャーギン類という。(
は4i次のコホモロジー群に属する)。ここで
は床関数である。 具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って
![{\displaystyle p_{i}=(-1)^{i}c_{2i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/585581dde082efd6e755b26d3b177c9359bfe113)
と書ける。(なお、実ベクトルバンドルの複素化の場合、奇数次のチャーン類
は
を満たし、よって係数環がΛの場合は必ず
になる)。
一方、
はnが偶数か奇数で形が異なり、
![{\displaystyle H^{*}(BSO(n),\Lambda )={\begin{cases}\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor }]&{\text{ if }}n{\text{ is odd}}\\\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor },\chi ]/(\chi ^{2}=p_{\lfloor n/2\rfloor })&{\text{ if }}n{\text{ is even}}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dbc94acd248ee7e83446a3ed3fb73712d173d59)
と書ける。ここで
は前述のポントリャーギン類であり、χはオイラー類と呼ばれる特性類である。また
は多項式環
においてχ2をpnと同一視して得られる環を表す。すなわち
を単項イデアル
で割った環である。
以上をまとめると、実ベクトルバンドルの分類空間のコホモロジーは以下のように記述できる:
係数環 | 分類空間 | コホモロジー |
| | |
| 、 |
を満たすΛ | | |
s.t. nは奇数 |
s.t. nは偶数 | |
スティーフェル・ホイットニー類
本節では
の構造を具体的に決定し、それをもとにスティーフェル・ホイットニー類を定義する。
の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的には
の構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合は
を満たす
が2次のコホモロジー群
に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である:
補題 ― ある
が存在し、以下が成立する:
![{\displaystyle H^{*}(BO(1);\mathbb {Z} _{2})=\mathbb {Z} _{2}[\beta ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbc746f3475b04d2dd4cd3094a19d48c772883b8)
この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。
なお、コホモロジーの係数が
なので、カップ積は奇数次のコホモロジーにおいても可換である。
H*(BO(n);ℤ2)の具体的記述
自然数
に対し
の具体的形を調べるため、チャーン類のときと同様、連続準同型写像
![{\displaystyle \iota ~:~O(1)^{n}\hookrightarrow O(n),~(A_{1},\ldots ,A_{n})\mapsto A_{1}\oplus \cdots \oplus A_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8054deb8d1f6419ba190f525c4e63eb0131f8484)
により
を
の部分群とみなす。ここで「
」は対角線上に行列を並べる演算である。
を内部自己同型とする。チャーン類の時と同様、
の正規化群
![{\displaystyle N=\{A\in O(n)\mid \varphi _{A}(O(1)^{n})=O(1)^{n}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3236b16285a42abdf7a579866411a0a272386566)
を
の中心化群
![{\displaystyle Z=\{A\in O(n)\mid \forall B\in O(1)^{n}~:~\varphi _{A}(B)=B\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/638149feb89b929ec02f0487aa720d29e4cff69b)
で割った
を考え[注 10]、
![{\displaystyle H^{*}(BO(1)^{n};\mathbb {Z} )^{\Sigma }:=\{u\in H^{*}(BO(1)^{n};\mathbb {Z} )\mid \forall [A]\in \Sigma ~:~B\varphi _{A}{}^{*}(u)=u\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9f821297be48bf99b29434ff3114e6e1617fd1d)
と定義するとこの定義はWell-definedである。ここで
は同値類を表す。このとき次の事実が従う:
定理 ― 写像
![{\displaystyle \iota ^{*}~:~H^{*}(BO(n);\mathbb {Z} _{2})\to H^{*}(BO(1)^{n};\mathbb {Z} _{2})^{\Sigma }\approx \mathbb {Z} _{2}[\beta _{1},\ldots ,\beta _{n}]^{\Sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/718b0957e1b312dd42eacda639f97ecfd151884c)
は全単射である[30][31]。
ここでβiは
のi番目の
の生成元である。
定理 ― Σは置換群と群同型であり、Σは
の成分の入れ替えとして
に作用する。
スティーフェル・ホイットニー類の定義
スティーフェル・ホイットニー類を以下のように定義する:
定義 (スティーフェル・ホイットニー類) ―
上の第i基本多項式
![{\displaystyle \sigma _{i}(\beta _{1},\ldots ,\beta _{n})=\sum _{A\subset \{1,\ldots ,n\},|A|=i}\left(\ \prod _{k\in A}\beta _{k}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c14cf4aa5593fde0dbc2033776e60f95825d0fde)
の
![{\displaystyle \iota ^{*}~:~H^{*}(BO(n);\mathbb {Z} _{2})\to H^{*}(BO(1)^{n};\mathbb {Z} _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ccc2fe55f9fdc099045522dcb0ef324d1d48d8)
による逆像
![{\displaystyle w_{i}^{(n)}=(\iota ^{*})^{-1}(\sigma _{i}(\beta _{1},\ldots ,\beta _{n}))\in H^{i}(BO(n),\mathbb {Z} _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0ed085e3d8955893d506dd858407360b7a45b6d)
を第iスティーフェル・ホイットニー類(英: i-th Stiefel–Whitney class class)と呼ぶ[30]。
紛れがなければ添字を省略し、
を単に
と書く。
分類空間
の元と特性類は1対1でするので、第iスティーフェル・ホイットニー類
に対応する特性類
![{\displaystyle w_{i}(\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b41bc278aefd5a4ba2d6f3caba3e3244d1ef0479)
をベクトルバンドルξの第iスティーフェル・ホイットニー類という。分類空間の元
を
と区別したいときは、
を第i普遍スティーフェル・ホイットニー類(英: i-th universal Stiefel–Whitney class class)という。
チャーン類のときと同様、
、
for
と定義する。
明らかに以下の事実が従う[32]:
定理 ― :
公理的特徴づけ
チャーン類と同様スティーフェル・ホイットニー類も公理的に特徴づける事ができる:
定理・定義 (スティーフェル・ホイットニー類の公理的特徴づけ) ― 特性類の組
でn次元実ベクトルバンドル
に
の元を対応させるもの
![{\displaystyle w_{i}^{(n)}~:~\xi =(\pi ,E,B)\mapsto H^{i}(B,\mathbb {Z} _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8354afb00211e61ace644ff75d7cb1c357311476)
で以下の性質を満たすものが一意に存在する。
をn次元ベクトルバンドルの第iスティーフェル・ホイットニー類と呼ぶ[33][34]。
以下でXは任意のCW複体、ξ、ηはX上の任意の実ベクトルバンドル、n、mはそれぞれξ、ηのファイバー(であるベクトル空間)の次元であり、「
」はベクトルバンドルのホイットニー和である:
- 次元公理[訳語疑問点]:
![{\displaystyle w_{0}^{(n)}(\xi )=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2afad94ce07b9c6196a66594ba1e61b54d4b66ac)
- ホイットニー和の公式:
![{\displaystyle w_{k}^{(n+m)}(\xi \oplus \eta )=\sum _{i=0}^{k}w_{i}^{(n)}(\xi )\smile w_{k-i}^{(m)}(\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d0a485a7a9a80289440b15e8701077f72584233)
- 正規化公理[訳語疑問点]:1次元実射影空間
上の普遍1-平面バンドル
に対し、
。
性質
全チャーン類と同様、全スティーフェル・ホイットニー類を定義でき、全チャーン類と同様の性質を示す事ができる[注 11]:
自然な写像
が誘導する写像
は単射であり、
の生成元αの自乗α2がβに移る事が知られている[36]。したがって
は
に移るが、
上では
になので、以下が成立する:
逆に複素ベクトルバンドル
から複素構造を忘れて(英語版)実ベクトルバンドルとみなしたものを
の脱複素化(英: decomplexification、英: realification)と呼び、
と書くと任意の非負整数iに対して以下が成立する事が知られている:
ポントリャーギン類とオイラー類
本節では
を満たす可換環Λに対し、
、
の構造を決定し、これをもとにポントリャーギン類とオイラー類を定義する。
定義
本節ではコホモロジー環
、
の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこでSO(n)の極大トーラスを記述するため、nが偶数であるか奇数であるかに応じてn=2m、n=2m+1として
を
|
により定義する[38]。ここで「
」は対角線上に行列を並べる演算であり、R(θ)は2次元の回転行列
![{\displaystyle R(\theta ):={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24f7378f00cb6b648947ea7b4c0a8da20fabc874)
である。
によるSO(2)mの像はSO(n)の極大トーラスである事が知られている。さらに自然な埋め込み
を考える。
そしてこれら2つの写像が分類空間のコホモロジーに誘導する写像を考える:
|
上式の最後の同型「
」は、リー群として
である事からチャーン類のときの議論により従う。ここで「
」は環としての同型であり、
の積はカップ積である。
またγjは
のj番目の
の生成元であり、γjは次数2のコホモロジー
に属している。(これらもチャーン類のときの議論により従う)。
なお、
の生成元γの選び方は、Λの単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く:
規約 ―
の生成元γとして、第一チャーン類
を選ぶ。
上で自然な同型
を用いた。このように規約を決めると、チャーン類の定義から
は整数係数のコホモロジー
に属する事になるのが利点である。
本項の目標は、
を用いる事で
と
の構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。
詳細は後回しにし、先に結論を述べる。
定理 (
、
の構造) ―
、
は単射であり、
の基本対称式を
![{\displaystyle p_{j}^{(n)}:=\sigma _{j}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde982b1ff1f22a0bd720241b6c07aaa82c64ebb)
とし、
![{\displaystyle e^{(n)}:=\gamma _{1}\cdots \gamma _{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e587ffb67844659a32f2d8209aa16db2ac3149f)
とするとき、以下が成立する[39][38][40]:
![{\displaystyle H^{*}(BSO(n);\Lambda ){\overset {B\mu ^{*}}{\overset {\sim }{\to }}}{\begin{cases}\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)}]&{\text{ if }}n=2m+1\\\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)},e^{(n)}]&{\text{ if }}n=2m\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/815edd1c1448d0cbce12efe06912b101807b5d18)
![{\displaystyle H^{*}(BO(n);\Lambda ){\overset {B\mu ^{*}\circ B\iota ^{*}}{\overset {\sim }{\to }}}\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dd5016123ea14b50b7901a594da0e49b9eeb02e)
ポントリャーギン類とオイラー類を以下のように定義する:
定義 (ポントリャーギン類、オイラー類) ― 上の定理と同様に記号を定めるとき、
![{\displaystyle p_{i}^{(n)}\in H^{4i}(BO(n);\Lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dcba2f9716a03b9e037743141732d8ef7a37195)
を第iポントリャーギン類(英: i-th Pontryagin class)といい、
のとき、
![{\displaystyle e^{(n)}\in H^{n}(BSO(n);\Lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd90a5bf22f83a93cda0e14e958af72c27048ca2)
をオイラー類(英: Euler class)という。
紛れがなければ、
、
を単に
、
と書く。
分類空間
や
の元と特性類は1対1でするので、第iポントリャーギン類
やオイラー類eに対応する特性類
、![{\displaystyle e(\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4eb5b3ea959fd349c14d22bf15d2eed697110827)
をそれぞれベクトルバンドルξの第iポントリャーギン類、オイラー類という。分類空間の元
、eを
、
と区別したいときは、
、eをそれぞれ第i普遍ポントリャーギン類(英: i-th universal Pontryagin class)、普遍オイラー類(英: universal Euler class)という。
なぜ上述の定理が成立するのかについては後述する。
定理の証明のアイデア
本節では、前述したH*(BSO(n);Λ)とH*(BO(n);Λ)の構造を記述した定理がなぜ成立するかを次の3つの場合に分けて説明する:
- nが偶数の場合のH*(BSO(n);Λ)の構造
- nが奇数の場合のH*(BSO(n);Λ)の構造
- H*(BO(n);Λ)の構造
準備
定理を示すにはチャーン類の場合と同様、ワイル群を用いる事でH*(BSO(n);Λ)の構造を決定する。そのためにBorelによる以下の一般的な定義を用いる:
定理 (Borelの定理) ― pを素数とし、Gを連結なコンパクトリー群で整数係数コホモロジー
がp-捻れ部分群を持たないものとする。
さらにTをGの極大トーラスとし、WをGのワイル群とし、
を
の元でWに関して不変なもの全体の集合とする。
とみなすと[注 12]、包含写像
がコホモロジーに誘導する写像
![{\displaystyle B\iota ^{*}~:~H^{*}(BG,\mathbb {Z} _{p})\to H^{*}(BT,\mathbb {Z} )^{W}\otimes \mathbb {Z} _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f241227ec4b9e3755dfd1132cd744f7e1b841100)
は環同型である[41]。
が
のねじれ元を持たない事を利用して、以下の命題を示せる:
命題 (H*(BSO(n),Λ)のワイル群による表現) ― 写像
![{\displaystyle \mu ^{*}~:~H^{*}(BSO(n);\Lambda )\to H^{*}(BSO(2)^{m};\mathbb {Z} )^{W}\otimes \Lambda }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e58d233f13af57505765301593b147708228bb8)
は環同型である。
上述の命題ではBorelの定理で「
」であったところが「Λ」に代わっているが、普遍係数定理を用いる事で「Λ」に代えてよい事が容易に示せる。
命題の証明には普遍係数定理を使うので、まずこの定理を復習する:
すでに述べたようにBSO(n)やBSO(2)はグラスマン多様体として表す事ができる。そしてグラスマン多様体をCW複体であって各kに対してk包体が有限個のもので表せる事が知られている[43]。よって
、
、
、
は全て有限生成であり、上述の普遍係数定理の前提条件が満たされる。
以下、
の場合に対してのみ定理を証明する。それ以外の場合に関しては普遍係数定理から従う。なお
は単項イデアル整域であり、
上のイデアルは素数
により生成される単項イデアルのみである事を容易に示せる。
が誘導する写像
...(1)
を考えるとき、まず(1)式の右辺について、
...(2)
となる非負整数rkが存在する事が言える。
実際、
であるので、チャーン類のところで述べた議論から、
であり、よって特に各kに対し、
は自由アーベル群であり、したがってその部分群である
も自由アーベル群であるので(2)がしたがう。
は単項イデアル整域なので、有限生成加群の基本定理を使って
と自由Λ-加群部分
と捩れ部分群部分
の直和として表すと、(2)式より(1)式は
...(3)
と書ける。
は素数
に対し、p-捩れ部分群を持たないので、
、
に対してBorelの定理を使う事ができ、
for ![{\displaystyle p\neq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/884d62fa2ca44dc88b2e2020d0921bd7bdcf1d2e)
である。上式と(3)式と普遍係数定理を使って書き換える事で、
for
...(4)
が言える。
有限生成加群の基本定理から
、
は有限集合なので、
、
には位数qの元が存在しない素数
を取る事ができる。(4)式で
とすると、qの取り方から
が成立する。よって(4)式から
...(5)
が成立する。すなわち
の自由アーベル群部分のランクは
のランクに等しい。
また任意の
に対し(4)式の両辺で
上の次元が同じでなければならないので、(5)式から
である。よって
も
も
に対しp-捩れ元を持たない。Λの定義から2-捩れ元はそもそも存在しないので、結局(4)式は同ランクの自由加群の間の写像
...(6)
として書ける。
を行列として表してその行列式
を考えると、(5)式が同型である事から
に対し
であり、したがって
は
を約数に持たない。Λの定義からこれは
がΛ内で逆数を持つことを意味しており、よって
は逆行列を持つ。したがって(6)は同型写像である。
以上の事からSO(n)のワイル群W=W(SO(n))の具体的な形と
![{\displaystyle H^{*}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda \subset H^{*}(BSO(2)^{m},\mathbb {Z} )\approx \Lambda [\gamma _{1},\ldots ,\gamma _{m}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3ef03869449942eca6e990d7009efd35a8fe282)
の具体的な形を決定すれば
の具体的な形が決定できる事になる。
nが偶数の場合のH*(BSO(n),Λ)の構造
n=2mとし、ワイル群
の具体的な形を決定するため、実ベクトル空間として
という同一視をし、以下の2種類の行列を考える[38][44]:
- Pσ:
の成分を置換
に従って入れ替える置換行列。すなわち
を
に写す行列。 - Ci:yiの符号を反転する写像。すなわち
を
に写す行列[注 13]。ここでδi,jはクロネッカーのデルタである。
Pσの方はxiとyiがセットになって置換されるので
上の空間の向きを保ち、SO(n)に属するが、Ciの方は空間の向きを反転するのでO(n)には属するもののSO(n)には属さない。しかしCiを偶数個かけ合わせたものはSO(n)に属する[38]。
命題 ― ワイル群の任意の元はCiを偶数個かけ合わせたものとPσを使って書ける[44]。
証明
まず示すべき命題を厳密に記述する:
命題 ― n=2mのとき、W=W(SO(n))の任意の元は、
s.t. ![{\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}=0{\bmod {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8b73e06b84cdc46e83233e33117470943fc7882)
という形で書ける。ここで
は(ワイル群は正規化群を中心化群で割ったものであったので)中心化群による同値類を表し、σは置換である。
ワイル群の元
の具体的な形が定理に書かれた形である事を示す。
そのために相異なる値
を選び、
とする。
さらに
を
の基底とし、
をei、fiが張る
の部分ベクトル空間とする。
ワイル群の定義から、
と上記のGに対し、
なので、ある
が存在し、
![{\displaystyle \varphi _{A}(G)=R(\kappa '_{1})\oplus \cdots \oplus R(\kappa '_{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0d021fbcd3ad9c9a58a766978a0f26f811f26b0)
が成立する。
、
とし、e'i、f'iが張る
の部分ベクトル空間をE'iとすると、直交行列Kの標準形の一意性より、ある置換
が存在し、
![{\displaystyle E'_{i}=E_{\sigma (i)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cad378e1eedb06efc243ab4108e8beb4157d19c7)
が成立する。これは
の二組の基底
、
が2次元の可逆行列で移り合う事を意味する。
よってある2次元の可逆行列
が存在し、
![{\displaystyle A=(A_{1}\oplus \cdots \oplus A_{m})\cdot P_{\sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6223c340d49862a43e09d21e8898f23cd5935ce5)
が成立する。Aが向きを保つ直交行列であり、
上の置換行列
も向きを保つ直交行列なので、
も向きを保つ直交行列でなければならない。したがって
はすべて直交行列であり、しかも
が成立する。ここで
は行列式である。
Aiは直交行列なので、
![{\displaystyle A_{i}=C{}^{\varepsilon _{i}}R(\theta _{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d7d9546ce35f7d5ee19cd537b6e5e1bcf7aefe8)
となる
、
が存在する。ここで
は
を
に写す写像であり、
はAiが向きを保つときは0、そうでないときは1である。
よって
![{\displaystyle A=(A_{1}\oplus \cdots \oplus A_{m})\cdot P_{\sigma }=((C{}^{\varepsilon _{1}}R(\theta _{1}))\oplus \cdots \oplus (C{}^{\varepsilon _{m}}R(\theta _{m})))\cdot P_{\sigma }=(C{}^{\varepsilon _{1}}\oplus \cdots \oplus C{}^{\varepsilon _{m}})\cdot (R(\theta _{1})\oplus \cdots \oplus R(\theta _{m}))\cdot P_{\sigma }=(C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}})\cdot (R(\theta _{1})\oplus \cdots \oplus R(\theta _{m}))\cdot P_{\sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba0a3295bfeb62927fb6fb8d89636d0f3117ed1)
であり、
であるので、
![{\displaystyle [A]=(C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}})P_{\sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d4b1027c1bb59bcc5cf1608fa27ab07cc9a7067)
が成立する。また
であった事から
が成立し、したがって
![{\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}=0{\bmod {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8b73e06b84cdc46e83233e33117470943fc7882)
も成立する。
よって
、
が
上に誘導する写像を特定すれば、
の構造が決定できるが、これらの写像は以下の通りである:
証明
が誘導する写像が
を
に写す写像な事はチャーン類のときの議論と場合と同様、分類空間は直積に対して自然に振る舞う事から従うので、補題の後半のみを示す。
証明はm=1の場合のみ示せば良い。実際、m=1の場合に
が誘導する写像が
を
に代える写像であれば、![{\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a16a68c6be947cb873a406e015f232f5e5738b7)
![{\displaystyle \approx \otimes _{i=1,\ldots ,m}H^{*}(BSO(2);\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccc6251d8d1121e826b7e1b16b9baaa806261c53)
である事から一般の場合が従う。
すでに述べたように
(のモデルの一つ)は、無限次元の正規直交スティーフェル多様体
と向きづけられた無限次元グラスマン多様体
により、
![{\displaystyle \pi ~:~(e_{1},e_{2})\in PSO(2)=V_{2}^{O}\mathbb {R} ^{\infty }\to [e_{1},e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/251ba7101145514b4bb250385c8096e1d14de0de)
と表現できた。ここで
は
が張る向きづけられた平面である。
分類空間への誘導写像の定義より、
は、![{\displaystyle PSO(2)\times _{\varphi _{C_{1}}}SO(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81cc50c06446db2758ed3485fa85e86cf7823072)
![{\displaystyle =V_{2}^{O}\mathbb {R} ^{\infty }\times _{\varphi _{C_{1}}}SO(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de99c8dba8f40df82cb7a1aa1aec606fbede6508)
![{\displaystyle \to BSO(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b1d4622d1e853fcdc1cdded6192bffd1cd36ed4)
の分類写像であった。
による共役
は
を
に写す写像なので、バランス積
は
![{\displaystyle ((e_{1},e_{2}),R(\theta ))\sim (R(-\theta )(e_{1},e_{2}),1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25e2c84cf0b8daf515aceeca036d69f557248f22)
という同値関係で
を割る事により定義される。ここで
は
を含む平面上で
を
だけ回転させたものである。この同値類による同値関係を以下
と表す。
写像
を
![{\displaystyle \xi ~:~[e_{1},e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }\mapsto [e_{1},-e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f582af2c4472eca2dcfbcf65d488bff2d2735f19)
により定義すると、下記の図式が可換になる:
![{\displaystyle {\begin{array}{ccc}[((e_{1},e_{2}),R(\theta ))]_{\varphi _{C_{1}}}\in V_{2}^{O}\mathbb {R} ^{\infty }\times _{\varphi _{C_{1}}}SO(2)&\to &R(\theta )(e_{1},-e_{2})\in V_{2}^{O}\mathbb {R} ^{\infty }\\\downarrow &\circlearrowright &\downarrow \\[][e_{1},e_{2}]\in {\tilde {G}}_{2}\mathbb {R} ^{\infty }&{\overset {\xi }{\to }}&[e_{1},-e_{2}]\in {\tilde {G}}_{2}\mathbb {R} ^{\infty }\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b536d6b3c6fd512506f415a9b1b9d16af783a782)
よって、
の定義より、
はξと一致し、ξの定義から
が
上に誘導する写像は、生成元
を
に写す。
よって、以下が成立する:
これらの事実を用いると、基本対称式
と
を用いて、
![{\displaystyle H^{*}(BSO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m},e]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aca4d407052a31e32db9acf72b538e313c5ad55)
と書ける事がわかる。
証明
nが奇数の場合は上述の命題から自明に定理が従うので、nが偶数の場合のみ定理を示す。
とする。
m=1の場合は、変数γiが1つしかないため「λiの偶数回の符号反転」は恒等写像のみであるので、定理は自明に従う。
m≧2に対し、任意の
は
![{\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})=\sum _{\varepsilon _{1},\ldots ,\varepsilon _{m}\in \{0,1\}}f_{\varepsilon _{1},\ldots ,\varepsilon _{m}}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}{}^{\varepsilon _{1}}\cdots \gamma _{m}{}^{\varepsilon _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f44f8803701296b53dca88bda5e4459d0179572b)
という形で書きあらわせる。ここで
は各i=1,2に対し、λiの次数を
したものが
になる項の和である。
に対し
の符号を反転すると、
![{\displaystyle f(\gamma _{1},\ldots ,-\gamma _{k}\ldots ,-\gamma _{\ell },\ldots ,\gamma _{m})=\left(\sum _{\varepsilon _{k}=0,\varepsilon _{\ell }=0}-\sum _{\varepsilon _{k}=1,\varepsilon _{\ell }=0}-\sum _{\varepsilon _{k}=0,\varepsilon _{\ell }=1}+\sum _{\varepsilon _{k}=1,\varepsilon _{\ell }=1}\right)f_{\varepsilon _{1},\ldots ,\varepsilon _{m}}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}{}^{\varepsilon _{1}}\cdots \gamma _{m}{}^{\varepsilon _{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ada8f0b3229d8fc1b6a12b45bde72e366c51c9b)
となる。fは偶数回の符号反転に関して不変でなければならない事から、
なので、
となる項以外は0でなければならない。
の任意性から
となる項のみが生き残る事になるので、fは
![{\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})=f_{0,\ldots ,0}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})+f_{1,\ldots ,1}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}\cdots \gamma _{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa5b3f7a7fcd39ecab3162b1f11a5f5ee5702437)
であり、fが
の多項式で書ける事がわかる。 fは変数の入れ替えに対しても不変でなければならないので、以上の議論からfは
の基本対象式と
の多項式として書く事ができ、定理が示された。
nが奇数の場合のH*(BSO(n),Λ)の構造
n=2m+1とし、ワイル群
を具体的に求めるため、実ベクトル空間として
という同一視をし、Pσ、Ciをnが偶数の場合と同様に取る[注 14]。さらに以下の行列を考える:
- M:
に
を対応させる写像。
Mは明らかに位数2の元であり、しかもCiと可換である。そして埋め込み
の定義からMによる共役は
上恒等写像になる。
nが偶数の場合と同様の議論により、ワイル群の任意の元は
の偶数個の積とPσとの積により書ける事がわかるが、Mに着目するとさらに簡単な表現も得られる。
実際、Mによる共役は
上恒等写像なので、変換に影響するのはM以外の
(とPσ)のみである。そしてこれらの積
が偶数個の積であっても奇数個の積であっても、
![{\displaystyle {\bar {C}}_{i}:=C_{i}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0304cf32f06a579fef01c874a2a837bec483fa99)
とすると、
は必ず偶数個の元
の積である。よって以下が成立する:
命題 ― ワイル群の元は
を偶数個または奇数個かけ合わせたものとPσを使って書ける[44]。
証明
まず示すべき命題を厳密に記述する:
命題 ― n=2m+1のときW=W(SO(n))の任意の元は、
![{\displaystyle [{\bar {C}}_{1}{}^{\varepsilon _{1}}\cdots {\bar {C}}_{m}{}^{\varepsilon _{m}}P_{\sigma }]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db79ecfa2f61e759de9638aa42159620d0376979)
という(偶数個または奇数個の)積の形で書ける。 ここで
は(ワイル群は正規化群を中心化群で割ったものであったので)中心化群による同値類を表し、σは置換である。
nが偶数の場合と同様の議論により、 ワイル群の任意の元が
s.t. ![{\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}+\delta =0{\bmod {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/947400fc841ec2fc5563045f7f5327f4d1a8201c)
という形で書ける事を示せる。 よって、
![{\displaystyle [C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\delta }P_{\sigma }]{\underset {(1)}{=}}[C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\varepsilon _{1}+\cdots +\varepsilon _{m}}P_{\sigma }]{\underset {(2)}{=}}[(C_{1}M){}^{\varepsilon _{1}}\cdots (C_{m}M){}^{\varepsilon _{m}}P_{\sigma }]{\underset {(3)}{=}}[{\bar {C}}_{1}{}^{\varepsilon _{1}}\cdots {\bar {C}}_{m}{}^{\varepsilon _{m}}P_{\sigma }]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1369581d2f5259d24910683d803d5f6aa7a40328)
が成立する。ここで
- (1)は
とMの位数が2な事から従う。 - (2)はMがCiと可換な事から従う。
- (3)は
の定義から従う。
nが偶数の場合と同様、
、
が
上に誘導する写像は、それぞれ
を
に写す写像、
を
に代える写像である。またMによる共役は恒等写像なので、
が
上に誘導する写像も
を
に代える写像である。よって以下が成立する。
これらの写像で不変な元は
の対称式なので、基本対称式
を用いて、
![{\displaystyle H^{*}(BSO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45e36c0ed276458b6b741c33b8d5ab59bc9d3a6c)
と書ける事がわかる。
H*(BO(n),Λ)の構造
である事から、部分群の分類空間に関する定理より、包含写像
が誘導する写像
![{\displaystyle B\iota ~:~BSO(n)\to BO(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b136e67658264617e1fcaed1f6326ef4f5918f2)
は
-主バンドルである[38]。
のBSO(n)への作用は、
の
への作用を誘導する。
の作用により不変な
の元の集合を
とすると以下が成立する事が知られている:
定理 ―
![{\displaystyle B\iota ^{*}~:~H^{*}(BO(n);\Lambda )\to H^{*}(BSO(n);\Lambda )^{\mathbb {Z} _{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30b65cd9123e5a4447d1274b2f55ddd975879ed6)
は環同型である[38]。
上述の定理から特に、
![{\displaystyle H^{*}(BO(n);\Lambda )\to H^{*}(BSO(n);\Lambda )\to \Lambda [\gamma _{1},\ldots ,\gamma _{m}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ffe575090879f616d487df02736679abcf7d08d)
は単射である事が従う。この単射における
の像は、前述のCiの(偶数個または奇数個の)積が作用が誘導する写像、Pσが誘導する写像で不変でなければならないので、H*(BSO(n),Λ)のときと同様の議論により、
![{\displaystyle H^{*}(BO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/636ddb80457376414a8500e63ab334c9795120ea)
が従う。
性質
前述の定理が成り立つ理由の説明は後回しにし、本節ではポントリャーギン類とオイラー類の性質を述べる。
ポントリャーギン類はチャーン類との間に以下の関係を満たす:
定理を示すには、包含写像
![{\displaystyle \iota ~:~O(n)\subset U(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7c73a99c62ff768fd3a01f4f3fbc1d97b72063)
が誘導する写像
![{\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BO(n);\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/173ca39f94b4572da4f4472d1ce5388a821e9353)
によって
![{\displaystyle B\iota ^{*}(c_{k})={\begin{cases}(-1)^{j}p_{j}&{\text{if }}k=2j\\0&{\text{if }}k=2j+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f59e56c25b26bf22af8bc115cf3204e9deecc36d)
となる事を任意の非負整数kに対して示せば良い。
これまで同様
![{\displaystyle \mu ~:~O(2)^{m}\hookrightarrow O(n),~~(A_{1},\ldots ,A_{m})\mapsto {\begin{cases}R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})&{\text{if }}n=2m\\R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})\oplus 1&{\text{if }}n=2m+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8c4948daa24b71c1eca4dbba98acdc85d9deb35)
を考え、可換図式
、
を考える。ここで
は
![{\displaystyle (R(\theta _{j}))_{j=1,\ldots ,m}\mapsto {\begin{cases}(e^{i\theta _{j}},e^{-i\theta _{j}})_{j=1,\ldots ,m}&{\text{if }}n=2m\\((e^{i\theta _{j}},e^{-i\theta _{j}})_{j=1,\ldots ,m},1)&{\text{if }}n=2m+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d03c17df13ab8b767ba86565288b7748295a7f2)
であり、
は回転行列を
![{\displaystyle UR(\theta )U^{-1}={\begin{pmatrix}\mathrm {e} ^{i\theta }&0\\0&\mathrm {e} ^{-i\theta }\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9538d3cb2986b623e902a5c3c53554f3bb7fbc3f)
と対角化する行列
![{\displaystyle U={i \over {\sqrt {2}}}{\begin{pmatrix}i&1\\1&i\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49eb00fd1f63b31fe33eb6e2ba99e495d83bb69a)
を並べてできる行列
![{\displaystyle {\hat {U}}:={\begin{cases}\overbrace {U\oplus \cdots \oplus U} ^{m}&{\text{if }}n=2m\\\overbrace {U\oplus \cdots \oplus U} ^{m}\oplus 1&{\text{if }}n=2m+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82cf33f44d4c647cf55bb237ea9ae0d395d4c288)
による内部自己同型
![{\displaystyle \varphi _{\hat {U}}~:~U(n)\to U(n),~R\to {\hat {U}}R{\hat {U}}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef0f38adc39a3bf0c818f72a33e7aaeb4d66f35c)
であり、
は対角線への埋め込み
![{\displaystyle \nu ~:~U(1)^{n}\hookrightarrow U(n),~~(a_{1},\ldots ,a_{n})\mapsto a_{1}\oplus \cdots \oplus a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/487ebd359bf71bbfc130354aab211f0edd0ac216)
である。
n=2mの場合に元の動きを図示すると、以下の通りである:
![{\displaystyle {\begin{matrix}(R(\theta _{j}))_{j=1,\ldots ,m}&{\overset {\mu }{\hookrightarrow }}&R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})&{\overset {\iota }{\hookrightarrow }}&R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})\\\rho \downarrow &\circlearrowright &\varphi _{\hat {U}}\downarrow &\circlearrowright &\varphi _{\hat {U}}\downarrow \\(e^{i\theta _{j}},e^{-i\theta _{j}})_{j=1,\ldots ,m}&{\overset {\nu }{\hookrightarrow }}&e^{i\theta _{1}}\oplus e^{-i\theta _{1}}\oplus \cdots \oplus e^{i\theta _{m}}\oplus e^{-i\theta _{m}}&=&e^{i\theta _{1}}\oplus e^{-i\theta _{1}}\oplus \cdots \oplus e^{i\theta _{m}}\oplus e^{-i\theta _{m}}.\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab31ea73313faec0be7082d6a580969064ccc858)
よって非負整数kに対し、
![{\displaystyle B\iota ^{*}(c_{k}){\underset {(1)}{=}}B\iota ^{*}B\varphi _{\hat {U}}{}^{*}(c_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae10b01310534ec17c2b0997033a4828c646a6d)
![{\displaystyle =B(\varphi _{\hat {U}}|_{SO(n)}){}^{*}(c_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42b8229a7a1efd8d8dca01293776fb140fa0053e)
![{\displaystyle {\underset {(2)}{=}}B(\varphi _{\hat {U}}|_{SO(n)}){}^{*}(B\nu ^{*}{}^{-1}(\sigma _{k}(\alpha _{1},\ldots ,\alpha _{n})))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65c8a75943d26678e013f6560c56fa2a06645b50)
![{\displaystyle =B\mu ^{*}{}^{-1}(B\rho ^{*}(\sigma _{k}(\alpha _{1},\ldots ,\alpha _{n})))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25fe77bfcc520e0ebbb2ce97cb452f6e99b3208c)
![{\displaystyle {\underset {(3)}{=}}{\begin{cases}B\mu ^{*}{}^{-1}(\sigma _{k}(\gamma _{1},-\gamma _{1},\ldots ,\gamma _{m},-\gamma _{m}))&{\text{if }}n=2m\\B\mu ^{*}{}^{-1}(\sigma _{k}(\gamma _{1},-\gamma _{1},\ldots ,\gamma _{m},-\gamma _{m},0))&{\text{if }}n=2m+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33747252645c24f520a871dc0e37424f479b73ef)
が成立する。ここで
、
はそれぞれ
、
のs番目、j番目の
、
の生成元を表し、(1)は内部自己同型は分類空間に恒等写像を誘導する事から従い、(2)はチャーン類の定義から従い、(3)はρの定義から従い、それ以外の等号は可換図式を追う事で従う。
である事が対象多項式の定義から容易に従うので結局nによらず
![{\displaystyle B\iota ^{*}(c_{k})=B\mu ^{*}{}^{-1}(\sigma _{k}(\gamma _{1},-\gamma _{1},\ldots ,\gamma _{m},-\gamma _{m}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07c2d0ac84d4db2e04a4ce994ea483dfde5d156e)
が成立する。
任意の不定元au、bv、Xに対し、
![{\displaystyle (1+a_{1}X)\cdots (1+a_{2m}X)=\sum _{k}\sigma _{k}(a_{1},\ldots ,a_{2m})X^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/975be77579c257dcc5e98fd8989983a3d7728504)
なので、
![{\displaystyle \sum _{k=1}^{2m}\sigma _{k}(b_{1},-b_{1},\ldots ,b_{m},-b_{m})X^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d36dc30f17d365039b8b3ee21d252e3afe2c95d6)
![{\displaystyle =(1+b_{1}X)(1-b_{1}X)\cdots (1+b_{m}X)(1-b_{m}X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6aff758e7e8c2ac4de33645e4865e33d29c3a64)
![{\displaystyle =(1-b_{1}{}^{2}X^{2})\cdots (1-b_{m}{}^{2}X^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aedd867e29b1d302534dffa1b4f41c2023b68169)
![{\displaystyle =\sum _{j=1}^{m}(-1)^{j}\sigma _{j}(b_{1}{}^{2},\ldots ,b_{m}{}^{2})X^{2j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcc278dc2c37611ad13d0f57e61141439c9a558c)
が成立する。両辺の次数を比較する事により、
![{\displaystyle \sigma _{k}(b_{1},-b_{1},\ldots ,b_{m},-b_{m})={\begin{cases}(-1)^{j}\sigma _{j}(b_{1}{}^{2},\ldots ,b_{m}{}^{2})&{\text{if }}k=2j\\0&{\text{if }}k=2j+1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c256f1a864fa5d669f82e00bb37cd053cac56373)
である。以上の議論とポントリャーギン類の定義
![{\displaystyle p_{i}=B\mu ^{*}{}^{-1}(\sigma _{j}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9999d857f28110fc7db20e5519b0afa213aaae5e)
から定理が従う。
上の定理がΛ係数のコホモロジーに関するものである事に注意されたい。チャーン類は整数係数のコホモロジーに属するが、整数係数の場合は
が成立するとは限らない。しかし
である事は言える[注 16]。実際、一般に複素ベクトルバンドル
の複素共役バンドル
とすると、
が成立し、しかも実ベクトルバンドルの複素化
はその複素共役バンドル
と同型なので、
![{\displaystyle 2c_{2j+1}(\xi _{\mathbb {C} })=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ffdbb7721831d702e299ef3261b54c93b5809a4)
が成立する。
またチャーン類は整数係数のコホモロジーに属している事から、以下の系も従う:
系 ― ポントリャーギン類は整数係数コホモロジーに属する。すなわち任意のiに対し、
![{\displaystyle H^{*}(BO(n);\mathbb {Z} )\hookrightarrow H^{*}(BO(n);\Lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5937f203dee948c555bb9148ef1ce6bc50b67db)
の像に
は属している。
は単射ではない(位数2の元が0に移る為)が、この写像による
の逆像として
を選べば、
が整数係数のコホモロジーに属するというのが上記の定理の意味である。以下、整数係数のコホモロジーにおけるポントリャーギン類を
によって定義する。
チャーン類の場合と同様以下の定義をする:
定理 ― n次元実ベクトルバンドルξに対し、ξのポントリャーギン多項式を
![{\displaystyle p(\xi ,t):=p_{0}+p_{1}t+\cdots p_{\lfloor n/2\rfloor }t^{\lfloor n/2\rfloor }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c83e38d7768f20b1ee8ef8015e624ae771e1804)
により定義し、全ポントリャーギン類を
![{\displaystyle p(\xi ):=p(\xi ,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ec54a135039a1b8aae18237c9bce48a56a07ed)
により定義する。
チャーン類に対するホイットニー和の公式からポントリャーギン類のホイットニー和の公式が従う:
上の定理では整数係数のコホモロジーを考えているので、両辺についている「2」を消すことはできない[注 16]。
を満たす可換環Λを係数とするコホモロジーにおいては両辺に2の逆元をかける事で、
in ![{\displaystyle H^{*}(BO(n);\Lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d1e3f2683a701254008f69eb97edda6232d74b7)
が成立する事がわかる。
また複素ベクトルバンドル
から複素構造を忘れて(英語版)実ベクトルバンドルとみなしたものを
の脱複素化(英: decomplexification、英: realification)と呼び、
と書く。
を再び複素化したベクトルバンドル
は
と同型になる事が知られている[47]。ここで
はωの共役バンドルである。 よって、チャーン類のホイットニー和の公式からチャーン多項式が![{\displaystyle c((\omega _{\mathbb {R} })_{\mathbb {C} },1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b00ef9ddb8f7d6f0dbc201e4347153bc4836b585)
![{\displaystyle =c(\omega ,1)c({\bar {\omega }},1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e17a3ded59ab0d10f5fc8a061168d1dfb7a3db3f)
を満たす事がわかる。成分で書くと、
![{\displaystyle \sum _{j=0}^{2n}c_{j}((\omega _{\mathbb {R} })_{\mathbb {C} })=\sum _{k=0}^{n}c_{k}(\omega )\sum _{\ell =0}^{n}(-1)^{\ell }c_{\ell }(\omega )=\sum _{j=0}^{2n}\sum _{s=0}^{j}(-1)^{s}c_{j-s}(\omega )c_{s}(\omega )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e474274b5c5bb96bf31034ecf1ac1123b871c4f3)
である。ここでnはωのファイバーの次元である。
右辺の形から、右辺の(4の倍数+2)次のコホモロジーは0になるので、左辺も(4の倍数+2)のコホモロジーは0で4の倍数次のみ生き残る。よって整数係数のポントリャーギン類の定義から以下が結論付けられる:
定理 ― ωを複素ベクトルバンドルとし、nをそのファイバーの次元とすると、以下が成立する[47]:
![{\displaystyle \sum _{i=0}^{n}p_{i}(\omega _{\mathbb {R} })=\sum _{k=0}^{n}c_{k}(\omega )\sum _{\ell =0}^{n}(-1)^{\ell }c_{\ell }(\omega )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2857271ed80443dd5bbf7b79456cd2a985b5f0c2)
前節で述べたようにオイラー類は
により誘導される写像を使って
と定義されていた。よって明らかに以下が成立する:
すでに述べたように、実ベクトルバンドル
に対し、
において
が成立する。よってポントリャーギン類の定義より以下が成立する。
オイラー類の満たす式「
in
」と上記の「
in
」から、整数係数コホモロジー
の元
で、
in
、
in
、
を満たす元が一意に存在する。ここでnは
のファイバーの次元である。このような
を整数係数コホモロジーにおけるオイラー類と呼ぶ。以下、紛れがなければ
の事を単に
と書く。
本項では、Λ係数のコホモロジーからスタートしてオイラー類を定義したため、整数係数コホモロジーにおけるオイラー類は上記のように人工的なもののになったが、トムの同型定理(英語版)を使って整数係数コホモロジーにおけるオイラー類を直接的に定義する事もできる。詳細はオイラー類の項目を参照。
X上の実ベクトルバンドル
、
に対し、それぞれのファイバーの次元をn、mとすると、ホイットニー和の公式から
in
なので、前述したΛ係数のオイラー類の直和に対する振る舞いと合わせて、整数係数コホモロジーにおけるオイラー類に対しても下記の定理が成り立つことが分かる:
歴史
特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。ホモロジー論やホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。障害理論(英語版)(obstruction theory)の一部として特性類の理論が生まれた1930年代において、ホモロジー論の「双対」な理論を構築しようとする大きな理由として特性類の理論がある。曲率不変量に対する特性類のアプローチは、一般化されたガウス・ボネの定理を証明するための理論を作ることが目的であった。
特性類の基礎が確立した1950年ごろ、当時知られていた基本的な特性類(スティーフェル・ホイットニー類やチャーン類やポントリャーギン類)は、古典線型群や極大トーラス(maximal torus)の構造を反映していることが明らかとなった。さらには、グラスマン多様体(英語版)(Grassmannian)のシューベルトの計算(英語版)(Schubert calculus)や、代数幾何学のイタリア学派(英語版)(Italian school of algebraic geometry)の業績の中にすでにチャーン類により記述されるべきものが存在することがわかった。
このような経緯で、特性類の基本的な構造は次のように認識された。空間 X とその上のベクトル束が与えられると、適切な線型群 G に対して、ホモトピーカテゴリ(homotopy category)の中で、X から分類空間 BG への写像が存在する。コホモロジー H*(BG) が計算することで、反変性により同じ次数の H*(X) の中にバンドルの特定類が定義される。ホモトピー論に対し、適切な情報は G の直交群(orthogonal group)やユニタリ群のようなコンパクトな部分群によりもたらされる。例えば、チャーン類は偶数次元の次数付きの成分を持った一つの類である。
幾何学においてさらなる構造を理論に組み込むこと有益である。1955年以降、K-理論やコボルディズム論(英語版)といった新たなコホモロジー理論に対しても、特性類の定義において文字 H を適切に変更するだけでそれらの理論における特性類を定義できる。
特性類は、後日、多様体の葉層構造(英語版)(foliation)の中でも発見された。(葉層に対してはある特異点を許容するように意味を変更すると)特性類はホモトピー論の中に分類空間の理論を持っている。
さらに20世紀後半における数学と物理学の再接近の結果として、ドナルドソンとコチックにより新しい特性類がインスタントン(英語版)(instanton)の理論の中で発見された。またチャーン(S. S. Chern)の観点と業績も重要であると認識された。チャーン・サイモンズ形式やチャーン・サイモンズ理論を参照のこと。
参照項目
脚注
[脚注の使い方]
出典
注釈
- ^ F-バンドルの定義によってはX上のF-バンドル全体は集合ではなく真のクラスになってしまうという問題を抱える。しかし例えば
は開集合
から作る事ができるF-バンドルのみ考える定義を採用すれば、主F-バンドル全体は集合となり、したがってこのこの同型類も集合になるので問題が回避できる。 - ^ 文献により
の事をスティーフェル多様体と呼ぶもの、
、
の事をスティーフェル多様体と呼ぶもの、双方をスティーフェル多様体と呼ぶものがある。 - ^
に対するこの同一視の詳細は下記の通り。
、
も同様。 Wの基底
を1つfixすると、写像
、
の元とWのm-フレーム(すなわちWのの基底)が1対1に対応する。 写像m-フレームの後ろm-n本のベクトルを「忘れる」写像
により、m-フレームにn-フレームを対応させる事ができる。 この2つを合成した
を考える事で、
がn-フレーム全体の集合
に推移的に作用するが、この作用のkernelは
であるので、
は
と同一視できる。 - ^ 一般に、リー群Gを閉部分リー群Hで割った等質空間G/HにはGから多様体としての構造が誘導される。
- ^ より厳密に言うと、多項式環
から
への写像で
を満たすものがあり、しかもそれが環同型写像であるという事である。 - ^ 埋め込み
の取り方は
の基底の取り方に依存する。しかしこれらの埋め込みは
上の内部自己同型で互いに移り合う関係にある(これは極大トーラスが内部自己同型を除いて一意だというリー群の一般論からも従う)ので、後述する補題により、どの埋め込みもコホモロジー間に同一の写像
を誘導する。よって特に、後述するチャーン類の定義は
の基底の取り方によらずwell-definedである。 - ^
の
への制限
は
上の(自己同型ではあるが)内部自己同型ではないので、
が
に誘導する写像 ![{\displaystyle B\varphi _{A}|_{U(1)^{n}}{}^{*}~:~H^{*}(BU(1)^{n};\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53d66f6cafc9c3e48267827e48b532e0093cb0a9)
は恒等写像ではない事に注意されたい。 - ^ すなわち、m>nのときは基本対象式の定義
における和が空和になるので、m次の基本対象式を0とみなすという事である。 - ^ 例えばp≠2に対する
や、有理数体
など。なお、普遍係数定理があるので、
の場合だけ考えれば十分である。 - ^
は
の極大トーラスではないので、チャーン類のときと違い、
はワイル群ではない。 - ^ チャーン類の場合と同様、原理的には全スティーフェル・ホイットニー類のみならず、スティーフェル・ホイットニー多項式が定義できるはずだが、スティーフェル・ホイットニー多項式を定義している文献がほとんどなかったため、説明を省いた。
- ^ 一般には
と
は等しくなく、前者が後者に包含される事しか言えない。例えば
上の「90度回転」
によって生成される群がワイル群であった場合、
なので
は
には属さず、よって
にも属さないが、
なので、
には属する。 - ^ なお、xiの方の符号を反転する行列
は、Ciと90度回転の組み合わせで書く事ができるので、ワイル群の生成元を議論する際にはCiの方だけあれば十分である。なお本項では[44]に合わせてCiを用いる事にしたが、[38]ではCiの代わりに
を用いている。しかしこれもワイル群上ではCiと同一の元を表すので、どちらを用いても問題ない。 - ^ すなわち、Pσは
に
を対応させ、Ciは
を対応させる。 - ^ ここで添字の「!」は通常期待されるのと逆向きの写像である事を表す。en:Shriek mapを参照。
- ^ a b
は2-捻れ元を持つので、
であっても
であるとは限らない。
文献
参考文献
特性類関連
- レクチャーノート
- Stephen A. Mitchell (2001年8月). “Notes on principal bundles and classifying spaces”. 2021年5月20日閲覧。
- Robert R. Bruner, Michael Catanzaro, J. Peter May. “Characteristic classes”. The university of Chicago. 2021年5月24日閲覧。
- Mark Behrens. “LECTURE 32: PROPERTIES OF CHERN CLASSES, THESPLITTING PRINCIPLE”. Massachusetts Institute of Technology. 2021年5月24日閲覧。
- Ralph L. Cohen. “The Topology of Fiber Bundles Lecture Notes”. Department of Mathematics, Stanford University. 2022年9月16日閲覧。
- Stephen A. Mitchell (2001年8月). “Notes on principal bundles and classifying spaces”. 2021年5月20日閲覧。
- Laurenţiu Maxim (2018年4月18日). “Math 754Chapter III: Fiber bundles. Classifying spaces.Applications”. University of Wisconsin. 2021年5月19日閲覧。
- J. P. May. “A Concise Course in Algebraic Topology”. 2021年5月20日閲覧。
- J. P. May. “A NOTE ON THE SPLITTING PRINCIPLE”. 2022年5月30日閲覧。
- Paul Selick. “Fibre Bundles; Characteristic Classes; K-theory”. 2021年6月4日閲覧。
- Jamie Walton. “CHARACTERISTIC CLASSES AND THE CHERN CHARACTER”. 2021年6月4日閲覧。
- 論文
- Armand Borel (2018年4月18日). “Topology of Lie Groups and Characteristic Classes”. Bulletin of the American Mathematical Society. 2022年11月25日閲覧。
- 書籍
- 森田茂之 (2001/05/23). 微分形式の幾何学2. 岩波講座 現代数学の基礎. 14. 岩波書店. ISBN 9784000110143. https://www.iwanami.co.jp/book/b480194.html
- 森田茂之, 特性類と幾何学. 現代数学の展開, 岩波書店 ISBN 978-4-00-006292-3
- R.ボット、L.W.トゥー 著、三村護 訳『微分形式と代数トポロジー』シュプリンガーフェアラーク東京、1996年10月1日。ISBN 978-4431707073。
- Date Husemoller (2014/5/14). Fibre Bundles Third Edition. Graduate Texts in Mathematics 20. Springer. ISBN 978-1475722635
- Milnor, John W.; Stasheff, Jim (1974). Characteristic classes. Annals of Mathematics Studies. 76. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo. ISBN 0-691-08122-0
- Armand Borel (1967). Topics in the Homology Theory of Fibre Bundles. Lecture Notes in Mathematics(英語版). Springer. ISBN 978-3540039075
- Chern, Shiing-Shen (1995). Complex manifolds without potential theory. Springer-Verlag Press. ISBN 0-387-90422-0 ISBN 3-540-90422-0.
- この書籍のappendix "Geometry of Characteristic Classes" には、特性類の考え方の発展について非常に整理された深い入門が記載されている。
その他
- レクチャーノート
- Stefan Friedl, Matthias Nagel, Patrick Orson, Mark Powell (2020年6月9日). “A survey of the foundations of four-manifold theory in the topological category” (pdf). arXive. 2021年5月20日閲覧。
- J. P. May. “A PRIMER ON SPECTRAL SEQUENCES”. 2022年5月30日閲覧。
- Brian Conrad. “Math 210C. Weyl group computations”. 2022年12月15日閲覧。
- 書籍
- Tammo tom Dieck (2008/9/15). Algebraic Topology. Ems Textbooks in Mathematics. European Mathematical Society. ISBN 978-3037190487
- James F. Davis, Paul Kirk (2001/8/1). Lecture Notes in Algebraic Topology. Graduate Studies in Mathematics. American Mathematical Society. ISBN 978-0821821602