《重生2014:大國科技之巔》第186章 證明霍奇猜想!(2)

作者:少一尾的九尾貓·2025-04-23

儘管他現在還不知道它是否能經得起其他數學家和時間的考驗。

但無論如何,他在數學上再次踏出了一大步。

完成證明霍奇猜想的論文之後,徐川又花費了一些時間,將稿紙上的這些東西再度過了一遍,並完善了一些其他的細節。

處理完成這些後,他開始動手將其整理到筆記本中。

而後準備公開。

對於任何一個數學猜想的證明來說,證明者是沒有資格給予它是否正確的評價的。

唯有全面公開,且經歷同行評審與時間的考驗,才能確定它是否真的已經成功。

花費了整整一週的時間,徐川總算是將手中近百頁的稿紙全部輸入了電腦中。

這上百頁的證明,其中有超過三分之一以上的篇幅,是針對解決霍奇猜想的代數簇與群對映工具的解釋與論證,還有三分之一的篇幅,是針對霍奇猜想與代數簇與群對映工具搭建的理論框架。

剩下的,才是霍奇猜想的證明過程。

對於這篇論文而言,工具與框架,才是它的核心基礎。

如果他願意,完全可以將工具和理論框架單獨拆分出來作為獨立的論文進行發表。

就如同彼得·舒爾茨的‘p進類完美空間理論’一樣。

這些東西,如果最終被數學界接受,足夠他拿到一次菲爾茲獎的。

這並非是菲爾茲獎的廉價,而是數學工具對於數學的重要性。

一項出色的數學工具,能解決的可不僅僅是一個問題。

就像一把斧頭一樣,它不僅僅能用以砍伐樹木,也可以用做木工的工具,加工物品,還可以用作武器,進行廝殺。

同理,他構設的代數簇與群對映工具,也不僅限於與霍奇猜想。

不少代數簇與微分形式以及多項式方程,甚至是代數拓撲方向的難題,它都可以用來進行嘗試。

比如和霍奇猜想同屬於一類猜想家族的‘布洛赫猜想’、‘代數曲面的霍奇理論應該確定零迴圈的Chow群是否是有限維的’問題、還有有限係數的某些動機上同調群同構對映到 etale上同調問題猜等等。

這些猜想和問題相互支援,數學家不斷地在其中一個或另一個上取得進展,試圖證明它們導致了數論、代數和代數幾何方面的巨大進步。

代數簇與群對映工具能解決霍奇猜想,那麼它在同類型的猜想上不說能完全適應,但至少也能起到一部分作用。

因為霍奇猜想本就是研究代數拓撲和多項式方程所表述的幾何的關聯的猜想。

它所研究的東西,並非是最先進的數學知識,而是在代數幾何、分析和拓撲學這三個學科之間建立起一種基本的聯絡。

解決這個問題,需要的證明者對這三大領域的數學都有著極深的瞭解。

對於絕大部分的數學家來說,能在代數幾何、分析、拓撲學這三大領域中的某一個領域有著深入研究就相當不易了,更別提三大領域都精通了。

而對於徐川而言,分析和拓撲學本就是他上輩子精通的數學領域,唯有代數幾何並不在研究範疇內。

但這輩子跟隨著德利涅深入學習數學,有這樣的一位導師,他在代數幾何上的進步超乎想象。

。師導位兩騰威和涅利德了給發箱郵過後然,式格FDP了轉其將川徐,後腦電輸並完理整部全文論明證的想猜奇霍將

。上站網本印預vixra了到傳上其將又他,想了想

。的家學理和家學數的量大有是還然仍面上但,了方地的坑佔機算計了變漸逐經已站網本印預vixra的今如管儘

。力響影的文論大擴前提以可也,襲抄被止防坑佔前提以可僅不,去上丟文論的表發未己自將

。的長漫當相是疑無間時的要需,證驗完底徹想要,說來文論明證的題問類這想猜奇霍於對

。想猜萊加龐了決解明證的曼爾雷佩認確終最界學數,年6002到直但,明證右左年3002於曼爾雷佩·裡戈里格家學數被形維三的’想猜萊加龐‘前此如比

。係關有出居深且,項獎的他給發頒何任了絕拒乎幾曼爾雷佩和也這,然當

事的能可不是乎幾法方種這解瞭的速快要想人別,話程過和法方明證的己自廣推去不果如,者明證的想猜個一竟畢

。域領一這學數在是別特

事的難很件一是文論篇這懂弄底徹要想家學數他其,困的行同他其答解,釋解以加者創原有沒果如,說來文論明證篇一於對

。長較比也般一程過的接界學數,想猜大重種這題難學數年禧千對針,外此

。大重比無係干否與確正的它竟畢

。提前為立的)式形廣推其或(想猜曼黎以,題命學數的條千數過超有已,中獻文的界學數今至,後出提曼黎·德哈恩波家學數被年9581從,想猜曼黎比好就

。變改的大重著有將都學數個整乎幾說以可何幾到、析分到再、式函到、論數從,域領大龐的想猜曼黎到及涉至,塌崩廈大座這學數說不,否證被想猜曼黎旦一果如

。展發的蓬比無次一來迎將,史學數的類人。理定為升榮將都,想猜者或題命學數條千數的立建而它著繞圍麼那,明證被旦一想猜曼黎而

。度程的樣怎個一了到展進作工究研的想猜或題問個這對界學數及以,度熱的想猜者或題問個這於決取上度程大很在,度速稿審的明證的想猜者或題問個一,上實事

工及以論理、法方的用使的想猜者或題問個這明證有還,外之此除

。口開了做式函數計的絡聯相對鼓形分用利,新創些一了做域領兩這近漸譜的上域區通連界邊形分及以論理構結稱對間空赫拿在是只僅僅就,候時的想猜yrreB_lyeW弱明證在前此他如比

。了接所授教斯爾高被就快很程過明證的想猜yrreB_lyeW弱是於

。絡聯來起立建集合和域間中與並群子換轉式函將及張擴的域以輔再,定限行進譜的度測形分和數維形分的Ω對來域雷克利狄過,破突了做上法方的前此在他,候時的程過想猜yrreB_lyeW明證在而

。了多很慢要就接的法方一這於對界學數

。認確被才間時的長很了用舊依也,疑答解場現在都程全他上加再,主得獎茲爾菲是名四有中其,核稽行進佬大級頂名六被終最文論的他怕哪

。多不舊依人的程過明證的想猜yrreB_lyeW解瞭全完能界學數個整,日今至時而

要重的它了升提,界學文天了到廣推法方一這將面後他怕哪

。了說用不更就那,程過明證的想猜奇霍的中手他在現於至

。文論篇這接的整完會才間時的長多要界學數道知天

?長更者或?年五?年三?年一

。閣高之束被文論的己自到看意願不並川徐,中間時的長漫這在

。去中域領的廣更多更到用應,用應和大擴其將,來進與參家學理是至甚家學數的多更有希他

)完章本(

猜你喜歡

同題材或同分類的其他作品。