第七章 bd猜想 (第1/2頁)
流水成觴提示您:看後求收藏(奇妙書庫www.qmshu.tw),接著再看更方便。
她的研究,可不是誰想利用,就能利用的。
意識直達推衍空間,全新沉浸研究,是一種在深度研究學習狀態,讓她心無旁騖基礎上,更多幾分點燃推衍助力的啟賦狀態下。
一行行算式,在吳桐筆端下凝聚,又再次發作,投映在吳桐周圍的滾動行式,逐漸,細溪匯成河,河流奔騰到海。愉悅的突破聲,在吳桐耳邊奏響,成為勝利的戰鼓聲。
·········
(4, 127, 131)= log(131)\/ log(rad(4·127·131))= log(131)\/ log(2·127·131)= 0....
q(3, 125, 128)= log(128)\/ log(rad(3·125·128))= log(128)\/ log(30)= 1....
對於一般滿足a、b、c為互素正整數,a+b=c的三元組(a,b,c),有c < rad(abc),此時,
q(a,b,c)< 1,而q>1之情況實屬少見,此時這些數的因數中存在著小素數的高次冪。
三個互質正整數a、b、c,且c=a+b。
所謂互質,即它們的最大公約數是1。因此8 + 9 = 17、5 + 16 = 21是符合條件的一組數字,但是6 + 9 = 15不是。
接著把abc的質因數都提取出來,比如5、16、21的質因數是5、2、3、7,這些質因數相乘的結果為210,這個數比原來的三個數大得多。
又比如5、27、32,它們的質因數是5、3、2,相乘結果為30,就比32小。但第二種情形極為罕見。
如果a和b都是小於100的數,在此能找到3044個符合條件的abc組合,其中只有7組滿足第二種情形。而abc猜想要證明的,就是符合第二種情形的abc組合,只有有限個。
··········
數學家們把abc的質因數乘積記作rad(abc)。今天用嚴謹的數學語言來表述,代入定理1、定理2:我們可以確信得到,對於任何e>0,只存在有限個互質正整數的三元組(a, b, c),c = a + b,使得:c > rad(abc)1+e。
由此,Abc猜想,得到證明。
完成最後的證明二字,盯著手下剛剛嶄新寫下的手稿,似乎有數字和符號在吳桐的眼眸裡凝成了愈發的深邃光,她手下並沒有停止動作,而是具現出了一張草稿紙,繼續往下書寫著,上空倒影切換成吳桐新書寫的內容,是從數論到代數幾何的跨越。
從屬於數的間隙中,吳桐窺見了一直都有在學習的代數中,窺見了一絲阿貝爾簇的算術性質與解析性質之間的聯絡。
由此延伸到,世界七大難題,全稱貝赫和斯維納通-戴爾猜想的bSd猜想。
給定一個整體域上的阿貝爾簇,猜想它的莫代爾群的秩等於它的L函式在1處的零點階數,且它的L函式在1處的泰勒展開的首項係數與莫代爾群的有限部分大小、自由部分體積、所有素位的週期以及沙群有精確的等式關係。
前半部分通常稱為弱bSd猜想,弱bSd猜想已經被解開。Sd猜想的陳述依賴於莫代爾定理:整體域上的阿貝爾簇的有理點形成一個有限生成交換群。精確的部分依賴於沙群的有限性猜想。
對於解析秩為0的情形,coates,wiles,Kolyvagin,Rubin,Skinner,Urban等人證明了弱bSd猜想,並且精確的bSd猜想在2以外均成立。
對於解析秩為1的情形,Gross,Zagier等人證明了弱bSd猜想,並且精確的bSd猜想在2和導子以外均成立
現在唯一剩下的難題就是2和導子。
吳桐未從啟賦狀態下脫離,Abc猜想的證明,再次為悟道石碑即將見底的繼續力量充入了不少力量積累。
這份力量,雖然不足以助力悟道石碑再進一步,但是用來支援吳桐的啟賦狀態,卻是還能再維持一定的時間。
吳桐在群論上玩得嫻熟,在數論上更是就幾乎無人可及。代數特別是代數簇是她第一次踏足研究重大課題的領域,卻不是她陌生的版塊,深入學習數學到如今,吳桐能自信的說一聲,她在數學上,沒有過於陌生的領域。
代數和幾何,本就是她預定研究的下一個重點問