第339章 学术交流

  “格罗滕迪克教授。”

  赵阳微微往前坐了一点。

  “您对概形平坦性的理解，我看了您给德利涅教授的几个引理。您在处理正特徵域上多项式理想的消元问题时，是不是用到了余维数大於等於二的子簇上正规锥的构造？”

  格罗滕迪克听到这个问题，嘴角动了一下。面上带著一丝微笑，把老花镜往鼻樑上推了推，身体稍微往上坐了一点。

  “你对布尔函数代数化的处理，我已经拆解过了。你用希尔伯特零点定理来保证理想生成严格性，这对特徵为零的代数闭域完全成立。但想要推广到正特徵域上，你缺少一个关键的步骤。正特徵域上加法不是单射，多项式表示会退化。你需要在表示逻辑门之前，先对基底做一次概形的平坦化处理。”

  赵阳迅速把格罗滕迪克说的几个要点在脑海里过了一遍。他想起自己在处理有限域推广时遇到的那个具体障碍代数闭域上的消元定理在特徵为正的有限域上不適用，当时他尝试了几种绕道方案都没走通。格罗滕迪克提到的概形平坦化处理，正好对应了那个障碍的核心。

  “具体怎么平坦化？”赵阳问。

  “你需要先证明正特徵域上任意布尔电路的多项式表示都可以被提升为一个特徵为零的概形上的平坦態射。然后用你已经在特徵为零的代数闭域上建立的那套零点集下界估计方法。最后再用跡映射把结果拉回到正特徵域上。”

  格罗滕迪克说到这里停了一下，呼吸有些不稳。皮埃尔从旁边递过水杯，他喝了一口，缓了缓，然后继续说：“这个思路在六七十年代做韦伊猜想的时候德利涅用过类似的手法，但他当时处理的不是多项式理想，而是étale上同调。你的情况比他的简单，因为你不必考虑所有素理想上的分歧。”

  赵阳靠在椅背上，脑子里那几块一直拼不上的拼图忽然严丝合缝地咬在了一起。有限域的推广障碍，最核心的就是消元定理的失效而格罗滕迪克的方案是从特徵为零的域上做一个提升，把问题拉到已知的领域里解决，再通过跡映射拉回来。

  绕开了有限域上消元定理本身的不完备性。他之前不是没想过类似的思路，但一直没想到用跡映射来做拉回，因为他对正特徵域上的平坦態射没有足够的经验。这正是格罗滕迪克几十年来深耕的领域。

  “您这个引理直接补上了我论文附录里最大的缺口。”

  赵阳感嘆的说到。

  “这就是我想跟你说的话。”

  格罗滕迪克靠在枕头上，声音比刚才轻了些。