0-1 本書の読み方

本書を読むのに要る分野を整理し、頁ごとの前提の対応表と、目的別の読書経路を示す。本書の中心は、射影束と旗の束からChern類を一意に特徴づける第1〜3章、λ環とChow環・K群の比較を扱う第4章、正則切断の零点を扱う第5章である。全ての前提を先に学ぶ必要はなく、関心のある経路に必要な項目だけを第0章で補えばよい。

本書の使い方

本書は、Alexander Grothendieckの論文「La théorie des classes de Chern」（1958年、Gro58）を道案内にして、代数的ベクトル束のChern類の公理的理論を解説する。原論文はBorel–SerreのRiemann–Roch論文 BS58 の付録として書かれ、射影束のサイクル類環を出発点に、Chow環、Hodge型コホモロジー、整係数コホモロジーに共通する形でChern類を構成する。
本書は原論文の翻訳ではない。内容を次の五つの主題へ組み直している。

1. 射影束と旗の束による完全分裂
2. 公理系と三つのモデル
3. Chern類の定義・一意性・存在と基本演算
4. λ環、完備Chern類、Chow環とK群の比較
5. 射影的完備化と正則切断の零点サイクル
   第1〜3章では、理論の「器」と、その器の上で特徴づけられるChern類を区別する。公理を満たす反変関手 $A$ 自身が一意であるとは主張しない。Chow環、Hodge型コホモロジー、整係数コホモロジーは異なる器であり、それぞれの器の中で、関手性・線束での正規化・短完全列に対する乗法性を満たすChern類が一意になる。旗の束への引き戻しが単射であることが、この一意性の核心である。
   第4章は二つの時間層を含む。λ環と特殊λ環、完備Chern類、式 (8)〜(16) は原論文自身に現れる。一方、pre-λ環という現在の呼称、自由特殊λ環・完備対称関数環による普遍演算の整理、Chern指標とGrothendieck–Riemann–Rochによる式 (16) の説明は後代の言葉である。本書は、原論文が述べたことと、後代の理論で補うことを分ける。
   第5章では、横断的切断の滑らかな零点部分空間、任意切断による零切断像の引き戻し、非横断的切断の重複度付き零点サイクルを区別する。三者は同じ最高次Chern類へ結びつくが、仮定と対象が違う。とくに $\mathbb P^1$ 上の $\mathcal O(2)$ の二重零点は、横断性を外して被約零点集合だけを使うと式 (18) が壊れることを示す。
   各頁の主張には状態を付ける。

• 完結：本書内の証明と、明記した古典的前提だけで論証が閉じている。
• 条件付き完結：特定した外部定理を仮定すれば閉じるが、その入力を本書内では証明していない。
• 未完結：必要な一般定理、仮定、係数範囲を確定できず、証明を閉じていない。
• 偽：記された仮定のままでは成り立たず、反例がある。
  状態札は原論文の評価と本書の評価を混ぜないためのものである。本書が省略された証明を補って完結させた場合でも、「原論文の紙面に証明が書かれていた」という意味にはならない。反対に、後代の定理が知られていても、1958年当時に未解決または制限付きだったという歴史的記録は消さない。
  第0章の使い方は三通りある。

1. 最初に全体像を得る：本頁の前提表と読書経路を読み、本書『0-5 記号と約束』で記号と状態札を確認する。
2. 読書中に必要な背景だけ補う：幾何は本書『0-2 ベクトル束・射影束・旗多様体』、交叉理論は本書『0-3 Chow 環と交叉理論の初歩』、コホモロジーとK群は本書『0-4 コホモロジー的モデルと K 群』へ戻る。
3. 原論文と照合する：各頁末尾の「原論文との対応表」で、式番号・節・印字頁・状態を確認する。

章ごとの見取り図

第1章は幾何の準備である。『1-1 射影束と標準線束』は、射影束を直線の空間として定義する規約、標準線束 $L_E=\mathcal O(1)$、射影束関係式を固定する。『1-2 旗多様体と完全分裂』は、反復射影束として旗の束を作り、引き戻した束に商線束の完全旗を与える。重要なのは「旗の束上で分裂する」ことだけでなく、射影束公式を反復して引き戻しが単射になることである。『1-3 正則切断・零点サイクル・横断性』は、後の標準切断を局所座標で調べるため、正則列、期待余次元、横断性、局所長による重複度を準備する。
第2章は器を定める。『2-1 公理 A 1〜A 4 と補題 2』は、射影束公式、基本類、線束の第1類、横断的零点の積を一つの公理系へまとめる。空集合を対象に含める条件と $A(\emptyset)=0$ は別の仮定であり、標準切断列の最後から積の消滅を導くときに両方を使う。『2-2 三つのモデル』はChow環、Hodge型コホモロジー、整係数コホモロジーで公理を検証する。ここで一つの普遍的な環を構成するのではなく、異なる三つの器が同じ証明形式を受け入れることを示す。
第3章は原論文の定理1を扱う。『3-1 Chern 類の定義と一意性』は、線束の第1類を旗の束上で掛け合わせ、基本対称式をChern類として読む。一意性は旗の束への引き戻しの単射性に依存する。『3-2 存在の証明』は、射影束公式から定めた係数が関手性・正規化・乗法性を満たすことを、標準切断と補題2で示す。『3-3 双対・外冪・テンソル積』は、根の符号、部分和、二群の根の和を対称式へ降ろし、低次公式と反例まで与える。
第4章はChern類をK理論へ接続する。『4-1 λ 環と完備 Chern 類』は、階数を全Chern類と組にすることで、直和・テンソル積・外冪を加法・乗法・λ演算として一つの構造にする。『4-2 K 群のフィルトレーションと Chow 環』は、連接層のK群を支持余次元で濾過し、Chow環からの $\varphi$ と完備Chern類からの $\psi$ を比較する。値域の積は通常積ではなくstar積であり、Newton恒等式から階乗係数が現れる。
第5章は最高次Chern類の幾何を扱う。『5-1 射影的完備化と補題 3』は、$E$ を $P(E\oplus\mathbf1)$ のアフィン部分として埋め、零切断像の類を式 (17) で計算する。『5-2 零点サイクルの類』は、その式を切断で引き戻して式 (18) と (18 bis) を得る。横断的な滑らかな零点、任意切断の引き戻し類、期待余次元の重複度付き零点サイクル、射影的完備化内の切断像を四つの別の主張として整理する。

本書を読むのに要る分野

「◎」は複数の頁で証明の中心に使うもの、「○」は一部の頁で使うもの、「△」は背景または後代の位置づけとして知っていればよいものを表す。

幾何の出発点は本書『0-2 ベクトル束・射影束・旗多様体』である。ベクトル束を局所自由層として扱うこと、$P(E)$ を1次元部分空間の空間とすること、$L_E=\mathcal O_{P(E)}(1)$ の双対がトートロジカル部分線束であること、旗の束が反復射影束であることを確認する。
Chow環と交叉理論は本書『0-3 Chow 環と交叉理論の初歩』にまとめる。第5章の横断的零点までは公理A5で扱うが、非横断的な零点の重複度をChow類へ読む段にはrefined Gysin写像または局所化最高Chern類が必要である。
コホモロジー的な二つのモデルとK群は本書『0-4 コホモロジー的モデルと K 群』に置く。ここではHodgeコホモロジー、整係数コホモロジー、$K_0^{\mathrm{vb}}$ と $K_0^{\mathrm{coh}}$、pre-λ環と特殊λ環、支持フィルトレーションを区別する。第4章だけを読みたい場合も、二つのK群の区別は先に確認する。
記号と規約は本書『0-5 記号と約束』を正本とする。とくに $P(E)$ の規約、$L_E$ と $L_E^\vee$、次数を半分にした $A^i(X)$、完備Chern類 $\widetilde c(E)$、射影的完備化 $\widehat E=P(E\oplus\mathbf1)$、通常積とstar積を混同しない。

頁ごとの前提の対応表

「頁の前提」には、その頁の証明を追う前に読んでおくとよい本書の頁を挙げる。「◎」は証明の中心、「○」は一部で使用、空欄はほとんど使わないことを表す。

表から読み取れる要点は四つある。

• 射影束公式と旗の束は本書全体の共通言語である。第3章の一意性と存在、第5章の零切断像の計算は、どちらも完全分裂後の式を旗の束への引き戻しの単射性で底へ戻す。
• 局所交叉の知識が最も重要なのは『1-3 正則切断・零点サイクル・横断性』と第5章である。横断性、正則列、局所長を区別すれば、被約零点と重複度付き零点を混同しにくい。
• コホモロジーが証明の中心になるのは『2-2 三つのモデル』である。第3章以後は、公理を検証済みの器として使うため、Hodge理論や指数完全列へ毎回戻る必要はない。
• K群と対称関数は第4章で集中して必要になる。第3章までを読むだけなら、λ環の一般論を先に学ぶ必要はない。

読む順序の案

定理1を中心に読む道

原論文の中心であるChern類の一意性と存在の証明を、必要な前提を省かずに追う順序は次である。
『1-1 射影束と標準線束』→『1-2 旗多様体と完全分裂』→『1-3 正則切断・零点サイクル・横断性』→『2-1 公理 A 1〜A 4 と補題 2』→『3-1 Chern 類の定義と一意性』→『3-2 存在の証明』→『3-3 双対・外冪・テンソル積』
『1-1 射影束と標準線束』で射影束公式と標準線束の符号を固定し、『1-2 旗多様体と完全分裂』で引き戻しの単射性と完全旗を得る。『2-1 公理 A 1〜A 4 と補題 2』は、標準切断の逐次零点をChern根の積へ変える装置である。『3-1 Chern 類の定義と一意性』では、二つの候補が旗の束上で一致し、単射性で底へ戻る。『3-2 存在の証明』では、射影束関係式と標準切断の横断性から実際のChern類を構成する。最後に『3-3 双対・外冪・テンソル積』で分裂原理の計算を基本演算へ広げる。
正則切断と横断性を既知として結論だけ確認する場合に限り、『1-3 正則切断・零点サイクル・横断性』を省いた短縮経路を使える。補題2の証明を追う完全経路では省かない。

三つのモデルを比較する道

公理系がどの理論を同時に扱うかを見る順序は次である。
『0-3 Chow 環と交叉理論の初歩』・『0-4 コホモロジー的モデルと K 群』→『1-1 射影束と標準線束』→『1-2 旗多様体と完全分裂』→『1-3 正則切断・零点サイクル・横断性』→『2-1 公理 A 1〜A 4 と補題 2』→『2-2 三つのモデル』→『3-1 Chern 類の定義と一意性』
『2-2 三つのモデル』はChow環、Hodge型コホモロジー、整係数コホモロジーを同じ公理に照らして検証する。ここで同じなのはChern類を特徴づける形式であり、三つの環そのものではない。モデルごとの射影束公式、押し出し、正規化の由来を比較してから第3章へ進むと、「器」と「Chern類の特徴づけ」の二層が見えやすい。

λ環とChow環へ進む道

第4章を読む順序は次である。
『0-3 Chow 環と交叉理論の初歩』・『0-4 コホモロジー的モデルと K 群』→『1-1 射影束と標準線束』→『1-2 旗多様体と完全分裂』→『1-3 正則切断・零点サイクル・横断性』→『2-1 公理 A 1〜A 4 と補題 2』→『3-1 Chern 類の定義と一意性』→『3-2 存在の証明』→『3-3 双対・外冪・テンソル積』→『4-1 λ 環と完備 Chern 類』→『4-2 K 群のフィルトレーションと Chow 環』
『4-1 λ 環と完備 Chern 類』では、有限個のChern根についての対称式計算と、任意の仮想階数・完備係数列への普遍降下を分ける。普遍環積、pre-λ構造、特殊性は外部の普遍降下定理に依存して条件付き完結である。ベクトル束上の完備Chern類の直和・テンソル積・外冪の公式は完結している。連接層の $K_0^{\mathrm{coh}}$ への延長には有限局所自由分解が要る。
『4-2 K 群のフィルトレーションと Chow 環』では、通常積とstar積を区別する。式 (16) は、段階的横断完全交叉では整数係数で完結、一般の非特異閉埋め込みではGrothendieck–Riemann–Rochによる有理係数の条件付き完結、一般整数係数では未完結である。この区別は式 (15) と $\varphi$・$\psi$ の同型性にも引き継がれる。$\varphi\otimes\mathbb Q$ が同型でも、整数係数の捩れが零とは限らない。

零点サイクルを読む道

最高次Chern類が零点を数える仕組みを追う順序は次である。
『0-3 Chow 環と交叉理論の初歩』→『1-1 射影束と標準線束』→『1-2 旗多様体と完全分裂』→『1-3 正則切断・零点サイクル・横断性』→『2-1 公理 A 1〜A 4 と補題 2』→『3-1 Chern 類の定義と一意性』→『3-2 存在の証明』→『3-3 双対・外冪・テンソル積』→『5-1 射影的完備化と補題 3』→『5-2 零点サイクルの類』
『5-1 射影的完備化と補題 3』は $E$ を $P(E\oplus\mathbf1)$ に埋め、零切断像の類を式 (17) で計算する。旗の束への滑らかな底変換にはA5、完全分裂後の標準切断列には補題2を使う。階数 $p+1$ の列の最終零点が空集合になるため、$\emptyset\in\mathbf V$ と $A(\emptyset)=0$ の両方が必要である。
『5-2 零点サイクルの類』では、横断的切断の式 (18) は完結し、任意切断の式 (18 bis) も引き戻し公式として完結する。しかし任意切断の零点スキームを重複度付きサイクルへ読み替える段はrefined Gysin写像に依存して条件付き完結である。二重零点の例は、被約零点集合だけでは次数が失われることを示す。

原論文と数学史を対比する道

最初に本書『0-5 記号と約束』の「原論文の引き方」「数学に関わる誤植」「未解決の箇所」を読み、その後、各頁の「原論文との対応表」だけを順に読む。特に次の点を追うとよい。

• 原論文の定理1がChern類をどの三性質で特徴づけ、旗の束をどこで使うか。
• §4でλ環が原論文自身に既に現れ、後代的なのは主として用語と体系化であること。
• 非準射影の場合のChow環、$\varphi$ の整数係数での同型性、λ環を用いた当時のRiemann–Roch証明の標数0制限を別々に扱うこと。
• 原論文の文献 [4] の印字はChevalleyセミナーの「Classification des groupes de Lie algébriques」Che58 であり、Chow環に関する内容上の関連所在 Gro58b と無言で置換しないこと。
• 原論文の省略を本書が補った証明と、後代の定理に依存する説明を区別すること。

背景が薄い読者のための準備順

前提を一から補う場合は次の順を勧める。

1. 可換環とスキーム：局所化、ネーター環、素イデアル、正則局所環、スキーム、滑らかな射、閉埋め込み（Har77、EGA2）。
2. 局所自由層とベクトル束：短完全列、線束、双対、外冪、テンソル積、切断と零点。本書『0-2 ベクトル束・射影束・旗多様体』の前半。
3. 射影束と旗の束：$P(E)$、$\mathcal O(1)$、射影束公式、反復射影束、完全旗。同頁の後半と本書『1-1 射影束と標準線束』。
4. Chow群と交叉積：サイクル、有理同値、Cartier因子、基本類、適正交叉、押し出しと引き戻し（Ful98）。本書『0-3 Chow 環と交叉理論の初歩』。
5. 横断性と正則列：切断の微分、期待余次元、Koszul複体、局所環の長さ。本書『1-3 正則切断・零点サイクル・横断性』。
6. 層コホモロジーの基本：射影束のLeray–Hirsch型公式、Hodgeコホモロジー、指数完全列。本書『0-4 コホモロジー的モデルと K 群』の前半。『2-2 三つのモデル』の前に補えばよい。
7. Grothendieck群：ベクトル束と連接層の二つの $K_0$、有限局所自由分解、導来テンソル積とTor。本書『0-4 コホモロジー的モデルと K 群』の後半。第4章の前に補えばよい。
8. 対称関数とλ環：基本対称式、冪和、Newton恒等式、pre-λ環、特殊λ環（Mac95、SGA6）。『3-3 双対・外冪・テンソル積』と第4章の前に補えばよい。
9. Chern指標とRiemann–Roch：Chern指標、Todd類、正則閉埋め込みのGrothendieck–Riemann–Roch（SGA6、Ful98）。『4-2 K 群のフィルトレーションと Chow 環』の式 (16) の有理版を読むときだけ必要である。

先に確認すべき状態上の境界

本書を通読する前に、結論の強さを誤読しやすい箇所をまとめる。

1. 公理的理論の一意性ではない。一意なのは、固定した器 $A$ の上で三性質を満たすChern類である。
2. Chern根は底の環に実在するとは限らない。旗の束上の商線束の第1類を計算装置として用い、対称式だけを底へ降ろす。
3. 普遍λ構造は条件付きである。有限根の計算から任意の完備係数列へ移る表示独立な降下は外部入力である。
4. 式 (16) は係数と幾何的範囲で状態が違う。段階的横断完全交叉の整数版、一般非特異閉埋め込みの有理版、一般整数版を分ける。
5. 有理同型は整数同型ではない。階乗で殺される捩れが残り得る。原論文自身も $\varphi$ が整数係数で同型か知らないと記す。
6. 横断性を外した零点は被約化しない。被約零点集合ではなく、局所長を係数とする零点サイクルが最高次Chern類に対応する。
7. 標数0制限の場所を移さない。制限は普遍λ環の構成ではなく、1958年当時のλ環によるRiemann–Roch証明に付く。
   各頁の冒頭の「この頁で示すこと」だけを順に読めば、主結果と状態の全体像を短時間で得られる。その後、定理1、三つのモデル、λ環・Chow環、零点サイクル、原典校合のいずれかの道を選び、必要な第0章の頁へ戻るのが最も効率的である。
   参考文献を追うときは、まず各頁末尾の対応表で原論文の印字頁を確認し、次に本文中の参考文献ラベルを参考文献一覧で引く。原論文の記述を確認する参照、古典的前提を補う参照、後代の一般化を説明する参照は役割が異なる。たとえば Gro58 は主張の歴史的所在、Ful98 は後代の交叉理論、Mac95 と SGA6 は対称関数・λ環・Riemann–Rochの体系を確認するために使う。後代の文献により強い定理があっても、それを原論文自身の証明として記述しない。
   また、頁を単独で読む場合も本書『0-5 記号と約束』の表だけは併用するとよい。同じ文字 $A(X)$ が一般の公理的理論とChow環の両方に現れ、$K(X)$ もベクトル束と連接層の文脈で読み分けを要する。記号の型、写像の向き、係数環を確認してから式を追うことが、状態札を正しく読む最短の方法である。
   以上の読み方に従えば、必要な前提だけを補いながら、各主張の証明範囲と歴史的な位置を同時に確認できる。
   各経路は独立にも読めるが、相互参照によって一つの理論へつながっている。