“是不是要求某域k内的n元多项式F1，F2，…，Fn所形成的代数方程组F1(x1，…，xn)=0，F2(x1，…，xn)=0，…，Fn(x1，…，xn)=0的位于域k内的公共解集？”
时间来到六月底，程诺正在一间办公室内商讨着关于猜想证明工作的进展。
到现在，程诺算是已经彻底吃透那包含方教授两年心血的十几张草稿。按照程诺的看法，如果真的一切的验证过程全部按照方教授既定好的路线来的话，那么前两年时间，方教授算是利用业余时间走完了三分之一的进度。
目前的进度，已达到40%，一年时间差不多能够搞定，证明出另一半的BSD定理。
当然，前提条件是，研究方向正确，错误的话，那就几乎前两年的心血全部白费。
方教授坐在办公椅上，眯着眼听完程诺的看法，笑着说道，“你的这种方法确实不错，但还是麻烦一点。”
方教授手指指向草稿纸一处，“照我来说，可以利用复解析流形和莫贝尔簇结合的方式。若V是复r维的一个紧复解析流形，F(V）是V上半纯函数所构成的域，则F(V）是有限的代数函数域，其超越维数s不会大于r．此外，还存在一s维的代数簇V'以及V到V'的半纯变换T，使T可诱导出F(V）和F(V'）间的同构。”
程诺埋头算了一会儿，抬头竖起大拇指，“果然简便不少！”
“对了，程诺，数学建模大赛的报名报上了吗？”方教授抱着泡枸杞的保温杯，笑着开口问。
程诺：“已经报上了。”
方教授：“你的两位队友，不会真的是随便从路上拉的吧？”
程诺：“不是。”
方教授：“那就好，那就好。”
程诺：“是我随便在报名处随便拉的两个。”
方教授：“……”
喜欢万能数据请大家收藏：(www.17sct.com)万能数据一起上词条更新速度全网最快。