大学の講義が5月いっぱいまではオンラインになったため、運動不足をふせぐ目的で、毎日部屋でエアロバイクをこぐことにした。これは、東日本大震災の余震に見舞われていた日々以来、久しぶりのことだ。
バイクをただこぐのは退屈なので、音楽を聴きながら、数学書を読むことにしている。専門の経済学は真剣に研究しなくてはならないので(笑)、趣味である数学のほうの書籍を読んでいる。
それで(ほぼ)読破したのが、河井壮一『代数幾何学』培風館だ。
この本については、
今頃になって、なんでか代数幾何が面白い - hiroyukikojima’s blog
多項式版フェルマーの大定理の証明 - hiroyukikojima’s blog
でも紹介したので、これらを先に読んでくださるとありがたい。
この本の最終章である第６章は「1つのRiemann面上の議論ーー微分、積分、Riemann-Roch」となっている。ついにこの章まで到達して、「リーマン・ロッホの定理」を理解できてしまったのだ。「リーマン・ロッホの定理」といえば、代数幾何学習の一つの(最初のというべきか)到達点。数学科在籍時以来、苦節40年、還暦過ぎてついに「リーマン・ロッホの定理」に到達した。
前の２つのエントリーでも書いたが、とにかくこの本はわかりやすい。そのうえ読み進むのが楽しい。もちろん、数学の議論のわかりやすさは人それぞれだから、こういう書き方が好みじゃない人もいて不思議ではないが、ぼくにはめっちゃわかりやすく、めっちゃ楽しい数学書なのだ。
それはこの本が、図形的で直感的な説明や証明法を用いているからだ。それは「リーマン・ロッホの定理」の説明でも一貫している。こんなにわかりやすくこの定理にたどりつく本は他にしらない。しかも、証明が図形的なので、どういう仕組みでなりたつかがおおまかに理解できるようになっている。
この本での「リーマン・ロッホの定理」は、次のように提示されている。
(リーマン・ロッホの定理)
種数gのRiemann面X上の任意の因子Dに対して、
dim L(D)=deg D－g+1+dimΩ(－D)
が成り立つ
ここで種数gは、リーマン面に空いてる穴の個数。因子Dというのは、いくつかの点で(n重の)零点をもち、いくつかの点で(m重の)極をもつ(極というのは関数の分母が0になる点、つまり値が無限大になる点)ことの表現。deg Dはその重複度を(プラス・マイナスとして)総和したもの。 L(D)というのは、Dを足すと極が消えるような関数のつくるベクトル空間のことで、dim L(D)というのはその次元のことだ。Ω(－D)というのは、－Dを加えると極が消えるような第１種微分(正則なアーベル微分)の作るベクトル空間のことで、dimΩ(－D)はその次元のこと。
ざっくり言えば、 L(D)もΩ(－D)も零点や極の重複度に制限を指定した関数または微分のことと見なせる。
この「リーマン・ロッホの定理」とは、零点や極のあり方を制限して指定した関数たちがどのくらい存在するか、についての知識を与える定理なのである。例えば、
種数gに対してnがn≧2g－2を満たすなら、任意の点Pにちょうどn+1位の極を有する有理型関数が存在する
などということが証明できる。
この本における「リーマン・ロッホの定理」の証明は、この本の中でのさまざまな定理の証明の中では最も長いが、７ページ程度だからがんばればなんとか読める。多くの代数幾何の本では、この定理は「コホモロジー群」を使って表現し、証明されるみたいだ。例えば、小木曽啓示『代数曲線論』朝倉書店でもそうなっている。次の式が「リーマン・ロッホの定理」だ。
h^0(O_X(D))－h^1(O_X(D))=1－g+deg D
ここでh^0、h^1は、0次コホモロジー群、1次コホモロジー群の次元のこと。この定理の証明は小木曽啓示『代数曲線論』では、2ページぐらいで済んでいるが、その前に、h^1の次元の有限性の証明のために14ページの難行苦行が待っている(笑)。
河井版のリーマン・ロッホと小木曽版のリーマン・ロッホは形式が違うが、小木曽啓示『代数曲線論』によれば、小木曽版にセールの双対定理を使えば、河井版が得られるとある。コホモロジー理論は、数学のあちこちで出てくるから、理解するにこしたことはないが、h^1(O_X(D))はイメージがわかないベクトル空間なので、わからない概念を使ってわからない公式を表している感じで、素人には大変つらい。h^1(O_X)が種数、つまり、図形の穴の個数だと言われても、「なんでやねん」となってしまう。河井版では、種数はコホモロジーではなく、もっと直接的に定義してあるから、胃もたれしない。だから、河井版を先に理解してから、小木曽版にチャンレジすることをお勧めしたい。(もちろん、そのルートでも、ある程度の純粋数学の経験が必要である)。
河井壮一『代数幾何学』第6章にはひとつだけ難点がある。それは、微分形式(アーベル微分、第１種微分)の詳しい解説がないことだ。もちろん、定理の証明に必要な知識は与えられるが、実際のところ第1種微分とは何のことなのかが具体的にイメージできない。それについては、小木曽啓示『代数曲線論』に詳しい説明があるので、こちらで勉強したほうがいい。微分形式とは、要するに、空間での微分(作用素)のことで、イメージ的には接空間を思い浮かべればいい。リーマン・ロッホ(河井版)とは要するに、リーマン面(たとえば、浮袋型)の上の関数の空間と、その接空間上の微分の空間との関係を表すものだと理解できる。
ちなみに、小木曽啓示『代数曲線論』では、とかくイメージのわかない1次コホモロジー群(H^1)の次元について、リーマン球面のバージョンを具体的で直接的な証明を与えてくれているので、すごくうれしい。こういう例は貴重だ。
リーマン・ロッホは、数論にも出てくるっぽく、普遍的な定理みたいだ。還暦すぎてたどりついても時すでに遅いかもしれないが、なんでも目標達成は嬉しいものなのだ。
