第180章用世界级数学难题来检验自己的学习 (第5/9页)

簇的不可缩分解’和‘差分代数簇的不可约分解’。

    尽管ritt等数学家早在二十世纪三十年代就已经证明：任意一个差分代数簇可以分解为不可约差分代数簇的并。

    但是这一结果的构造性算法一直未能给出。

    简单的来说，就是数学家们已经知道了结果是对的，却找不到一条可以对这个结果进行验算的路。

    这样说虽然有些粗糙，但却是相当合适。

    而在米尔扎哈尼教授的稿纸上，徐川看到了这位女菲尔兹奖得主朝这方面努力的一些心得。

    应该是受到了此前他在普林斯顿交流会上的影响，米尔扎哈尼教授在尝试给定两个不可约微分升列as1，as2，判定是否包含。

    这是‘微分代数簇的不可缩分解’的核心问题。

    熟悉了整个稿纸，并且跟随德利涅教授在这方面深入学习过的他，很容易的就理解了米尔扎哈尼教授的想法。

    在这个核心问题中，米尔扎哈尼教授提出了一个不算全新却也新颖的想法。

    她试图通过构建一个代数群、子群和环面，来进一步做推进。

    而建立这些东西所使用的灵感和方法，就来源于他之前在普林斯顿的交流会以及weylbe

    y猜想的证明论文上。

    ......

    “很巧妙的方法，或许真的能将代数