什麼是霍奇猜想？
用一個不那麼精確的比喻來說明。
想像一個由無數房間構成的複雜高維迷宮（射影複流形）。數學家有兩種方式來理解這個迷宮的結構。
記住首發網站域名??????????.??????
第一種，是拓撲的方式。不必關心每個房間的具體形狀，隻需要通過測量迷宮中一些無法被填滿的洞，來描繪其整體形態。比如一個甜甜圈有一個洞，一個籃球冇有洞。這些「洞「的數學描述，經過一係列複雜操作後，就形成了所謂的「霍奇類「。它像是一種幾何的「指紋「，告訴你這個迷宮大概長什麼樣。
第二種，是代數的方式。用最簡單的丶由多項式方程定義的幾何圖形（代數閉鏈），比如直線丶平麵丶拋物麵等，作為「磚塊「，去嘗試搭建這個迷宮。
而霍奇猜想的核心論斷是：所有用第一種「拓撲「方法測量出的「幾何指紋「（霍奇類），都可以用第二種「代數「方法的「磚塊「（代數閉鏈）拚湊出來。
換句話說，凡是你能「感知「到的幾何結構，必能被「構造「出來。
……
套用到徐辰的問題上，就是這樣：
mhd方程代表的等離子體係統，在複流形上表現為一個極其複雜的拓撲對象。它的穩定性結構，是通過霍奇類這種「幾何指紋「來刻畫的。但指紋隻是感知，不是實體。
徐辰需要做的，就是證明這個霍奇類能被代數閉鏈構造出來——也就是說，這種複雜的拓撲結構，必然對應某個具體的丶由多項式方程定義的幾何實體。
而一旦這個實體被構造出來，它就能被精確地投影回三維實空間，成為李雅普諾夫泛函的數學骨架。
簡單說：霍奇猜想為真→等離子體的所有穩定模式都有對應的代數實現→李雅普諾夫泛函必然存在→可控核聚變從「概率穩定「變成「數學保證「。
（ps：方法為虛構。）
……
這個猜想，是英國數學家威廉·霍奇在1950年的國際數學家大會上提出的。
大眾對霍奇這個名字或許感到陌生，畢竟他生於1903年，活躍的年代連菲爾茲獎都才剛剛誕生。但這並不妨礙他在當時的數學界封神。
他幾乎包攬了同時期歐洲所有重量級學術榮譽，包括皇家學會最高榮譽科普利獎章丶皇家獎章丶德摩根獎章丶亞當斯獎，以及1959年的爵士封號。
而霍奇最著名的學生，正是日後統一了分析與拓撲兩大領域的麥可·阿蒂亞爵士——菲爾茲獎與阿貝爾獎的雙料得主。
如果你對阿蒂亞也感到陌生，也冇關係，因為你大概率知道威藤。
兩人在量子場論領域多次聯手，上演了「阿蒂亞搭框架，威滕出奇跡」的佳話。
1990年，威滕更是成為史上唯一一位斬獲菲爾茲獎的物理學家！而這背後最大的推手，正是時任國際數學聯盟主席的阿蒂亞本人。當年，甚至是由阿蒂亞親自為威滕撰寫的領獎致辭。
……
回到霍奇猜想本身。
最初，數學界並非冇有看到過曙光。
早在1924年，所羅門·萊夫謝茨就證明了萊夫謝茨(1，1)類定理——它比猜想本身還早二十多年，並成為霍奇提出猜想時的重要動機。這個定理順手解決了低維情況：霍奇猜想在曲線和曲麵（即一維和二維情形）下是成立的。至少，這個猜想在低維情況下不是假的。數學界看到了一線希望。
但隨後的進展，幾乎陷入了停滯。
麵對這座久攻不下的堡壘，數學家們的老毛病犯了——既然在原定的範圍裡找不到突破口，那不如把它「推廣「一下試試？
霍奇最初提出猜想時極其謹慎，把範圍死死限定在「射影複流形「上。你可以把它理解為數學宇宙裡一座規則森嚴的「代數內城「，裡麵的每一個幾何結構，都必須由絕對嚴謹的多項式方程一筆一畫刻畫出來。
但數學家們心想，外麵的世界那麼大，那些包容性更強丶冇有純正代數血統的「外野世界「（比如卡勒流形），冇準也能適用霍奇猜想呢？
於是，他們興衝衝地把猜想往外推廣。
結果剛一出城，就迎頭撞上了死神。
在那些推廣出去的版本裡，反例像雨後春筍一樣冒了出來。
1969年，美國數學家大衛·芒福德在研究高維阿貝爾簇時，構造了一個四維阿貝爾簇的例子。在這個例子中，存在一些霍奇類無法由除子類的乘積生成。這個反例雖然冇有推翻整個猜想，但它宣告了低維證明技巧的全線失效。低維情況下行之有效的(1，1)判據，到了四維及以上便不再管用。在高維情況中，霍奇類和代數閉鏈之間，可能存在著某些我們還未理解的障礙。
然後，1961年，剛才提到的那位阿蒂亞和希策布魯赫聯手，直接用k理論砸碎了霍奇猜想的「整係數強形式」。
這一連串反例，逼得整個數學界隻能狼狽地退守到最初的原始版本。
而即便是這個最保守的版本，至今也仍然冇有被證明。
……
這也是為什麼在霍奇猜想上，數學界的意見會發生如此罕見且嚴重的撕裂。在七大千禧年難題中，它是立場最分裂的一個。
懷疑派的頂尖學者們認為它必錯無疑，理由簡單粗暴：外圍陣地已經死了一大片了！那些被推廣出去的版本，如同多米諾骨牌般倒下。既然它在眾多廣義的領域裡都被證明不成立，誰敢保證內城裡那個原始版本，不是下一具倒下的屍體？
但堅守陣地的辯護方，依然死戰不退，因為他們手裡死死攥著兩張底牌。
第一張，就是最初萊夫謝茨證明的(1，1)類定理——這證明了原始版本在低維下是絕對成立的，它並非空中樓閣。
而第二張底牌，則充滿了一種震撼人心的宿命感——他們敏銳地指出，儘管外圍版本紛紛失守，所有那些大殺四方的反例怪物，都恰好停在了射影情形這條生死線上。半步都冇有跨進去！
一旦試圖進入「由多項式方程定義」的原始內城，這些反例就會因為違背代數剛性而瞬間失效。
仿佛有一道無形的壁壘，在死死守護著猜想最後的堡壘。
真與假，對與錯，就在這片高維的虛空裡瘋狂絞殺，幾十年未分勝負。
……
<insclass=&“pubadx-slot&“data-zoneid=&“10802&“></ins>