全冪 Hodge 猜想化約到二維:Weil 本原核與二元閉合引理

設 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 稱之為此類簇上唯一的「exceptional primitive core」。PT001 的核心定理(Theorem 13.1)是條件式的:在 very-general Weil locus 上 Hg(A)=SU(φ),每個 Hodge tensor 都由已確定代數的 pairing 與 K-endomorphism 扇區,加上這個二維行列式扇區生成;因此若 W_K(A)⊆Alg^3(A),則對每個 r≥1,A^r 上的 Hodge 猜想成立。PT001 原文親自畫了界線,其原話是:'The statement proved in PT001 is not: the Hodge conjecture is true.'——它證明的只是這條結構化約本身,並非猜想的真假。 PT002 接著證明一個乾淨、自足的不可約引理,值得就其技巧本身給予肯定:取 K 的階 O⊆End(A) 中一個滿足 u^6∉ℚ 的實際代數自同態 u(這樣的 u 恆存在,因為 K 只含有限多個單位根,而 u/ū∈μ_6 的「壞射線」只佔可數多條;例如 K=ℚ(i)、u=2+i 時 u^6=-117+44i,其在 ℚ 上的最小多項式 x^2+234x+15625 不可約)。u* 作用在 W_K(A) 上即乘以 u^6,其最小多項式 (x-u^6)(x-ū^6) 在 ℚ 上不可約,故 W_K(A) 沒有非零真有理 u*-不變子空間(Theorem 9.1)。由於代數輪圈類在 [u]* 下保持代數(cycle class map 的函子性),Alg^3(A)∩W_K(A) 本身也是一個 u*-不變子空間,兩者相交只剩兩種可能:Theorem 11.1(Binary Algebraicity Theorem)證明 A_W(A)=W_K(A)∩Alg^3(A) 恆為 0 或 W_K(A),絕無維度 1 的中間狀態。推論(Theorem 13.1)是:只要存在一個非零代數 Weil 類 cl(Z),第二個方向 [u]*cl(Z) 立即由同一個代數自同態給出,整個平面隨之閉合——全程只用到 CH^3(A)_ℚ 內的實際輪圈與函子性,不借助任何 Hodge projector 或 Standard Conjecture。 兩輪疊加(PT002 Theorem 18.1):對 very-general A,「存在一個非零 Weil cycle」蘊含「對每個 r,A^r 滿足 rational Hodge 猜想」。PT003 指出這個化約還有一道 Discriminant Component Barrier——已知可解的 δ=-1 split 分量上的種子,無法單靠形變跨到其他 discriminant 分量,正向證明必須在每個目標分量上各自找到一個 semiregular 局部種子;PT004 則把「半正則性」這個抽象條件精確壓縮成一個至多 9 維(Weil 切空間的複維度)的 Atiyah-annihilator 檢驗,但並未證明任何實際物件真的滿足這個已經變弱的判準。 因此,PT001 加 PT002 把「證明整條 very-general Weil sixfold 家族的 Hodge 猜想」精確壓縮成單一問題:這個二維 W_K(A) 之中,是否存在哪怕一個非零代數類?除了 Markman 已解決的 δ=-1 split 情形與全部 Weil fourfold 之外,這個存在性問題在一般 non-split sixfold 上仍是完全開放的——正是這剩下的一問,而不是以上任何一輪,才是真正困難、尚未解決的部分。 「條件化約」加上「乾淨的二元閉合引理」,合起來仍然不是存在性證明。Theorem 11.1 的二分性(binary dichotomy)在邏輯上是對稱的:它把 dim A_W 排除到只剩 {0,2},但完全沒有給出任何理由偏向 2 而非 0——引理的「乾淨」只是證明技巧上的乾淨,不構成偏向「存在」的證據。PT001 與 PT002 兩輪的 Formalization Status 都明白標注為 NOT FORMALIZED;其化約鏈只適用於 Weil-type 阿貝爾簇的這一個特定二維本原扇區,不能移植到 Hodge 猜想的其他任何部分或其他 Hodge 結構。目前唯一已知非空的 A_W,仍侷限於 Markman 已經用具體代數幾何(secant sheaf)構造解決的 δ=-1 split 分量與全部 fourfold——換言之,已證部分依賴的是外部既有結果,而不是本頁任何一輪自己構造出的新代數輪圈。