安藤哲哉 著
A5判・上製・496頁・7000円＋税
日本人初のフィールズ賞受賞者小平邦彦先生をはじめ多くの日本人数学者が貢献した複素代数幾何学への入門書．
定義・命題・定理・証明などの修正,および誤植の訂正をして新装版として出版．
それに伴い,ISBNコードも変更致しました．
まえがき
代数幾何学の日本語の教科書は，すでにかなりたくさん出版されていて，本格的な専門書から，啓蒙的な入門書までバラエティーに富んでいる．しかし，4年生のセミナーで利用するのに適切なものとなると，あるものは難しすぎ，あるものは解説されている内容が乏しく，必ずしも意に叶うものがなかった．本書は，最小限の基礎知識で，代数曲線論と代数曲面論の初歩が学習でき，かつ，大学院に進学して研究を続けようとする学生にとっても 十分な知識が習得できるような教科書を目指して執筆した．そのために，今までの教科書にないアイデアをいろいろ工夫して，簡潔かつ平易ではあるが，最終的到達目標は極力落とさないように，全体的な系統を構成し直してみた．
本書では，複素代数曲線と複素代数曲面を理解することを目標にして，複素代数多様体論を展開する．最近の代数幾何学は抽象化が極度に進んでいて，初学者には最初のハードルが高い．特に，代数幾何の最初の段階で，スキーム，位相空間上の層，単射的分解を利用した層係数コホモロジーを学習するのは困難で，代数多様体の定義にたどりつく前に挫折してしまう学生が少なくない．そこで，本書では，あえて，小平邦彦氏の時代の少し古典的な理論体系に戻って，スキームを使わないで代数多様体論を展開し，単射的分解のかわりにチェック・コホモロジーで層係数コホモロジー論を展開した．また，向井茂氏のアイデアを借用して，層の範囲を限定した簡易層というものを使い，導入段階での諸定理の証明を簡略化・平易化した．
第1-3章は代数曲線論に特化して，難しい一般論はすべて後の章に回した．第1章では，代数曲線がどういうものなのか，できるだけ平易な例を中心にして解説した．仮定する基礎知識としては，多変数の微積分，位相空間の初歩的知識，群・環・体・加群のごく入門的知識にとどめた．そして，第2章で代数多様体の一般論の最小限の知識を解説した後，第3章で，代数曲線論を展開する．この部分は，真面目な学生が読めば，必ず理解できるように記述するように努めた．層とコホモロジーの理論も曲線論用に大幅に平易化して説明した．つまり，層の一般論は難解なので，そのかわりに簡易層とチェック・コホモロジーを用い，コホモロジーの計算から抽象性を排除し，できるだけ具体的に計算できるものにした．しかし，代数曲線論のかなり詳細な話題まで解説したつもりである．
なお，第2-3章の中で，「*」印のついた証明は，少し難しいので，可換環論に慣れていない人は証明を飛ばして，とりあえず，第3章の終わりまで読み進めてもらうとよい．
第4-5章では，すこしレベルアップして，曲面論を学習するのに必要な，層・コホモロジー・因子の理論を補充したあと，代数曲面論の代数的部分を解説する．解説されている内容自体がそれほど簡単な話題ではないので，前の章よりは難しくなっているが，既存の教科書よりは，できるだけ平易に説明をしたつもりである．
第5章までは，あまり基礎知識を仮定しなかったが，第6章からは，代数学や多様体論について，ある程度の基礎的な知識があることを仮定している．第6章では，複素代数曲面を研究するのに必要な，位相的方法と解析的方法を要約して説明した．この部分は，位相幾何学・微分位相幾何学・ 複素多様体論などからのいろいろな知識の紹介なので，証明はほとんど割愛した．
第7章は，かなり本格的な代数曲面論である．有理曲面，線織面，K3曲面，エンリッケス曲面，楕円曲面，一般型曲面などについて，一通りの基礎知識を概説した．難解な証明も割愛せずに紹介したので，この章だけは易しくない．
本書は，代数曲線論と代数曲面論の概要を速習することを目指したので，いろいろな定理を網羅的に紹介するのはあきらめ，代数曲線論と代数曲面論を展開するのに最小限の知識だけを説明した．もし，読者が代数幾何の本格的な研究を始めたいなら，本書で割愛した知識を補充するために，本書を読破した後に，[Ha], [G-H]等の，詳細な文献に目を通すことをお薦めする．
最後に，変な忠告であるが，代数幾何学は結構難しく，正しい証明をしたつもりでも，致命的な欠陥が潜んでいることがしばしばある．専門論文にとどまらず，代数幾何の教科書においてすら，誤植などの初歩的誤りにとどまらず，定理の主張や証明が根本的に間違っているというような深刻な誤りが散見される．しかも，時には，その証明は正しく見え，それが間違いであることを発見するのが，非常に困難なことがある．代数幾何を勉強しようとされる方は，活字で書かれていることを頭から鵜呑みにするのではなく，つねに自分の頭で書かれている内容を精査するように心がけてほしい．また，そういう間違いに目くじらを立てるのではなく，広い心を持って，陥り易い間違いがどこにあるのか知る勉強だと思って，読んでほしい．もし，将来，代数幾何の専門論文を読む場合にも，誤りを含む論文が決して少なくないので，内容を吟味せずに引用することは禁物である．ただし，間違っている論文でも，有用なアイデアがいろいろ含まれていることが多く，それはそれで有用である．
2006年11月
著者
目次
目次
第1章 平面上の代数曲線
1.1 代数曲線の複素化と射影化/ 1.1.1 実平面上の代数曲線の複素化/ 1.1.2 射影平面/ 1.1.3 曲線の射影化/ 1.1.4 射影化のコンパクト性/ 1.1.5 射影平面における2直線の交点/ 1.1.6 射影変換/ 1.1.7 射影平面のアフィン開被覆/ 1.1.8 座標変換/ 1.1.9 射影直線/ 1.1.10 射影直線と2次曲線/ 1.1.11 曲線の接線/ 1.1.12 曲線の特異点/ 1.1.13 代数的な接線/ 1.1.14 3次曲線とワイエルシュトラスP-関数
1.2 代数曲線の座標環/ 1.2.1 平面上の代数曲線の座標環/ 1.2.2 C[X,Y]の極大イデアル/ 1.2.3 座標環の極大イデアル/ 1.2.4 曲線上の正則関数/ 1.2.5 平面曲線上の有理関数/ 1.2.6 既約成分への分解
第2章 代数多様体
2.1 アフィン代数多様体/ 2.1.1 アフィン代数多様体の定義/ 2.1.2 ネーター環/ 2.1.3 ヒルベルトの零点定理/ 2.1.4 正則関数と有理関数/ 2.1.5 有理関数の極と零点/ 2.1.6 アフィン代数多様体の閉部分多様体/ 2.1.7 ザリスキー位相/ 2.1.8 アフィン代数多様体の間の正則写像/ 2.1.9 アフィン開集合/ 2.1.10 座標環から定まるアフィン代数多様体/ 2.1.11 準素イデアル分解/ 2.1.12 2次元
2.2 局所環と関数体/ 2.2.1 局所環/ 2.2.2 整拡大と代数的拡大/ 2.2.3 関数体の超越次数と次元/ 2.2.4 有限写像
2.3 射影代数多様体/ 2.3.1 直和と直積/ 2.3.2 次数付き環/ 2.3.3 射影代数多様体/ 2.3.4 超曲面
2.4 代数多様体/ 2.4.1 代数多様体の定義/ 2.4.2 代数多様体の局所環/ 2.4.3 構造層/ 2.4.4 代数多様体の正則写像
2.5 代数多様体の局所的構造/ 2.5.1 正則局所環と特異点/ 2.5.2 ザリスキー接空間/ 2.5.3 局所座標系/ 2.5.4 テーラー展開/ 2.5.5 代数曲線の関数体
2.6 直積代数多様体/ 2.6.1 アフィン多様体の直積/ 2.6.2 射影多様体の直積
第3章 代数曲線論
3.1 曲線上の微分形式/ 3.1.1 複素数平面上の微分形式/ 3.1.2 代数曲線上の微分形式/ 3.1.3 代数曲線上の有理関数の極と零点/ 3.1.4 代数曲線上の有理微分形式の極と零点/ 3.1.5 代数曲線上の有理微分形式の留数
3.2 曲線上の因子/ 3.2.1 代数曲線上の因子/ 3.2.2 標準因子/ 3.2.3 因子が定める関数空間
3.3 曲線のチェック・コホモロジー/ 3.3.1 簡易層/ 3.3.2 簡易層の準同型写像/ 3.3.3 チェック・コホモロジーの定義/ 3.3.4 曲線のチェック・コホモロジー
3.4 曲線上のリーマン・ロッホの定理/ 3.4.1 リーマン・ロッホの定理/ 3.4.2 曲線のセールの双対定理/ 3.4.3 平面曲線の種数
3.5 非特異射影曲線の分類/ 3.5.1 フルビッツの定理/ 3.5.2 非特異有理曲線/ 3.5.3 因子による埋めこみ
3.6 楕円曲線/ 3.6.1 楕円曲線/ 3.6.2 アーベル多様体/ 3.6.3 加法群としての3次曲線/ 3.6.4 楕円曲線の自己同型群
3.7 一般型曲線/ 3.7.1 ワイエルシュトラス点/ 3.7.2 超楕円曲線/ 3.7.3 一般型曲線の性質/ 3.7.4 完備非特異曲線
第4章 コホモロジー・因子・正規化
4.1 チェック・コホモロジー続論/ 4.1.1 被覆の細分/ 4.1.2 コホモロジーが被覆に依存しないこと/ 4.1.3 蛇の補題/ 4.1.4 コホモロジー完全系列/ 4.1.5 グロタンディークの消滅定理
4.2 非特異多様体上の因子/ 4.2.1 因子/ 4.2.2 完備線形系/ 4.2.3 有理写像/ 4.2.4 因子が定める有理写像/ 4.2.5 アンプル因子/ 4.2.6 射影空間のコホモロジー/ 4.2.7 ベルティニの定理/ 4.2.8 因子の引き戻し/ 4.2.9 コホモロジーの有限性
4.3 微分形式/ 4.3.1 R^n 上の微分形式 4.3.2 代数多様体上の微分形式/ 4.3.3 標準因子/ 4.3.4 射影平面上の曲線の種数
4.4 代数曲線の正規化/ 4.4.1 正規環/ 4.4.2 代数多様体の正規化/ 4.4.3 1次元正規環/ 4.4.4 整閉整域の性質
第5章 代数曲面の初等的性質
5.1 交点理論/ 5.1.1 相異なる2曲線の交点数/ 5.1.2 因子の交点数/ 5.1.3 ベズーの定理/ 5.1.4 ファイバー/ 5.1.5 P^1 x P^1 上の因子
5.2 ブロー・アップ/ 5.2.1 C^n のブロー・アップ/ 5.2.2 アフィン代数多様体のブロー・アップ/ 5.2.3 代数多様体のブロー・アップ
5.3 正規化/ 5.3.1 セールの正規性判定法/ 5.3.2 正規多様体の特異点と不確定点/ 5.3.3 シュタイン分解/ 5.3.4 射影公式/ 5.3.5 ブロー・アップと交点数/ 5.3.6 ブロー・アップとコホモロジー
5.4 曲面のリーマン・ロッホの定理/ 5.4.1 セールの定理/ 5.4.2 リーマン・ロッホの定理/ 5.4.3 セールの双対定理/ 5.4.4 ホッジの指数定理/ 5.4.5 エンリッケス・カステルヌボーの定理
5.5 曲面上の曲線/ 5.5.1 特異曲線上の因子/ 5.5.2 線形系/ 5.5.3 特異曲線上の標準因子/ 5.5.4 曲線の仮想種数/ 5.5.5 ベルティニの定理再論/ 5.5.6 アンプル判定法/ 5.5.7 中井の判定法/ 5.5.8 P^3 内の3次曲面
第6章 多様体論からの準備
6.1 位相空間と可微分多様体/ 6.1.1 多様体/ 6.1.2 特異ホモロジー群/ 6.1.3 単体分割/ 6.1.4 胞体分割/ 6.1.5 Mayer-Vietoris 完全系列/ 6.1.6 直積空間のホモロジー群/ 6.1.7 係数環の拡大/ 6.1.8 コホモロジー群/ 6.1.9 カップ積/ 6.1.10 ポアンカレーの双対定理/ 6.1.11 チェック・コホモロジー群/ 6.1.12 チェック・ホモロジー群
6.2 位相空間上の層/ 6.2.1 層/ 6.2.2 層係数チェック・コホモロジー/ 6.2.3 連接層/ 6.2.4 移入的分解/ 6.2.5 脆弱層/ 6.2.6 HomとExt/ 6.2.7 高次順像
6.3 スペクトル系列/ 6.3.1 スペクトル系列の定義/ 6.3.2 スペクトル系列の性質/ 6.3.3 スペクトル系列の構成/ 6.3.4 2重複体/ 6.3.5 導来関手/ 6.3.6 ルレイ・スペクトル系列
6.4 可微分多様体/ 6.4.1 ド・ラームコホモロジー群/ 6.4.2 ストークスの定理/ 6.4.3 ド・ラームの定理
6.5 複素多様体/ 6.5.1 複素数平面上の微分形式/ 6.5.2 複素多様体上の微分形式/ 6.5.3 ドルボー・コホモロジー/ 6.5.4 複素多様体上の因子/ 6.5.5 GAGA
6.6 エルミート多様体/ 6.6.1 エルミート計量/ 6.6.2 *-作用素/ 6.6.3 調和微分形式
*6.7 ケーラー多様体*/ 6.7.1 ケーラー計量/ 6.7.2 ホッジ分解
6.8 代数多様体の解析的理論/ 6.8.1 複素トーラス/ 6.8.2 ネロン・ゼベリ群/ 6.8.3 アルバネーゼ写像/ 6.8.4 ファイバー積/ 6.8.5 巡回被覆/ 6.8.6 有限群による商多様体/ 6.8.7 消滅定理/ 6.8.8 凸錐/ 6.8.9 小平次元
6.9 変形理論/ 6.9.1 接ベクトル層/ 6.9.2 小平・スペンサー写像/ 6.9.3 倉西族/ 6.9.4 グラウエルトの定理/ 6.9.5 曲線のモジュライ/ 6.9.6 曲線の普遍被覆
6.10 特性類/ 6.10.1 特性巾級数/ 6.10.2 P(E)/ 6.10.3 チャーン類/ 6.10.4 Stiefel-Whitny 類
第7章 代数曲面の構造
7.1 分類に必要な諸道具/ 7.1.1 曲面の特性量/ 7.1.2 曲面の2重被覆/ 7.1.3 カップ積の交点理論/ 7.1.4 曲面のアルバネーゼ写像
7.2 曲面の孤立特異点/ 7.2.1 曲面の特異点解消/ 7.2.2 孤立特異点の最小特異点解消/ 7.2.3 双対グラフとディンキングラフ/ 7.2.4 ADEグラフの特徴づけ/ 7.2.5 孤立特異点の例/ 7.2.6 基本サイクル/ 7.2.7 有理特異点/ 7.2.8 商特異点/ 7.2.9 有理2重点の分類
7.3 曲線上のファイバー曲面/ 7.3.1 2次元複素トーラス/ 7.3.2 曲線上のファイバー曲面/ 7.3.3 線織面
7.4 有理曲面/ 7.4.1 ヒルツェブルフ曲面/ 7.4.2 例外曲線でない有理曲線を含む曲面/ 7.4.3 カステルヌボーの定理/ 7.4.4 Dell Pezzo曲面
7.5 楕円曲面/ 7.5.1 特異ファイバーの分類/ 7.5.2 超楕円曲面/ 7.5.3 局所自明な楕円曲面
7.6 エンリッケスの定理/ 7.6.1 幾何学的線識面と超楕円曲面の特徴付け/ 7.6.2 定理7.6.4 の証明/ 7.6.3 定理7.6.5 の証明/ 7.7 小平次元0の代数曲面/ 7.7.1 小平次元0 の代数曲面の分類/ 7.7.2 Z^n 上の2次形式
7.8 K3曲面/ 7.8.1 K3曲面の特性量/ 7.8.2 クンマー曲面/ 7.8.3 K3曲面のモジュライ
7.9 エンリッケス曲面/ 7.9.1 エンリッケス曲面の特性量/ 7.9.2 エンリッケス曲面の楕円曲面構造/ 7.9.3 エンリッケス曲面のモジュライ
7.10 一般型代数曲面/ 7.10.1 一般型代数曲面上の有理曲線/ 7.10.2 多重標準写像/ 7.10.3 標準モデル/ 7.10.4 ネーターの不等式/ 7.10.5 e(S)>0/ 7.10.6 対称テンソル積/ 7.10.7 P(E) 再論/ 7.10.8 宮岡・ヤウの不等式