チャーン類

数学では、特に代数トポロジーや微分位相幾何学や代数幾何学では、チャーン類(Chern classes)は複素ベクトル束に付随する特性類である。
チャーン類は、year=1946 で導入された。

**幾何学的アプローチ**

**基本的アイデアと動機**
チャーン類は特性類である。チャーン類は滑らかな多様体のベクトル束に付随する位相不変量である。2つの表向きは異なるベクトル束が同じか否かという疑問は、答えることが非常に難しい。チャーン類は、簡単な検証法を提供する。もし2つのベクトル束のチャーン類が一致しなければ、ベクトル束は異なる。しかし、逆は正しくはない。
トポロジーや微分幾何学や代数幾何学では、しばしば、ベクトル束がいくつの線型独立な切断を持つのかを数えることが重要となる。チャーン類は、例えばリーマン・ロッホの定理やアティヤ・シンガーの指数定理を通して、線型独立な切断の数についていくつかの情報をもたらす。
チャーン類は、実用的な計算にとっても妥当性を持っている。微分幾何学では（また、ある種の代数幾何学では）、チャーン類は曲率形式の係数の多項式として表すことができる。

**チャーン類の構成**
この問題へのアプローチには数々の方法があり、それらの各々はチャーン類の少しずつ異なる側面に焦点を当てている。
チャーン類への元々のアプローチは、代数トポロジーを通してであった。チャーン類は、分類空間への V からの写像（この場合には、無限Grassmannian(Grassmannian)である）を提供するホモトピー論を通して発生する。多様体上の任意のベクトル束 V は、分類空間の上の普遍束の引き戻しとして実現される。従って、V のチャーン類は、普遍束のチャーン類の引き戻しとして定義することができる。これらの普遍チャーン類はSchubert cycle(Schubert cycle)によって、明示的に書き下すことができる。
チャーンのアプローチは、微分幾何学を使っていて、この記事において主として述べられる曲率のアプローチを使っていた。彼は以前の定義が実は彼の定義と同値であることを示した。
アレクサンドル・グロタンディーク(Alexander Grothendieck)のアプローチもあり、彼は線束の場合の定義のみが公理論的に必要であることを示した。
チャーン類は代数幾何学で自然に発生した。代数幾何学での一般化されたチャーン類は、任意の非特異多様体の上のベクトル束（さらに詳しくは、局所自由層）に対して定義することができる。代数幾何学的なチャーン類は、基礎となる多様体が何らかの特別な性質を持っていることを要求しない。特に、ベクトル束は複素数である必要はない。
特別なことを考えずに、チャーン類の直感的な意味をベクトル束のlabel=切断(section)の｢ゼロ点を要求する｣ことに関係付ける。例えば、髪の毛の生えたボールを櫛で完全にとかすことはできないという定理のようなものです（hairy ball theorem(hairy ball theorem)）。これは厳密に言うと、実 ベクトル束（ボールの上の｢髪の毛｣は、実際には直線のコピーである）についての質問であるにもかかわらず、髪の毛が複素数である場合、あるいは他の多くの場の上の 1-次元射影空間に対し、一般化できる（以下の複素数の髪の毛のボールの定理の例を参照）。
さらなる議論はチャーン・サイモンズ理論を参照。

**線束のチャーン類**
層の理論での記述は、指数層系列を参照。
V が線束のときが、非常に重要な場合である。非自明なチャーン類のみが第一チャーン類であり、X の二次コホモロジー群の元のことである。チャーン類の先頭として、第一チャーン類は線束のオイラー類に等しい。
トポロジー的には、第一チャーン類は、複素線束の分類に使うcomplete invariant(complete invariant)である。すなわち、X の上の線束の同型類と H2(X;Z) の元の間には全単射が存在し、第一チャーン類を線束とを結び付ける。
代数幾何学では、このチャーン類による複素線束の（同型類の）分類は、因子の線型同値(linear equivalence)類による正則線束の（同型類の）分類に、実際には非常に近い存在である。
次元が 1 よりも大きな複素ベクトル束では、チャーン類は完備不変量ではない。

**チャーン・ヴェイユ理論でのチャーン類**
微分可能多様体 M の上の複素ランク（複素階数） n のエルミートである複素ベクトル束 V が与えられると、V の各々のチャーン類の表現（チャーン形式とも言う） ck(V) は、V の曲率形式 Ω の特性多項式を係数として与えられる。

この行列式は、M 上の偶数の複素微分形式の可換代数に係数を持つ t の多項式を、各々の要素として持つ n × n 行列の環である。V の曲率形式 Ω は次のように定義される。
 
ここに、ω 接続形式であり、d を外微分である。さらに、ω を V のゲージ群のgauge formとして表すこととする。ここでは、スカラー t は行列式からの和を生成する不定元であり、I は n × n 単位行列を表すとする。
与えられた表現がチャーン類を表しているということは、完全形式を加えること違いを除いて、ここでは「類」を意味する。すなわち、チャーン類は、ド・ラームコホモロジーの意味でコホモロジー類である。チャーン形式のコホモロジー類が、V の接続の選択には依存していないことを示すことができる。
行列の等式 tr(ln(X))=ln(det(X)) と ln(X + I) のマクローリン級数を使うと、このチャーン類の展開は次のようになる。


**例**

**例：リーマン球面の複素接束**
CP1 をリーマン球面とすると、CP1 は 1-次元複素射影空間である。z をリーマン球面の正則な局所座標であると仮定する。a を複素数として、V = TCP1 を各々の点で a∂/∂z の形式を持つ複素接ベクトルのベクトル束とする。hairy ball theorem(hairy ball theorem)の複素数のバージョン、つまり V はいかなる場所でもゼロとはならないような切断を持たないことを証明する。
このために次の事実を必要とする。自明ベクトル束の第一チャーン類はゼロである。
 
このことは自明ベクトル束は常に平坦接続を持つという事実によって示される。
従って、

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

曲率 2-形式が

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

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

となる。ストークスの定理により、完全形式は積分すると 0 でなければならないので、コホモロジー類はゼロではあり得ない。
これで TCP1 が自明ベクトル束ではありえないことが証明された。

**複素射影空間**
層の完全系列

が存在する。ここに  は構造層（つまり自明ベクトル束）であり、 はSerre's twisting sheaf(Serre's twisting sheaf)（つまり、hyperplane bundle(hyperplane bundle)である。
全チャーン類 c = 1 + c1 + c2 + …  の加法性（つまり、ホイットニーの和公式）
,
が成り立つ。ここに a はコホモロジー群  の標準的生成子（つまり、E* を E の双対としたとき、  であることに注意して、トートロジー線束  の第一チャーン類の負の部分である）。
特に、任意の k ≥ 0 に対し、

となる。

**チャーン多項式**
チャーン多項式は、チャーン類を扱い、系統的に考え方を関連付ける便利な方法である。定義により、複素ベクトル束 E に対し、そのチャーン多項式(Chern polynomial) ct は、

により与えられる。これは新しい不変量ではない。単純に、形式的変数 t は、次数 ck(E) の跡(track)を追い続ける。特に、 は E の全チャーン類(total Chern class)  により完全に決定される。また、逆も成立する。
ホイットニー和公式は、（以下に見るように）チャーン類の公理のひとつであるが、いわば、

の意味で、ct は加法的である。
そこで、 が（複素）ラインバンドルの直和であれば、和公式は、

から従う。ここに  は第一チャーン類である。根  は、E のチャーンの根(Chern roots)と呼ばれ、多項式の係数を決定する。つまり、

である。ここに σk はelementary symmetric polynomials(elementary symmetric polynomials)である。言い換えると、ai を形式的変数の式と考えると、ck は、σk である。対称多項式の基本的事実は、任意の多項式、たとえば、ti は、 ti の基本対称多項式である。splitting principle(splitting principle)や環理論のどちらかにより、任意のチャーン多項式  は、コホモロジー環へ拡張の後、線型要素に分解する。この議論では、E は線束の直和である必要はない。
「複素ベクトル束 E の任意の対称多項式 f を σk の基本対称多項式として書くことができ、σk を ck(E) へ置き換えることができる。」
例： 多項式 sk を  などで

とすることができる（ニュートンの恒等式を参照。）。和

は E のチャーン指標と呼ばれ、その始めのいくつかの項は、

である。
例： （E を記述からはずし）E のトッド類(Todd class)は、

で与えられる。

**チャーン類の性質**
位相空間 X の上の複素ベクトル束 V が与えられると、V のチャーン類は X のコホモロジーの元の系列である。V の k-次チャーン類を普通 ck(V) と書き、この元は、
H2k(X;Z)
であり、X の整数係数を持つコホモロジーである。全チャーン類を次の式で定義することもできる。

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

**古典的な公理的な定義**
チャーン類は次の公理を満たす。
公理 1.： 全ての V に対して、 である。
公理 2.： 自然さ( Naturality)  が連続で、f*V が V のpullback bundleであれば、 である。
公理 3. ホイットニーの和公式：  を別の複素ベクトル束とすると、ベクトル束の直和  のチャーン類は、次で与えられる。

すなわち、

である。
公理 4. ： 正規化(Normalization) CPk 上のtautological line bundle(tautological line bundle)の全チャーン類は、1−H であり、ここに H は超平面  のポアンカレ双対とする。

**アレクサンドル・グロタンディークの公理的アプローチ**
一方、アレクサンドル・グロタンディーク year=1958はこれらを公理を少し小さいものに置き換えた。- 函手性(Functoriality)： （上記に同じ）- 加法性(Additivity)：  がベクトル束の完全系列であれば、 である。- 正規化(Normalization)：  E を線束とすると、 となる。ここに  は基礎となる実ベクトル束のオイラー類である。
グロタンディークは、Leray-Hirsch theorem(Leray-Hirsch theorem)を使い、任意の有限ランクの複素ベクトル束の全チャーン類を、トートロジカルに定義された線束の第一チャーン類の項で定義することができることを示した。
すなわち、ランク n の複素ベクトル束 E → B の射影化 P(E) を任意の点  でのファイバーが B のファイバー束となっているバンドルとして導入すると、この射影化されたバンドルはファイバー Eb の射影空間となっている。このバンドル P(E) の全空間は、トートロジカル複素線束を持っていて、これを τ と書く。第一チャーン類
 
を各々のファイバー P(Eb) から超平面のポアンカレ双対クラスを引いたものへ制限する。この制限を入れると複素射影空間の観点からはファイバーのコホモロジー空間を張る。
従って、類
 
は、ファイバのコホモロジーに基底へ制限する周囲のコホモロジー類の族を形成する。ルレイ・ハーシュの定理は、H*(P(E)) の任意の元は基底上のクラスを係数に持つ 1, a, a2, ..., an−1 の線型結合として一意に表されることを言っている。
特に、グロタンディークの意味で、E のチャーン類を定義することができ、 と書く。ここで使われるの方法は、次の関係式を満たす類  へ拡張する方法である。

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

**トップチャーン類**
事実、これらの性質はチャーン類を一意に特徴付ける。これらは多くの他のことのなかでも、次のことを意味している。- n が V の複素ランクであれば、全ての k > n に対し  となる。このようにして全チャーン類は終了する。- V のトップチャーン類は（n は V のランクとしたときの のことを意味する）、いつでも基礎となっている実ベクトルバンドルのオイラー類に一致する。

**近接概念**

**チャーン指標**
チャーン類はtopological K-theory(topological K-theory)から有理コホモロジー（の完備化）への準同型の環の構成に使うことができる。線束 L に対し、チャーン指標(Chern character) ch は、次のように定義される。

さらに一般的には、 を第一チャーン類  をもつ線束の直和とすると、チャーン指標は加法的に次のように定義される。

V が線束の和であるとき、V のチャーン類は  のElementary symmetric polynomial(Elementary symmetric polynomial)で  と表すことができることに注意する。
特に、一方では、

であり、他方では、

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

この表現は、splitting principle(splitting principle)を必須とすることにより得られるが、任意のベクトル束 V に対して ch(V) の定義として採用される。
底空間が多様体のときに接続をチャーン類の定義に使う（チャーン・ヴェイユ理論）ならば、チャーン指標の明確な形式は、
 
である。ここに Ω は接続の曲率である。
チャーン指標は、ある部分では有用である。なぜならば、チャーン指標はテンソル積のチャーン類の計算することに役に立つからである。特に次の恒等式がチャーン指標の定義より結果する。


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

**チャーン数**
次元 2n の向き付け可能な多様体を考えると、任意の全次数 2n のチャーン類の積は、基本類(orientation homology class)（もしくは｢多様体上の積分｣）によりある整数、ベクトル束のチャーン数(Chern number)が与えられる。例えば、多様体の次元が 6 であれば 3 つの線型独立なチャーン数が、c13, c1c2, と c3 により与えられる。一般に、多様体の次元が 2n であれば、独立したチャーン数の可能な数は n の分割数となる。
複素（もしくは概複素）多様体の接束のチャーン数は、多様体のチャーン数と呼ばれ、重要な不変量である。

**一般コホモロジー論の中のチャーン類**
チャーン類の理論には一般化があり、通常のコホモロジーがgeneralized cohomology theoryへ置き換わる。そのような一般化が可能である理論は、Complex_cobordism#Formal group laws可能(complex orientable)という。チャーン類の形式的な性質は同じままであり、一点だけ異なっている重大な部分がある。それは線束のテンソル積の第一チャーン類をファクタの第一チャーン類の項で計算するルールが、（通常の）加法的ではなく、formal groupの法則(formal group law)に従う。

**構造を持った多様体のチャーン類**
チャーン類の理論は概複素多様体のコボルディズム不変量を引き起こす。
M が概複素多様体であれば、その接束は複素ベクトル束である。従って、M のチャーン類は接束のチャーン類であると定義される。M がコンパクトでもあり、次元 2d を持つとすると、チャーン類の全 2d 次の単項式は、M の基本類と対にすることができ、M のチャーン数と呼ばれる整数を与える。M′が同じ次元の別の概複素多様体であれば、M′が M とコボルダントであることと、M′ のチャーン数と M のチャーン数が一致することとは同値である。
理論を、整合性のある概複素構造を媒介として、実シンプレクティックベクトル束へ拡張することもできる。特に、シンプレクティック多様体は整合性を持つチャーン類を持つ。

**数論的スキームの上のチャーン類とディオファントス方程式**
（Arakelov geometry(Arakelov geometry)を参照）

**脚注**

**関連項目**
 ポントリャーギン類- スティーフェル・ホイットニー類- オイラー類- Segre class(Segre class)

**参考文献**
 Citation | last1=Chern | first1=S. S. | title=Characteristic classes of Hermitian Manifolds | year=1946 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=47 | issue=1 | pages=85–121 | doi=10.2307/1969037 | publisher=The Annals of Mathematics, Vol. 47, No. 1 |jstor=1969037- Citation | last1=Jost | first1=Jürgen | title=Riemannian Geometry and Geometric Analysis | publisher=Springer-Verlag | location=Berlin, New York | edition=4th | isbn=978-3-540-25907-7 | year=2005 (Provides a very short, introductory review of Chern classes).-  volume=76

**外部リンク**
  Vector Bundles & K-Theory - A downloadable book-in-progress by Allen Hatcher. Contains a chapter about characteristic classes.
*Dieter Kotschick,  Chern numbers of algebraic varieties