對於薩納克教授來說,看論文是一件很經常的事,畢竟作為《數學年刊》的主編,需要他審稿的論文是很多的。
尤其是那些有潛力登上《數學年刊》的投稿,不管是符合他研究領域的,還是不符合他研究領域的,他很多都看過。
所以現在讓他來看林曉的這篇報告,也算是找對人了,尤其是這種數論領域的果。
他當初拿到沃爾夫數學獎,就和他在數論領域做出的貢獻有關。
同樣,也正如蓬皮埃利教授說的那樣,沒有哪個數學家不會對這些素數問題到有興趣,畢竟它們看起來是那麼的簡單明了,不就是一個個的正整數嘛,雖然在解決問題的過程中不了要用到各種奇形怪狀甚至是繁雜的數學符號,有時候也得用上號來讓它變得不再是整數,但是總歸看上去很簡潔嘛!
不然的話,為什麼民科們熱衷於解決哥德赫猜想而不是黎曼猜想?
因為他們憑藉自己九年義務教育得到的知識都能看懂哥德赫猜想,於是就憑藉著一腔膽識沖了上去。
至於黎曼猜想,他們大概還得問一下這個ζ函數是個啥,更不用說其中還涉及到了複平面、複分析之類的,這讓他們來搞,哪怕是想要找個地方手,恐怕還得去學習一下複分析,而學習複分析之前還得學一下數學分析,只不過學完這些之後,他們大概就清楚自己曾經的想法有多年無知了。
總而言之,素數問題看起來很簡潔,梅森素數也是如此,以至於薩納克教授也曾經研究過這些東西。
不過,林曉的這篇論文中,解決梅森素數的問題是在最後的十頁中,前面六十多頁,主要就是討論將模形式論和群論結合,從而實現對多項式的變換。
所以薩納克教授現在看的就是這個部分。
「嗯……前面這個變換,似乎有點意思,好像就是他那篇論文裡面的方法?嗯,是整理出來了嘛。」
看到這,他無奈地搖搖頭,其實到這裡就行了,林曉已經可以將前面這部分容作為報告,到時候在大會上進行演講了,這也是薩納克教授當初以為林曉要搞的。
只不過,現在也才到第十三頁,後面還有一大堆呢。
這個林曉,搞出的到底是什麼作啊……
他總算知道為什麼維亞納教授會找他來看林曉的這篇報告了,大概是維亞納教授也覺得林曉不按套路出牌,於是就找他這個始作俑者來看看該如何理。
輕輕搖搖頭,那還能咋辦,只能繼續看唄。
但他還是希,自己能收到最後的那份『喜』,不論如何,那也是自己看中的年輕人嘛。
而後,他便繼續往下看去。
很快,他看到一行式子。
【tr(ρf,λ(Frobp))=C(p,f)…det(ρf,λ(Frobp))=Ψ65(p)N(p)^k0611……】
「這一步……有點意思。」
他又往下面看去。
【ρf,λ:=ρf,λ(modλ):GF→GL2(Fλ)……】
越看,他的眼睛也越發湊近了屏幕,想讓自己看得更加清楚一些。
因為,到這附近的變換,他的思維也隨之跟進,腦海中也彷彿有兩弦,忽然接在了一起,然後奏響了起來。仟韆仦哾
這一步,讓他也到了驚嘆!
「竟然還能用這種方法,實在是有些太不可思議了,或者說……太大膽了!」
他默念著,腦袋也跟著慨似的搖晃起來。
「這年輕人的想法,真是和我這種老傢伙都不一樣了。」
忽然想起什麼,他又從旁邊那扯來了草稿紙,開始演算起來。
就這樣,時間慢慢過去,辦公室里,薩納克教授的其他學生看著薩納克教授的樣子,都不知道他為何如此慨。
他以前審稿的時候可沒有過這種況啊?
有一位研究生借著幫教授泡咖啡的名義,走上去拿起薩納克的咖啡杯,然後往電腦上瞅了一眼,看了一會兒后,他也茫然了,這又是哪位大佬的論文?
這好像是數論吧,又不像是數論,其中還有一些同態群構造,好像還有一點模形式的理論在裡面,難不是哪位研究朗蘭茲綱領的大牛?
這位普林斯頓大學數學在讀博士放棄了思考,選擇老老實實地給教授泡咖啡去了。
就這樣,時間慢慢過去。
七十多頁的論文,當然很長,雖然前面十幾頁比較好理解,很快就能夠看完,但是中間的四十多頁可就沒有這麼容易了,由於已經涉及到了一種新的數學方法,所以薩納克教授也得嚴謹對待。
東海岸的風從白天吹到了傍晚,直到太消失在普林斯頓這座充滿了鄉村風的城際線西邊時,辦公室,薩納克教授終於抬起了自己的頭。
「大概,高斯當初也是這樣的驚才絕艷吧……」
他微微慨嘆一聲,從這篇論文中,他看到了大數學家的思想在其中迸發,彷彿真理於其中孕育。
歷史上所有著名的科學家們,人生中最重要的果都是於20到40歲之間作出的,比如因斯坦的相對論,再比如牛頓的微積分、萬有引力定律等等。
而這個林曉,如今才18歲,卻已經創造出了這般極其出的數學理論,並且終結了梅森素數分佈規律這個問題。
從兩千三百年前,幾何之父歐幾里得開始對這個問題進行研究以來,直到如今不知道多大數學家們前赴後繼,不斷地嘗試在2^p-1這個極其簡單的形式上實現突破,直到如今,終於在這個十八歲的年手上完了最後的果。
如果說這就是林曉的巔峰時期,薩納克教授自然是不信的。
要是用正態分佈的圖像來說的話,他認為,林曉此時的狀態,正於圖像左邊的某個地方,距離最高的位置,仍然還有很長的一段距離。
不過,這也只是他所認為的而已,至於林曉真的是正態分布圖像,還是y=x05(x>0),那就不得而知了。