第三百二十二章 又是一年高考時（第2/2頁）

“呃……還沒有。”

“你去樓下復印一份，自己帶回去看看。名義上，你雖然是我的助手，可這份工作，我可並非只是叫你過來給我打下手的。兩個腦子一塊轉，怎麽也比一個大腦轉要來的輕松。”

……

“這裏，根據卡拉西奧多裏-周定理，設V（M）是解析流形M上所有解析向量場的全體，D是V（M）中對稱子集……一條積分曲線α：[0，T]→M，T≥0，使得α（0）=x，且α（T）=y，可是，教授，下一步該怎麽辦？”

“是不是要求某域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'）間的同構。”

程諾埋頭算了一會兒，擡頭豎起大拇指，“果然簡便不少！”

“對了，程諾，數學建模大賽的報名報上了嗎？”方教授抱著泡枸杞的保溫杯，笑著開口問。

程諾：“已經報上了。”

方教授：“你的兩位隊友，不會真的是隨便從路上拉的吧？”

程諾：“不是。”

方教授：“那就好，那就好。”

程諾：“是我隨便在報名處隨便拉的兩個。”

方教授：“……”