之前就已经被定义,微分代数簇的不可缩分解是存在的jueren8 ⊕cc
只不过数学家至今没能找到一条可以通向最终定义的路jueren8 ⊕cc
另一方面,则是这个问题还有着另外一个‘同父异母’的弟弟:‘差分代数簇的不可约分解’jueren8 ⊕cc
微分代数簇的不可缩分解和差分代数簇的不可约分解问题其实都来源于Ritt-吴零点分解定理,也都被Ritt-吴零点分解定理分别解决了一部分jueren8 ⊕cc
不过Ritt-吴零点分解定理在这两个问题上仍然存在着一定局限性jueren8 ⊕cc
一个是需要进一步得到不可缩分解,另一个则是未能给出一个算法将差分代数方程的解集分解为不可约差分代数簇jueren8 ⊕cc
如果能同时解决这两个问题的话,系统性的难度就能超越Weyl-Berry猜想了,但单一的微分代数簇的不可缩分解问题,难度的确比不上Weyl-Berry猜想jueren8 ⊕cc
不过要想解决这两个问题谈何容易jueren8 ⊕cc
特别是其中的差分代数簇的不可约分解问题,单独拿出来难度也不比Weyl-Berry猜想低多少jueren8 ⊕cc
尽管早在二十世纪三十年代就已经被Ritt等人证明了:“任意一个差分代数簇可以分解为不可约差分代数簇的并jueren8 ⊕cc”
但时至今日,时间过去了近一个世纪了,依旧还没有人能给出一个算法将差分代数方程的解集分解为不可约差分代数簇jueren8 ⊕cc
这七八十年的时间过去,并不是没有人尝试过解决这个问题jueren8 ⊕cc
包括证明了“任意一个差分代数簇可以分解为不可约差分代数簇的并”的Ritt等人也尝试过将Ritt-吴零点分解定理推广到代数差分方程jueren8 ⊕cc
但所得到的结果可以将差分代数簇分解为Zero(S)=∪/kZero(SAT(ASk))的形式而已,剩下,就无法再进行推进了jueren8 ⊕cc
如果再过十几年,这个问题依旧没人能够解决的话,那它将成为典型的世纪性难题jueren8 ⊕cc
办公室中,德利涅和威腾沉浸在手中的稿件中jueren8 ⊕cc
而徐川则是熟练的从导师的办公室中的摸出来了一份最新一期的《数学年刊》看了起来jueren8 ⊕cc
在普林斯顿高等研究院中,这类的顶级期刊很多,几乎任何一位教授,无论是数学,还是物理,亦或者其他自然学科,办公室中基本都有着一大堆的各类期刊juere