我的系統能刷數學經驗_第368章 課題路線圖 二(1)
這個構造的真正天才之在於,它把“哥德赫猜想是否立“這個問題,從一個需要“艱難估計“的解析問題,變了一個需要“優雅判定“的譜論問題。
在傳統的方法里,數學家試圖證明r(N)的漸進公式,需要控制一大堆誤差項,每一項都像一頭隨時可能掀桌子的野。
但徐辰的思路完全不同。
他的框架說:你本不需要去估計r(N)的大小,你只需要證明Tr(Φ_N)不等於零!
而Tr(Φ_N)不等於零,等價於譜側那個求和不等於零。
而譜側的求和,是關於自守表示的特徵值的——這是一個純粹的代數結構,完全離了解析估計的泥潭!
……
拉福格在聽到這裡的時候,整個人陷了長達大約三十秒的完全靜默。
徐辰沒有催他,只是把筆放在了白板托盤上,安靜地等待着。
“所以……“拉福格終於開口,聲音有些乾,“你實際上是在說……”
“哥德赫猜想的本質,“徐辰語氣十分平靜,“不是一個關於素數分佈的解析問題,而是一個關於GL(2)自守表示空間上卷積算子正定的代數問題。”
“證明哥猜,等價於證明Φ_N這個算子在自守譜上的總貢獻嚴格為正。”
。辰徐着看,頭起抬緩緩格福拉
。涌在西東的雜複種一有,里神眼
。覺的界世個一另是實其,後背門的年十三他住困扇那了到看,度角的生陌全完從次一第,人的年十三了耘耕域領個某在個一是那
……
”……的負是值徵特的示表守自個某有側譜果如?明證何如,定正的子算個這“,問發覺首學的謹嚴用,靜冷持保己自迫強格福拉“,是但“
”。方地的難困正真一唯是也、心核最明證個整是正這。題問好“
:字個兩了下寫,邊旁式和求的側譜在,筆起拿辰徐
”子因ε“
”。數實負非是遠永值部局個這了保確,式方造構的p,N_Φ而。定決用作的p,N_Φ子算試測對p_π示表守自部局的應對由全完,值的)N_Φ(π,p數素部局個每在“
。“0 ≥“向指,頭箭小個一了畫,邊旁量分部局個一每在辰徐
”。0≥都量分部局個每“
”……積乘的局全而“
。下一了停裡這在筆的辰徐
。躍跳心核的料意人出最是也、雅優最明證個整是這
”——接連式公積乘拉歐由,積乘的局全“
:下寫辰徐
)}p,N{_Φ(p_πp_∏=)N_Φ(π
”。零於大格嚴也積乘拉歐的們它以所,零於大格嚴都子因部局個一每為因“
”。正為格嚴都項一每的側譜此因“
”。正為格嚴)N_Φ(rT此因“
”。零於大格嚴)N(r此因“
”。立想猜赫德哥此因“
……
。前面人兩在擺麼這就條鏈的明證個整,上板白
。制力暴種那“法篩大“有沒,代迭的苦痛西十有沒,計估項差誤的麻麻有沒它
。N_Φ——造構心核個一有只,尾到頭從
。的渠到水是乎幾,論推的下剩,來出造地確正被核積卷試測個這旦一