“長期以來,數學家們一直在想,能不能把兩者結合起來?
用圓法的整體框架來控制大方向,用篩法的精細技巧來處理區域性細節。”
他在“篩法”和“圓法”之間畫了一條弧線。
“但這條路,走不通。”
臺下有人輕輕“啊”了一聲。
肖宿繼續說道:“因為篩法使用的是莫比烏斯卷積的語言,而圓法使用的是指數和積分的語言。
它們之間沒有自然的翻譯器。”
“那麼,有沒有可能,為這兩套語言造一個翻譯器?”
臺下,德利涅瞬間坐直了身體。
舒爾茨的眉心輕輕一跳。
他們知道,重點來了。
肖宿拿起粉筆,在小黑板中央寫下了一段簡短的定義。
“在研究孿生素數猜想的過程中,我發現了一個有趣的現象。
那就是當我把顧辛流型中關於弗洛爾同調的不變數計算,以某種特定的方式展開時,展開項的結構,和圓法中某個積分核在鞍點附近的漸近展開,形式上一模一樣。”
他又在黑板上寫下了兩行式子。
左邊是弗洛爾同調的展開項:∑_{k} C_k·(log N)^{-k}。
右邊是圓法積分核在鞍點附近的漸近展開:∑_{k} D_k·(log N)^{-k}。
“這不是巧合。
這說明篩法和圓法之間,存在某種更深層的對應關係。”
“既然展開的形式一樣,那展開之前的結構,是不是也一樣?
如果把篩法的求和項,透過某種變換對映到圓法的工作空間裡,這個對映能不能是一個對偶變換?”
他在黑板上寫下一行字:對偶變換T。
“具體來說就是,如果我定義一個變換T,它把篩法中的莫比烏斯卷積轉化為複平面上的圍道積分,那麼C_k和D_k之間滿足D_k = T(C_k)。”
“這個變換T,就是我稱之為傅立葉-米庫辛變換的東西。
它把篩法在整數域上的運算,對映為圓法在複平面單位圓上的運算。
反過來,它的逆變換T^{-1},把圓法的指數和積分,映射回了篩法的篩函式中。”
他的粉筆在黑板上飛快移動,寫下變換的定義。
“T的具體定義應該是:對於篩函式F(s),其傅立葉-米庫辛變換?(z) = ∑_{n} F(n)·n^{-z},這是一個在複平面上定義的狄利克雷級數。
。面平複個整到拓延純亞以可且並,斂收時1 > )z(eR在數級個這
”。訊資鍵關的佈分數素應對好恰佈分點極的它
。年的上臺著盯的灼灼睛眼,來頭起抬上本記筆從軒哲陶,下臺
。板黑開離有沒終始目,頭點了點茨爾舒,麼什句一了說茨爾舒對聲低涅利德
。了言語的容相不互套兩是再不就法圓和法篩,換變個這了有“
。上徑路分積的法圓了到配分新重被項差誤的法篩,下用作的T換變在
”。的擇選由自以可是,徑路分積的法圓而
”。心核的法圓點鞍和法篩層分是就這“
。線曲的蜒蜿條一了畫上板黑在他
。層多分度尺數對照按數素把,法篩層分“
。訊資的度尺定特理只層一每
。}1+j{^2 < p gol ≤ }j{^2足滿p數素的層j第,層J分它把間區小大的)n gol(按我,數素的N過超不於對,說來
”。染汙叉會不差誤的間之層同不,制控立獨以可差誤的式函篩,部層一每在
。分積道圍個一變,上面平複到映對換變辛庫米-葉立傅過果結分篩的層一每,後然“
。它擇選以可我,的定固是不徑路的分積道圍個這
”。減衰度速數指以會大增的N數引著隨項餘,定決獻貢的點鞍由就項主的分積麼那,向方的陡最度梯近附點鞍是就也,上線曲降下速最在選徑路分積把我果如
。式計估的分積點鞍下寫上板黑在他
。定確0 = )N gol·z - )z(? gol(zd/d程方由點鞍“
”。項主於小遠遠級量個這,級量的))}2/1{^)N gol(·c-(pxe·})?z(eR{^N(O在制控被項餘而,))N gol/1(O + 1(·}?z{^N·)?z(?·}2/1{^)|)?z(″?|/π2(是獻貢項主的分積,上徑路降下速最在
。起一了在線連換變辛庫米-葉立傅過,活靈的法圓和度的法篩,在現“
。閡隔言語的者兩了合彌換變偶對,計估域全供提法圓,度層分供提法篩
”。項餘的控可個一上加項主個一為示表以可)n(R數個法表的題問赫德哥,終最
。式示表的終最下寫上板黑在他
。積乘取p數素有所對,)2^)1-p(/1 + 1(}n?p{_∏·)2^)1-p(/1 - 1(}n|p{_∏為義定,數級異奇是)n(中其,)3^)n gol(/n(O + 2^)n gol(/n·)n( = )n(R
。數常正對絕個一於大格嚴它,n數偶對且並,算計以可數級異奇個這
。了完用要快也筆的裡手他,完寫
。零於等不數變不何幾個一明證:為結歸後最題問,後之來出計估界下的)n(R數個法表把“
。標指撲拓個某的裡群調同爾弗於源來,數變不何幾個這
”。值取的下限極定特個一在)n(數級異奇於等好恰秩的它現發,群調同爾弗的它算計,形流子日朗格拉的應對佈分數素與個一了造構上型流辛顧在我,說地切確
”。零為能可不它,了過明證裡文論的想猜數素生孿於關年去在經已我,標指撲拓個這的群調同爾弗而“
。行一後最了下寫上板黑在筆點一的存僅用,過轉他
。數常正的算計可是C中其,0 > 2^)n gol(/n·C ≥ )n(R,n數偶的2於大意任對,上綜“
”。立想猜赫德哥
。人萬上的下臺面直,來過轉,手拍了拍他,了盡用也筆點一後最,落筆
。上板黑的式公滿寫了在投子影的他把,上影的瘦清他在落燈聚
”。完明證,此至“








