,“对了,你把这份资料复印了吗?”
“呃……还没有。”
“你去楼下复印一份,自己带回去看看。名义上,你虽然是我的助手,可这份工作,我可并非只是叫你过来给我打下手的。两个脑子一块转,怎么也比一个大脑转要来的轻松。”
…………
“这里,根据卡拉西奥多里-周定理,设V(M)是解析流形M上所有解析向量场的全体,D是V(M)中对称子集,……一条积分曲线α:[0,T]→M,T≥0,使得α(0)=x,且α(T)=,可是,教授,下一步该怎么办?”
“是不是要求某域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')间的同构。”
程诺埋头算了一会儿,抬头竖起大拇指,“果然简便不少!”
“对了,程诺,数学建模大赛的报名报上了吗?”方教授抱着泡枸杞的保温杯,笑着开口问。
程诺:“已经报上了。”
方教授:“你的两位队友,不会真的是随便从路上拉的吧?”
程诺:“不是。”
方教授:“那就好,那就好。”
程诺:“是我随便在报名处随便拉的两个。”
方教授:“……”