從歸心到等變拓樸

黎曼猜想合法判定研究的思考方法與方法群

英文題名： From Re-centering to Equivariant Topology: A Methodological Architecture for Legally Formulating Research on the Riemann Hypothesis
作者： Neo.K（許筌崴）
機構： EveMissLab／一言諾科技有限公司
版本： v0.1（內部方法論稿）
日期： 2026-07-24
性質： 數學研究方法論／拓樸方法群／複分析／形式化基礎／RH 研究綱領
狀態： 內部稿；非黎曼猜想證明

重要聲明

本文不是黎曼猜想的證明，也不宣稱本文提出的方法群已經足以證明黎曼猜想。

本文研究的不是「如何快速給出一個新的 RH 證明」，而是：

若要研究 RH，哪些思考方式是合法的？哪些數學方法可以被放入同一個證明架構？每一種方法究竟能做什麼、不能做什麼？

本文的主要任務是建立一個方法群與研究順序，使後續研究不再反覆發生以下錯誤：

把對稱性誤當成固定性；
把核表示誤當成原命題；
把物理直覺誤當成數學等價；
把有限驗證誤當成無限定理；
把拓樸類比誤當成拓樸證明；
把更強公理下的結果誤稱為原始 RH；
把多個必要條件拼接成充分條件；
把重新命名的 RH 當作新定理。

本文只保留「歸心」作為合法且必要的座標正規化，並在此基礎上建立等變拓樸、組態空間、有效除子、正障礙、分層、過濾、層論、拓樸分離、算術測試函數與形式化審計所構成的方法群。

摘要

黎曼猜想的研究長期存在一個方法論問題：大量候選進路雖然使用了高階分析、拓樸、物理、動力系統、譜論或計算方法，但其困難未必只在技術不足，也可能在定義域、判定域、中介域與提升程序之間缺乏合法關係。

本文提出一個「先重構合法性，再研究證明」的方法論。第一步只保留歸心：

F(z)=\xi\left(\frac12+z\right),

將 RH 改寫為 (F) 的所有零點位於虛軸。第二步不直接尋找「零點鎖定機制」，而是建立帶標記對合的等變拓樸空間：

j(z)=-\overline z, \qquad \operatorname{Fix}(j)=i\mathbb R.

第三步將零點表示為 $G\cong C_2\times C_2$ 作用下的局部有限有效除子，進一步建立固定點條件、正障礙、軌道型分層與高度過濾。第四步以 TOPO 纖維準則檢查任何中介方法是否遺失 RH 判定所需資訊。第五步使用層論與局部—全域黏合管理有限證書與無限命題之間的提升。第六步將真正可能產生證明內容的核心定位為「拓樸分離能否提升為算術可容許分離」，即將軌道空間上的偏軸質量分離，提升為可進入 ζ 顯式公式的測試函數，並由質數側建立矛盾。

本文因此提出一個分工清楚的方法群：

\text{歸心} \to \text{等變拓樸} \to \text{組態與正障礙} \to \text{分層與過濾} \to \text{層化局部—全域} \to \text{拓樸分離} \to \text{解析提升} \to \text{算術符號控制} \to \text{ZFC 審計}.

其中，拓樸不負責直接證明 RH，而負責辨識軌道型、建立不可抵消障礙、局部化偏軸零點並管理全域量詞；分析負責製造合法測試函數與控制極限；算術負責在顯式公式的質數側建立符號或界；形式化系統負責檢查定義、型別、依賴與提升是否真正成立。

關鍵詞： 黎曼猜想、歸心、等變拓樸、組態空間、有效除子、正障礙、分層拓樸、層論、顯式公式、測試函數、ZFC、形式化證明

1. 本輪研究的核心轉向

1.1 從「如何證明」退回「如何合法地證明」

過去研究容易直接問：

哪一種機制可以把零點鎖定在臨界線？

但這個提問本身已經過早。

在尚未區分定義域、判定域、中介域與提升條件以前，「鎖定」可能只是一個物理比喻，也可能只是 RH 的重新命名。

本輪研究改問：

任何候選方法若要參與原始 RH 證明，必須通過哪些合法性檢查？

這個轉向有三個效果：

將證明與類比分離；
將重述與實質進展分離；
將方法語言與公理依賴分離。

1.2 只保留歸心

歸心是：

z=s-\frac12, \qquad F(z)=\xi\left(\frac12+z\right).

其合法性來自它只是複平面的平移同構。

歸心不增加假設，也不遺失零點與重數，因此可以完整保留。

歸心之後：

[ F(-z)=F(z), ]

而 RH 成為：

F(z)=0 \Longrightarrow \operatorname{Re}z=0.

這一步不證明任何新內容，但將臨界線變成中心固定集，使後續等變拓樸可以精確表達。

1.3 暫時停用的舊方法

本文不宣稱以下方法永遠無效，而是暫時取消其「直接證明資格」：

核化；
熱流；
零點碰撞；
相位鎖定；
能量極小；
物理勢阱；
拓樸量子化；
全正性直覺；
單純有限高度驗證。

這些方法若要重新加入，必須提供完整的型別宣告、等價定理或提升定理。

2. 方法使用的總原則

2.1 每種方法只做它能合法完成的工作

本文採取「方法分工」而不是「單一方法萬能」的原則。

任何一個方法必須回答：

它的輸入型別是什麼？
它的輸出型別是什麼？
它保留哪些資訊？
它遺忘哪些資訊？
它給出等價、必要條件、充分條件，還是僅為啟發？
它能否提升回 RH 原命題？
它使用哪些公理與外部定理？

2.2 重述不等於證明

若建立：

\mathrm{RH}\iff P,

則只完成了新的判定形式。

真正的證明仍需：

\text{獨立已知結構} \Longrightarrow P.

若 (P) 只是「所有偏軸障礙消失」或「零點除子為固定點」，那仍是 RH 的等價重述。

2.3 必要條件不能累積成充分條件

若已知：

\mathrm{RH}\Longrightarrow A,

\mathrm{RH}\Longrightarrow B,

\mathrm{RH}\Longrightarrow C,

不能因此推出：

A\land B\land C\Longrightarrow\mathrm{RH}.

除非另有定理證明其充分性。

2.4 中介方法必須通過纖維常值檢查

若：

Q:\mathcal D\to\mathcal T

是一個粗化映射，而 RH 判定函數為：

P:\mathcal D\to\{0,1\},

則要使 (P) 能在 $\mathcal T$ 中被判定，至少需要：

Q(x)=Q(y) \Longrightarrow P(x)=P(y).

若同一纖維中同時有真例與假例，中介表示就遺失了 RH 所需資訊。

2.5 最終必須回落至 ZFC 可審計推導

本文採取以下立場：

原始 RH 的完整證明，最終應可在 ZFC 中形式化，或可由一個對相關語句保守且可消去的擴張系統回落至 ZFC。

使用更強語言、計算機、拓樸、範疇論或物理啟發本身沒有問題。

問題在於是否存在不可消去的額外公理或額外本體論假設。

3. 方法群總覽

本文提出下列方法群：

\boxed{ \mathfrak M_{\mathrm{RH}} = \{ M_0,M_1,\ldots,M_9 \} }

其中：

$M_0$ ：歸心與定義域正規化；
$M_1$ ：等變拓樸；
$M_2$ ：零點組態空間；
$M_3$ ：有效除子與正障礙半環；
$M_4$ ：軌道型分層拓樸；
$M_5$ ：高度過濾與持續障礙；
$M_6$ ：層化局部—全域方法；
$M_7$ ：軌道空間拓樸分離；
$M_8$ ：解析可容許提升；
$M_9$ ：算術符號控制與形式化審計。

這些方法不是九條互相競爭的證明路線，而是同一個研究架構中的九個分工層。

4. 方法 $M_0$ ：歸心與定義域正規化

4.1 功能

將：

\operatorname{Re}s=\frac12

轉化為：

\operatorname{Re}z=0.

建立：

F(z)=\xi\left(\frac12+z\right).

4.2 能做的事

保存零點與重數；
將功能方程變為偶性；
將臨界線變為中心固定集；
方便群作用與對合表示。

4.3 不能做的事

不能由偶性推出所有零點在虛軸；
不能由對稱推出逐點固定；
不能自行生成零點排除機制。

4.4 成功標準

必須證明歸心前後命題完全等價。

5. 方法 $M_1$ ：等變拓樸

5.1 基本對象

定義：

a(z)=-z, \qquad b(z)=\overline z, \qquad j(z)=-\overline z.

群：

G=\langle a,b\rangle \cong C_2\times C_2.

臨界線：

A=\operatorname{Fix}(j)=i\mathbb R.

5.2 功能

等變拓樸負責：

保存哪一個子空間是臨界線；
描述零點軌道；
區分群不變與逐點固定；
定義軌道穩定子型別。

5.3 不能做的事

等變拓樸本身不能推出：

Z(F)\subseteq A.

因為一個 (G)-不變零點集完全可以由偏軸四元組構成。

5.4 使用規則

不可只使用裸拓樸空間 (X)。

必須使用帶標記對合的對象：

[ (X,G,j,A). ]

6. 方法 $M_2$ ：零點組態空間

6.1 基本對象

令：

\mathscr D_G(X)

表示 (X) 上局部有限、(G)-不變的有效零點除子空間。

每一個零點除子為：

D=\sum_\rho m_\rho[\rho].

6.2 功能

組態空間負責：

將無限零點集轉為可分層的幾何對象；
保留重數；
保留軌道結構；
允許高度截斷；
建立固定點與障礙算子。

6.3 三個主要層

可按支撐型別分為：

\mathscr D_{\mathrm{axis}}, \qquad \mathscr D_{\mathrm{mixed}}, \qquad \mathscr D_{\mathrm{off}}.

其中：

$\mathscr D_{\mathrm{axis}}$ ：全部零點位於臨界線；
$\mathscr D_{\mathrm{mixed}}$ ：同時存在軸上與偏軸零點；
$\mathscr D_{\mathrm{off}}$ ：具有偏軸支撐。

RH 即：

D_F\in\mathscr D_{\mathrm{axis}}.

6.4 不能做的事

組態分類只標記 $D_F$ 應落在哪一層，不解釋它為何落在該層。

7. 方法 $M_3$ ：有效除子與正障礙

7.1 為何不能太早群化

普通同調或自由阿貝爾群允許正負抵消。

但零點除子為有效除子：

m_\rho\ge0.

偏軸零點不能因符號抵消而「消失」。

7.2 正障礙半環

對有限截斷區域，定義：

\mu_T(D) = \left( n_{\mathrm{axis}}(T), n_{\mathrm{off}}(T) \right) \in\mathbb N_0^2.

或更精細地記錄軌道型：

\mu_T(D) = \sum_{[H]} n_{[H]}(T)e_{[H]}.

其中 ([H]) 表示穩定子共軛類。

7.3 功能

正障礙方法負責：

防止代數抵消；
保存重數；
將偏軸存在轉為非負整數；
建立單調高度障礙。

7.4 核心條件

RH 等價於：

n_{\mathrm{off}}(T)=0 \qquad \forall T.

7.5 不能做的事

正障礙只能保證「若有偏軸零點，障礙非零」，不能自行證明障礙為零。

8. 方法 $M_4$ ：軌道型分層拓樸

8.1 分層依據

對每個點 $z\in X$ ，考慮穩定子：

G_z=\{g\in G:g\cdot z=z\}.

依穩定子型別將 (X) 分層：

X=\bigsqcup_{[H]}X_{([H])}.

8.2 關鍵層

平凡穩定子層：一般偏軸點；
$\langle j\rangle$ 穩定子層：虛軸點；
$\langle b\rangle$ 穩定子層：實軸點；
全群穩定子層：原點。

8.3 RH 的分層形式

\operatorname{supp}D_F \subseteq X_{(\langle j\rangle)} \cup X_{(G)}.

由於原點不是非平凡零點，實際上主要落在 $X_{(\langle j\rangle)}$ 。

8.4 功能

分層拓樸負責：

精確區分不同軌道型；
描述偏軸零點如何構成四元軌道；
為層論、局部證書與軌道空間提供接口。

9. 方法 $M_5$ ：高度過濾與持續障礙

9.1 高度過濾

定義：

X_T= \{z\in X:|\operatorname{Im}z|\le T\}.

限制除子：

[ D_F^{(T)}=D_F|_{X_T}. ]

偏軸障礙：

\Omega_T(F)=n_{\mathrm{off}}(D_F^{(T)}).

9.2 單調性

若：

[ T_1<T_2, ]

則：

\Omega_{T_1}(F)\le\Omega_{T_2}(F).

9.3 功能

高度過濾負責：

管理無限零點集；
將全域命題分解為有限截斷；
記錄偏軸障礙何時出現；
連接數值驗證與形式化證書。

9.4 不能做的事

有限高度零障礙不能推出全高度零障礙。

必須另有尾部定理：

\Omega_T(F)=0 \quad (T\le T_0)

加上：

\text{對 }T>T_0\text{ 的解析排除}

才能完成全域結果。

10. 方法 $M_6$ ：層化局部—全域方法

10.1 零點除子層

對開集 $U\subseteq X$ ，定義：

\mathscr Z(U) = \operatorname{Div}_{\mathrm{lf}}^+(U).

對包含關係 $V\subseteq U$ ，存在限制映射：

\mathscr Z(U)\to\mathscr Z(V).

10.2 偏軸障礙層

定義：

\mathscr Z_{\mathrm{off}}(U) = \operatorname{Div}_{\mathrm{lf}}^+(U\setminus A).

RH 等價於全域截面：

D_F^{\mathrm{off}}

為零截面。

10.3 邊界繞數與餘層式資料

對有界區域 (U) 的零點自由邊界，繞數：

\omega_U(F) = \frac{1}{2\pi i} \int_{\partial U} \frac{F'(z)}{F(z)}\,dz

記錄內部零點數。

不同區域拼接時，邊界貢獻具有可加性。

10.4 功能

層化方法負責：

局部零點資料；
重疊區相容；
局部證書黏合；
有理矩形覆蓋；
有限證書與全域零截面的邏輯關係。

10.5 真正缺口

局部全部為零是否能推出全域為零，取決於：

覆蓋是否完整；
是否控制無窮遠；
是否存在極限逃逸；
是否有尾部定理。

11. 方法 $M_7$ ：軌道空間拓樸分離

11.1 軌道空間

定義：

[ Y=X/G. ]

零點除子下降為軌道空間上的正離散測度：

\nu_F = \sum_{[\rho]\in Y} m_{[\rho]}\delta_{[\rho]}.

分解：

Y=Y_{\mathrm{axis}}\sqcup Y_{\mathrm{off}}.

RH 等價於：

\nu_F(Y_{\mathrm{off}})=0.

11.2 拓樸分離

若：

K\subset Y_{\mathrm{off}}

為緊集，且與 $Y_{\mathrm{axis}}$ 不交，拓樸上通常可以構造連續函數 (u)，使：

u|_K=1, \qquad u|_{Y_{\mathrm{axis}}}=0.

11.3 功能

拓樸分離負責：

局部化任意偏軸軌道；
將「存在偏軸零點」變成「存在可分離正質量」；
為解析測試函數構造提出目標規格。

11.4 限制

普通連續函數未必能進入 ζ 顯式公式。

因此拓樸分離只完成：

\text{存在連續分離函數}.

尚未完成：

\text{存在算術可容許分離函數}.

12. 方法 $M_8$ ：解析可容許提升

12.1 核心 GAP

真正困難的箭頭是：

\boxed{ \text{拓樸可分離} \;\dashrightarrow\; \text{顯式公式可容許分離} }

12.2 可容許測試函數類

需建立一個測試函數類：

\mathcal H_{\mathrm{adm}},

其元素必須滿足：

足夠正則；
足夠衰減；
傅立葉變換存在；
Gamma 項可控；
質數和收斂；
零點側求和合法；
可以交換極限與積分；
保留所需符號。

12.3 目標提升定理

對任意緊集：

K\subset Y_{\mathrm{off}},

希望存在：

h_K\in\mathcal H_{\mathrm{adm}},

使其零點側權重能檢出 (K) 上的正質量，並控制軸上與其他軌道的貢獻。

概念上：

\nu_F(K)>0 \Longrightarrow \mathcal Z_F(h_K)<0

或形成其他可與質數側矛盾的符號。

12.4 功能

解析提升負責：

將拓樸局部化平滑化；
建立 Paley–Wiener 型控制；
保證顯式公式合法；
量化分離誤差；
防止軸上與尾部貢獻淹沒偏軸訊號。

12.5 這一層才可能產生新證明內容

若無此層，前述所有拓樸方法都只是判定框架。

13. 方法 $M_9$ ：算術符號控制與顯式公式

13.1 顯式公式橋

抽象地寫：

\mathcal Z_F(h) = \mathcal P_\zeta(h) + \mathcal G(h) + \mathcal E(h),

其中：

$\mathcal Z_F(h)$ ：零點側；
$\mathcal P_\zeta(h)$ ：質數與質數冪側；
$\mathcal G(h)$ ：Gamma 與無窮遠項；
$\mathcal E(h)$ ：正規化或邊界項。

13.2 真正的證明模式

若偏軸質量存在，拓樸與解析層希望構造：

h\in\mathcal H_{\mathrm{adm}}

使：

\mathcal Z_F(h)<0.

另一方面，若算術側可獨立證明：

\mathcal P_\zeta(h) + \mathcal G(h) + \mathcal E(h) \ge0,

則矛盾。

因此：

\nu_F(Y_{\mathrm{off}})=0.

13.3 分工

\boxed{ \begin{aligned} \text{拓樸}&:\text{ 分離偏軸軌道；}\\ \text{分析}&:\text{ 製造可容許測試函數；}\\ \text{算術}&:\text{ 控制顯式公式的符號；}\\ \text{形式化}&:\text{ 審計全部推導。} \end{aligned} }

13.4 最大風險

顯式公式中的符號控制可能與 RH 本身等價。

因此必須檢查：

\text{所用正性條件}

是否已經偷偷包含「所有零點在臨界線」的資訊。

14. 形式化與 ZFC 審計

14.1 形式化不是附錄

形式化的作用不是在最後替論文蓋章，而是提前修正主張的形狀。

每個模組都應有：

定義；
輸入型別；
輸出型別；
前置條件；
結論強度；
外部定理；
未證假設；
可否消去。

14.2 建議模組

模組 A：歸心與群作用

$\xi$ 與 (F)；
(a,b,j)；
Klein 四群；
固定點集。

模組 B：除子與組態

局部有限除子；
群不變；
軌道分解；
有效性。

模組 C：正障礙

偏軸軌道計數；
高度單調性；
不可抵消性。

模組 D：層與繞數

開集限制；
邊界正則性；
辯值原理；
黏合。

模組 E：TOPO 纖維測試

中介映射；
同纖維反例；
信息損失報告；
提升接口。

模組 F：測試函數與顯式公式

可容許類；
收斂；
極限交換；
質數側與零點側。

14.3 公理依賴表

每一條主要定理標記：

\mathsf{Deps}(T) = ( \mathsf{ZFC}, \mathsf{Classical}, \mathsf{Choice}, \mathsf{Imported}, \mathsf{Extra} ).

若：

\mathsf{Extra}\ne\varnothing,

則不得標記為無條件原始 RH 證明，除非完成消去。

15. 方法群的使用順序

階段一：建立母框架

歸心；
等變拓樸；
零點組態空間；
軌道型分層；
正障礙半環。

此階段只建立判定域。

階段二：建立局部—全域管理

高度過濾；
有理矩形；
局部除子層；
邊界繞數；
黏合與尾部缺口。

此階段建立證書結構。

階段三：建立分離—提升

軌道空間；
偏軸緊集；
拓樸分離；
平滑與近似；
可容許測試函數；
誤差與尾部控制。

此階段開始碰觸實質證明內容。

階段四：算術矛盾與審計

顯式公式；
質數側符號；
Gamma 項；
偏軸質量檢出；
全域障礙消失；
ZFC／Lean 審計。

只有此階段成功，才可能接近 RH 證明。

16. 不建議優先使用的方法

16.1 一般同調群

太早群化可能讓正障礙抵消。

16.2 基本群或高階同倫群

目前沒有明確證據表明它們能感知偏軸零點的有效重數。

16.3 持續同調作為證明

可以作為資料分析，但不能自動承擔解析定理。

16.4 量子拓樸或物理拓樸

若沒有精確對象、態射、函子與提升定理，只能視為類比。

16.5 再次建立熱流路線

熱流可能有獨立價值，但會重新引入物理化與形變合法性問題，不應混入本輪主線。

16.6 未定義的 RH 上同調

在沒有明確幾何對象與上同調理論以前，不應預設存在可直接類比 Weil 猜想的結構。

17. 本方法群的可否證條件

本綱領不是不可反駁的哲學框架。

以下情況會迫使方法群修正：

等變軌道型沒有比普通零點計數提供額外結構；
正障礙半環無法與顯式公式連接；
層化局部證書無法控制無窮遠；
拓樸分離無法被任何可容許測試函數逼近；
可容許測試函數無法保持偏軸檢出符號；
質數側符號控制與 RH 本身完全等價；
軌道空間不具備所需分離性質；
所有可能提升都不可避免地加入不可消去的額外公理。

若發生這些情況，本方法群仍可保留作為判定與審計工具，但不能再被視為可能的證明主線。

18. 本輪最重要的思考成果

18.1 拓樸不是用來代替分析

拓樸的功能是：

\text{辨識、分層、局部化、離散化、黏合}.

分析的功能是：

\text{近似、收斂、衰減、極限、符號控制}.

算術的功能是：

\text{將 ζ 的質數來源帶回零點判定}.

18.2 真正的核心不是「拓樸證明 RH」

真正的核心是：

\boxed{ \text{拓樸分離能否提升為算術可容許分離？} }

這條箭頭若不能建立，拓樸仍然只是漂亮的分類語言。

18.3 RH 的方法論困難位於域間

本輪最重要的 GAP 為：

\text{零點幾何} \dashrightarrow \text{拓樸障礙},

\text{拓樸障礙} \dashrightarrow \text{解析測試函數},

\text{解析測試函數} \dashrightarrow \text{算術符號},

\text{有限證書} \dashrightarrow \text{全域命題}.

因此研究不應只在單一領域內無限加強工具，而應逐一建立這些提升箭頭。

19. 後續論文群

第一篇

《等變零點組態拓樸學》

副題： RH 軌道型分層、有效除子半環與正障礙

研究：

(G)-不變除子空間；
軌道型；
有效障礙；
Burnside 正半環；
高度過濾。

第二篇

《層化零點障礙與局部—全域提升》

副題： 從有理矩形證書到全臨界帶判定

研究：

除子層；
繞數餘層；
局部證書；
黏合；
尾部控制。

第三篇

《等變算術分離》

副題： 從軌道空間局部化到 ζ 顯式公式的可容許測試函數

研究：

軌道空間分離；
可容許測試函數；
Paley–Wiener 型提升；
偏軸質量檢出。

第四篇

《顯式公式中的偏軸正障礙》

副題： 零點側檢出、質數側符號與 ZFC 可審計矛盾架構

研究：

顯式公式；
正性；
質數側估計；
Gamma 項；
形式化依賴。

20. 結論

本輪研究沒有得到 RH 證明，也沒有宣稱拓樸學可以直接證明 RH。

本輪真正完成的是一個方法論重構：

\boxed{ \begin{aligned} &\text{只保留歸心；}\\ &\text{用等變拓樸保存臨界線身份；}\\ &\text{用組態空間承載零點除子；}\\ &\text{用正障礙防止代數抵消；}\\ &\text{用軌道型分層區分軸上與偏軸；}\\ &\text{用高度過濾管理無限量詞；}\\ &\text{用層論處理局部—全域；}\\ &\text{用拓樸分離定位偏軸質量；}\\ &\text{用分析提升為可容許測試函數；}\\ &\text{用算術與顯式公式建立矛盾；}\\ &\text{用形式化與 ZFC 審計保證原命題完整性。} \end{aligned} }

因此，本方法群不是「拓樸 XX 學」的名稱堆疊，而是一個分工嚴格的研究架構。

其中最重要的一句話是：

拓樸負責告訴我們偏軸障礙在哪裡、屬於哪一型、如何被局部化與保存；真正的 RH 證明若存在，仍必須由解析與算術結構證明這些障礙不可能存在。

而最值得後續投入的核心問題是：

\boxed{ \text{任意偏軸軌道的拓樸分離，能否被提升為 ζ 顯式公式中的算術可容許分離？} }

這是本輪從「拓樸重述」走向「可能產生實質證明內容」的第一個合法入口。

附錄 A：方法群功能表

方法	主要輸入	主要輸出	能做什麼	不能做什麼
歸心	$\xi(s)$	(F(z))	正規化中心	證明零點在軸上
等變拓樸	(X,G,j)	軌道與固定集	保存臨界線身份	排除四元軌道
組態空間	零點除子	分層除子空間	保存重數與軌道	解釋為何落入軸上層
正障礙	有效除子	$\mathbb N_0$ -值障礙	防止抵消	證明障礙為零
分層拓樸	群作用	穩定子型別	區分軸上／偏軸	給出算術原因
高度過濾	無限零點集	截斷障礙族	管理全域量詞	有限推無限
層論	局部零點資料	黏合結構	局部—全域管理	自動控制無窮遠
拓樸分離	軌道空間	連續分離函數	定位偏軸質量	保證顯式公式可用
解析提升	連續分離函數	可容許測試函數	收斂與衰減控制	提供質數側符號
算術控制	顯式公式	符號或矛盾	連回質數結構	取代基礎審計
形式化審計	全部推導	核心驗證	檢查型別與依賴	創造缺失定理

附錄 B：最小研究流程

\xi \overset{\text{歸心}}{\longrightarrow} F

F \overset{\text{除子}}{\longrightarrow} D_F

D_F \overset{\text{等變分層}}{\longrightarrow} D_F^{\mathrm{axis}} \oplus D_F^{\mathrm{off}}

D_F^{\mathrm{off}} \overset{\text{正障礙}}{\longrightarrow} \Omega(F)

\Omega(F)\ne0 \overset{\text{拓樸分離}}{\longrightarrow} u_K

u_K \overset{\text{解析提升}}{\longrightarrow} h_K\in\mathcal H_{\mathrm{adm}}

h_K \overset{\text{顯式公式}}{\longrightarrow} \text{零點側／質數側矛盾}

\Longrightarrow \Omega(F)=0

\Longrightarrow \mathrm{RH}.

目前已建立的是前半段的合法框架；後半段的提升與算術矛盾仍是未完成研究問題。

從歸心到等變拓樸_RH合法判定研究的思考方法與方法群_v0.1_內部稿