圖書館的活動室。
面對著寫了一半的白板,陸舟收回了手中的記號筆,退后兩步看著白板說道。
“……想要解決代數和幾何的統一性問題,就必須將‘數’和‘形’從一般的表述形式中剝離出來,在抽象的概念中尋找它們之間的共性。”
站在陸舟的旁邊,陳陽思忖了片刻之后,忽然開口問道。
“朗蘭茲綱領?”
“不只是朗蘭茲綱領,”陸舟認真說道,“還有otive理論,想要解決這個問題,我們必須弄清楚不同上同調理論彼此之間的聯系。”
事實上,這個問題是一個很大的范疇。
將“不同上同調理論彼此之間的聯系”這一問題不斷細分下去,甚至能夠分裂成數萬乃至數百萬個懸而未決的猜想,或者說數學命題。
代數幾何學領域懸而未決的難題霍奇猜想,便是其中之一,也是最出名的一個。
然而有意思的是,雖然存在如此之多極其困難的猜想阻擋在前面,但論證otive理論卻并不需要將這些猜想全部解決。
雙方的關系就好像黎曼猜想和黎曼猜想在狄利克雷函數上的推廣一樣若即若離。
“……表面上看我們研究的是一個復分析問題,但事實上它同時也是偏微分方程、代數幾何、拓撲學的問題。”
看著面前的白板,陸舟繼續說道,“站在戰略的高度,我們需要在數和形的抽象形式上找到一種可以關聯兩者的因子。在戰術上,我們可以從kunh公式、ocare對偶等等一系列上同調理論的共性入手,以及我先前向你展示的l流形在復平面上的應用方法。”
說著,陸舟將視線投向了站在他旁邊的陳陽。
“我需要一個理論,它能夠發揚一維上同調的經典理論也就是曲線的jabi簇理論和abel簇理論的成功之處,以便于所有維數的上同調。”
“基于這個理論,我們可以研究otive理論中的直和分解,使h(v)與不可約otive相關聯。”
“原本這一塊我是打算自己去做的,但還有跟重要的部分值得我去完成。我打算在今年之內搞定大統一理論,這一塊就交給你了。”
面對陸舟的拜托,陳陽沉思了一會兒,開口說道。
“聽起來有點意思……如果我的感覺沒錯的話,如果能找到這個理論的話,應該會成為解決霍奇猜想的線索吧。”
陸舟點了下頭,說道。
“能不能解決霍奇猜想我不清楚,不過作為同一類的問題,它的解決可能能夠啟發對霍奇猜想的研究。”
“我知道了,”陳陽點了點頭,“我回去會仔細研究下……但我沒法保證能在短時間內解決這個問題。”
“沒關系,這本來就不是短時間能夠完成的任務,何況我也不是特別的著急,”陸舟笑了笑繼續說道,“不過,我的建議是,最好還是在兩個月之內給我一個答復。如果你沒有把握的話,也最好提前告訴我一聲,我自己來做這一塊也是可以的。”
陳陽搖了搖頭。
“兩個月不至于,半個月……應該就夠了。”
并非是出于自信的發言,而是一種幾近陳述語氣的肯定。采用的工具是現成的,甚至于連解決問題的可能的思路,陸舟都已經給出了。
這種并非需要顛覆性的思維以及創造力的工作,只要肯下功夫就能解決。
而他最不缺的,便是一根筋懟在一條路上的毅力。
看著面無表情的陳陽,陸舟點了點頭,伸手拍了下他的胳膊。
“嗯,這一塊就交給你了!”
陳陽走后,陸舟回到了圖書館,走到了自己先前的位置坐下,翻開了桌上那疊尚未看完的文獻,一邊繼續先前的研究,一邊用筆在草稿紙上計算著。
從宏觀的角度來看,代數幾何在近代的發展可以歸結為兩個大的方向,一個是朗蘭茲綱領,另一個就是otive理論。
其中朗蘭茲理論,其精神內核便是將數學上的一些表面看起來不相干的內容建立起本質的聯系,由于很多人都聽說過,便不再贅述。
至于otive理論,相對朗蘭茲綱領而言,則沒那么出名了。
此時此刻,他正在研讀的這篇論文,便是由著名的代數幾何學家voevodsky教授撰寫的。
在論文中,這位來自普林斯頓高等研究院的俄羅斯籍教授,提出了一個非常有趣的otive范疇。
而這,恰好是陸舟所需要的。
“……所謂otive,便是一切數的根源。”
用只有自己才能聽見的聲音小聲輕念著,陸舟一邊對照著文獻上的一行行算式,一邊在草稿紙上奮筆疾書地演算著。
舉個通俗的例子,如果一個數我們稱之為n,在十進制下n可以表示為100,那么實際上它既可以是1100100,也可以是144。
表述的方式不同,區別僅僅在于我們選擇的是二進制還是八進制來統計它。事實上無論是1100100還是144,它們對應的都是n這個數字,只不過是n的不同闡述形式而已。
在這里,n被賦予了一種特殊的意義。
它既是一種抽象的數字,也是數字的本質。
otive理論研究的,便是由無數個n組成的名為大寫n的集合。
作為一切數學表述形式的根源,n可以映射到任意區間的集合內,無論是0,1還是0,9,而關于otive理論的一切數學方法,在它身上都同等適用。
事實上,這已經涉及到了代數幾何的核心問題,也就是數的抽象形式。
有別于一切人類通過不同進制計數法“翻譯”之后的語言,這種抽象的表述方法,才是真正意義上的宇宙的語言。
而如果我們只是為了日常生活而使用數學的話,可能一輩子也不會意識到這一點,許多賦予數字特殊意義的宗教和文化,事實上也并沒有真正地聽懂“上帝的語言”
有人可能會問這除了讓計算變得更加麻煩之外還能有什么用,然而事實上卻正好相反,將數字本身與其表述形式剝離開來,反而更有助于人們研究其背后的抽象意義。
格羅滕迪克除了奠定了現代代數幾何學的理論基礎之外,另一個偉大的工作便在于此。
他創造了一個單一的理論,在代數幾何與各種各樣的上同調理論之間架起了一座橋梁。
它就好像是一場交響樂的主旋律一樣,每一個特殊的上同調理論都可以從中抽出它自己的主題素材,按照自己的基調、大調、或者小調甚至是獨創的拍子進行演奏。
“……所有上同調理論共同組成了一個幾何對象,而這個幾何對象,可以被放進他所開辟的框架下研究。”
“……原來如此。”
瞳孔中漸漸染上了一絲興奮的神采,陸舟手中的筆尖停了下來。
一種冥冥之中的預感,讓他感覺自己距離終點線已經很接近了。
這種來自靈魂深處的興奮,簡直比他第一次目睹虛擬現實世界的感受,還要更加的令人愉悅……
(關于otive理論的部分,參考的是barryazur那篇著名的《whata
otive》,算是一篇科普性質的論文,看完之后確實令人大開眼界。)