← 七大猜想 · PROGRAM-HODGE
Hodge Conjecture · 第七個獨立問題族
克雷數學研究所千禧年大獎難題之一。本案例是一套三階段重表述——Phase I Measure(候選 Hodge 類空間的測度分類) → Phase II Legitimacy(代數循環與 Hodge 類之間何種關係攜帶可驗證見證)→ Phase III Scale–Category Coupling (前兩階段的結論放大尺度、放大範疇後是否仍相容)——加上依此框架執行的 57 輪研究(核心框架 28 輪、反例搜尋 10 輪、證明嘗試 10 輪、Weil 型構造深探 9 輪,其中一輪原始檔案缺失)。全程沒有一輪宣稱證明或反證 霍奇猜想本身:反例搜尋線兩度鎖定候選對象,最終狀態都明確是「尚未」;證明嘗試線把問題壓縮到一個 真實存在於 2025 年文獻中的未解子問題(Markman 論文的 Question 11.2.2),同樣沒有解開;最扎實的正面結果 (Phase III 的有限核心化簡定理)明確是條件式,依賴一個未對一般簇證明的假設。框架本身展現兩次扎實的自我 糾錯:核心定理被下一輪自己的壓力測試抓出三個真實漏洞並修正;Weil 型深探開頭第一輪就先把前面兩條線裡 過度延伸的說法明確標記為錯誤,再繼續往下走。框架本身(方法論、協議)由 Neo.K 主筆,ChatGPT/Aletheia 協作整理; 依此框架執行的全部 57 輪研究,每篇自己的作者欄都寫明是 Aletheia(GPT-5.6 Sol)自主執行。
本文把霍奇猜想——對光滑複射影簇 X 與非負整數 p，斷言 Alg^p(X) = Hdg^p(X)，其中 Hdg^p(X) = H^{2p}(X,Q) ∩ H^{p,p}(X) 為有理霍奇類、Alg^p(X) = Im(cl_X^p) 為代數循環類映射的像——拆成三個嚴格先後階段：Phase I（Measure）、Ph
研究協議本協議為 MLRSC 三階段框架其後 57 輪研究訂立不可變操作規則，核心制度為「一輪一篇」：一輪研究只能輸出一個 Primary Claim C_r、一篇獨立原稿，並須從固定六態詞彙 {PROVED, CONDITIONAL, DISPROVED, OPEN, REFORMULATE, BACKTRACK} 中擇一標
Phase I（測度）由 R001 開局：對固定 (X,p) 建立不依賴 polarization 選擇的 Measure Core v1 𝔐₀(X,p)，內容是 Hodge candidate dimension flag d_{X,p}=(b_{2p}, h^{p,p}, r_{X,p})、integral Hod
Phase II · 合法性閉包Phase II（Legitimacy）由 R010 開局：在 R009 已 close 的 scope 內，定義 direct legal witness 關係 Z⊩_X^p α（讀作 Z 是 α 的直接合法 algebraic witness），若且唯若 cl_X^p(Z)=α，其中 Z∈CH^p(X)_Q 為 r
R016 是 Phase III（Scale–Category Coupling）的開卷之作，第一次對「coupling defect」做出正式計算。設 π: X→B 為 smooth projective family，α 為 R^{2p}π_*ℚ 的 flat rational section，H⊆B 為含固定點
範疇相對性修正R017 開篇即問：R016 分解出的兩塊缺陷，在 transport category 放寬之後，是否都還「活著」？答案截然不同，而且 R017 的 metadata 明確寫下「Supersedes：R016 將 A_α∖W(Z_s) 稱為 first genuine Type S defect；R017 精化為『f
自乘積障礙R020 先把「operator-faithful legality」壓縮成有限維線性代數：對 smooth projective X 與固定 degree k，定義 Hodge-endomorphism algebra ℰ_H^k(X)=End_HS(H^k(X,ℚ))（維度 ≤ b_k²，由 Mumford–Tat
條件式有限化約R027 的定理必須從一開始就以條件式理解：它建立的是一個「若 X 已經有一個驗證過的 BLTP certificate，則……」的精確等價，而 BLTP 這個前提本身，除了古典 reductive 群的標準表現之外，從未對一般代數簇被證明成立——這一點與定理本身同等重要，不是附註。BLTP（Bounded Local
自我壓力測試R028 是整個 C-track 最後一輪，性質是一次專門針對 R027 自身定理的對抗式壓力測試——原文開宗明義：「R028 專門嘗試破壞這個 statement」，列出四個攻擊面：對偶物件是否真能無代價轉回 X 的冪次上；Tate twist 是否偷偷夾帶 auxiliary 幾何因子；typed cohomolo
HC-False 反例分支的第一個正式候選 CE001（Aletheia，2026-09-15）取一虛二次體 K，構造一個 signature (3,3)、非分裂（正規化判別式 δ≠-1）的 Weil 型極化阿貝爾六重簇 A，並在 Weil 空間 W_K(A)=∧_K^6 H^1(A,ℚ)⊂H^6(A,ℚ)∩H^{3,
反例分支・未決缺口CE005 把熱帶反例前線移至 CE005-A8：一個最大退化、分裂（δ=+1）的 Weil 型阿貝爾八重簇。CE006 為此建立顯式的 16 參數格模型——對稱部分 10 維加反對稱部分 6 維，恰等於 signature (4,4) 酉週期域的複維度——並構造出二維有理熱帶 Weil 平面 W_trop=ℚw_1⊕
設 A 為 very-general 的 polarized abelian sixfold of Weil type,K/ℚ 為虛二次體,V=H^1(A,ℚ),則 W_K(A)=∧_K^6 V 是一個二維(over ℚ)有理 Hodge 平面,座落在 H^6(A,ℚ)∩H^{3,3}(A) 中——PT001 稱之為此
外部開放問題設 X 為一條虧格 4 曲線的 Jacobian——一個帶實乘法(real multiplication)、實二次體 F=ℚ(√t) 作用的阿貝爾四重簇;A 為 X 與其對偶阿貝爾簇的乘積,是一個阿貝爾八重簇,其 CM 體 K/F 滿足 [K:ℚ]=4(一個四次 CM 體)。Markman 在 2025 年 arXiv
GMSC-R001 處理的不是 Hodge conjecture 本身，而是此前三條並行研究線——MLRSC-neutral、HC-False、HC-True——所累積的全部 proof-relevant obligation。本輪把這些 obligation 收進同一個 typed theory graph G_Ho
架構淘汰序列接續 GMSC-R002 辨識出的 Pareto frontier {P_Markman, P_Prym, P_Direct}，R003 至 R009 這七輪對「非分裂（δ ≠ -1）very-general Weil sixfold」這個具體開放子域，執行了一次逐架構的窮舉淘汰。 R003 證明 Deck-Endo
完整 57 輪研究(56 個輪次檔案現存,GMSC R006 缺失,已在對應頁面註明)加 2 篇方法論文件,59 個檔案 (含套件本身的 README/MANIFEST)都可在下方逐一瀏覽下載;原始 zip 本身也未經修改,SHA-256 可逐檔查核: 下載完整封存包。