狹義霍奇猜想雖然難,但還沒有難到西蒙一點都啃不動的程度。
西蒙一邊在電腦前噼里啪啦打著字,一邊開口說道,“課題框架的搭建進度差不多在30%左右,文件我已經通過郵件發給你了,查收一下。”
顧律選擇接收郵件,笑著夸贊道,“30%,很不錯嘛,西蒙教授。”
從國際數學家大會西蒙回國后開始搭建課題框架,到現在才過去一周的時間。
一周的時間,進度達到30%。
這個速度,已經在顧律的預料之外。
“那可是,狹義霍奇猜想是個硬骨頭,但我西蒙同樣是擁有兩排尖利的牙齒,啃的動!”難得聽到顧律的稱贊,西蒙小小的傲嬌了一下。
顧律扯扯嘴角,不動聲色的呵呵了一聲。
顧律打開西蒙郵件中發來的文件,簡單了掃了一遍。
狹義霍奇猜想是一個代數幾何難題,其中少不了一些幾何圖形的繪制。
只不過……
西蒙的繪圖技術,顧律只能說是一言難盡。
西蒙似乎深諳抽象即為藝術的道理,所以發給顧律文件中的幾十張圖片,都是即為精簡抽象。
甚至有幾張顧律都懷疑西蒙是不是用純手工繪制的,簡直就像是小孩子涂鴉一般。
為什么同樣用的MATLAB,你卻可以如此優秀!
“西蒙,你這幾張幾何圖片……”顧律望著西蒙發來的幾張幾何示意圖,面色古怪。
“哦,你是說這幾張啊,用繪圖軟件畫實在是太麻煩了,所以我就直接用手繪板畫的,我這畢加索式畫風還不錯吧!”西蒙語氣中有點小驕傲。
還不錯……個鬼啊!
這東西,別說是外行人了,恐怕連內行人都有一些會看不懂了。
顧律扶著額頭,懶得再去糾結這些小細節。
顧律掃了一下文件中一個足足二三十頁長度的文檔,沒有打開的**,直接開口說道,“我就不打開自己看了,有點浪費時間,西蒙,你就簡單把里面的內容給我說一遍吧。”
“你可真夠懶的。”西蒙撇撇嘴,小聲嘀咕了一句。
“你說什么,我沒太聽清?”顧律笑吟吟的開口問。
“沒什么,沒什么,我講,我現在就講。”西蒙抹了一把額頭上并不存在的虛汗。
“霍奇猜想,是現代數學極端抽象體系下誕生的難題。作為高度專業的問題,它處理的對象和我們一般的直覺相去甚遠,以至于不但對猜想本身的對錯難以下判斷,甚至連問題本身的表述都在尋求建立真正的共識。”
“直到1950年,我們才對霍奇猜想進行了準確的定義:一個非奇異射影代數簇的每一個(一定類型的)調和微分形式都是代數閉鏈的上同調類的一個有理組合。”
說到這,西蒙端起咖啡一口飲盡,準備對顧律講述一個波瀾壯闊,無數數學家針對霍奇猜想前仆后繼的悲壯歷史。
但被顧律直接打斷。
“別講這些廢話,這些歷史我都知道,直接進入正題。”
“行吧。”西蒙無奈的把準備好的發言掐掉,直接進入正題。
“我利用你給我的方法,也就是追本溯源,從代數簇的定義開始入手,將一些代數方程的解轉換為幾何對象,這樣的話,猜想中的‘非奇異射影代數簇’可以定義為一個代數方程的解所生成的光滑的多維物體的“表面”。”
“接下來……”