上午,程诺在做莫代尔交换群的同余数和无穷阶曲线上进行相交,有理点如何进行表示的推导。
当他将无穷曲线进行虚点投像的时候,觉得这样算下去有些太过于麻烦,便想着是否能够将所有的无穷阶曲线构成一个曲面,再去求它的一个虚点图像。
因此,当程诺把半曲面的二次虚点的图像全部在草稿纸上画出来后,对数字无比敏感的他发现了一个有趣的现象。