面努力的一些心得。
应该是受到了此前他在普林斯顿交流会上的影响，米尔扎哈尼教授在尝试给定两个不可约微分升列 as1， as2，判定 sat(as1)是否包含 sat(as2)。
这是‘微分代数簇的不可缩分解’的核心问题。
熟悉了整个稿纸，并且跟随德利涅教授在这方面深入学习过的他，很容易的就理解了米尔扎哈尼教授的想法。
在这个核心问题中，米尔扎哈尼教授提出了一个不算全新却也新颖的想法。
她试图通过构建一个代数群、子群和环面，来进一步做推进。
而建立这些东西所使用的灵感和方法，就来源于他之前在普林斯顿的交流会以及weyl-berry猜想的证明论文上。
......
“很巧妙的方法，或许真的能将代数簇推广到代数微分方程上面去，可能过程会稍微曲折了一点......”
盯着稿纸上的笔迹，徐川眼眸中流露出一丝兴趣，从桌上扯过一张打印纸，手中的圆珠笔在上面记录了起来。
“.....微分代数簇的不可缩分解问题从广义上来讲，其实已经被ritt-吴分解定理包含在内了。”
“但