今週末に、数学者の黒川信重先生と二度目の対談をする。 一度目は、数学のフィロソフィー - hiroyukikojimaの日記で書いた通り、雑誌『現代思想』での数論の特集号でだった。今回は、雑誌ではなく、書籍を作ろうという企画である。リーマン予想誕生150周年を記念した本の予定なのであるが、黒川先生は、リーマン予想解決の直前本になるだろう、と驚くべきことを言っている。まあ、黒川先生も加藤和也先生も、かなりおちゃめな人なので、発言についてはジョーク部分をだいぶ割り引いて受けとらなくてはならないだろう。 黒川先生が、リーマン予想解決の鍵になるであろう、といっている「1元体(F1)上の数学」というのが、今回の対談の話題の中心となると思うので、ほんのちびっとだけは話について行きたい、という思いから、その要となる「スキーム理論」の入り口のところを勉強してみた。スキームというのは、「代数幾何学」という分