# 層化零點障礙與局部—全域提升
## 從有理矩形證書到全臨界帶判定

**英文題名：** *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}.
\]

但這仍是一個全域條件。

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

1. 如何在有限區域中讀取偏軸障礙？
2. 局部障礙如何限制到更小區域？
3. 不同區域的局部資料何時相容？
4. 局部證書能否黏合成全域證書？
5. 是否存在可數的充分判定族？
6. 有限高度驗證與全域 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

以下命題等價：

1. RH 成立；
2. \(\mathfrak o_F=0\)；
3. 對所有開集 \(U\subseteq X\)，\(\mathfrak o_F(U)=0\)；
4. 對所有 \(p\in X\)，障礙截面的莖 \((\mathfrak o_F)_p=0\)；
5. 對所有 \(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.
\]

這裡的正性依賴：

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

## 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

以下命題等價：

1. RH 成立；
2. \(D_F|_{X^+}=0\)；
3. 對所有 \(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^+\)：

1. 邊界為有限條分段 \(C^1\) Jordan 曲線；
2. 邊界採正向；
3. \(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)\)，以下等價：

1. RH 成立；
2. \(D_F|_{X^+}=0\)；
3. 
   \[
   \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 層模組

建議建立：

```text
LocallyFiniteEffectiveDivisor
DivisorRestriction
EffectiveDivisorSheaf
OffAxisObstructionSheaf
GlobalOffAxisSection
StalkVanishing
```

核心定理：

```text
divisor_sheaf_locality
divisor_sheaf_gluing
off_axis_global_zero_iff_stalk_zero
right_half_zero_iff_full_off_axis_zero
```

## 18.2 矩形模組

```text
RationalRectangle
RelativelyCompactRectangle
BoundaryZeroFree
RegularRectangle
PositiveOrientation
```

## 18.3 繞數模組

```text
PhaseMap
WindingCertificate
ArgumentPrincipleCertificate
CertificateNonnegative
```

核心定理：

\[
\omega_R(F)=D_F(R).
\]

## 18.4 分割模組

```text
RectangleComplex
CompatibleOrientation
InternalEdgeCancellation
CertificateAdditivity
```

## 18.5 耗盡模組

```text
RegularExhaustion
ExhaustionCoversRightHalfStrip
AllExhaustionCertificatesZero
```

核心定理：

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

## 18.6 信任邊界

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

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

---

# 19. 證書資料格式

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

```yaml
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 全域證書清單

一個全耗盡證書需要：

```text
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：局部—全域失敗清單

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

---

# 附錄 D：版本邊界

v0.1 已完成：

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

v0.1 尚未完成：

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