第四章 突如其來的靈光
華夏科技躍遷錄
下午兩點的北大圖書館特藏區(qū),陽光透過高窗,在林舟面前的 MS-7802 號手稿上投下長方形的光斑。
泛黃的紙頁上,張益唐先生的字跡工整有力,在 “退化橢圓曲線的 Tate 局部對偶性” 章節(jié)旁,畫著一個半完成的矩陣 —— 這正是林舟卡了一上午的地方。
手稿里寫著:“Tate 局部對偶性可關(guān)聯(lián)橢圓曲線在局部域上的點群與 L 函數(shù)的局部因子”,可他翻遍了《代數(shù)數(shù)論進(jìn)階》里的局部域章節(jié),也沒搞懂 “局部點群的對偶結(jié)構(gòu)如何對應(yīng)到 L 函數(shù)的零點階數(shù)”。
草稿本上畫滿了局部域的賦值圖,進(jìn)度條停在 8.9%,比上午只漲了 0.1%,筆尖在 “局部對偶” 西個字上反復(fù)劃圈,紙頁都快被戳破了。
“師兄,請問你現(xiàn)在有空嗎?”
清脆的聲音從身后傳來,林舟回頭,見一個穿白色衛(wèi)衣的女生站在書架旁,手里抱著一本《橢圓曲線基礎(chǔ)》,筆記本上記滿了彩色標(biāo)注。
女生看著眼熟,好像是上學(xué)期選修 “代數(shù)幾何導(dǎo)論” 時坐在前排的本科生。
“是你啊,有什么事?”
林舟合上手稿,指尖還沾著點手稿紙的舊墨味。
“我叫蘇曉棠,是數(shù)學(xué)系大三的?!?br>
女生把筆記本遞過來,指著其中一頁的習(xí)題,“這道題求橢圓曲線 y2=x3+4x 的有理點,我用 Nagell-Lutz 定理找了 x 為整數(shù)的情況,只找到 (0,0),但總覺得還有遺漏,想請教你是不是哪里錯了?!?br>
林舟接過筆記本,掃了眼習(xí)題 —— 這是他本科時做過的基礎(chǔ)題,關(guān)鍵在 “非整數(shù)有理點” 的尋找。
他拿起筆,在草稿紙上寫:“Nagell-Lutz 定理只限定有限階點的坐標(biāo)是整數(shù),無限階點可能是分?jǐn)?shù)坐標(biāo)。
你試試設(shè) x=2t2,代入方程得 y2=8t?+8t2=8t2(t?+1),令 y=2t?s,得 s2=2 (t?+1),再找 t 的有理數(shù)值……”他沒講太久,蘇曉棠很快就反應(yīng)過來:“哦!
我之前只盯著整數(shù) x,忘了可以用參數(shù)替換找分?jǐn)?shù)點!”
她低頭在筆記本上補算,筆尖劃過紙頁的速度很快,“之前問過三個師兄,都只說‘用定理就行’,師兄你講得特別清楚,太謝謝你了!”
林舟笑了笑,剛要把筆記本還她,蘇曉棠突然瞥見他草稿本上的 “Tate 局部對偶性” 字樣,眼睛亮了:“師兄在研究 *SD 猜想?
我聽陳院士的講座提過,這可是世界難題!”
“只是剛?cè)腴T,還在啃基礎(chǔ)。”
林舟把草稿本往后翻了翻,遮住手稿相關(guān)的內(nèi)容 —— 系統(tǒng)的事不能說,手稿也是導(dǎo)師特批的,不好隨便外露。
蘇曉棠卻沒追問,只是抱著筆記本晃了晃:“師兄幫我解決了**煩,晚上我請你吃飯吧?
學(xué)一食堂的糖醋排骨特別好吃,就當(dāng)感謝你了!”
她眼神很真誠,又補充了句,“我攢了好久的問題,今天終于問明白,不然下周的作業(yè)都交不了。”
林舟本想拒絕,可看著蘇曉棠手里寫得密密麻麻的筆記,想起自己研一時也總麻煩師兄,便點了點頭:“行,不過別點太多,食堂菜量挺大的。”
傍晚六點的學(xué)一食堂,人聲鼎沸。
蘇曉棠端著餐盤找過來,盤子里除了糖醋排骨,還有兩份蔬菜和一碗玉米湯:“師兄,我多打了份湯,你別嫌棄?!?br>
她把排骨推到林舟面前,“聽說吃甜的能讓人思路清晰,你研究難題肯定需要。”
林舟拿起筷子,剛咬了口排骨,就見蘇曉棠從包里掏出一張皺巴巴的海報:“對了師兄,下周系里有線性代數(shù)復(fù)習(xí)講座,主講老師是李教授,海報上還印了復(fù)習(xí)提綱呢。”
她把海報攤在桌上,上面用表格列著 “矩陣對角化二次型與對稱矩陣” 等知識點,表格邊緣畫著一個 2×2 的對角矩陣。
就在這時,林舟的目光落在了那個對角矩陣上 —— 海報上的矩陣元素是局部域的賦值(比如 v?(2)=1,v?(3)=1),像突然有根線在腦子里牽了一下,他猛地放下筷子,抓起桌上的草稿本。
“師兄你怎么了?”
蘇曉棠被他的動作嚇了一跳。
林舟沒說話,筆尖飛快地在紙上寫:Tate 局部對偶性里的 “局部點群”,不就是局部域上的有限生成模嗎?
而模的對偶結(jié)構(gòu),正好可以用矩陣表示!
他之前一首卡在 “局部點群如何對應(yīng) L 函數(shù)局部因子”,卻忘了局部域的賦值可以轉(zhuǎn)化為矩陣的對角元素 —— 就像海報上的對角矩陣,每個元素對應(yīng)一個局部域的賦值,而矩陣的秩,恰好能關(guān)聯(lián)到莫代爾群的秩!
他翻到草稿本上畫的局部域賦值圖,在旁邊補畫了一個 3×3 的對角矩陣:第一行對應(yīng)有理數(shù)域?,第二行對應(yīng) 2-adic 域??,第三行對應(yīng) 3-adic 域??,每個對角元素是該局部域上的點群階數(shù)。
然后根據(jù) Tate 對偶性,矩陣的行列式值正好等于 L 函數(shù)在 s=1 處的局部因子乘積 —— 之前算的那條退化曲線,L 函數(shù)的局部因子乘積為 1,行列式值也為 1,這就對應(yīng)了莫代爾群秩為 0 的情況!
“原來如此!”
林舟忍不住低呼出聲,筆尖在紙上劃過的速度越來越快,把矩陣與局部因子的對應(yīng)關(guān)系一步步寫清楚。
意識里的進(jìn)度條突然跳動起來,從 8.9% 猛地漲到 12.5%,系統(tǒng)彈出淡藍(lán)色提示:*SD 第一關(guān)關(guān)鍵節(jié)點突破:成功建立局部域矩陣表示與 L 函數(shù)局部因子的關(guān)聯(lián),奠定 “秩與零點階數(shù)” 的初步對應(yīng)基礎(chǔ)節(jié)點獎勵發(fā)放:1. 腦域邏輯關(guān)聯(lián)能力提升(強化跨學(xué)科知識串聯(lián)效率,當(dāng)前提升幅度 12%);2. 平行世界科技產(chǎn)物 —— 橢圓曲線數(shù)值模擬工具(理論版),可輔助驗證局部因子計算結(jié)果,需掌握數(shù)值分析基礎(chǔ)后解鎖使用提示彈出的瞬間,林舟太陽穴傳來一陣溫和的**感,不像初次啟動時的刺痛,更像溫水流過神經(jīng) —— 剛才還覺得晦澀的 “局部域模結(jié)構(gòu)”,此刻突然和本科時學(xué)的 “線性代數(shù)矩陣秩” 串聯(lián)起來,甚至能聯(lián)想到手稿里未完成的矩陣推導(dǎo)方向;草稿本上之前畫錯的賦值圖,現(xiàn)在一眼就能看出問題所在,思維清晰度比之前高了不止一個層次。
“師兄,你眼神亮了好多!”
蘇曉棠湊過來看了眼草稿本,雖然很多公式看不懂,但能明顯感覺到林舟的狀態(tài)變化,“是不是真的想通難題了?”
林舟這才回過神,笑著點頭:“多虧了你這張海報,幫我想到了矩陣的用法?!?br>
他指著海報上的對角矩陣,又下意識摸了摸太陽穴 —— **感還在,腦子里的思路像被理清的線團(tuán),“局部域的賦值用矩陣表示,就能和 L 函數(shù)的局部因子對應(yīng)起來,之前一首沒想到這個關(guān)聯(lián)。”
“真的嗎?
那我也算幫到師兄了!”
蘇曉棠笑得眼睛彎成了月牙,又把排骨往他面前推了推,“那你多吃點,爭取早點攻克難題!
對了師兄,我以后要是遇到橢圓曲線的問題,還能請教你嗎?
我也想跟著陳院士學(xué)代數(shù)幾何。”
“當(dāng)然可以,有問題隨時找我?!?br>
林舟拿起筷子,咬排骨時覺得思維更活躍了 —— 剛突破的節(jié)點、系統(tǒng)的獎勵,還有蘇曉棠帶來的 “矩陣靈感”,像三塊拼圖拼在了一起。
他看了眼窗外,食堂外的路燈己經(jīng)亮了,燈光透過玻璃照在草稿本的矩陣上,那些原本晦澀的公式,此刻竟能清晰聯(lián)想到后續(xù)的推導(dǎo)方向。
吃完飯,蘇曉棠幫著收拾餐盤,臨走時還不忘提醒:“師兄,下周的線性代數(shù)講座,我?guī)湍阏嘉恢冒桑?br>
說不定還能幫你想到新思路呢!”
林舟點頭應(yīng)下,看著蘇曉棠的背影消失在食堂門口,才在意識里調(diào)出系統(tǒng)的獎勵說明 ——“橢圓曲線數(shù)值模擬工具(理論版)” 的解鎖條件里,明確寫著 “需掌握《數(shù)值分析》中‘有限元逼近’章節(jié)”,正好對應(yīng)陳院士上周推薦他補的課程。
他在草稿本上補了行字:“1. 學(xué)有限元逼近→解鎖模擬工具;2. 補模曲線局部因子計算”。
泛黃的紙頁上,張益唐先生的字跡工整有力,在 “退化橢圓曲線的 Tate 局部對偶性” 章節(jié)旁,畫著一個半完成的矩陣 —— 這正是林舟卡了一上午的地方。
手稿里寫著:“Tate 局部對偶性可關(guān)聯(lián)橢圓曲線在局部域上的點群與 L 函數(shù)的局部因子”,可他翻遍了《代數(shù)數(shù)論進(jìn)階》里的局部域章節(jié),也沒搞懂 “局部點群的對偶結(jié)構(gòu)如何對應(yīng)到 L 函數(shù)的零點階數(shù)”。
草稿本上畫滿了局部域的賦值圖,進(jìn)度條停在 8.9%,比上午只漲了 0.1%,筆尖在 “局部對偶” 西個字上反復(fù)劃圈,紙頁都快被戳破了。
“師兄,請問你現(xiàn)在有空嗎?”
清脆的聲音從身后傳來,林舟回頭,見一個穿白色衛(wèi)衣的女生站在書架旁,手里抱著一本《橢圓曲線基礎(chǔ)》,筆記本上記滿了彩色標(biāo)注。
女生看著眼熟,好像是上學(xué)期選修 “代數(shù)幾何導(dǎo)論” 時坐在前排的本科生。
“是你啊,有什么事?”
林舟合上手稿,指尖還沾著點手稿紙的舊墨味。
“我叫蘇曉棠,是數(shù)學(xué)系大三的?!?br>
女生把筆記本遞過來,指著其中一頁的習(xí)題,“這道題求橢圓曲線 y2=x3+4x 的有理點,我用 Nagell-Lutz 定理找了 x 為整數(shù)的情況,只找到 (0,0),但總覺得還有遺漏,想請教你是不是哪里錯了?!?br>
林舟接過筆記本,掃了眼習(xí)題 —— 這是他本科時做過的基礎(chǔ)題,關(guān)鍵在 “非整數(shù)有理點” 的尋找。
他拿起筆,在草稿紙上寫:“Nagell-Lutz 定理只限定有限階點的坐標(biāo)是整數(shù),無限階點可能是分?jǐn)?shù)坐標(biāo)。
你試試設(shè) x=2t2,代入方程得 y2=8t?+8t2=8t2(t?+1),令 y=2t?s,得 s2=2 (t?+1),再找 t 的有理數(shù)值……”他沒講太久,蘇曉棠很快就反應(yīng)過來:“哦!
我之前只盯著整數(shù) x,忘了可以用參數(shù)替換找分?jǐn)?shù)點!”
她低頭在筆記本上補算,筆尖劃過紙頁的速度很快,“之前問過三個師兄,都只說‘用定理就行’,師兄你講得特別清楚,太謝謝你了!”
林舟笑了笑,剛要把筆記本還她,蘇曉棠突然瞥見他草稿本上的 “Tate 局部對偶性” 字樣,眼睛亮了:“師兄在研究 *SD 猜想?
我聽陳院士的講座提過,這可是世界難題!”
“只是剛?cè)腴T,還在啃基礎(chǔ)。”
林舟把草稿本往后翻了翻,遮住手稿相關(guān)的內(nèi)容 —— 系統(tǒng)的事不能說,手稿也是導(dǎo)師特批的,不好隨便外露。
蘇曉棠卻沒追問,只是抱著筆記本晃了晃:“師兄幫我解決了**煩,晚上我請你吃飯吧?
學(xué)一食堂的糖醋排骨特別好吃,就當(dāng)感謝你了!”
她眼神很真誠,又補充了句,“我攢了好久的問題,今天終于問明白,不然下周的作業(yè)都交不了。”
林舟本想拒絕,可看著蘇曉棠手里寫得密密麻麻的筆記,想起自己研一時也總麻煩師兄,便點了點頭:“行,不過別點太多,食堂菜量挺大的。”
傍晚六點的學(xué)一食堂,人聲鼎沸。
蘇曉棠端著餐盤找過來,盤子里除了糖醋排骨,還有兩份蔬菜和一碗玉米湯:“師兄,我多打了份湯,你別嫌棄?!?br>
她把排骨推到林舟面前,“聽說吃甜的能讓人思路清晰,你研究難題肯定需要。”
林舟拿起筷子,剛咬了口排骨,就見蘇曉棠從包里掏出一張皺巴巴的海報:“對了師兄,下周系里有線性代數(shù)復(fù)習(xí)講座,主講老師是李教授,海報上還印了復(fù)習(xí)提綱呢。”
她把海報攤在桌上,上面用表格列著 “矩陣對角化二次型與對稱矩陣” 等知識點,表格邊緣畫著一個 2×2 的對角矩陣。
就在這時,林舟的目光落在了那個對角矩陣上 —— 海報上的矩陣元素是局部域的賦值(比如 v?(2)=1,v?(3)=1),像突然有根線在腦子里牽了一下,他猛地放下筷子,抓起桌上的草稿本。
“師兄你怎么了?”
蘇曉棠被他的動作嚇了一跳。
林舟沒說話,筆尖飛快地在紙上寫:Tate 局部對偶性里的 “局部點群”,不就是局部域上的有限生成模嗎?
而模的對偶結(jié)構(gòu),正好可以用矩陣表示!
他之前一首卡在 “局部點群如何對應(yīng) L 函數(shù)局部因子”,卻忘了局部域的賦值可以轉(zhuǎn)化為矩陣的對角元素 —— 就像海報上的對角矩陣,每個元素對應(yīng)一個局部域的賦值,而矩陣的秩,恰好能關(guān)聯(lián)到莫代爾群的秩!
他翻到草稿本上畫的局部域賦值圖,在旁邊補畫了一個 3×3 的對角矩陣:第一行對應(yīng)有理數(shù)域?,第二行對應(yīng) 2-adic 域??,第三行對應(yīng) 3-adic 域??,每個對角元素是該局部域上的點群階數(shù)。
然后根據(jù) Tate 對偶性,矩陣的行列式值正好等于 L 函數(shù)在 s=1 處的局部因子乘積 —— 之前算的那條退化曲線,L 函數(shù)的局部因子乘積為 1,行列式值也為 1,這就對應(yīng)了莫代爾群秩為 0 的情況!
“原來如此!”
林舟忍不住低呼出聲,筆尖在紙上劃過的速度越來越快,把矩陣與局部因子的對應(yīng)關(guān)系一步步寫清楚。
意識里的進(jìn)度條突然跳動起來,從 8.9% 猛地漲到 12.5%,系統(tǒng)彈出淡藍(lán)色提示:*SD 第一關(guān)關(guān)鍵節(jié)點突破:成功建立局部域矩陣表示與 L 函數(shù)局部因子的關(guān)聯(lián),奠定 “秩與零點階數(shù)” 的初步對應(yīng)基礎(chǔ)節(jié)點獎勵發(fā)放:1. 腦域邏輯關(guān)聯(lián)能力提升(強化跨學(xué)科知識串聯(lián)效率,當(dāng)前提升幅度 12%);2. 平行世界科技產(chǎn)物 —— 橢圓曲線數(shù)值模擬工具(理論版),可輔助驗證局部因子計算結(jié)果,需掌握數(shù)值分析基礎(chǔ)后解鎖使用提示彈出的瞬間,林舟太陽穴傳來一陣溫和的**感,不像初次啟動時的刺痛,更像溫水流過神經(jīng) —— 剛才還覺得晦澀的 “局部域模結(jié)構(gòu)”,此刻突然和本科時學(xué)的 “線性代數(shù)矩陣秩” 串聯(lián)起來,甚至能聯(lián)想到手稿里未完成的矩陣推導(dǎo)方向;草稿本上之前畫錯的賦值圖,現(xiàn)在一眼就能看出問題所在,思維清晰度比之前高了不止一個層次。
“師兄,你眼神亮了好多!”
蘇曉棠湊過來看了眼草稿本,雖然很多公式看不懂,但能明顯感覺到林舟的狀態(tài)變化,“是不是真的想通難題了?”
林舟這才回過神,笑著點頭:“多虧了你這張海報,幫我想到了矩陣的用法?!?br>
他指著海報上的對角矩陣,又下意識摸了摸太陽穴 —— **感還在,腦子里的思路像被理清的線團(tuán),“局部域的賦值用矩陣表示,就能和 L 函數(shù)的局部因子對應(yīng)起來,之前一首沒想到這個關(guān)聯(lián)。”
“真的嗎?
那我也算幫到師兄了!”
蘇曉棠笑得眼睛彎成了月牙,又把排骨往他面前推了推,“那你多吃點,爭取早點攻克難題!
對了師兄,我以后要是遇到橢圓曲線的問題,還能請教你嗎?
我也想跟著陳院士學(xué)代數(shù)幾何。”
“當(dāng)然可以,有問題隨時找我?!?br>
林舟拿起筷子,咬排骨時覺得思維更活躍了 —— 剛突破的節(jié)點、系統(tǒng)的獎勵,還有蘇曉棠帶來的 “矩陣靈感”,像三塊拼圖拼在了一起。
他看了眼窗外,食堂外的路燈己經(jīng)亮了,燈光透過玻璃照在草稿本的矩陣上,那些原本晦澀的公式,此刻竟能清晰聯(lián)想到后續(xù)的推導(dǎo)方向。
吃完飯,蘇曉棠幫著收拾餐盤,臨走時還不忘提醒:“師兄,下周的線性代數(shù)講座,我?guī)湍阏嘉恢冒桑?br>
說不定還能幫你想到新思路呢!”
林舟點頭應(yīng)下,看著蘇曉棠的背影消失在食堂門口,才在意識里調(diào)出系統(tǒng)的獎勵說明 ——“橢圓曲線數(shù)值模擬工具(理論版)” 的解鎖條件里,明確寫著 “需掌握《數(shù)值分析》中‘有限元逼近’章節(jié)”,正好對應(yīng)陳院士上周推薦他補的課程。
他在草稿本上補了行字:“1. 學(xué)有限元逼近→解鎖模擬工具;2. 補模曲線局部因子計算”。