第二章 批注里的線索與 BSD 猜想第一關(guān)
華夏科技躍遷錄
清晨七點(diǎn)的北大圖書(shū)館數(shù)學(xué)分館,晨霧還沒(méi)散盡,雕花窗欞外的博雅塔只露出半截灰磚塔尖。
林舟抱著塞爾批注版的《橢圓曲線算術(shù)理論》坐在老位置,面前攤開(kāi)的草稿本上,昨晚抄下的 Weierstrass 公式旁,己經(jīng)畫(huà)滿了密密麻麻的問(wèn)號(hào)。
“4a3 + 27*2≠0,確保非奇異…… 可為什么判別式 Δ=0 就會(huì)出現(xiàn)奇點(diǎn)?”
他咬著筆桿,指尖劃過(guò)書(shū)頁(yè)上塞爾用紅筆圈出的 “代數(shù)曲線奇點(diǎn)分類” 章節(jié) —— 批注里寫(xiě)著 “需結(jié)合代數(shù)幾何中的扎里斯基拓?fù)淅斫?,不可孤立看方程”,字跡遒勁,和書(shū)簽上的小字筆跡有些像。
他想起系統(tǒng)推薦的習(xí)題:《橢圓曲線算術(shù)理論》第三章習(xí)題 7,要求驗(yàn)證 “當(dāng) a=-3,*=2 時(shí),橢圓曲線 y2=x3-3x+2 存在尖點(diǎn)”。
林舟立刻在草稿本上寫(xiě)下方程,先算判別式 Δ=-16 (4×(-27)+27×4)=-16×0=0,符合系統(tǒng)提的 “奇點(diǎn)條件”。
可怎么證明這是 “尖點(diǎn)” 而非其他奇點(diǎn)?
他翻到《模形式導(dǎo)引(1984 年孤本)》的第 42 頁(yè),系統(tǒng)推薦的 “伽羅瓦群作用” 章節(jié)里,有一行鉛筆批注:“尖點(diǎn)判定可求偏導(dǎo),看雅可比矩陣秩 —— 這是代數(shù)曲線的基礎(chǔ)操作,別偷懶”。
林舟眼睛一亮,立刻計(jì)算偏導(dǎo)數(shù):對(duì) x 的偏導(dǎo)是 3x2-3,對(duì) y 的偏導(dǎo)是 2y。
代入曲線與 x 軸的交點(diǎn)(x=1 時(shí),y2=1-3+2=0),得到雅可比矩陣為 [[0,0]],秩為 0—— 恰好符合尖點(diǎn)的判定條件(雅可比矩陣秩小于 1)。
“原來(lái)如此!”
他猛地攥緊筆,草稿紙上的等號(hào)畫(huà)得格外重,意識(shí)里的進(jìn)度條輕輕跳了一下:理論知識(shí)掌握度 4.8%。
這微小的提升讓他精神一振,又挑了習(xí)題里的另一個(gè)例子:a=0,*=0,方程變?yōu)?y2=x3。
算判別式 Δ=0,求偏導(dǎo)得 [[3x2,2y]],在原點(diǎn) (0,0) 處矩陣秩仍為 0。
可塞爾的批注里特意標(biāo)了 “此為結(jié)點(diǎn),非尖點(diǎn)”—— 林舟頓住了,剛提起的筆懸在半空。
“都是秩 0,怎么分尖點(diǎn)和結(jié)點(diǎn)?”
他皺著眉翻書(shū),指尖又蹭到了書(shū)架內(nèi)側(cè)的 “華” 字劃痕。
這次指尖的暖意更明顯,像有微弱的信號(hào)在提醒他 —— 他忽然想起昨晚看的《代數(shù)數(shù)論進(jìn)階》里,有一章講 “參數(shù)化曲線的光滑性”,里面提過(guò) “用冪級(jí)數(shù)展開(kāi)判斷奇點(diǎn)類型”。
林舟趕緊把那本書(shū)找過(guò)來(lái),翻到第 79 頁(yè)。
系統(tǒng)似乎察覺(jué)到他的思路,意識(shí)里彈出一行淡藍(lán)色提示:提示:尖點(diǎn)對(duì)應(yīng)參數(shù)化后一階導(dǎo)數(shù)為 0、二階導(dǎo)數(shù)非 0;結(jié)點(diǎn)對(duì)應(yīng)兩分支切線不同 —— 可嘗試對(duì) y2=x3 做參數(shù)化,令 t=y/x(x≠0)他順著提示往下算:令 t=y/x,則 y=tx,代入方程得 t2x2=x3,即 x=t2,y=t3。
對(duì) t 求導(dǎo),一階導(dǎo)數(shù) dx/dt=2t,dy/dt=3t2,在 t=0(對(duì)應(yīng)原點(diǎn))處均為 0;二階導(dǎo)數(shù) d2x/dt2=2,d2y/dt2=6t,t=0 時(shí)前者非 0—— 符合尖點(diǎn)特征。
再試 y2=x3-3x+2 的 x=1 處,參數(shù)化后算到二階導(dǎo)數(shù)時(shí),林舟忽然停筆 —— 草稿紙上的演算步驟,竟和塞爾批注里 “某類橢圓曲線奇點(diǎn)判定實(shí)例” 的推導(dǎo)框架重合了。
他抬頭看了眼窗外,晨霧散了些,陽(yáng)光落在書(shū)簽背面,露出一行之前沒(méi)注意的小字:“1978 年冬,證此例時(shí)卡了三天,后得陳先生提點(diǎn)”。
“陳先生?”
林舟心里一動(dòng),導(dǎo)師提過(guò),陳院士年輕時(shí)曾跟著塞爾訪學(xué)。
他低頭繼續(xù)算,等最后一筆落下,草稿本上終于清晰寫(xiě)著 “故 a=-3,*=2 時(shí),曲線在 x=1 處為尖點(diǎn)” 時(shí),意識(shí)里的進(jìn)度條又跳了:6.8%。
“才提升 2.6%?”
林舟揉了揉發(fā)酸的手腕,卻沒(méi)覺(jué)得沮喪 —— 剛才的演算里,他至少回頭翻了五次書(shū),驗(yàn)證了三個(gè)定理,這種 “啃透每個(gè)細(xì)節(jié)” 的感覺(jué),比首接得到答案更踏實(shí)。
這時(shí),穿灰色中山裝的老教授推著書(shū)車經(jīng)過(guò),瞥見(jiàn)他草稿本上的公式,忽然停下腳步:“年輕人,研究橢圓曲線的奇點(diǎn)?”
林舟抬頭,才發(fā)現(xiàn)是數(shù)學(xué)系的李教授,主攻代數(shù)幾何。
“***好,我在做第三章習(xí)題 7?!?br>
他把書(shū)遞過(guò)去,李教授翻到塞爾的批注,笑了:“塞爾這批注,當(dāng)年陳先生也抄過(guò) —— 對(duì)了,你注意到?jīng)],這類有尖點(diǎn)的橢圓曲線,恰好和 *SD 猜想里‘莫代爾群秩為 0’的情況相關(guān)。”
林舟心里猛地一震。
*SD 猜想!
他光顧著驗(yàn)證習(xí)題,竟忘了最初的目標(biāo)。
李教授剛要再說(shuō),林舟意識(shí)里的系統(tǒng)突然彈出新的文字,這次不是提示,而是清晰的 “關(guān)卡” 劃分:*SD 猜想拆解:第一關(guān) —— 計(jì)算 y2=x3-3x+2 的莫代爾群秩任務(wù)要求:1. 先學(xué)習(xí)《橢圓曲線的有理點(diǎn)》第西章 “Nagell-Lutz 定理”;2. 找出該曲線所有有理點(diǎn),據(jù)此確定莫代爾群秩;3. 禁止首接引用己有結(jié)論,需自主驗(yàn)證每個(gè)有理點(diǎn)的有效性。
“莫代爾群秩……” 林舟喃喃重復(fù),李教授聞言點(diǎn)頭:“這是破解 *SD 的第一步 —— 先搞懂‘曲線有多少獨(dú)立的有理點(diǎn)’,才能談后續(xù)的 L 函數(shù)關(guān)聯(lián)?!?br>
他拍了拍林舟的肩:“慢慢來(lái),每一關(guān)都踩實(shí)了,后面的路才好走?!?br>
李教授走后,林舟盯著系統(tǒng)的 “第一關(guān)” 提示,又看了眼草稿本上的曲線方程。
晨光里,他在新的草稿頁(yè)頂端寫(xiě)下:“*SD 第一關(guān):Nagell-Lutz 定理→找有理點(diǎn)→算秩”,筆尖落下時(shí),進(jìn)度條末尾的熒光閃了閃,像是在為他的 “闖關(guān)” 倒計(jì)時(shí)。
林舟抱著塞爾批注版的《橢圓曲線算術(shù)理論》坐在老位置,面前攤開(kāi)的草稿本上,昨晚抄下的 Weierstrass 公式旁,己經(jīng)畫(huà)滿了密密麻麻的問(wèn)號(hào)。
“4a3 + 27*2≠0,確保非奇異…… 可為什么判別式 Δ=0 就會(huì)出現(xiàn)奇點(diǎn)?”
他咬著筆桿,指尖劃過(guò)書(shū)頁(yè)上塞爾用紅筆圈出的 “代數(shù)曲線奇點(diǎn)分類” 章節(jié) —— 批注里寫(xiě)著 “需結(jié)合代數(shù)幾何中的扎里斯基拓?fù)淅斫?,不可孤立看方程”,字跡遒勁,和書(shū)簽上的小字筆跡有些像。
他想起系統(tǒng)推薦的習(xí)題:《橢圓曲線算術(shù)理論》第三章習(xí)題 7,要求驗(yàn)證 “當(dāng) a=-3,*=2 時(shí),橢圓曲線 y2=x3-3x+2 存在尖點(diǎn)”。
林舟立刻在草稿本上寫(xiě)下方程,先算判別式 Δ=-16 (4×(-27)+27×4)=-16×0=0,符合系統(tǒng)提的 “奇點(diǎn)條件”。
可怎么證明這是 “尖點(diǎn)” 而非其他奇點(diǎn)?
他翻到《模形式導(dǎo)引(1984 年孤本)》的第 42 頁(yè),系統(tǒng)推薦的 “伽羅瓦群作用” 章節(jié)里,有一行鉛筆批注:“尖點(diǎn)判定可求偏導(dǎo),看雅可比矩陣秩 —— 這是代數(shù)曲線的基礎(chǔ)操作,別偷懶”。
林舟眼睛一亮,立刻計(jì)算偏導(dǎo)數(shù):對(duì) x 的偏導(dǎo)是 3x2-3,對(duì) y 的偏導(dǎo)是 2y。
代入曲線與 x 軸的交點(diǎn)(x=1 時(shí),y2=1-3+2=0),得到雅可比矩陣為 [[0,0]],秩為 0—— 恰好符合尖點(diǎn)的判定條件(雅可比矩陣秩小于 1)。
“原來(lái)如此!”
他猛地攥緊筆,草稿紙上的等號(hào)畫(huà)得格外重,意識(shí)里的進(jìn)度條輕輕跳了一下:理論知識(shí)掌握度 4.8%。
這微小的提升讓他精神一振,又挑了習(xí)題里的另一個(gè)例子:a=0,*=0,方程變?yōu)?y2=x3。
算判別式 Δ=0,求偏導(dǎo)得 [[3x2,2y]],在原點(diǎn) (0,0) 處矩陣秩仍為 0。
可塞爾的批注里特意標(biāo)了 “此為結(jié)點(diǎn),非尖點(diǎn)”—— 林舟頓住了,剛提起的筆懸在半空。
“都是秩 0,怎么分尖點(diǎn)和結(jié)點(diǎn)?”
他皺著眉翻書(shū),指尖又蹭到了書(shū)架內(nèi)側(cè)的 “華” 字劃痕。
這次指尖的暖意更明顯,像有微弱的信號(hào)在提醒他 —— 他忽然想起昨晚看的《代數(shù)數(shù)論進(jìn)階》里,有一章講 “參數(shù)化曲線的光滑性”,里面提過(guò) “用冪級(jí)數(shù)展開(kāi)判斷奇點(diǎn)類型”。
林舟趕緊把那本書(shū)找過(guò)來(lái),翻到第 79 頁(yè)。
系統(tǒng)似乎察覺(jué)到他的思路,意識(shí)里彈出一行淡藍(lán)色提示:提示:尖點(diǎn)對(duì)應(yīng)參數(shù)化后一階導(dǎo)數(shù)為 0、二階導(dǎo)數(shù)非 0;結(jié)點(diǎn)對(duì)應(yīng)兩分支切線不同 —— 可嘗試對(duì) y2=x3 做參數(shù)化,令 t=y/x(x≠0)他順著提示往下算:令 t=y/x,則 y=tx,代入方程得 t2x2=x3,即 x=t2,y=t3。
對(duì) t 求導(dǎo),一階導(dǎo)數(shù) dx/dt=2t,dy/dt=3t2,在 t=0(對(duì)應(yīng)原點(diǎn))處均為 0;二階導(dǎo)數(shù) d2x/dt2=2,d2y/dt2=6t,t=0 時(shí)前者非 0—— 符合尖點(diǎn)特征。
再試 y2=x3-3x+2 的 x=1 處,參數(shù)化后算到二階導(dǎo)數(shù)時(shí),林舟忽然停筆 —— 草稿紙上的演算步驟,竟和塞爾批注里 “某類橢圓曲線奇點(diǎn)判定實(shí)例” 的推導(dǎo)框架重合了。
他抬頭看了眼窗外,晨霧散了些,陽(yáng)光落在書(shū)簽背面,露出一行之前沒(méi)注意的小字:“1978 年冬,證此例時(shí)卡了三天,后得陳先生提點(diǎn)”。
“陳先生?”
林舟心里一動(dòng),導(dǎo)師提過(guò),陳院士年輕時(shí)曾跟著塞爾訪學(xué)。
他低頭繼續(xù)算,等最后一筆落下,草稿本上終于清晰寫(xiě)著 “故 a=-3,*=2 時(shí),曲線在 x=1 處為尖點(diǎn)” 時(shí),意識(shí)里的進(jìn)度條又跳了:6.8%。
“才提升 2.6%?”
林舟揉了揉發(fā)酸的手腕,卻沒(méi)覺(jué)得沮喪 —— 剛才的演算里,他至少回頭翻了五次書(shū),驗(yàn)證了三個(gè)定理,這種 “啃透每個(gè)細(xì)節(jié)” 的感覺(jué),比首接得到答案更踏實(shí)。
這時(shí),穿灰色中山裝的老教授推著書(shū)車經(jīng)過(guò),瞥見(jiàn)他草稿本上的公式,忽然停下腳步:“年輕人,研究橢圓曲線的奇點(diǎn)?”
林舟抬頭,才發(fā)現(xiàn)是數(shù)學(xué)系的李教授,主攻代數(shù)幾何。
“***好,我在做第三章習(xí)題 7?!?br>
他把書(shū)遞過(guò)去,李教授翻到塞爾的批注,笑了:“塞爾這批注,當(dāng)年陳先生也抄過(guò) —— 對(duì)了,你注意到?jīng)],這類有尖點(diǎn)的橢圓曲線,恰好和 *SD 猜想里‘莫代爾群秩為 0’的情況相關(guān)。”
林舟心里猛地一震。
*SD 猜想!
他光顧著驗(yàn)證習(xí)題,竟忘了最初的目標(biāo)。
李教授剛要再說(shuō),林舟意識(shí)里的系統(tǒng)突然彈出新的文字,這次不是提示,而是清晰的 “關(guān)卡” 劃分:*SD 猜想拆解:第一關(guān) —— 計(jì)算 y2=x3-3x+2 的莫代爾群秩任務(wù)要求:1. 先學(xué)習(xí)《橢圓曲線的有理點(diǎn)》第西章 “Nagell-Lutz 定理”;2. 找出該曲線所有有理點(diǎn),據(jù)此確定莫代爾群秩;3. 禁止首接引用己有結(jié)論,需自主驗(yàn)證每個(gè)有理點(diǎn)的有效性。
“莫代爾群秩……” 林舟喃喃重復(fù),李教授聞言點(diǎn)頭:“這是破解 *SD 的第一步 —— 先搞懂‘曲線有多少獨(dú)立的有理點(diǎn)’,才能談后續(xù)的 L 函數(shù)關(guān)聯(lián)?!?br>
他拍了拍林舟的肩:“慢慢來(lái),每一關(guān)都踩實(shí)了,后面的路才好走?!?br>
李教授走后,林舟盯著系統(tǒng)的 “第一關(guān)” 提示,又看了眼草稿本上的曲線方程。
晨光里,他在新的草稿頁(yè)頂端寫(xiě)下:“*SD 第一關(guān):Nagell-Lutz 定理→找有理點(diǎn)→算秩”,筆尖落下時(shí),進(jìn)度條末尾的熒光閃了閃,像是在為他的 “闖關(guān)” 倒計(jì)時(shí)。