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

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

英文題名： Sheafified Zero Obstructions and Local-to-Global Lifting: From Rational-Rectangle Certificates to a Decision over the Entire Critical Strip
作者： Neo.K（許筌崴）
機構： EveMissLab／一言諾科技有限公司
版本： v0.1（內部研究稿）
日期： 2026-07-24
性質： 複分析／層論方法／拓樸度數／局部—全域原理／RH 判定域研究
前置文件： 1.《從歸心到等變拓樸：RH 合法判定研究的思考方法與方法群》
2.《等變零點組態拓樸學：RH 軌道型分層、有效除子半環與正障礙》
狀態： 內部稿；不構成黎曼猜想證明

重要聲明

本文不是黎曼猜想的證明。

本文處理的是前一篇留下的第二層問題：

已知偏軸零點可以表示為正除子障礙，如何把這些障礙局部化、形成可驗證證書、在重疊區保持相容，並判斷何種局部資訊足以提升為全臨界帶結論？

本文建立：

局部有限有效除子的層；
偏軸零點障礙層；
可數有理矩形基底；
零點自由邊界上的繞數證書；
對有限矩形分割成立的正整數值可加估值；
局部證書與全域 RH 的等價判定；
高度耗盡、邊界正則化與尾部缺口；
局部對數、繞數上同調類與零點除子的對偶關係；
可供形式化與計算驗證使用的證書規格。

本文不證明任意一個非平凡繞數必為零。真正尚缺的是由 $\xi$ 的獨立解析與算術結構，統一證明全部偏軸局部證書均為零。

摘要

令

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

並令歸心後的開臨界帶為

X=\left\{z\in\mathbb C:\left|\operatorname{Re}z\right|<\frac12\right\},

臨界軸為

A=i\mathbb R.

前置研究已將 (F) 的非平凡零點表示為 (X) 上的局部有限、(G)-不變有效除子 $D_F$ ，並定義偏軸正障礙

\mathfrak O(D_F)=D_F|_{X\setminus A}.

RH 等價於此偏軸正障礙為零。

本文將該障礙組織為一個開集上的層。對任意開集 $U\subseteq X$ ，定義

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

以及偏軸障礙層

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

限制映射由除子的開集限制給出。局部有限性與重疊相容性保證上述賦值滿足層公理。固定函數 (F) 給出全域截面

\mathfrak o_F\in\Gamma(X,\mathscr O^+),

而 RH 等價於

\mathfrak o_F=0.

由於 $X\setminus A$ 分成左右兩個分支，且零點除子受臨界反射 [ j(z)=-\overline z ] 保持，只需判定右半臨界帶 [ X^+=\left{z:0<\operatorname{Re}z<\frac12\right}. ] 本文在 $X^+$ 中取閉包緊含於 $X^+$ 的有理矩形基底。對每個邊界無零點的正則矩形 (R)，定義繞數證書 [ \omega_R(F)

\frac{1}{2\pi i}\oint_{\partial R}\frac{F'(z)}{F(z)},dz. ] 由辯值原理，

\omega_R(F)=D_F(R)\in\mathbb N_0.

因此，繞數不是僅具符號的抽象同調量，而是按重數計算的正零點質量。

本文證明一個可數局部判定定理：

\mathrm{RH} \iff \omega_R(F)=0

對所有正則有理矩形 $R\Subset X^+$ 成立。若存在偏軸零點，可利用零點離散性在其周圍選取邊界無零點的有理矩形，得到正繞數證書。

對有限個矩形形成的可加分割，繞數在共同內邊界上相消，故形成正整數值估值：

\omega_{\bigcup_iR_i}(F)=\sum_i\omega_{R_i}(F).

本文刻意不把此結構過度宣稱為所有開集上的完整餘層；它是在正則區域、有限分割與合法邊界鏈上成立的可加證書系統。

本文進一步建立正則耗盡：

U_1\Subset U_2\Subset\cdots\Subset X^+, \qquad \bigcup_nU_n=X^+,

其中每個 $\partial U_n$ 均避開零點。於是

\mathrm{RH} \iff \omega_{U_n}(F)=0 \quad\forall n.

但任何有限前綴

\omega_{U_n}(F)=0 \quad(n\le N)

都不能推出全域 RH。要從有限驗證提升，仍需額外的尾部排除定理、統一局部定理或對全部耗盡層級成立的解析證明。

最後，本文將

\frac{1}{2\pi i}\frac{F'}F\,dz

視為零點補空間上的整週期閉形式，其週期類與映射

F/|F|:X\setminus Z(F)\to S^1

所誘導的 $H^1$ 類相同。局部繞數證書即此類在邊界一週期上的配對，而零點除子則是其平面對偶的正質量表示。這提供了除子層、邊界證書與拓樸障礙之間的統一接口。

關鍵詞： 黎曼猜想、層、局部有限除子、偏軸障礙、繞數、辯值原理、有理矩形、局部—全域提升、耗盡、對數上同調

1. 研究問題

1.1 前一篇留下的缺口

前置研究建立了：

\mathrm{RH} \iff \mathfrak O(D_F)=0,

其中

\mathfrak O(D_F) = D_F|_{X\setminus A}.

但這仍是一個全域條件。

若要進一步研究，就必須回答：

如何在有限區域中讀取偏軸障礙？
局部障礙如何限制到更小區域？
不同區域的局部資料何時相容？
局部證書能否黏合成全域證書？
是否存在可數的充分判定族？
有限高度驗證與全域 RH 之間究竟缺少什麼？

1.2 本文的核心立場

本文採用：

\boxed{ \text{除子資料用層管理，邊界計數用正估值管理。} }

原因是：

零點除子能自然限制、黏合，形成真正的層；
繞數依賴區域與邊界正則性，在有限合法分割上具有可加性；
將繞數直接宣稱為一般開集上的完整餘層，容易忽略邊界零點、方向與區域類型。

因此本文區分：

\text{局部幾何資料} \quad\text{與}\quad \text{局部證書資料}.

2. 基本空間與對稱縮減

2.1 開臨界帶

定義：

X = \left\{ z\in\mathbb C: -\frac12<\operatorname{Re}z<\frac12 \right\}.

臨界軸：

A=i\mathbb R.

偏軸空間：

X^\times=X\setminus A.

2.2 左右分支

定義：

X^+ = \left\{ z: 0<\operatorname{Re}z<\frac12 \right\},

X^- = \left\{ z: -\frac12<\operatorname{Re}z<0 \right\}.

則：

X^\times=X^+\sqcup X^-.

2.3 臨界反射

定義：

j(z)=-\overline z.

則：

j(X^+)=X^-, \qquad j(X^-)=X^+.

由零點除子的 (j)-不變性：

D_F|_{X^-} = j_*\left(D_F|_{X^+}\right).

因此：

命題 2.1

D_F|_{X^\times}=0 \iff D_F|_{X^+}=0.

也就是說，只需排除右半臨界帶中的零點。

3. 局部有限有效除子層

3.1 開集上的除子

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

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

其元素為：

D=\sum_{\rho\in U}m_\rho[\rho], \qquad m_\rho\in\mathbb N_0,

且對任意緊集 $K\Subset U$ ，只有有限多個支撐點落在 (K)。

3.2 限制映射

若：

V\subseteq U,

定義：

\operatorname{res}_{U,V}: \mathscr Z^+(U)\to\mathscr Z^+(V),

D\mapsto D|_V.

它滿足：

\operatorname{res}_{U,U}=\operatorname{id},

以及：

\operatorname{res}_{V,W}\circ\operatorname{res}_{U,V} = \operatorname{res}_{U,W}.

3.3 局部唯一性

若 $D_1,D_2\in\mathscr Z^+(U)$ ，且對一個開覆蓋

U=\bigcup_iU_i

皆有：

[ D_1|{U_i}=D_2|{U_i}, ]

則：

[ D_1=D_2. ]

因每個點的重數可在任一包含該點的 $U_i$ 中讀取。

3.4 黏合

設：

D_i\in\mathscr Z^+(U_i)

且在所有重疊區：

D_i|_{U_i\cap U_j} = D_j|_{U_i\cap U_j}.

則可逐點定義：

m_\rho=m_\rho(D_i)

其中選任一包含 $\rho$ 的 $U_i$ 。

相容性保證良定義。

對任意 $\rho\in U$ ，選取某個 $U_i\ni\rho$ 。由 $D_i$ 的局部有限性，存在 $\rho$ 的相對緊鄰域，其中支撐有限。因此黏合後除子仍局部有限。

故存在唯一：

D\in\mathscr Z^+(U)

使：

[ D|_{U_i}=D_i. ]

定理 3.1

U\longmapsto\mathscr Z^+(U)

是 (X) 上取值於交換么半群的層。

4. 偏軸障礙層

4.1 定義

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

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

因 $U\setminus A$ 為開集，上節結果直接給出：

定理 4.1

U\longmapsto\mathscr O^+(U)

是 (X) 上的交換么半群層。

4.2 固定函數的障礙截面

令：

D_F=\operatorname{div}_0(F)|_X.

對每個 $U\subseteq X$ ，定義：

\mathfrak o_F(U) = D_F|_{U\setminus A}.

這些局部除子在限制下相容，因此形成全域截面：

\mathfrak o_F \in \Gamma(X,\mathscr O^+).

4.3 RH 的層論形式

定理 4.2

以下命題等價：

RH 成立；
$\mathfrak o_F=0$ ；
對所有開集 $U\subseteq X$ ， $\mathfrak o_F(U)=0$ ；
對所有 $p\in X$ ，障礙截面的莖 $(\mathfrak o_F)_p=0$ ；
對所有 $p\in X^+$ ， $(\mathfrak o_F)_p=0$ 。

說明

這是層的局部性原理：

\text{全域截面為零} \iff \text{每個莖為零}.

但它只是 RH 的局部語言重構，並沒有提供莖為零的獨立原因。

5. 有理矩形基底

5.1 基底定義

令：

\mathcal B_{\mathbb Q}^+

為所有開矩形

R=(a,b)\times(c,d)

所成的集合，其中：

a,b,c,d\in\mathbb Q,

0<a<b<\frac12, \qquad c<d.

將複數 $z=x+iy$ 與 ((x,y)) 識別。

每個 (R) 的閉包滿足：

\overline R\Subset X^+.

5.2 可數性

因 $\mathbb Q^4$ 可數，

\mathcal B_{\mathbb Q}^+

為可數集合。

5.3 基底性

對任意 $p\in X^+$ 與任意開鄰域 $U\ni p$ ，存在：

R\in\mathcal B_{\mathbb Q}^+

使：

p\in R, \qquad \overline R\subset U.

故它是 $X^+$ 的可數相對緊基底。

5.4 為何使用相對緊矩形

相對緊條件同時避開：

臨界軸 (A)；
臨界帶右邊界；
無窮遠。

因此每個矩形中只有有限多個零點，且可以合法使用辯值原理。

6. 正則矩形與繞數證書

6.1 正則性

對：

R\in\mathcal B_{\mathbb Q}^+,

若：

F(z)\ne0 \qquad \forall z\in\partial R,

則稱 (R) 為 (F)-正則矩形。

記全部正則矩形為：

\mathcal B_{\mathbb Q,F}^{\mathrm{reg},+}.

6.2 邊界相位映射

對正則矩形，定義：

\phi_R: \partial R\to S^1,

\phi_R(z)=\frac{F(z)}{|F(z)|}.

其拓樸度數為：

\omega_R(F) = \deg(\phi_R).

6.3 積分形式

固定 $\partial R$ 的正向方向，則：

\omega_R(F) = \frac{1}{2\pi i} \oint_{\partial R} \frac{F'(z)}{F(z)}\,dz.

6.4 正性

由辯值原理，因 (F) 為整函數：

\omega_R(F) = \sum_{\rho\in R} m_\rho = D_F(R).

所以：

\omega_R(F)\in\mathbb N_0.

這裡的正性依賴：

邊界採正向；
(F) 在內部沒有極點；
零點按正重數計算。

6.5 證書內容

一個合法矩形證書至少包含：

\mathsf{Cert}(R,F) = \left( R, \mathsf{BoundaryFree}, \omega_R, \mathsf{Multiplicity}, \mathsf{Dependencies} \right).

其中：

(R)：矩形端點；
$\mathsf{BoundaryFree}$ ：邊界無零點證明；
$\omega_R$ ：整數繞數；
$\mathsf{Multiplicity}$ ：按重數計數聲明；
$\mathsf{Dependencies}$ ：使用的解析定理、數值界與公理依賴。

若缺少邊界無零點證明，繞數證書不完整。

7. 可數局部判定定理

7.1 定理

定理 7.1

以下命題等價：

RH 成立；
$D_F|_{X^+}=0$ ；
對所有 (F)-正則有理矩形 $R\in\mathcal B_{\mathbb Q,F}^{\mathrm{reg},+},$ 都有 $\omega_R(F)=0.$

7.2 證明

$1\Rightarrow2$

若 RH 成立，所有零點位於 (A)，故右半帶無零點。

$2\Rightarrow3$

若右半帶無零點，任意 $R\Subset X^+$ 內部無零點，所以：

\omega_R(F)=0.

$3\Rightarrow2$

反設右半帶存在零點 $\rho$ 。

由零點集合離散，存在開圓盤 $B(\rho,\delta)\Subset X^+$ ，使閉圓盤內除 $\rho$ 外沒有其他零點。

利用有理矩形基底，選取：

\rho\in R, \qquad \overline R\subset B(\rho,\delta).

則 $\partial R$ 不含零點，因此 (R) 正則，且：

\omega_R(F) = m_\rho >0,

與假設矛盾。

證畢。

7.3 意義

RH 已被轉化為一個可數證書族全部為零的條件。

但「可數」不等於「有限」。

也不表示可以逐一數值驗證後在有限時間內完成無限命題。

8. 從除子層到證書估值

8.1 區域類

令：

\mathsf{Reg}_F^+

表示所有滿足下列條件的有界區域 $U\Subset X^+$ ：

邊界為有限條分段 $C^1$ Jordan 曲線；
邊界採正向；
(F) 在 $\partial U$ 上無零點。

8.2 證書估值

定義：

\nu_F(U) = \frac{1}{2\pi i} \oint_{\partial U}\frac{F'}F\,dz.

由辯值原理：

\nu_F(U)=D_F(U)\in\mathbb N_0.

8.3 單調性

若：

U\subseteq V,

且：

D_F(V\setminus U)\ge0,

則：

\nu_F(U)\le\nu_F(V).

對正除子而言，這是零點質量單調性。

8.4 不交可加性

若 $U,V\in\mathsf{Reg}_F^+$ 且閉包不交，則：

\nu_F(U\sqcup V) = \nu_F(U)+\nu_F(V).

8.5 有限分割可加性

設 (U) 被有限個區域 $U_1,\ldots,U_n$ 分割，滿足：

內部兩兩不交；
聯集閉包等於 $\overline U$ ；
所有外邊界與內部分割邊均不通過零點；
每條共同內邊在相鄰區域中方向相反。

則：

\sum_{k=1}^n \oint_{\partial U_k}\frac{F'}F\,dz = \oint_{\partial U}\frac{F'}F\,dz.

共同內邊界積分互相抵消，因此：

\boxed{ \nu_F(U) = \sum_{k=1}^n\nu_F(U_k). }

8.6 為何稱為估值而非完整餘層

上述結構具有有限可加性，但仍依賴：

區域邊界的正則性；
邊界無零點；
合法分割；
方向一致性。

對任意開集覆蓋，並不存在自動良定義的「將局部繞數直接推前」操作。

因此本文稱：

U\mapsto\nu_F(U)

為正整數值區域估值或證書估值，而不是無條件宣稱它是一般開集範疇上的餘層。

9. 局部證書的黏合

9.1 零證書黏合

若正則區域 (U) 被有限正則分割：

U=\bigcup_{k=1}^nU_k,

且：

\nu_F(U_k)=0 \qquad \forall k,

則：

\nu_F(U)=0.

9.2 正性提供反向分解

由：

\nu_F(U_k)\in\mathbb N_0,

若：

\nu_F(U) = \sum_k\nu_F(U_k) = 0,

則：

\nu_F(U_k)=0 \qquad \forall k.

若允許正負係數，此反向結論不成立。

所以正性使：

\text{全域零證書} \iff \text{每個有限分塊皆為零}.

9.3 與除子層的關係

在區域 (U) 上：

\nu_F(U) = \left| \mathfrak o_F(U) \right|,

其中右側表示偏軸有效除子在 (U) 內的總重數。

除子層保留：

精確位置；
重數；
軌道型。

證書估值只保留：

區域內的總正質量。

因此證書估值是除子層的壓縮投影。

10. 有理矩形網格與有限證書複形

10.1 矩形網格

取有限有理座標集合：

0<x_0<x_1<\cdots<x_m<\frac12,

y_0<y_1<\cdots<y_n.

生成矩形格：

R_{ij} = (x_{i-1},x_i)\times(y_{j-1},y_j).

10.2 正則網格

若 (F) 在所有格線上無零點，稱此網格為 (F)-正則。

10.3 單元證書

每個單元具有：

\omega_{ij} = \nu_F(R_{ij}) \in\mathbb N_0.

10.4 區塊證書

對任意由單元構成的有限區塊 (K)：

\nu_F(K) = \sum_{R_{ij}\subset K} \omega_{ij}.

10.5 證書複形

可將：

頂點視為有理格點；
邊視為有向格線；
二胞腔視為矩形；
邊界算子記錄每個矩形的有向邊界；
(F'/F) 的積分作為一鏈上的線性泛函。

內邊界消去可寫成：

\partial\left(\sum_iR_i\right) = \sum_i\partial R_i.

這是矩形證書可組合的鏈層原因。

10.6 工程價值

有限證書複形適合：

精確區間算術；
分散式驗證；
證書快取；
失敗區域重新細分；
Lean 中的有限組合形式化；
將數值驗證與拓樸正確性分離。

11. 邊界零點與正則化

11.1 邊界問題

若：

F(z_0)=0, \qquad z_0\in\partial U,

則：

[ F/|F| ]

在 $z_0$ 無定義，而：

\frac{F'}F

在該點有極點。

因此原始邊界不能直接作繞數證書。

11.2 微擾邊界

由零點離散性，可以對有限矩形邊界作任意小移動，使新邊界避開全部零點。

但必須記錄：

移動方向；
移動前後夾入或排除哪些零點；
新區域與原區域的關係。

11.3 內外逼近

對可能通過零點的區域 (U)，可選取：

U^-_\epsilon\Subset U\Subset U^+_\epsilon

且兩者邊界皆無零點。

若夾層中沒有零點，則：

\nu_F(U^-_\epsilon) = \nu_F(U^+_\epsilon).

這個共同值可作為 (U) 的穩定證書。

11.4 不使用未聲明的半重數規則

某些輪廓積分慣例會對邊界零點分配半重數。

本文不把此慣例當作預設。

除非明確建立縮排輪廓、方向與極限規則，否則所有證書均要求邊界零點自由。

12. 正則耗盡

12.1 耗盡定義

一列區域：

U_1\Subset U_2\Subset\cdots\Subset X^+

若：

\bigcup_{n=1}^\infty U_n=X^+,

則稱其為 $X^+$ 的耗盡。

12.2 矩形耗盡

可取：

U_n = \left\{ z: \varepsilon_n<\operatorname{Re}z<\frac12-\delta_n, \quad |\operatorname{Im}z|<T_n \right\},

其中：

\varepsilon_n\downarrow0, \qquad \delta_n\downarrow0, \qquad T_n\uparrow\infty.

12.3 正則耗盡的存在

零點集合可數且離散。

可選取 $\varepsilon_n,\delta_n,T_n$ 使所有矩形邊界避開零點，並保持耗盡性。

因為在每一步只需避開有限或可數的壞座標值，而實數中仍存在稠密補集。

12.4 耗盡判定定理

定理 12.1

對任意 (F)-正則耗盡 $(U_n)$ ，以下等價：

RH 成立；
$D_F|_{X^+}=0$ ；
$\nu_F(U_n)=0 \qquad \forall n.$

證明

若右半帶無零點，每個 $U_n$ 計數為零。

反之，若存在右半帶零點 $\rho$ ，由耗盡性，存在 (N) 使：

\rho\in U_N.

因此：

\nu_F(U_N)\ge m_\rho>0.

證畢。

13. 有限驗證與全域缺口

13.1 有限前綴

若只知：

\nu_F(U_n)=0 \qquad 1\le n\le N,

只能推出：

[ D_F(U_N)=0. ]

不能推出：

[ D_F(X^+)=0. ]

13.2 缺少的尾部命題

有限前綴要提升為 RH，至少還需：

D_F(X^+\setminus U_N)=0.

這就是尾部排除命題。

13.3 三種合法提升模式

模式一：全耗盡證明

對所有 (n) 分別證明：

\nu_F(U_n)=0.

模式二：統一局部定理

建立一條對所有正則矩形均成立的定理：

R\Subset X^+ \Longrightarrow \nu_F(R)=0.

模式三：有限驗證加尾部定理

先證明有限區域無零點，再證明：

|\operatorname{Im}z|>T_0 \Longrightarrow F(z)\ne0 \quad \text{於 }X^+.

13.4 不合法提升

以下推理均不成立：

\text{已驗證非常高} \Longrightarrow \text{所有高度成立},

\nu_F(U_n)=0 \text{ 對很多 }n \Longrightarrow \nu_F(U_n)=0 \text{ 對所有 }n,

\lim_{n\to\infty} \frac{\nu_F(U_n)}{\text{全部零點數}} =0 \Longrightarrow \nu_F(U_n)\equiv0.

密度零不等於不存在。

14. 局部對數與繞數上同調類

14.1 零點補空間

令：

Y_F=X^+\setminus Z(F).

在 $Y_F$ 上：

F:Y_F\to\mathbb C^\times.

14.2 圓值映射

定義：

u_F = \frac{F}{|F|} : Y_F\to S^1.

它誘導上同調類：

[u_F] \in H^1(Y_F;\mathbb Z).

14.3 對數微分

在 $Y_F$ 上定義：

\eta_F = \frac{1}{2\pi i}\frac{F'}F\,dz.

它是閉形式，並具有整數週期：

\int_\gamma\eta_F \in\mathbb Z

對任意閉路 $\gamma\subset Y_F$ 。

14.4 週期與繞數

有：

\int_\gamma\eta_F = \deg(u_F|_\gamma).

若 $\gamma=\partial U$ ，則：

\int_{\partial U}\eta_F = D_F(U).

14.5 局部對數

在一個零點自由的單連通開集 $V\subset Y_F$ 上，存在全純函數 $L_V$ 使：

[ e^{L_V}=F. ]

在重疊區：

L_V-L_W \in 2\pi i\mathbb Z.

這些整數跳躍形成 Čech 1-餘循環，表示與 $[u_F]$ 相同的拓樸類。

14.6 與零點除子的關係

繞數類在包圍零點的微小圓周上取值：

m_\rho.

因此零點除子可以由全部局部週期重建：

D_F = \sum_\rho \left( \int_{\gamma_\rho}\eta_F \right) [\rho].

其中 $\gamma_\rho$ 是只包圍 $\rho$ 的小正向圓。

14.7 本文的拓樸統一

由此得到：

\boxed{ \text{除子層} \longleftrightarrow \text{局部週期} \longleftrightarrow \text{邊界繞數證書} }

但此對應仍然只是把已有零點編碼成拓樸資料。

它不證明這些局部週期為零。

15. 局部—全域的三個層次

15.1 層次一：層的局部性

\mathfrak o_F=0 \iff (\mathfrak o_F)_p=0 \quad \forall p.

這是形式上的局部—全域等價。

15.2 層次二：證書可加性

有限正則分割中：

\nu_F(U) = \sum_i\nu_F(U_i).

這是有限區域的計算性局部—全域原理。

15.3 層次三：非緊空間提升

從：

\nu_F(U_n)=0 \quad \forall n

推出全域零障礙，依靠耗盡性。

若只掌握有限個 (n)，則仍有無窮遠缺口。

15.4 真正困難所在

層論本身告訴我們：

若每個局部障礙都已證明為零，則全域障礙為零。

但 RH 的核心困難正是：

\text{如何獨立證明每個局部偏軸障礙為零？}

所以層論管理證明，不創造缺失的解析—算術定理。

16. 局部證書的資訊壓縮

16.1 完整除子

[ D_F|_R ]

保留：

每個零點位置；
每個零點重數；
軌道型；
相對幾何。

16.2 繞數證書

\omega_R(F)

只保留：

區域內總重數。

因此：

D_F|_R \longmapsto \omega_R(F)

是一個強粗化。

16.3 判定完備性

對單一矩形：

\omega_R(F)=0 \iff D_F(R)=0

因為除子有效。

所以對「區域內是否存在零點」而言，繞數證書完備。

但對下列問題不完備：

零點在哪裡；
是否成四元軌道；
零點彼此距離；
是否多重；
如何隨參數移動。

16.4 多尺度證書族

利用嵌套矩形族：

R_1\supset R_2\supset\cdots,

可逐步定位零點。

若：

\omega_{R_n}(F)>0

且直徑趨於零，則可將支撐定位到唯一極限點。

這為數值隔離與形式化零點證書提供接口。

17. 證書失敗模式

17.1 邊界無零點未證

只計算積分近似，而未證：

\inf_{z\in\partial R}|F(z)|>0,

不能保證繞數穩定。

17.2 數值相位跳躍漏計

離散採樣可能跨越超過 $\pi$ 的相位變化，造成繞數漏算。

必須提供：

導數界；
步長界；
區間包絡；
自適應細分。

17.3 浮點值接近零

若邊界上 (|F|) 極小，普通浮點計算不能排除真正零點。

17.4 區域重疊重複計數

若矩形內部重疊：

\nu_F(U\cup V) \ne \nu_F(U)+\nu_F(V)

而應使用包含—排除或改用合法分割。

17.5 內邊界方向未消去

格網黏合時，內邊必須以相反方向出現。

17.6 有限覆蓋誤稱全域覆蓋

任何有界有限格網都不能覆蓋整個 $X^+$ 。

17.7 將局部對數存在誤解為全域對數存在

每個小區域中可選對數分支，不表示零點補空間上存在單一全域對數。

其障礙正是：

[u_F]\in H^1(Y_F;\mathbb Z).

18. 形式化規格

18.1 層模組

建議建立：

LocallyFiniteEffectiveDivisor
DivisorRestriction
EffectiveDivisorSheaf
OffAxisObstructionSheaf
GlobalOffAxisSection
StalkVanishing

核心定理：

divisor_sheaf_locality
divisor_sheaf_gluing
off_axis_global_zero_iff_stalk_zero
right_half_zero_iff_full_off_axis_zero

18.2 矩形模組

RationalRectangle
RelativelyCompactRectangle
BoundaryZeroFree
RegularRectangle
PositiveOrientation

18.3 繞數模組

PhaseMap
WindingCertificate
ArgumentPrincipleCertificate
CertificateNonnegative

核心定理：

\omega_R(F)=D_F(R).

18.4 分割模組

RectangleComplex
CompatibleOrientation
InternalEdgeCancellation
CertificateAdditivity

18.5 耗盡模組

RegularExhaustion
ExhaustionCoversRightHalfStrip
AllExhaustionCertificatesZero

核心定理：

\left( \forall n,\ \nu_F(U_n)=0 \right) \iff D_F|_{X^+}=0.

18.6 信任邊界

數值證書必須將下列內容分離：

解析定理；
精確整數結論；
區間算術；
外部函數庫；
浮點硬體；
已驗證程式；
未驗證前處理。

19. 證書資料格式

每個局部證書可用以下結構記錄：

certificate_id:
function_id:
region:
  x_min:
  x_max:
  y_min:
  y_max:
orientation: positive
boundary_free:
  method:
  lower_bound_abs_F:
  precision:
winding:
  integer_value:
  method:
multiplicity_policy: counted
dependencies:
  theorems:
  axioms:
  software:
parent_partition:
children:
status:

19.1 必要欄位

region：必須可精確重建；
boundary_free：不能只寫「數值看起來非零」；
integer_value：必須有整數穩定性證明；
dependencies：列出計算與公理依賴；
parent_partition：支援黏合與避免重複計數。

19.2 全域證書清單

一個全耗盡證書需要：

ExhaustionDefinition
BoundaryRegularityForEveryLevel
ZeroWindingForEveryLevel
CoverageProof
SymmetryReductionProof
DependencyAudit

它不能只是有限長數值表。

20. 本文的主要結果

本文完成以下結構。

20.1 真正的層

局部有限有效除子與偏軸有效除子形成層。

20.2 可數判定族

RH 等價於所有正則有理矩形繞數為零。

20.3 正可加證書

在有限合法分割下，繞數證書可加，且正性阻止抵消。

20.4 正則耗盡

RH 等價於任意正則耗盡的全部證書為零。

20.5 拓樸統一

除子重數、邊界繞數與 $H^1$ 週期類是同一零點障礙的不同表示。

21. 本文沒有完成的內容

本文沒有證明：

\omega_R(F)=0

對任何含有未知零點可能性的任意矩形成立。

本文也沒有建立：

全高度零點自由區；
質數側正性；
可容許測試函數分離；
顯式公式矛盾；
RH 證明。

因此，本篇的實質位置是：

\boxed{ \text{把「全域偏軸零點不存在」拆成可數、正值、可黏合的局部證書問題。} }

22. 下一階段：等變算術分離

本文向下一篇輸出：

\left( \mathscr O^+, \mathfrak o_F, \mathcal B_{\mathbb Q,F}^{\mathrm{reg},+}, \nu_F, [u_F], (U_n) \right).

下一篇的核心問題是：

若某個矩形證書 $\nu_F(R)>0$ ，能否從其支撐附近構造一個可進入 ζ 顯式公式的測試函數，並使偏軸正質量產生無法被軸上零點、Gamma 項與質數側抵消的符號？

形式上，需要建立：

\nu_F(R)>0 \Longrightarrow \exists h_R\in\mathcal H_{\mathrm{adm}} \quad \mathcal Q_F(h_R)<0,

再由算術側獨立證明：

\mathcal Q_F(h)\ge0 \qquad \forall h\in\mathcal H_{\mathrm{adm}}.

這才可能將局部證書轉成實質矛盾。

23. 結論

本篇將前一篇的偏軸正障礙進一步層化。

固定函數 (F) 給出偏軸障礙層的全域截面：

\mathfrak o_F \in \Gamma(X,\mathscr O^+).

RH 的層論形式為：

\boxed{ \mathrm{RH} \iff \mathfrak o_F=0. }

RH 的可數矩形形式為：

\boxed{ \mathrm{RH} \iff \omega_R(F)=0 \quad \forall R\in\mathcal B_{\mathbb Q,F}^{\mathrm{reg},+}. }

RH 的耗盡形式為：

\boxed{ \mathrm{RH} \iff \nu_F(U_n)=0 \quad \forall n. }

這三種形式各自承擔不同任務：

層論形式負責局部資料的一致性；
有理矩形形式提供可數局部證書；
耗盡形式管理非緊全域量詞。

本文最關鍵的修正是：

局部除子形成真正的層；繞數證書只在正則區域與合法有限分割上形成正可加估值，不能在未檢查邊界與方向前被泛稱為完整餘層。

本文也精確劃出局部—全域提升的邊界：

\text{所有局部證書為零} \Longrightarrow \text{全域障礙為零}

是正確的；

但：

\text{有限多個局部證書為零} \Longrightarrow \text{全域障礙為零}

是錯誤的。

因此，下一步不應繼續增加更多 RH 等價形式，而應開始處理真正的實質箭頭：

\boxed{ \text{非零局部偏軸證書} \Longrightarrow \text{算術可容許的分離測試函數}. }

這將是從拓樸判定框架進入解析—算術證明內容的第一個正式提升問題。

附錄 A：主要符號

符號	意義
(X)	歸心後開臨界帶
(A)	臨界軸 $i\mathbb R$
$X^\pm$	左右半臨界帶
$\mathscr Z^+$	局部有限有效除子層
$\mathscr O^+$	偏軸有效除子層
$\mathfrak o_F$	(F) 的全域偏軸障礙截面
$\mathcal B_{\mathbb Q}^+$	右半帶有理矩形基底
$\omega_R(F)$	矩形邊界繞數證書
$\nu_F(U)$	正則區域零點計數估值
$U_n$	正則耗盡
$\eta_F$	$(2\pi i)^{-1}(F'/F)dz$
$[u_F]$	圓值相位映射的 $H^1$ 類

附錄 B：邏輯強度表

結果	邏輯地位
$\mathscr Z^+$ 為層	一般結構定理
$\mathscr O^+$ 為層	一般結構定理
$\omega_R(F)=D_F(R)$	辯值原理
矩形證書有限可加	邊界鏈消去
RH $\iff\mathfrak o_F=0$	等價重述
RH $\iff$ 全部正則有理矩形證書為零	可數局部判定
RH $\iff$ 正則耗盡全部證書為零	非緊耗盡判定
任意特定未知矩形證書為零	尚待證明
全部矩形證書為零	等價於 RH，尚未證明

附錄 C：局部—全域失敗清單

邊界零點未排除；
局部區域未覆蓋全域；
只有有限高度；
分塊內部重疊；
共同邊界方向不一致；
無窮遠尾部未控制；
臨界軸附近未以 $\varepsilon\downarrow0$ 耗盡；
將密度零誤當成空集；
將數值近零誤當成精確零；
將局部對數分支誤當成全域對數。

附錄 D：版本邊界

v0.1 已完成：

有效除子層；
偏軸障礙層；
有理矩形可數基底；
正則邊界與繞數證書；
有限分割可加性；
正則耗盡定理；
局部對數與 $H^1$ 類；
形式化與證書格式；
局部—全域失敗分類。

v0.1 尚未完成：

Lean 4 實作；
精確區間算術驗證器；
一般曲線區域的完整形式化；
測試函數提升；
顯式公式符號控制；
任何 RH 證明。

層化零點障礙與局部全域提升_從有理矩形證書到全臨界帶判定_v0.1_內部稿

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

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

重要聲明

摘要

1. 研究問題

1.1 前一篇留下的缺口

1.2 本文的核心立場

2. 基本空間與對稱縮減

2.1 開臨界帶

2.2 左右分支

2.3 臨界反射

命題 2.1

3. 局部有限有效除子層

3.1 開集上的除子

3.2 限制映射

3.3 局部唯一性

3.4 黏合

定理 3.1

4. 偏軸障礙層

4.1 定義

定理 4.1

4.2 固定函數的障礙截面

4.3 RH 的層論形式

定理 4.2

說明

5. 有理矩形基底

5.1 基底定義

5.2 可數性

5.3 基底性

5.4 為何使用相對緊矩形

6. 正則矩形與繞數證書

6.1 正則性

6.2 邊界相位映射

6.3 積分形式

6.4 正性

6.5 證書內容

7. 可數局部判定定理

7.1 定理

定理 7.1

7.2 證明

1⇒21\Rightarrow21⇒2

2⇒32\Rightarrow32⇒3

3⇒23\Rightarrow23⇒2

7.3 意義

8. 從除子層到證書估值

8.1 區域類

8.2 證書估值

8.3 單調性

8.4 不交可加性

8.5 有限分割可加性

8.6 為何稱為估值而非完整餘層

9. 局部證書的黏合

9.1 零證書黏合

9.2 正性提供反向分解

9.3 與除子層的關係

10. 有理矩形網格與有限證書複形

10.1 矩形網格

10.2 正則網格

10.3 單元證書

10.4 區塊證書

10.5 證書複形

10.6 工程價值

11. 邊界零點與正則化

11.1 邊界問題

11.2 微擾邊界

11.3 內外逼近

11.4 不使用未聲明的半重數規則

12. 正則耗盡

12.1 耗盡定義

12.2 矩形耗盡

12.3 正則耗盡的存在

12.4 耗盡判定定理

定理 12.1

證明

13. 有限驗證與全域缺口

13.1 有限前綴

13.2 缺少的尾部命題

13.3 三種合法提升模式

模式一：全耗盡證明

$1\Rightarrow2$

$2\Rightarrow3$

$3\Rightarrow2$