チャーン類

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

数学では、特に代数トポロジー微分位相幾何学代数幾何学では、チャーン類(Chern classes)は複素ベクトルバンドルに付随する特性類である。

チャーン類は、Shiing-Shen Chern (1946) で導入された。

幾何学的アプローチ[編集]

基本的アイデアと動機[編集]

チャーン類は特性類である。チャーン類は滑らかな多様体のベクトルバンドルに付随する位相不変量である。2つの表向きは異なるベクトルバンドルが同じか否かという疑問は、答えることが非常に難しい。チャーン類は、簡単な検証法を提供する。もし2つのベクトルバンドルのチャーン類が一致しなければ、ベクトルバンドルは異なる。しかし、逆は正しくはない。

トポロジーや微分幾何学や代数幾何学では、しばしば、ベクトルバンドルがいくつぐらいの線型独立な切断を持つのかを数えることが重要となる。チャーン類は、例えばリーマン・ロッホの定理アティヤ・シンガーの指数定理(en:Atiyah-Singer index theorem)を通して、線型独立な切断の数についていくつかの情報をもたらす。

チャーン類は、実用的な計算にとっても妥当性を持っている。微分幾何学では(また、ある種の代数幾何学では)、チャーン類は曲率形式の係数の多項式として表すことができる。

チャーン類の構成[編集]

この問題へのアプローチには数々の方法があり、それらの各々はチャーン類の少しづつ異なる側面に焦点を当てている。

チャーン類への元々のアプローチは、代数トポロジーを通してであった。チャーン類は、分類空間英語版(classifying space)への V からの写像(この場合には、無限グラスマン多様体英語版(Grassmannian)である)を提供するホモトピー論を通して発生する。多様体上の任意のベクトルバンドル V は、分類空間の上の普遍バンドルの引き戻しとして実現される。従って、V チャーン類は、普遍バンドルのチャーン類の引き戻しとして定義することができる。これらの普遍チャーン類はシューベルトサイクル英語版(Schubert cycle)の項で、明確に書き下すことができる。

微分幾何学で使用されるチャーンのアプローチは、曲率を使っていて、本記事の最初のあげた論文で優れた記述がなされた。彼は実際に以前に定義していたものと同じものであることを示した。

アレクサンドル・グロタンディーク(Alexander Grothendieck)のアプローチもあり、彼はラインバンドルの場合の定義のみが公理論的に必要であることを示した。

チャーン類は代数幾何学で自然に発生した。代数幾何学での一般化されたチャーン類は、任意の非特異多様体の上のベクトルバンドル(さらに詳しくは、局所自由層英語版(locally free sheaves))に対して定義することができる。代数幾何学的なチャーン類は、基礎となる多様体が何らかの特別な性質を持っていることを要求しない。特に、ベクトルバンドルは複素数である必要はない。

特別なことを考えずに、チャーン類の直感的な意味をベクトルバンドルの切断英語版(section)の「ゼロ点を要求する」ことに関係付ける。例えば、髪の毛の生えたボールを串で完全にとかすことはできないという定理のようなものです(毛の生えたボールの定理英語版(hairy ball theorem))。[1]これは厳密に言うと、 ベクトルバンドル(ボールの上の「髪の毛」は、実際には直線のコピーである)についての質問であるにも関わらず、髪の毛が複素数である場合、あるいは他の多くの場の上の1-次元射影空間に対し、一般化できる(以下の複素数の髪の毛のボールの定理の例を参照)。

さらなる議論はチャーン・サイモンズ形式を参照。

ラインバンドルのチャーン類[編集]

層の理論での記述は、指数層の系列英語版(Exponential sheaf sequence)を参照。

V がラインバンドルのときが、非常に重要な場合である。非自明なチャーン類のみが第一チャーン類であり、X の二次コホモロジー群の元のことである。チャーン類の先頭として、第一チャーン類はバンドルのオイラー類英語版に等しい。

トポロジー的には、第一チャーン類は、複素ラインバンドルの分類に使う完備不変量英語版(complete invariant)である。すなわち、X の上のラインバンドルの同型類と H2(X;Z) の元の間には全単射が存在し、第一チャーン類をラインバンドルとを結び付ける。[2]

代数幾何学では、このチャーン類による複素ラインバンドルの(同型類の)分類は、因子線型同値(linear equivalence)類による正則ラインバンドルの(同型類の)分類に、実際には非常に近い存在である。

次元が 1 よりも大きな複素ベクトルバンドルでは、チャーン類は完備不変量ではない。

チャーン・ヴェイユ理論の中でのチャーン類[編集]

滑らかな多様体の上のエルミートベクトルバンドルのチャーン類[編集]

微分可能多様体英語版 M の上の複素ランク英語版(complex rank) n のエルミートである複素ベクトル空間 V が与えられると、V の各々のチャーン類の表現(チャーン形式とも言う) ck(V) は、V の曲率形式 Ω の特性多項式を係数として与えられる。

\det \left(\frac {it\Omega}{2\pi} +I\right) = \sum_k c_k(V) t^k

この行列式は、M 上の偶数の複素微分形式の可換代数に係数を持つ t の多項式を、各々の要素として持つ n × n 行列の環である。V の曲率形式 Ω は次のように定義される。

\Omega=d\omega+\tfrac{1}{2}[\omega,\omega]

ここに、ω 接続形式であり、d を外微分である。さらに、ω を V のゲージ群ゲージ形式英語版として表すこととする。ここでは、スカラー t は行列式からの和を生成する不定元であり、I は n × n 単位行列を表すとする。

与えられた表現がチャーン類を表しているということは、完全形式を加えること違いを除いて、ここでは「類」を意味する。すなわち、チャーン類は、ド・ラームコホモロジーの意味でコホモロジー類である。チャーン形式のコホモロジー類が、V の接続の選択には依存していないことを示すことができる。

例:リーマン球の複素接バンドル[編集]

CP1リーマン球とすると、CP1 は 1-次元複素射影空間である。z をリーマン球の正則な局所座標であると仮定する。a を複素数として、V = TCP1 を各々の点で a∂/∂z の形式を持つ複素接ベクトルのバンドルとする。髪の毛の定理英語版(hairy ball theorem)の複素数のバージョンが証明できる、つまり V はいかなる場所でもゼロとはならないような切断を持たない。

このために次の事実を必要とする。自明バンドルの第一チャーン類はゼロである。

c_1({\mathbf C\mathbf P}^1\times {\mathbf C})=0

このことは自明バンドルは常に平坦接続を持つという事実によって示される。

従って、

c_1(V) \not= 0

を示すことにする。ケーラー計量を考える。

h = \frac{dzd\bar{z}}{(1+|z|^2)^2}

曲率 2-形式が

\Omega=\frac{2dz\wedge d\bar{z}}{(1+|z|^2)^2}

により与えられることを示すことができる。さらに第一チャーン類の定義により、

c_1= \left[\frac{i}{2\pi} \mathrm{tr} \ \Omega\right]

である。このコホモロジー類がゼロではないことを示す必要がある。このために、リーマン球の上の積分により計算する。極座標へ変換した後では、

\int c_1 dz\wedge d\bar{z} =\frac{i}{\pi}\int \frac{dz\wedge d\bar{z}}{(1+|z|^2)^2}=2

となる。ストークスの定理により、完全形式 は積分しても 0 でなければならないので、コホモロジー類はゼロではあり得ない。

これで TCP1 が自明ベクトルバンドルではありえないことが証明された。

チャーン類の性質[編集]

位相空間 X の上の複素ベクトルバンドル V が与えられると、V のチャーン類は X のコホモロジーの元の系列である。V の k-次チャーン類を普通 ck(V) と書き、この元は、

H2k(X;Z)

であり、X の整数係数を持つコホモロジーである。全チャーン類を次の式で定義することもできる。

c(V) = c_0(V) + c_1(V) + c_2(V) + \cdots

値は実数係数のコホモロジー群というよりも整数係数コホモロジー群であるから、これらのチャーン類はリーマン多様体のチャーン類の定義よりも少し精密化されている。

古典的な公理的な定義[編集]

チャーン類は次の公理を満たす。

公理 1.: 全ての V に対して、c_0(V) = 1 である。

公理 2.: 函手性(Functoriality) f : Y \to X連続で、f*V が V のベクトルバンドルの引き戻し英語版であれば、c_k(f^* V) = f^* c_k(V) である。

公理 3. ホイットニーの和公式[3] W \to X を別の複素ベクトルバンドルとすると、ベクトルバンドルの直和 V \oplus W のチャーン類は、次で与えられる。

c(V \oplus W) = c(V) \smile c(W)

すなわち、

c_k(V \oplus W) = \sum_{i = 0}^k c_i(V) \smile c_{k - i}(W)

である。

公理 4. : 正規化(Normalization) CPk 上のトートロジカルラインバンドル英語版(tautological line bundle)[4]の全チャーン類は、1−H であり、ここに H は超平面 \mathbf{CP}^{k - 1} \subseteq \mathbf{CP}^kポアンカレ双対とする。

アレクサンドル・グロタンディークの公理的アプローチ[編集]

一方、アレクサンドル・グロタンディーク Alexander Grothendieck (1958)はこれらを公理を少し小さいものに置き換えた。

  • 函手性(Functoriality): (上記に同じ)
  • 加法性(Additivity): \ 0\to E'\to E\to E''\to 0 がベクトルバンドルの完全系列であれば、c(E)=c(E')\smile c(E'') である。
  • 正規化(Normalization): E をラインバンドルとすると、c(E)=1+e(E_{\mathbf R}) となる。ここに e(E_{\mathbf R}) は基礎となる実べクトルバンドルのオイラー類英語版(Euler class)である。

グロタンディークは、ルレイ・ハーシュの定理英語版(Leray-Hirsch theorem)を使い、任意の有限ランクの複素ベクトルバンドルの全チャーン類を、トートロジカルに定義されたラインバンドルの第一チャーン類の項で定義することができることを示した。

すなわち、ランク n の複素ベクトルバンドル E → B の射影化 P(E) を任意の点 b\in B でのファイバーが B のファイバーバンドルとなっているバンドルとして導入すると、この射影化されたバンドルはファイバー Eb の射影空間となっている。このバンドル P(E) の全空間は、トートロジカル複素ラインバンドルを持っていて、これを τ と書く。第一チャーン類

c_1(\tau)=: -a

を各々のファイバー P(Eb) から超平面のポアンカレ双対クラスを引いたものへ制限する。この制限を入れると複素射影空間の観点からはファイバーのコホモロジー空間を張る。

従って、類

1, a, a^2, \ldots , a^{n-1}\in H^*(\mathbf{P}(E))

は、ファイバのコホモロジーに基底へ制限する周囲のコホモロジー類の族を形成する。ルレイ・ハーシュの定理は、H*(P(E)) の任意の元は基底上のクラスを係数に持つ 1, a, a2, ..., an−1 の線型結合として一意に表されることを言っている。

特に、グロタンディークの意味で、E のチャーン類を定義することができ、c_1(E), \ldots c_{n}(E) と書く。ここで使われるの方法は、次の関係式を満たす類 -a^n へ拡張する方法である。

 - a^n = c_1(E). a^{n-1}+ \ldots c_{n-1}(E) .a + c_{n}(E) .

従って、この代わりの定義が、他の気に入った定義、あるいは前に公理的特徴付けに使った定義に一致しているか否を検証することができるであろう。

トップチャーン類[編集]

事実、これらの性質はチャーン類を一意に特徴付ける。これらは多くの他のことのなかでも、次のことを意味している。

  • n が V の複素ランクであれば、全ての k > n に対し c_k(V) = 0 となる。このようにして全チャーン類は終了する。
  • V のトップチャーン類は(n は V のランクとしたときの c_n(V)のことを意味する)、いつでも基礎となっている実ベクトルバンドルのオイラー類英語版(Euler class)に一致する。

近接概念[編集]

チャーン指標[編集]

チャーン類は位相的K-理論英語版(topological K-theory)から有理コホモロジー(の完備化)への準同型の環の構成に使うことができる。ラインバンドル L に対し、チャーン指標(Chern character) ch は、次のように定義される。

\operatorname{ch}(L) = \exp(c_{1}(L)) := \sum_{m=0}^\infty \frac{c_1(L)^m}{m!}

さらに一般的には、V = L_1 \oplus ... \oplus L_n を第一チャーン類 x_i = c_1(L_i), をもつラインバンドルの直和とすると、チャーン指標は加法的に次のように定義される。

 \operatorname{ch}(V)  = e^{x_1} + \dots + e^{x_n} :=\sum_{m=0}^\infty \frac{1}{m!}(x_1^m + ... + x_n^m)

V がラインバンドルの和であるとき、V のチャーン類は x_i基本対称多項式英語版(Elementary symmetric polynomial)で c_i(V) = e_i(x_1,...,x_n). と表すことができることに注意する。

特に、一方では、

c(V) := \sum_{i=0}^n c_i(V)

であり、他方では、

c(V) = c(L_1 \oplus \dots \oplus L_n) = \prod_{i=1}^n c(L_i) = \prod_{i=1}^n (1+x_i) = \sum_{i=0}^n e_i(x_1,\dots,x_n)

である。

結局、ニュートンの恒等式英語版(Newton's identities)が、V のチャーン類の項のみで、ch(V) の中のベキ和を再表現できて、次の関係式を与える。

 \operatorname{ch}(V) = \operatorname{dim}(V) + c_1(V) + \frac{1}{2}(c_1(V)^2 - 2c_2(V)) + \frac{1}{6} (c_1(V)^3 - 3c_1(V)c_2(V) + 3c_3(V)) + ...,

この表現は、分裂原理英語版(splitting principle)を必須とすることにより得られるが、任意のベクトルバンドル V に対して ch(V) の定義として採用される。

接続をチャーン類の定義に使うならば、チャーン指標の明確な形式は、

\hbox{ch}(V)=\hbox{tr}\left(\exp\left(\frac{i\Omega}{2\pi}\right)\right)

である。ここに Ω は接続の曲率である。

チャーン指標は部分的には有用である。なぜならば、チャーン指標はテンソル積のチャーン類の計算することに有益であるからである。特に次の恒等式がチャーン指標の定義より結果する。

\hbox{ch}(V\oplus W)=\hbox{ch}(V)+\hbox{ch}(W)
\hbox{ch}(V\otimes W)=\hbox{ch}(V)\hbox{ch}(W).

上に述べた状に、チャーン類のグロタンディークの加法公理を使い、これらの恒等式の最初の式は、K-理論 K(X) から X 上の有理コホモロジーへの準同型アーベル群が ch であるということへ一般化できる。第二の恒等式はこの準同型が K(X) の中の積を定義し、ch が環の準同型であるという事実を確立する。

チャーン指標は、ヒルツェブルフ・リーマン・ロッホの定理で使われる。

チャーン数[編集]

次元 2n の向き付け可能な多様体を考えると、任意の全次数 2n のチャーン類の積は、向き付けホモロジー類英語版(orientation homology class)(もしくは「多様体上の積分」)によりある整数、ベクトルバンドルのチャーン数(Chern number)が与えられる。例えば、多様体の次元が 6 であれば 3 つの線型独立なチャーン数が、c13, c1c2, と c3 により与えられる。一般に、多様体の次元が 2n であれば、独立したチャーン数の可能な数は n の分割数となる。

複素(もしくは概複素)多様体の接バンドルのチャーン数は、多様体のチャーン数と呼ばれ、重要な不変量である。

一般コホモロジー論の中のチャーン類[編集]

チャーン類の理論には一般化があり、通常のコホモロジーが一般コホモロジー論英語版へ置き換わる。そのような一般化が可能である理論は、複素向き付け英語版可能(complex orientable)という。チャーン類の形式的な性質は同じままであり、一点だけ異なっている重大な部分がある。それはラインバンドルのテンソル積の第一チャーン類をファクタの第一チャーン類の項で計算するルールが、(通常の)加法的ではなく、形式群英語版の法則(formal group law)に従う。

構造を持った多様体のチャーン類[編集]

チャーン類の理論は概複素多様体コボルディズム英語版不変量を引き起こす。

M が概複素多様体であれば、その接バンドルは複素ベクトルバンドルである。従って、M のチャーン類は接バンドルのチャーン類であると定義される。M がコンパクトでもあり、次元 2d を持つとすると、チャーン類の全 2d 次の単項式(monomial)は、M の基本類英語版(fundamental class)と対にすることができ、M のチャーン数と呼ばれる整数を与える。M′が同じ次元の別の概複素多様体であれば、M′が M とコボルダントであることと、M′ のチャーン数と M のチャーン数が一致することとは同値である。

理論を、整合性のある概複素構造を媒介として、実シンプレクティックベクトルバンドルへ拡張することもできる。特に、シンプレクティック多様体は整合性を持つチャーン類を持つ。

数論的スキームの上のチャーン類とディオファントス方程式[編集]

アラケロフ幾何学英語版(Arakelov geometry)を参照)

脚注[編集]

  1. ^ 偶数次元の球面上(例えば2次元球面の上のベクトル場(髪の毛)には特異点(つむじ)があるという定理
  2. ^ Tu, Raoul Bott ; Loring W. (1995). Differential forms in algebraic topology (Corr. 3. print. ed.). New York [u.a.]: Springer. p. 267ff. ISBN 3-540-90613-4. 
  3. ^ 「ホイットニー」の名前は、ハスラー・ホイットニー英語版にちなんでいる。
  4. ^ 標準ラインバンドル(canonical line bundle)と同義語である。

関連項目[編集]

参考文献[編集]

外部リンク[編集]