>>389
>”歴史を忘れることで理解できる、ということもある”
>今の君には何を言ってるか分からないかもしれないが
>いつか理解してもらえれるならうれしいね

分かるよ、下記スキームだね
グロタンディークは、「古い代数幾何の概念は忘れろ（理解の邪魔）」といったらしい
いま、同じことがIUTで起きている。望月氏は「古い数論幾何の概念は忘れろ（理解の邪魔）」と

(参考)
https://ja.wikipedia.org/wiki/%E6%A6%82%E5%9E%8B
概型あるいはスキーム (英: scheme) とは、可換環に対して双対的に構成される局所環付き空間である。二十世紀半ばにアレクサンドル・グロタンディークによって導入され、以降の代数幾何学において任意標数の代数多様体を包摂し、係数の拡大や図形の「連続的」な変形を統一的に取り扱えるような図形の概念として取り扱われている。

スキームを通じて圏論的に定義される様々な概念は、大きな威力を発揮するが、その一方で、古典的な代数幾何においては点とみなされなかった既約部分多様体のようなものまでがスペクトルの「点」になってしまう。このためヴェイユ・ザリスキ流の代数幾何学（これ自体大幅な形式化によって前の世代の牧歌的なイタリア流代数幾何に引導を渡すものだったのだが）を習得して研究していた同時代の学者たちからは戸惑いのこもった反発を受けた。

歴史と動機
1955年、ジャン＝ピエール・セールは「代数的連接層」（Faisceaux algébriques cohérents）と題した論文で代数多様体の新たな定義を与える[15]。一般にFACと呼ばれるこの論文の中でセールは（アンリ・カルタンの[16]）局所環付き空間という概念を用いて任意標数の代数閉体上の代数多様体を定義する。局所環付き空間を使うというアイデアはスキーム論に受け継がれる。

つづく