特性類

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

特性類 (Characteristic class)とは、位相空間 X の上のベクトル束やより一般に主束に対してさだまる Xコホモロジー類である。特性類は、主束の切断がどの程度存在するによって定まるもので、局所的には自明である主束の構造が大域的にどれほど非自明であるかをはかる位相不変量である。特性類は、代数多様体上のベクトル束に対しても定義され、代数トポロジー微分幾何学代数幾何学における統一した幾何学的な考え方の一つである。

1935年の多様体上のベクトル場についてのスティーフェル英語版(Eduard Stiefel)とハスラー・ホイットニー英語版(Hassler Whitney)の仕事より、特性類の考え方が発生した。

定義[編集]

G位相群として、位相空間 X に対し、G-バンドルの同型類全体の集合を bG(X) と書くこととする。この bG は、位相空間と連続函数カテゴリ Top から集合函数のカテゴリ Set への反変函手であり、写像 f引き戻し英語版(pullback)作用素 f* へ写る。

G-バンドルの 特性類 c とは、bG からコホモロジー函手 H* への自然変換である。

つまり特性類とは、位相空間 X にたいし定まる写像 c(X) : bG(X) → H(X) の族であって、連続写像 f : YX と X 上主束 P にたいし c(f*P) = f*c(P) をみたすものである。ここで、f*PPY への引き戻し、f*c(P) はコホモロジーに誘導された写像による c(P) の像である。

特性数[編集]

特性類からある整数を取り出すことができ、これを 特性数(characteristic numbers)という。種々の特性類に応じて

が定まる。

向き付け可能 n-次元多様体 M にたいしその基本類 を考える。特性類 を持つ G-バンドルにたいし、基本類と次数 n の特性類のペアリング(交叉積)を考えることができる。特性数とは、全次数がちょうど n となるような特性類と基本類の(交叉)積のことを言う。次数の和が n となるような特性類の組み合わせの数、つまり、次数の和が n となる単項式の数だけ異なる特性数があり、この数は n の への分割数に等しい。

形式的な定義としては、 であるような が与えられたとき、対応する特性数は、

である。

これらは、それぞれの特性類の積として記号化されていて、例えば であったり、別な例でポントリャーギン数 に対応する あるいは、オイラー標数を と書いたりする。

基本類とのペアリングは、ド・ラームコホモロジーでいえば、特性類を定める微分形式を多様体上で積分することに相当する。

また、向き付けできない多様体に対しても、 での向き付けを与えることで、 に値を持つ特性数を得ることができる。この例がスティーフェル・ホイットニー数である。

特性数は、向き付け、ないし向き付けなしボルディズム問題英語版(bordism question)を解決する。つまり、2つの多様体が(向き付けこみ、向き付けなしのいずれかで)コボルダントであることと、それらの特性数が等しいこととは同値である。

動機[編集]

特性類は、反変性を持ち、本質的にコホモロジー論的な現象である。ベクトル束の切断は空間上の函数の一種で、変更を必要とする切断の存在から反変性を導く。ホモロジー論ホモトピー論は空間への写像を基礎とする共変な理論であり、反変な理論であるコホモロジー論はその後に発見された。障害の理論英語版(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)の観点と業績も重要であると認識された。チャーン・サイモンズ形式チャーン・サイモンズ理論を参照のこと。

安定性[編集]

安定ホモトピー論英語版(stable homotopy theory)の言葉では、チャーン類スティーフェル・ホイットニー類ポントリャーギン類安定 であり、一方、オイラー類不安定 である。

安定類とは自明バンドルとの直和を取っても特性類が変化しない、すなわち がなりたつことをいう。これを言い換えると、特性類に対応する分類空間 のコホモロジー類が包含写像 から定まる により のコホモロジー類の引き戻したものになるということ。これは の安定類からの引き戻しであるとも言える。

オイラー類は安定類ではない。k-次元バンドルのオイラー類は、Hk(X) の元であり、自明バンドルとの直和をとったバンドルのオイラー類は Hk+1(X) の元なので、これを引き戻しても一致しない。

参照項目[編集]

参考文献[編集]