>>169
タイヒミュラー理論とかホッジ理論とかはある意味で二の次で、主題は絶対遠アーベル幾何
ないしはそのトポス論的な一般化
これまでの数論幾何は、絶対ガロア群という一般的なガロア群をスキームを用いて
調べるのが普通だった。そうではなくて、抽象的な位相群、数論的基本群、ガロア群、層を
利用してスキーム論自体を抽象化している
単純かつ一般的な対象から別の対象を特徴付けるのが抽象化なんだが、その際に
スキーム論とは、的な全体の哲学的反省が必要になるので、結局議論が難しくなる