塞爾覺得自己的學生成就很高,而且開始向著更深的領域發起衝擊,非交換幾何。NcAG,就是Nonmutative Algebraic Geometry的縮寫了。

這是從概型的基礎上發展而來的,Grothendieck的觀點是Affine Scheme x上的coheren scheves範疇等價於Gamma(x)上的有限生成模範疇。

塞爾對格羅滕迪克說:“我們遲早會面對這個問題,非交換幾何的問題,只是我們要找這個模型是什麼。”

格羅滕迪克說:“應該說這樣的模型肯定是到處都是,非交換的當然會比交換的多得多。”

塞爾說:“按你如此說,這個世界是不對稱的?”

格羅滕迪克說:“話不能這樣將,眼前所謂的非對稱,只是更高對稱的一個區域性。”

塞爾說:“你說到處都是,那你舉個例子。”

格羅滕迪克說:“最典型的是海森堡的矩陣力學,裡面不是有非對易的公式嗎?這裡面的算符表示的是光譜頻率和對於的功率。”

塞爾說:“這個我知道,但你的意思是,研究非交換幾何,也要用海森堡的這個非對應矩陣的算符這樣的公式嗎?”

格羅滕迪克點頭。

塞爾說:“那我們要把概型用矩陣來表示嗎?寫出像光譜一樣的表象?”

格羅滕迪克說:“概型本來就是環論中的理想素譜,跟你說的光譜的意思也差不多。”

塞爾說:“既然是這樣的話,那光譜會聯絡到傅立葉級數,概型的譜也要用到傅立葉級數嗎?”

格羅滕迪克說:“當然,這是基礎。”