第237章 完成
五月中旬的下午。
老圖書館三樓。
陽光穿過窗戶打在桌子上。
陳拙坐在桌前。
面前堆著一厚遝紙,背面全是用過的廢紙,正面密密麻麻寫滿了推導公式。
他手裡握著一支筆,最上面的一張草稿紙,中央畫著一個複雜的連續幾何曲面。
在曲面的左下角,有一個無法用常規代數循環覆蓋的區域。
陳拙在那個區域旁邊,寫下了一行代表拓撲撓的同調群公式。
在這行公式的末尾,他畫上了一個問號。
在整霍奇猜想的推導中,連續與離散存在天然的衝突。
連續的復空間會抹平部分拓撲撓,而這恰恰是阻礙代數循環成立的核心障礙。
陳拙看著那個問號。
筆尖落在紙面上。
他沒有繼續順著連續曲面的同調類往下寫。
手腕平移。
他在那個帶有奇異點的曲面上方,畫下了一道紅線。
接著是第二道,第三道。
橫縱交錯。
他在紙上構建了一個離散網格。
紅色的線條在白紙上切割,網格的節點一一對應,強行覆蓋住了下方那個原本無法被代數表示的區域。這層離散網格,避開了連續映射的失效區。
它將復空間的積分問題,轉化成了離散格點上的求和。
節點開始閉合。
陳拙握著筆,把網格的最後一條邊緣,連接到了起始的基點上。
一個完美的閉環。
他把筆尖移到草稿紙的最下方空白處。
寫下了一個周群映射的符號。
接著,畫下了一個等號。
等號左邊是連續空間的復積分公式,等號右邊是離散代數循環的有限求和。
這套離散代數機制,打通了周群與上同調之間被堵死的那條路。
寫完等號右邊的最後一個字母。
筆在紙上拉出了一道乾澀的印子。
筆畫邊緣顏色變淺,中間留白。
墨水徹底耗盡了。
陳拙停下手。
他看著紙面底部的那個等式。
連續幾個月的推導,在這一刻形成了徹底的閉環。
在這個等式成立的這一秒。
過去三十年裡,國際代數幾何界試圖用連續微分幾何來解決整霍奇猜想的主流路線,被徹底宣告了死路。
在這張草稿紙上,連續與離散的天然壁壘被強行打破。
那些曾經讓無數頂尖數學家束手無策,隱藏在連續空間裡的拓撲撓,被這張離散網格精準地剝離了出來。
它不再是一個虛無縹緲的幾何幽靈,而變成了可以被代數循環確切計算的實體。
這不僅僅是解開了一個子問題。
這是一套全新的數學底層邏輯。
從今天起,全世界研究這個領域的學者,如果還想繼續往下走,就必須停下腳步。
放棄他們研究了半輩子的連續映射。
從頭開始,適應這套建立在離散格點上的全新代數機制。
陳拙看著紙面。
他放下手裡的筆。
從旁邊的筆袋裡,抽出一支新的筆。
拔下筆帽。
他在那個完美的等式下方,也是整張草稿紙最後的一點空白處,寫下了一句註記。
字跡工整,平和。
「由此可知,基於連續映射的傳統逼近方法在此存在結構性冗餘,已無繼續探討之必要。」寫完這行字。
陳拙把筆帽扣上。
發出一聲輕微的脆響。
他沒有任何表情上的起伏。
只是把這句話,當成一個再正常不過的學術結論,留在了推導的末尾。
但這句客氣而溫和的陳述,在未來的一段時間裡,將毫無保留地砸碎大半個代數幾何圈的舊飯碗。陳拙的視線從這行字上移開。
手邊堆著幾本厚重的外文專著。
都是複流形和代數循環領域的經典教材,也是他這幾個月翻閱最多的參考書。
他伸出手。
捏住最上面那本專著的書頁邊緣,將它合攏。
沒有停頓,他依次將下面幾本攤開的專著也一本本合上。
摞在一起。
推到桌子的最角落。
這個動作很輕,沒有任何多餘的力氣。
就像上完了一門普通的公共選修課,順手合上了以後再也不會去看的課本。
那些曾經被視作代數幾何聖經的著作,在那個等式寫完的瞬間,裡面的核心方向就已經變成了廢紙。陳拙收回手。
把桌面上那四十多頁寫滿矩陣和離散網格的草稿紙攏到一起。
抓起那幾張紙,在桌子邊緣隨意地磕了兩下,邊緣勉強對齊。
最上面那張紙的頁角有些捲曲。
他沒有去撫平。
拉開自己的書包,直接把這遝紙塞了進去。
連同一個舊水杯。
那支耗盡了的筆,被他隨手扔進了桌底的垃圾桶。
陳拙站起身。
推開大門,走下樓梯。
老圖書館一樓的大廳里,借閱的老師正低頭看著當天的晚報。
陳拙安靜地走出老圖書館。
五月中旬的徽州,傍晚的空氣帶著一絲乾燥的悶熱。
太陽快要落山了。
老圖書館三樓。
陽光穿過窗戶打在桌子上。
陳拙坐在桌前。
面前堆著一厚遝紙,背面全是用過的廢紙,正面密密麻麻寫滿了推導公式。
他手裡握著一支筆,最上面的一張草稿紙,中央畫著一個複雜的連續幾何曲面。
在曲面的左下角,有一個無法用常規代數循環覆蓋的區域。
陳拙在那個區域旁邊,寫下了一行代表拓撲撓的同調群公式。
在這行公式的末尾,他畫上了一個問號。
在整霍奇猜想的推導中,連續與離散存在天然的衝突。
連續的復空間會抹平部分拓撲撓,而這恰恰是阻礙代數循環成立的核心障礙。
陳拙看著那個問號。
筆尖落在紙面上。
他沒有繼續順著連續曲面的同調類往下寫。
手腕平移。
他在那個帶有奇異點的曲面上方,畫下了一道紅線。
接著是第二道,第三道。
橫縱交錯。
他在紙上構建了一個離散網格。
紅色的線條在白紙上切割,網格的節點一一對應,強行覆蓋住了下方那個原本無法被代數表示的區域。這層離散網格,避開了連續映射的失效區。
它將復空間的積分問題,轉化成了離散格點上的求和。
節點開始閉合。
陳拙握著筆,把網格的最後一條邊緣,連接到了起始的基點上。
一個完美的閉環。
他把筆尖移到草稿紙的最下方空白處。
寫下了一個周群映射的符號。
接著,畫下了一個等號。
等號左邊是連續空間的復積分公式,等號右邊是離散代數循環的有限求和。
這套離散代數機制,打通了周群與上同調之間被堵死的那條路。
寫完等號右邊的最後一個字母。
筆在紙上拉出了一道乾澀的印子。
筆畫邊緣顏色變淺,中間留白。
墨水徹底耗盡了。
陳拙停下手。
他看著紙面底部的那個等式。
連續幾個月的推導,在這一刻形成了徹底的閉環。
在這個等式成立的這一秒。
過去三十年裡,國際代數幾何界試圖用連續微分幾何來解決整霍奇猜想的主流路線,被徹底宣告了死路。
在這張草稿紙上,連續與離散的天然壁壘被強行打破。
那些曾經讓無數頂尖數學家束手無策,隱藏在連續空間裡的拓撲撓,被這張離散網格精準地剝離了出來。
它不再是一個虛無縹緲的幾何幽靈,而變成了可以被代數循環確切計算的實體。
這不僅僅是解開了一個子問題。
這是一套全新的數學底層邏輯。
從今天起,全世界研究這個領域的學者,如果還想繼續往下走,就必須停下腳步。
放棄他們研究了半輩子的連續映射。
從頭開始,適應這套建立在離散格點上的全新代數機制。
陳拙看著紙面。
他放下手裡的筆。
從旁邊的筆袋裡,抽出一支新的筆。
拔下筆帽。
他在那個完美的等式下方,也是整張草稿紙最後的一點空白處,寫下了一句註記。
字跡工整,平和。
「由此可知,基於連續映射的傳統逼近方法在此存在結構性冗餘,已無繼續探討之必要。」寫完這行字。
陳拙把筆帽扣上。
發出一聲輕微的脆響。
他沒有任何表情上的起伏。
只是把這句話,當成一個再正常不過的學術結論,留在了推導的末尾。
但這句客氣而溫和的陳述,在未來的一段時間裡,將毫無保留地砸碎大半個代數幾何圈的舊飯碗。陳拙的視線從這行字上移開。
手邊堆著幾本厚重的外文專著。
都是複流形和代數循環領域的經典教材,也是他這幾個月翻閱最多的參考書。
他伸出手。
捏住最上面那本專著的書頁邊緣,將它合攏。
沒有停頓,他依次將下面幾本攤開的專著也一本本合上。
摞在一起。
推到桌子的最角落。
這個動作很輕,沒有任何多餘的力氣。
就像上完了一門普通的公共選修課,順手合上了以後再也不會去看的課本。
那些曾經被視作代數幾何聖經的著作,在那個等式寫完的瞬間,裡面的核心方向就已經變成了廢紙。陳拙收回手。
把桌面上那四十多頁寫滿矩陣和離散網格的草稿紙攏到一起。
抓起那幾張紙,在桌子邊緣隨意地磕了兩下,邊緣勉強對齊。
最上面那張紙的頁角有些捲曲。
他沒有去撫平。
拉開自己的書包,直接把這遝紙塞了進去。
連同一個舊水杯。
那支耗盡了的筆,被他隨手扔進了桌底的垃圾桶。
陳拙站起身。
推開大門,走下樓梯。
老圖書館一樓的大廳里,借閱的老師正低頭看著當天的晚報。
陳拙安靜地走出老圖書館。
五月中旬的徽州,傍晚的空氣帶著一絲乾燥的悶熱。
太陽快要落山了。