現在２０２１年１０月２５日１８時２７分である。（この投稿は、ほぼ５４６０文字）
麻友「太郎さんって、ひとつ問題を、解決できたな、と思うと、もう新しい問題を、探しに行くのね」
私「新しい問題を、探していたわけでは、ないんだ。１０月３日に、今読んでいる、量子力学の教科書の続編を、見ようとしたんだ」
若菜「どの本ですか？」
私「これなんだが」
結弦「アマゾンで、『グライナー 量子力学』カチャカチャ、ポンッ」
結弦「あれっ、続編なんて、ないよ」
私「分かってる。ドイツ語が、原著で、グライナー自身が、英訳してる。図書館に１０月３日に予約した」
若菜「あの本ですか。お父さんが、訳したいと言ってた。そうすると、洋書ですね」
グライナー『量子力学特論』
グライナー『量子力学２ 対称性』
グライナー『量子電磁力学』
グライナー『場の量子化』
グライナー『量子色力学』
若菜「カチャカチャ、こんなにありますよ。しかも、題名にある、『量子色力学』は、最終巻」
私「そんなに、全部、いっぺんに、見る気はなかったんだ。前に話したかも知れないけど、このシリーズのほとんどは、横浜市の図書館に買ってもらっていた。今回は、差し当たって、上の２冊を、取り寄せたんだ」
麻友「横浜市が、わざわざ太郎さんのために」
私「少しは、借りている人も、いるみたいだけど」
結弦「それで、どこから、変節したの？」
私「私は、かねてから、疑問に思っていたことが、あった。それは、今読んでいる『量子力学概論』、そして、『量子力学特論』、そして、『量子力学２ 対称性』の３冊は、普通、非相対論的量子力学として、上下巻２冊とか、場合によっては、３つ分を、１冊で、済ましてあるんだ。どうして、グライナーが、書くと、こんなに凄いことになるんだろう？ とね」
若菜「題名だけでは、分かりませんが」
私「そう。それで、取り寄せた。結論を言うと、偶然の一致だが、現在私が、一所懸命読んでいる、群論の説明を、グライナーが、物理学科の学生向けに、説明しているからなんだ」
若菜「そうすると、お父さんは、この２冊は、必要ないと」
私「眺めるだけで、良いかも知れない」
結弦「それから、どうやったら、量子色力学へ、行くの？」
私「さっき、結弦が、アマゾンで、『グライナー 量子力学』と、やったとき、一緒に、
グライナー『熱力学・統計力学』
というのも、ヒットしただろう。あれだけは、訳されているんだよね。『量子力学概論』の他に」
結弦「お父さんとしては、段々、熱力学とかにも、目が行くようになった？」
私「熱力学や、統計力学は、もう良い本をいっぱい持っているから、いいのだけど、借りるだけなら、タダだからと、予約を入れた」
若菜「丸善出版なんですね」
私「シュプリンガーフェアラークって、有名な会社なんだけど、理学書って高いから、あまり売れなくて、さらに易しい本ばっかり売れるものだから、日本での版権を、丸善に渡して、販売してもらっているみたい。東京図書みたいに、ランダウの理論物理学教程や、ブルバキを絶版にしたままにするより、よっぽど良いよね」
結弦「そんなこと言うと、東京図書から、刺客を放たれるぞ」
私「実は、今日の話は、なぜ東京図書が、これだけ非難されながら、ランダウを出版できないのかにも触れる」
結弦「東京図書のためでもあるの？」
麻友「まあ、見ていましょう」
私「今日、鶴見図書館で、３冊の予約してあった本を、受け取った。
斎藤毅『集合と位相』（東京大学出版会）
の３冊だ」
若菜「『集合と位相』いつもの、岩波のものではない、『数学原論』書いた人の本だわ。斎藤毅（さいとう たけし）って、凄い名前だから、覚えてる」
麻友「『集合と位相』の本、まだ必要だったの？」
私「１度は、選択公理を用いて、ツォルンの補題を導く証明に、OK 出して、ブログ記事にもしたんだけど、岩波の方の『集合と位相』
彌永『集合と位相』（岩波基礎数学選書）
の、証明中に現れる、『 を含む塔』というのが、私の中で、解決し切れてなくて、ちょっと、他の本でも、見てみようか？ ということだったんだ」
若菜「解決したんですか？」
私「図書館で、本を借りて、いつものように、そばのソファに座って、もうひとつの『集合と位相』を、開くが、『塔』という言葉はないけど、同様に分かりにくい証明。ガッカリして、グライナーの本を開いたのが、良かった」
結弦「そこ、動画撮っていたかったな」
私「バラバラ見た後、目次を、見ていく。第１８章まである中の、第１５章に、『相対論的ボーズおよびフェルミ気体の応用』とあり、１５．１節に『ビッグバンや重イオン衝突の際のクォーク・グルオンプラズマ ３８７ページ』とある。すっごく、面白そうと、３８７ページを、開く。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
今日の素粒子物理では，量子色力学（quantum chromodynamics, QCD）が強い相互作用の基本理論であると考えられている（本シリーズ『量子電気力学』参照）．
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
と、始まる」
結弦「えっ、『量子電気力学』じゃなくて、『量子色力学』なんじゃない？」
私「このレヴェルになると、どこでそのことを議論しているか、題名だけでは、判定できない。とにかく、読み進む。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
QCD は QED では見られない性質をたくさんもつ．QCD の基本方程式を解くことは残念ながら今の所，不可能である．このため，計算機シミュレーション（格子ゲージ理論）により部分的に検証されている模型に依って議論せざるを得ない．
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
これ読んで、どう思う？」
麻友「言葉が、難しくて、分からないことばっかりだけど、太郎さんは、『QCD の基本方程式を解くことは残念ながら今の所，不可能である．』というのに、燃え上がったのかしら？」
私「というか、この文章全体からして、コンピューターで、計算しなければ、クォークの性質が、分からない。つまり、陽子と中性子がくっついている理由が、手計算では、ほとんど分からないということなんだよ」
若菜「あれっ、陽子と中性子が、くっついて、重陽子、もうひとつ中性子が、くっついて、三重水素（トリチウム）というのを、核融合発電所のときやりましたが、あれは、砂上の楼閣ですか？」
私「少なくとも、この本の書かれた、１９９５年には、そうだったんだ」
麻友「でも、そんなはずない。グライナーは、誠実でないのかも知れない。あの誠実な、ランダウは、どう書いているのよ」
私「そこで、東京図書の弁護をすることに、なる。実は、ランダウは、生前、強い相互作用のことも、『相対論的量子力学』の中に、量子電磁力学（QED）と共に、書いていた。ただ、ランダウ自身、厳密でないその理論を、嫌がっていた。そんな中、物理学は、群論を用いるゲージ理論というものを生み出し、クォークモデルというもので、クォークと、グルーオンというものを用いて、強い相互作用に、決着を付けた」
若菜「じゃあ、ランダウは？」
私「ゲルマンとツワイクが、クォークモデルを提唱したのは、１９６４年。ランダウは、どうだった？」
麻友「あっ、１９６２年に、交通事故に遭ってる。ノーベル賞委員会が、『ランダウにノーベル賞与えてなかったとあっては、面子が立たない』と、あわててその年、ノーベル物理学賞贈ったのよね。だから、覚えてる」
私「そうなんだ。ランダウは、事故の後、ほとんど物理学を考えられない状態だった。そして、理論物理学教程は、あくまでも、ランダウのやりたいように、やりたかった。それで、もうクォークモデルを、書くことはできない（本当のところは、あの教程は、リフシッツのペンから生まれたものなのだが）ということで、『相対論的量子力学』の巻は、『量子電磁力学』と題名を変え、QED だけの本になったんだ」
結弦「えっ、東京図書の弁護は？」
私「つまりね、古い本に、いつまでも頼ってたら、駄目だよ。と、言うことなんだよ。ランダウの理論物理学教程が、良いものだったのなら、新しく、もっと良いものを、書きましょう、ということ。そして、もうひとつ、ランダウの『量子電磁力学』が、訳されていないお陰で、ランダウの時代の強い相互作用の理論を書いた本が、図書館などで、見られるというのも、いいね」
若菜「科学って、本当に、人間くさいというか、決して、計算だけでは、ないんですね」
私「私、今日、３冊借りただろう」
麻友「そうね。デュドネって、『解析入門Ⅰ』のレヴューにあった、教科書を、超えているという人ね」
私「その本、
自体は、横浜市の図書館になかったんだけど、デュドネ編の『数学史Ⅰ・Ⅱ・Ⅲ』というのが、あったので、Ⅰ巻だけ、借りてみた」
結弦「それも、図書館のソファで、読んできたの？」
私「いや、あれでもう満腹で、『クォークか。要するに、強い相互作用を、するんだよな。QED は、電子と光子の理論。私は、まだこれすら、分かってない。強い相互作用や、弱い相互作用って、どうやって計算するんだ？』などと考えながら、帰ってきた」
若菜「家に帰ってきて、『数学史Ⅰ』を、見た？」
私「時代がかった本で、
こんなことになっている」
麻友「そんな本が、残っているのね。でも、太郎さんが、この大発見の後、まだ話を続けるのは、理由があるのよね」
私「いつものことで、参考文献から見る。そうすると、その向かいのページに、
D) Weil 予想
とあって、最後に、
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
一般化された《Riemann予想》は最も難しい予想であったが，最終的に1973年 Deligne により Grothendiek の理論を本質的に使って証明された([12]，(48)，(い))．
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
と書いてあった」
麻友「どういうことなの？」
私「ミレニアム懸賞金問題の１つ、リーマン予想は、もう１９７３年に、解かれている。また、その解決に功績のあった、ヴェイユが、最初に証明したのは、１９４８年。だから、ヴェイユは、ブルバキの『数学原論』の集合論の１０ページで、堂々と、リーマン予想は正しいと読める記号列を、証明できる論理式として、書けたんだ」
若菜「お父さんは、ショックじゃないの？」
私「リーマン予想は、私には、解けないだろうと前から、思っていた。むしろ、皆の前で、いっぱいしゃべった、リーマンゼータ関数の３での厳密値が、超越数かどうかや、５での厳密値が、無理数かどうか、ということの方が、前から気になっている。Weil の本を読んだら、分かるのかな？」
結弦「こういう、もう分かっていることを、一般の人に隠して置いて、自力で証明してくる人間を、選抜しているという、学問の在り方って、許されるのかな？」
若菜「でも、全部の問題が、解けているわけでは、ないでしょ」
麻友「それを、見分けるために、専門家というのは、いるんじゃないかしら？」
私「そうなんだろうね。取り敢えず、リーマン予想への登攀で、行方不明にはならない。安全だね。今日は、それが分かって、満足。これで、お開き」
若菜・結弦「おやすみなさーい」
麻友「おやすみ」
私「おやすみ」
現在２０２１年１０月２５日２３時１２分である。おしまい。
