借一個真實的公開問題,壓縮成一個秩計算:Markman Question 11.2.2 與 Rank-20 判準

設 X 為一條虧格 4 曲線的 Jacobian——一個帶實乘法(real multiplication)、實二次體 F=ℚ(√t) 作用的阿貝爾四重簇;A 為 X 與其對偶阿貝爾簇的乘積,是一個阿貝爾八重簇,其 CM 體 K/F 滿足 [K:ℚ]=4(一個四次 CM 體)。Markman 在 2025 年 arXiv 預印本 arXiv:2509.23079(《Secant sheaves on abelian n-folds with real multiplication and Weil classes on abelian 2n-folds with complex multiplication》)中,以 Fourier–Mukai 構造 E=Φ(F_1⊠F_2^∨)、由 X 上兩個 secant sheaf F_1、F_2 產生 A 上的候選 Weil 物件,並證明其正規化特徵類沿整個 Weil 變形族保持 Hodge 型——但論文自陳,判定 E 是否真正半正則(semiregular)這一步尚未處理。Question 11.2.2 把這個未決條件精確定位在單一 factor F_2 上:半正則映射 σ_F2 是否在 Im(at_F2: HT^2(X)→Ext^2(F_2,F_2)) 上是單射。 PT009 證明一個一般性的 Atiyah–Chern Kernel Criterion:image-restricted 半正則性,精確等價於物件層次的 Atiyah 核 ker at_F 與上同調層次的 Chern character 穩定核 ker ρ_ch(F) 相等(Theorem 5.1)。對 Markman Example 11.2.7 給出的顯式虧格-4 候選 F_2=E'——其 Chern character 是 β=g*Θ-(q/6)(g^-1)*Θ^3 的非零整數倍——PT009 把 dim HT^2(X)=28 維中屬於 ker ρ_β 的部分精確算成 8 維(6 維「ordinary」實乘法兼容方向 Sym^2(U_1^∨)⊕Sym^2(U_2^∨),加 2 維 B-field/bivector 補償線)。因為 ker at_F2⊆ker ρ_ch(F2) 是自動的,Question 11.2.2 對這個顯式候選,精確等價於 dim ker at_F2=8,也就是 rank(at_F2)=20(Theorem 23.1,Rank-20 Certificate)——一個抽象的「Ext^2 映射在其像上是否單射」的問題,被壓縮成一個具體、原則上可計算的秩命題。 PT010 進一步打開這八維。它先給出 E' 的顯式構造:N 個平移 secant sheaf 的直和 A_sum、一個曲線層 i*L、與一個有限長度的膠合修正 Q,經 Mayer–Vietoris 型正合序列 [E']=[A_sum]+[i*L]-[Q] 黏合而成。六維 ordinary 方向上,A_sum 與 i*L 各自獨立滿足所需的上同調消沒,原則上可用逐 component 的相對形變策略處理。但另外兩維廣義補償方向 L_1、L_2——PT010 證明(Theorem 17.1、Corollary 18.1)對 Markman 建構容許的一般參數 d,L_1 與 L_2 都不可能只靠平移 secant sheaf 這一個 summand 單獨穩定(兩個例外純量條件 da^2=q、db^2=q 因 a≠b 不可能同時成立,而 d 可選得同時避開兩者);它們的非零上同調變化必須由膠合序列另一側(曲線層與有限膠合商)抵消。因此任何能證出 Rank-20 的完整論證,在這兩個方向上都必須動用跨 summand 的「膠合層級」Atiyah 抵消,不能是逐塊獨立的形變論證——PT010 稱此為 Gluing Compensation Barrier。 這條化約鏈由 PT005 到 PT008 一路鋪墊而來:PT005 證明 outer-product 的 Ext^2 障礙可拆成三個彼此不會抵消的 Künneth 通道(對應 (2,0)、(1,1)、(0,2) 位移),並在其 Scope Firewall 中明確標出這個八重簇例子與早先 split sixfold 目標不同,不可混為一談;PT006 在已經古典解決的 split sixfold 控制案例中證明混合通道消失(D_11=0);PT007 指出 PT006 把「純前像」當成唯一合法 lift 的表述過強,修正為「廣義 lift 涵蓋」——這是一次值得記一筆的真實自我修正;PT008 則證明,一旦目標物件的半正則性連同 Hodge 恆常性成立,Even Lift Coverage 便自動滿足、無需獨立再證,因而把秩計算降級為廉價的可證偽診斷工具,而非獨立的正向關卡。 PT009 與 PT010 處理的秩-20 命題,不是本站自行設計的示範題,而是 E. Markman 2025 年 arXiv 預印本 arXiv:2509.23079 第 11.2.2 節明確列出、作者自陳「尚未處理」(has not been addressed yet)的真實公開問題——這一點已透過對原始論文的即時查證確認,不是簡化或杜撰過的替代品。但「把一個真實的公開問題重新表述成一個更具體的秩命題」,不等於「解決了它」。PT009 只證明了 Question 11.2.2 與 Rank-20 之間的等價關係本身,並未算出 rank(at_F2) 的實際數值;PT010 只證明了秩-20 目標可以拆成 6+2 兩塊、且那兩塊不能逐一擊破,並未完成任一塊的實際驗證。PT010 的 canonical declaration 原文明確寫著:「本輪沒有證明 Markman explicit E' 已滿足 Rank-20」;其 Status 欄位本身也記為「PROVED / OPEN RANK-20」,並另立一個「Rank-20 Status: NOT YET PROVED」欄位。因此截至本輪,Markman Question 11.2.2 在文獻上仍是公開未解問題,本頁的化約結果不構成對它的解答,更不構成對 Hodge 猜想任何部分——無論是本原猜想或其任何條件式版本——的證明。等價形式的簡潔,是問題可計算性的提升,不是問題難度的降低。