チャーン類
数学では、特に代数トポロジーや微分位相幾何学や代数幾何学では、チャーン類(Chern classes)は複素ベクトルバンドルに付随する特性類である。
チャーン類は、 で導入された。
チャーン類は特性類である。チャーン類は滑らかな多様体のベクトルバンドルに付随する位相不変量である。2つの表向きは異なるベクトルバンドルが同じか否かという疑問は、答えることが非常に難しい。チャーン類は、簡単な検証法を提供する。もし2つのベクトルバンドルのチャーン類が一致しなければ、ベクトルバンドルは異なる。しかし、逆は正しくはない。
トポロジーや微分幾何学や代数幾何学では、しばしば、ベクトルバンドルがいくつの線型独立な切断を持つのかを数えることが重要となる。チャーン類は、例えばリーマン・ロッホの定理やアティヤ・シンガーの指数定理を通して、線型独立な切断の数についていくつかの情報をもたらす。
チャーン類は、実用的な計算にとっても妥当性を持っている。微分幾何学では（また、ある種の代数幾何学では）、チャーン類は曲率形式の係数の多項式として表すことができる。
この問題へのアプローチには数々の方法があり、それらの各々はチャーン類の少しずつ異なる側面に焦点を当てている。
チャーン類への元々のアプローチは、代数トポロジーを通してであった。チャーン類は、分類空間への V からの写像（この場合には、無限(Grassmannian)である）を提供するホモトピー論を通して発生する。多様体上の任意のベクトルバンドル V は、分類空間の上の普遍バンドルの引き戻しとして実現される。従って、V のチャーン類は、普遍バンドルのチャーン類の引き戻しとして定義することができる。これらの普遍チャーン類は(Schubert cycle)によって、明示的に書き下すことができる。
チャーンのアプローチは、微分幾何学を使っていて、この記事において主として述べられる曲率のアプローチを使っていた。彼は以前の定義が実は彼の定義と同値であることを示した。
アレクサンドル・グロタンディーク(Alexander Grothendieck)のアプローチもあり、彼はラインバンドルの場合の定義のみが公理論的に必要であることを示した。
チャーン類は代数幾何学で自然に発生した。代数幾何学での一般化されたチャーン類は、任意の非特異多様体の上のベクトルバンドル（さらに詳しくは、局所自由層）に対して定義することができる。代数幾何学的なチャーン類は、基礎となる多様体が何らかの特別な性質を持っていることを要求しない。特に、ベクトルバンドルは複素数である必要はない。
特別なことを考えずに、チャーン類の直感的な意味をベクトルバンドルの(section)の｢ゼロ点を要求する｣ことに関係付ける。例えば、髪の毛の生えたボールを串で完全にとかすことはできないという定理のようなものです（(hairy ball theorem)）。これは厳密に言うと、実 ベクトルバンドル（ボールの上の｢髪の毛｣は、実際には直線のコピーである）についての質問であるにも関わらず、髪の毛が複素数である場合、あるいは他の多くの場の上の 1-次元射影空間に対し、一般化できる（以下の複素数の髪の毛のボールの定理の例を参照）。
さらなる議論はチャーン・サイモンズ理論を参照。
V がラインバンドルのときが、非常に重要な場合である。非自明なチャーン類のみが第一チャーン類であり、X の二次コホモロジー群の元のことである。チャーン類の先頭として、第一チャーン類はバンドルのオイラー類に等しい。
トポロジー的には、第一チャーン類は、複素ラインバンドルの分類に使う(complete invariant)である。すなわち、X の上のラインバンドルの同型類と H(X;Z) の元の間には全単射が存在し、第一チャーン類をラインバンドルとを結び付ける。
代数幾何学では、このチャーン類による複素ラインバンドルの（同型類の）分類は、因子の(linear equivalence)類による正則ラインバンドルの（同型類の）分類に、実際には非常に近い存在である。
次元が 1 よりも大きな複素ベクトルバンドルでは、チャーン類は完備不変量ではない。
微分可能多様体 M の上の複素ランク（複素階数） n のエルミートである複素ベクトル空間 V が与えられると、V の各々のチャーン類の表現（チャーン形式とも言う） c(V) は、V の曲率形式 Ω の特性多項式を係数として与えられる。
この行列式は、M 上の偶数の複素微分形式の可換代数に係数を持つ t の多項式を、各々の要素として持つ n × n 行列の環である。V の曲率形式 Ω は次のように定義される。
ここに、ω 接続形式であり、d を外微分である。さらに、ω を V のゲージ群のとして表すこととする。ここでは、スカラー t は行列式からの和を生成する不定元であり、I は n × n 単位行列を表すとする。
与えられた表現がチャーン類を表しているということは、完全形式を加えること違いを除いて、ここでは「類」を意味する。すなわち、チャーン類は、ド・ラームコホモロジーの意味でコホモロジー類である。チャーン形式のコホモロジー類が、V の接続の選択には依存していないことを示すことができる。
行列の等式 tr(ln(X))=ln(det(X)) と ln(X + I) のマクローリン級数を使うと、このチャーン類の展開は次のようになる。
CP をリーマン球面とすると、CP は 1-次元複素射影空間である。z をリーマン球面の正則な局所座標であると仮定する。a を複素数として、V = TCP を各々の点で a∂/∂z の形式を持つ複素接ベクトルのバンドルとする。(hairy ball theorem)の複素数のバージョン、つまり V はいかなる場所でもゼロとはならないような切断を持たないことを証明する。
このために次の事実を必要とする。自明バンドルの第一チャーン類はゼロである。
このことは自明バンドルは常に平坦接続を持つという事実によって示される。
従って、
を示すことにする。ケーラー計量を考える。
曲率 2-形式が
により与えられることを示すことができる。さらに第一チャーン類の定義により、
である。このコホモロジー類がゼロではないことを示す必要がある。このためには、リーマン球面上の積分を計算すればよい。極座標へ変換した後では、
となる。ストークスの定理により、完全形式は積分すると 0 でなければならないので、コホモロジー類はゼロではあり得ない。
これで TCP が自明ベクトルバンドルではありえないことが証明された。
層の完全系列
が存在する。ここに formula_11 は構造層（つまり自明バンドル）であり、formula_12 は(Serre's twisting sheaf)（つまり、(hyperplane bundle)である。
全チャーン類 "c" = 1 + "c" + "c" + … の加法性（つまり、ホイットニーの和公式）
が成り立つ。ここに "a" はコホモロジー群 formula_14 の標準的生成子（つまり、"E" を "E" の双対としたとき、 formula_15 であることに注意して、トートロジーラインバンドル formula_16 の第一チャーン類の負の部分である）。
特に、任意の "k" ≥ 0 に対し、
となる。
チャーン多項式は、チャーン類を扱い、系統的に考え方を関連付ける便利な方法である。定義により、複素ベクトルバンドル "E" に対し、そのチャーン多項式(Chern polynomial) "c" は、
により与えられる。これは新しい不変量ではない。単純に、形式的変数 "t" は、次数 "c"("E") の跡(track)を追い続ける。特に、formula_19 は "E" の全チャーン類(total Chern class) formula_20 により完全に決定される。また、逆も成立する。
ホイットニー和公式は、（以下に見るように）チャーン類の公理のひとつであるが、いわば、
の意味で、"c" は加法的である。
そこで、formula_22 が（複素）ラインバンドルの直和であれば、和公式は、
から従う。ここに formula_24 は第一チャーン類である。根 formula_25 は、"E" のチャーンの根(Chern roots)と呼ばれ、多項式の係数を決定する。つまり、
である。ここに σ は(elementary symmetric polynomials)である。言い換えると、"a" を形式的変数の式と考えると、"c" は、σ である。対称多項式の基本的事実は、任意の多項式、たとえば、"t" は、 "t" の基本対称多項式である。(splitting principle)や環理論のどちらかにより、任意のチャーン多項式 formula_19 は、コホモロジー環へ拡張の後、線型要素に分解する。この議論では、"E" はラインバンドルの直和である必要はない。
例： 多項式 "s" を formula_28 などで
とすることができる（ニュートンの恒等式を参照。）。和
は "E" のチャーン指標と呼ばれ、その始めのいくつかの項は、
である。
例： （"E" を記述からはずし）"E" のトッド類(Todd class)は、
で与えられる。
位相空間 X の上の複素ベクトルバンドル V が与えられると、V のチャーン類は X のコホモロジーの元の系列である。V の k-次チャーン類を普通 c(V) と書き、この元は、
であり、X の整数係数を持つコホモロジーである。全チャーン類を次の式で定義することもできる。
値は実数係数のコホモロジー群というよりも整数係数コホモロジー群であるから、これらのチャーン類はリーマン多様体のチャーン類の定義よりも少し精密化されている。
チャーン類は次の公理を満たす。
公理 1.： 全ての V に対して、formula_34 である。
公理 2.： 自然さ( Naturality) formula_35 が連続で、f*V が V のであれば、formula_36 である。
公理 3. ホイットニーの和公式： formula_37 を別の複素ベクトルバンドルとすると、ベクトルバンドルの直和 formula_38 のチャーン類は、次で与えられる。
すなわち、
である。
公理 4. ： 正規化(Normalization) CP 上の(tautological line bundle)の全チャーン類は、1−H であり、ここに H は超平面 formula_41 のポアンカレ双対とする。
一方、アレクサンドル・グロタンディーク はこれらを公理を少し小さいものに置き換えた。
グロタンディークは、(Leray-Hirsch theorem)を使い、任意の有限ランクの複素ベクトルバンドルの全チャーン類を、トートロジカルに定義されたラインバンドルの第一チャーン類の項で定義することができることを示した。
すなわち、ランク n の複素ベクトルバンドル E → B の射影化 P(E) を任意の点 formula_46 でのファイバーが B のファイバーバンドルとなっているバンドルとして導入すると、この射影化されたバンドルはファイバー E の射影空間となっている。このバンドル P(E) の全空間は、トートロジカル複素ラインバンドルを持っていて、これを τ と書く。第一チャーン類
を各々のファイバー P(E) から超平面のポアンカレ双対クラスを引いたものへ制限する。この制限を入れると複素射影空間の観点からはファイバーのコホモロジー空間を張る。
従って、類
は、ファイバのコホモロジーに基底へ制限する周囲のコホモロジー類の族を形成する。ルレイ・ハーシュの定理は、H*(P(E)) の任意の元は基底上のクラスを係数に持つ 1, a, a, ..., a の線型結合として一意に表されることを言っている。
特に、グロタンディークの意味で、E のチャーン類を定義することができ、formula_49 と書く。ここで使われるの方法は、次の関係式を満たす類 formula_50 へ拡張する方法である。
従って、この代わりの定義が、他の気に入った定義、あるいは前に公理的特徴付けに使った定義に一致しているか否を検証することができるであろう。
事実、これらの性質はチャーン類を一意に特徴付ける。これらは多くの他のことのなかでも、次のことを意味している。チャーン類は(topological K-theory)から有理コホモロジー（の完備化）への準同型の環の構成に使うことができる。ラインバンドル L に対し、チャーン指標(Chern character) ch は、次のように定義される。
さらに一般的には、formula_55 を第一チャーン類 formula_56 をもつラインバンドルの直和とすると、チャーン指標は加法的に次のように定義される。
V がラインバンドルの和であるとき、V のチャーン類は formula_58 の(Elementary symmetric polynomial)で formula_59 と表すことができることに注意する。
特に、一方では、
であり、他方では、
である。
結局、(Newton's identities)が、V のチャーン類の項のみで、ch(V) の中のベキ和を再表現できて、次の関係式を与える。
この表現は、(splitting principle)を必須とすることにより得られるが、任意のベクトルバンドル V に対して ch(V) の定義として採用される。
底空間が多様体のときに接続をチャーン類の定義に使う（チャーン・ヴェイユ理論）ならば、チャーン指標の明確な形式は、
である。ここに Ω は接続の曲率である。
チャーン指標は、ある部分では有用である。なぜならば、チャーン指標はテンソル積のチャーン類の計算することに役に立つからである。特に次の恒等式がチャーン指標の定義より結果する。
上に述べたように、チャーン類のグロタンディークの加法公理を使い、これらの恒等式の最初の式は、K-理論 K(X) から X 上の有理コホモロジーへの準同型のアーベル群が ch であるということへ一般化できる。第二の恒等式はこの準同型が K(X) の中の積を定義し、ch が環の準同型であるという事実を確立する。
チャーン指標は、ヒルツェブルフ・リーマン・ロッホの定理で使われる。
次元 2n の向き付け可能な多様体を考えると、任意の全次数 2n のチャーン類の積は、(orientation homology class)（もしくは｢多様体上の積分｣）によりある整数、ベクトルバンドルのチャーン数(Chern number)が与えられる。例えば、多様体の次元が 6 であれば 3 つの線型独立なチャーン数が、c, cc, と c により与えられる。一般に、多様体の次元が 2n であれば、独立したチャーン数の可能な数は n の分割数となる。
複素（もしくは概複素）多様体の接バンドルのチャーン数は、多様体のチャーン数と呼ばれ、重要な不変量である。
チャーン類の理論には一般化があり、通常のコホモロジーがへ置き換わる。そのような一般化が可能である理論は、可能(complex orientable)という。チャーン類の形式的な性質は同じままであり、一点だけ異なっている重大な部分がある。それはラインバンドルのテンソル積の第一チャーン類をファクタの第一チャーン類の項で計算するルールが、（通常の）加法的ではなく、の法則(formal group law)に従う。
チャーン類の理論は概複素多様体の不変量を引き起こす。
M が概複素多様体であれば、その接バンドルは複素ベクトルバンドルである。従って、M のチャーン類は接バンドルのチャーン類であると定義される。M がコンパクトでもあり、次元 2d を持つとすると、チャーン類の全 2d 次の単項式は、M の基本類と対にすることができ、M のチャーン数と呼ばれる整数を与える。M′が同じ次元の別の概複素多様体であれば、M′が M とコボルダントであることと、M′ のチャーン数と M のチャーン数が一致することとは同値である。
理論を、整合性のある概複素構造を媒介として、実シンプレクティックベクトルバンドルへ拡張することもできる。特に、シンプレクティック多様体は整合性を持つチャーン類を持つ。
（(Arakelov geometry)を参照）