第一千一百五十四章更強悍的徐教授!
“設x是域k上光滑投影代數簇,e是與k的特征互素的素數,hi(x,qe)是x的i階e-adic上同調群,x與投影空間的超平面的交集是x的子代數簇。”
“與這個子代數簇的上同調類作cup乘積定義出線性映射l:hi(x,qe)→h^i2(x,qe).....”
“對于定義在q上的光滑代數簇x,考慮其模p約化,而對幾乎所有p,約化都是好。給出定義在f_p上的光滑代數簇x_p,此時ζxp(s)=z·xp(p^-s):=eep(∑n≥1·nn/n·pˉns)....”
黑板前,徐川臉上帶著淡淡的笑容,一邊將腦海中的思路整理出來書寫到黑板上,一邊解釋著自己的想法。
站在徐川的身后,法爾廷斯饒有興趣的看著黑板上的算式。
如果說數學界還有什么公認的難題比七大千禧年難題要更難以解決,那么由教皇亞歷山大·格羅滕迪克提出來的(grothendieck)標準猜想無疑便是其中的一個。
格羅滕迪克老先生在研究weil猜想時提出了標準猜想,并在該猜想基礎上,建立了otive理論。
而如今,otive理論一直指引著算術代數幾何的發展。
除此之外,標準猜想有很多深刻的推論.它可以推出weil猜想,而且可以推出弗羅貝尼烏斯在光滑投影代數簇的上同調群上的作用是半單的。
與此同時,它還能推出代數簇中代數閉鏈的數值等價和同調等價是是同一個等價關系。
可以說,格羅滕迪克提出的標準猜想是一座真正的數學寶藏,數學界可以從里面挖掘出來的有價值的東西實在是太多太多了。
目光落在面前的黑板上,法爾廷斯眼眸中帶著一絲好奇的神色。
從徐川剛開始寫的這些數學公式來看,他應該是想要通過已經證明了的韋爾猜將光滑代數簇x解析延拓到全平面,進而滿足黎曼猜想。
這條思路借助了懷爾斯和泰勒等人的模定理,也就是谷山-志村證明的谷山-志村猜想,后者作為朗蘭茲綱領的特例,是證明費馬大定理的關鍵。
但關鍵問題是,在l_e(s)在s=1處的展開性狀包含了e的結構信息k這是千禧七大難題之一的birch和swion-dyer猜想(bds猜想),迄今尚未得到證明。
“有意思,他準備怎么做?”
目光落在面前的背影上,法爾廷斯眼眸中閃爍著思索的神色,他將自己代入進了徐川的角度,沿著黑板上的算式繼續嘗試性的往下推衍著。
腦海中的思緒如閃電,一項又一項看似可行的方案最終都被他推翻了。
hasse-weilζ/l函數包含了大量數論信息,而在對它的推衍過程中僅僅是對橢圓曲線定義的l_e(s)就涉及好幾個艱深的數學定理與猜想。
現階段的數學界對一般的高維代數簇x都無能為力,所有成果幾乎都源于在志村簇上建立朗蘭茲綱領對應的嘗試上。
“他該怎么找到高維代數簇x的精確陳述,然后提出可能的證明路徑,并最終成功證明?”
站在法爾廷斯的身旁,彼得·舒爾茨和陶哲軒等人眼眸中也帶上了一抹狐疑和驚訝。
在場的所有人都是數學界真正的‘神仙’,每一個都是手握一枚菲爾茲獎的頂尖大牛,徐川的研究思路對于他們來說自然很容易理解。
但越是能夠理解這條研究思路,對于走通這條道路就越是感覺到困難,甚至是不可能。
如果是一個人有這種想法,或許是他可能并不擅長這一領域的研究。
但在場的所有人幾乎的都萌生了這條路難以走通或者說走不通的想法,那么或許這條路,可能真的難以走通。
除非徐川能直接今天在現場解決掉bds猜想。
否則這條研究思路怎么看都是死路。
而在今天解決掉bds猜想......這有可能嗎?
辦公室中,一群數學界的頂尖大牛看著依舊還在繼續闡述自己的研究思路與方向的那個人,眼神中滿是復雜的情緒。
黑板前,徐川倒是不太清楚這群人復雜的心理變化,在寫下了一行數學公式后,他轉過身,笑著開口道。
“weil猜想的第三部分可以視作關于有限域的代數簇的黎曼猜想,而有關于橢圓曲線上的有理點的問題主要涉及代數數論。”
“相信在場的各位都很清楚這些,也很容易看出我的研究思路是基于韋爾猜想與光滑代數簇x解析延拓的。”