望月新一『宇宙際タイヒミュラー理論への誘い：レクチャーノート版』も目を通してみた。加藤本の逆の進みで、ホッジ・アラケロフ理論で「上から抑えたい量」（つまりABC予測でいうたかだか有限個である値）が得られるが、大域的には存在しない。だがそれを仮に存在するとすると、あるいは数体の自己同型を定義する式において、実際には存在しない自己同型の左右辺を、別々の「環・スキーム論＝数論的正則構造」に属するものとして考える、という展開。数式が理解できるわけないが、加藤本のおかげで、言わんとすることはある程度つかめたような