可缩分解是存在的。

只不过数学家至今没能找到一条可以通向最终定义的路。

另一方面，则是这个问题还有着另外一个‘同父异母’的弟弟：‘差分代数簇的不可约分解’。

微分代数簇的不可缩分解和差分代数簇的不可约分解问题其实都来源于ritt-吴零点分解定理，也都被ritt-吴零点分解定理分别解决了一部分。

不过ritt-吴零点分解定理在这两个问题上仍然存在着一定局限性。

一个是需要进一步得到不可缩分解，另一个则是未能给出一个算法将差分代数方程的解集分解为不可约差分代数簇。

如果能同时解决这两个问题的话，系统性的难度就能超越weyl-berry猜想了，但单一的微分代数簇的不可缩分解问题，难度的确比不上weyl-berry猜想。

不过要想解决这两个问题谈何容易。

特别是其中的差分代数簇的不可约分解问题，单独拿出来难度也不比weyl-berry猜想低多少。

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

但时至今日，时间过去了近一个世纪了，依旧还没有人能给出一个算法将差分代数方程的解集分解为不可约差分代数簇。

这七八十年的时间过去，并不是没有人尝试过解决这个问题。

包括证明了“任意一个差分代数簇可以分解为不可约差分代数簇的并”的ritt等人也尝试过将 ritt-吴零点分解定理推广到代数差分方程。

但所得到的结果可以将差分代数簇分解为zeros=u/kzerosatask的形式而已，剩下，就无法再进行推进了。

如果再过十几年，这个问题依旧没人能够解决的话，那它将成为典型的世纪性难题。

.......

办公室中，德利涅和威腾沉浸在手中的稿件中。

而徐川则是熟练的从导师的办公室中的摸出来了一份最新一期的《数学年刊》看了起来。

在普林斯顿高等研究院中，这类的顶级期刊很多，几乎任何一位教授，无论是数学，还是物理，亦或者其他自然学科，办公室中基本都有着一大堆的各类期刊。

有些是教授自己订阅的，而有些则是期刊主动送过来的。德利涅和威腾，自然是后者。

这和这两位顶级大老身兼各种顶级期刊的学术编辑有关系。

毕竟在学术界，一般情况下，同行评审是一种义务劳动，没有任何金钱酬劳。

这种情况下，期刊为了能找到合适的审稿人，自然会付出一些其他的东西。比如此前审稿人的投稿免版面费，赠送期刊论文之类的。

当然，除了这些外，还有一些隐形的其他福利，比如提高个人声誉、时刻更新自己的对当下科研热点的把握等等。

毕竟同行评审你审核的都是最新的学术论文，能够从评审的稿件中获取不同的想法、技术和切入角度，开阔眼界，以及从其他研究人员所犯的错误中学习借鉴，引以为戒，帮助提升自己的研究等等。

.......

两老一少，三人沉浸在各自的手稿与论文中，也不知道过去了多久，办公室中才重新活跃了起来。

“真是精彩，没想到bruhat分解和weyl群还可以通过这样的方式引入域论中。”办公室中，看完手中的稿纸后，德利涅发出了一声感慨。

微分代数簇的不可缩分解问题是微分方程和代数几何中的难题，但它面向的却并不是最前沿的数学，相反，它是在两者的基础上诞生的。

这就好比