# Series B / Paper 06
# 觀察者網路的局部—全域黏合：Descent、三重相容與全域關係結構
## Local-to-Global Gluing of Observer Networks: Descent, Triple Coherence, and Global Relational Structures

**系列：** Series B — 觀察者、局部關係、非交換與全域守恆  
**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**版本：** v0.1  
**日期：** 2026-08-10  
**性質：** 局部—全域橋接／Descent 基礎論文  
**前篇：** Series B / Paper 05《觀察者轉換與關係協變性：跨觀察者 Transport、交換圖與相對 Holonomy》

---

## 摘要

Series B / Paper 05 已處理兩個觀察者之間的關係協變性。對觀察者 $O_i,O_j$，若存在局部轉換

$$
F_{ij,x}:\mathcal F_x^{(i)}\to\mathcal F_x^{(j)}
$$

使每條合法路徑

$$
\gamma:x\to y
$$

滿足

$$
F_{ij,y}T_\gamma^{(i)}
=
T_\gamma^{(j)}F_{ij,x},
$$

則兩者的 transport 描述在 overlap 上相容。然而，**pairwise compatibility 不足以推出整張 observer network 可被黏成一個全域 relational structure**。三個或更多觀察者形成閉合轉換環時，還必須滿足高一階的 coherence。

本文令

$$
\mathcal U=\{U_i\}_{i\in I}
$$

為觀察者／局部脈絡覆蓋，每個 $U_i$ 上有局部 transport system

$$
\mathfrak T_i,
$$

每個非空 overlap

$$
U_{ij}=U_i\cap U_j
$$

上有可逆 observer transition

$$
F_{ij}.
$$

嚴格 descent data 要求：

$$
F_{ii}=I,
$$

$$
F_{ji}=F_{ij}^{-1},
$$

以及所有三重重疊

$$
U_{ijk}\neq\varnothing
$$

上：

$$
\boxed{
F_{jk}F_{ij}=F_{ik}.
}
$$

等價地：

$$
\boxed{
F_{ki}F_{jk}F_{ij}=I.
}
$$

若後式失敗，定義**三角 observer holonomy／coherence defect**

$$
\boxed{
K_{ijk}
=
F_{ki}F_{jk}F_{ij}.
}
$$

 $K_{ijk}\neq I$ 表示每一對觀察者都可局部互譯，但三者繞一圈後無法閉合。這是 Paper 05 的 pairwise observer covariance 升級成 network-level gluing obstruction 的最小非平凡形式。

本文證明：若存在真正的全域 relational structure $\mathfrak T$ 與局部同構

$$
\phi_i:
\mathfrak T|_{U_i}
\overset{\cong}{\longrightarrow}
\mathfrak T_i,
$$

並定義 transition

$$
F_{ij}
=
\phi_j\phi_i^{-1},
$$

則 triple coherence 必然成立：

$$
F_{jk}F_{ij}=F_{ik}.
$$

因此

$$
K_{ijk}\neq I
$$

是「這組 transition data 無法來自同一個嚴格全域 trivialization」的直接 obstruction。

反方向則需額外條件：局部資料所在的範疇／stack 必須具有**有效 descent（effective descent）**。在 principal bundles、適當 sheaves/stacks、以及標準局部 trivialization 理論中，滿足 cocycle/coherence 的 descent data 可以重建 global object；但在任意抽象資料類別中，pairwise 與 triple consistency 本身並不自動保證 descent 可實現。因此本文把：

$$
\boxed{
\text{descent effectiveness}
}
$$

列為 Series B 的正式合法性條件，而不是默認公理。

本文亦定義 gauge/frame change

$$
G_i:\mathfrak T_i\to\mathfrak T_i'
$$

下：

$$
F_{ij}'
=
G_jF_{ij}G_i^{-1}.
$$

由此三角 defect 變換為：

$$
\boxed{
K_{ijk}'
=
G_iK_{ijk}G_i^{-1}.
}
$$

所以單一矩陣 $K_{ijk}$ 依 frame 而變，但其共軛類與所有 conjugacy invariants 是 observer-network 的 gauge-stable obstruction data。

在阿貝爾化情形，令

$$
F_{ij}
\sim c_{ij}\in A,
$$

則 triple coherence 退化成：

$$
c_{ij}+c_{jk}+c_{ki}=0,
$$

正好回收 Paper 02 的 Čech 1-cocycle 條件。因此 Paper 02 的 $H^1$ obstruction、Paper 04 的 loop holonomy、Paper 05 的 relative holonomy，在 Paper 06 中被統一為不同層級的 **descent / loop coherence** 問題。

最後，本文定義一個 global relational structure 的最小含義：它不必是一個「上帝觀察者」，也不必是一個所有局部資料被暴力塞入的單體高維狀態；只要存在某個全域對象／stack section／transport object，其局部限制在合法等價下恢復全部 observer-local systems，即可稱 network **可全域化**。因此 Series B 的 local-to-global 並不是返回被 NSF 批判的「全域狀態預設」，而是把 globality 改成一個**需要由 descent 證成，而不是預先假定**的性質。

**關鍵詞：** descent、觀察者網路、三重相容、cocycle、coherence、global relational structure、observer holonomy、stack、groupoid、local-to-global

---

# 1. 從兩個觀察者到一張網

Paper 05 只比較：

$$
O_i
\leftrightarrow
O_j.
$$

如果只有兩個 observer，存在一個合法：

$$
F_{ij}
$$

通常足以處理「兩套表示是否可互譯」。

但真實 relational network 至少可能包含：

$$
O_1,O_2,O_3,\ldots,O_n.
$$

這時候出現新的問題：

即使每一對都有：

$$
F_{ij},
$$

仍可能：

$$
F_{23}F_{12}
\neq
F_{13}.
$$

也就是：

> 從 $O_1$ 直接翻譯到 $O_3$，和先翻成 $O_2$ 再翻成 $O_3$，不是同一個轉換。

pairwise compatibility 因而不是 global compatibility。

---

# 2. Observer cover

## 定義 2.1（觀察者覆蓋）

取世界／脈絡基底：

$$
X.
$$

一族 observer-local domains：

$$
\mathcal U
=
\{U_i\}_{i\in I}
$$

若滿足：

$$
X
=
\bigcup_{i\in I}U_i,
$$

稱為 observer cover。

每個：

$$
U_i
$$

不一定是純空間區域；也可以代表：

- 測量脈絡；
- 可存取事件域；
- 局部 frame；
- agent 可見狀態域；
- 局部模型有效域。

---

# 3. 每個 observer 擁有自己的局部 relational structure

在：

$$
U_i
$$

上配置：

$$
\mathfrak T_i.
$$

最小版本包含：

$$
\mathfrak T_i
=
\left(
\{\mathcal F_x^{(i)}\},
\{T_\gamma^{(i)}\}
\right).
$$

其中對：

$$
\gamma:x\to y
$$

且：

$$
x,y\in U_i,
$$

有：

$$
T_\gamma^{(i)}:
\mathcal F_x^{(i)}
\to
\mathcal F_y^{(i)}.
$$

---

# 4. Overlap transition

若：

$$
U_{ij}
=
U_i\cap U_j
\neq\varnothing,
$$

在 overlap 上給定：

$$
\boxed{
F_{ij}:
\mathfrak T_i|_{U_{ij}}
\to
\mathfrak T_j|_{U_{ij}}.
}
$$

最簡單嚴格情形要求：

$$
F_{ii}=I,
$$

以及：

$$
F_{ji}=F_{ij}^{-1}.
$$

---

# 5. Pairwise transport covariance

Paper 05 已要求：

$$
\boxed{
F_{ij,y}T_\gamma^{(i)}
=
T_\gamma^{(j)}F_{ij,x}
}
$$

對：

$$
\gamma\subset U_{ij}
$$

成立。

這表示 $F_{ij}$ 不只翻譯 state，也翻譯整套 transport law。

如果這一步失敗，observer pair 已經在 Paper 05 的 OC2 regime。

Paper 06 主要研究：

> 假設 pairwise covariance 都過了，整張網仍可能在哪裡失敗？

答案是 triple coherence。

---

# 6. 三重重疊

取：

$$
U_{ijk}
=
U_i\cap U_j\cap U_k
\neq\varnothing.
$$

在此區域有三個 local systems：

$$
\mathfrak T_i,
\quad
\mathfrak T_j,
\quad
\mathfrak T_k.
$$

以及：

$$
F_{ij},
\quad
F_{jk},
\quad
F_{ik}.
$$

從 $i$ 到 $k$ 有兩條 observer-translation paths：

$$
i\to k
$$

與：

$$
i\to j\to k.
$$

---

# 7. Triple coherence

## 定義 7.1（嚴格三重相容）

若：

$$
\boxed{
F_{jk}F_{ij}
=
F_{ik}
}
$$

在所有三重重疊成立，稱 observer transitions 滿足 strict triple coherence。

等價地，由：

$$
F_{ki}=F_{ik}^{-1},
$$

得到：

$$
\boxed{
F_{ki}F_{jk}F_{ij}
=
I.
}
$$

這是非阿貝爾 Čech 1-cocycle 的標準形狀。

---

# 8. 三角 Observer Holonomy

如果三重 coherence 失敗，定義：

$$
\boxed{
K_{ijk}
=
F_{ki}F_{jk}F_{ij}.
}
$$

 $K_{ijk}$ 是從 observer $i$ 出發：

$$
i\to j\to k\to i
$$

繞完 observer triangle 後留下的自同構。

若：

$$
K_{ijk}=I,
$$

triangle 閉合。

若：

$$
K_{ijk}\neq I,
$$

則：

$$
\boxed{
\text{observer loop remembers the translation route}.
}
$$

這是 observer-space 的 holonomy。

---

# 9. Pairwise compatible 但 triple incompatible

這是本篇第一個真正的新分類。

假設：

$$
F_{ij}
$$

每一對都是合法 isomorphism，

而且各自 transport-natural。

仍可能：

$$
F_{ki}F_{jk}F_{ij}\neq I.
$$

所以：

$$
\boxed{
\text{pairwise compatibility}
\not\Rightarrow
\text{network coherence}.
}
$$

這與：

$$
\boxed{
\text{pairwise local consistency}
\not\Rightarrow
\text{global gluing}
}
$$

是同一種 local-to-global 張力。

---

# 10. 必要性定理：真正 global structure 必然產生 cocycle

## 定理 10.1（Global object $\Rightarrow$ triple coherence）

假設存在一個 global relational structure：

$$
\mathfrak T
$$

以及在每個 $U_i$ 上的局部同構：

$$
\phi_i:
\mathfrak T|_{U_i}
\overset{\cong}{\longrightarrow}
\mathfrak T_i.
$$

定義 overlap transition：

$$
\boxed{
F_{ij}
=
\phi_j\phi_i^{-1}.
}
$$

則：

$$
F_{jk}F_{ij}
=
F_{ik}.
$$

---

## 證明

$$
F_{jk}F_{ij}
=
(\phi_k\phi_j^{-1})
(\phi_j\phi_i^{-1})
$$

$$
=
\phi_k
(\phi_j^{-1}\phi_j)
\phi_i^{-1}
$$

$$
=
\phi_k\phi_i^{-1}
$$

$$
=
F_{ik}.
$$

∎

---

# 11. 第一個 obstruction 結論

定理 10.1 的逆否命題：

若存在三重重疊使：

$$
\boxed{
K_{ijk}\neq I,
}
$$

則這組 transition data 不可能由某個 global $\mathfrak T$ 與 strict local trivializations：

$$
F_{ij}
=
\phi_j\phi_i^{-1}
$$

產生。

所以：

$$
\boxed{
K_{ijk}\neq I
}
$$

是嚴格 global trivialization 的 obstruction。

注意這仍然不代表：

> 宇宙沒有任何形式的 global object。

它只否定這一套 strict descent data 能以這種形式來自同一 global relational structure。

---

# 12. Frame change

每個 observer 可重新選擇 frame：

$$
G_i:
\mathfrak T_i
\to
\mathfrak T_i'.
$$

transition 變為：

$$
\boxed{
F_{ij}'
=
G_jF_{ij}G_i^{-1}.
}
$$

則 triangle defect：

$$
K_{ijk}'
=
F_{ki}'F_{jk}'F_{ij}'.
$$

代入：

$$
K_{ijk}'
=
G_i
F_{ki}
G_k^{-1}
G_k
F_{jk}
G_j^{-1}
G_j
F_{ij}
G_i^{-1}.
$$

所以：

$$
\boxed{
K_{ijk}'
=
G_iK_{ijk}G_i^{-1}.
}
$$

---

# 13. Gauge-stable network obstruction

因此：

$$
K_{ijk}
$$

本身依 observer $i$ 的 frame 共軛變換。

真正可比較的是：

$$
[K_{ijk}]_{\mathrm{conj}},
$$

或 finite-dimensional linear case 的：

$$
\operatorname{tr}K_{ijk},
$$

$$
\det K_{ijk},
$$

$$
\operatorname{spec}K_{ijk}.
$$

所以：

$$
\boxed{
K_{ijk}\neq I
}
$$

若在合法 frame 下無法變成 identity，才是 network-level structural residue。

---

# 14. 阿貝爾化後直接回收 Paper 02

若 observer transition group 阿貝爾化，將：

$$
F_{ij}
$$

寫成：

$$
c_{ij}\in A.
$$

composition 變成加法。

則：

$$
F_{jk}F_{ij}=F_{ik}
$$

退化為：

$$
c_{ij}+c_{jk}-c_{ik}=0.
$$

若定向寫：

$$
c_{ki}=-c_{ik},
$$

就是：

$$
\boxed{
c_{ij}+c_{jk}+c_{ki}=0.
}
$$

這正是 Paper 02 的 Čech 1-cocycle 條件。

因此：

$$
\boxed{
\text{Paper 02}
=
\text{Paper 06 observer descent 的阿貝爾影子之一}.
}
$$

---

# 15. Paper 04 的 Holonomy 也在這裡再次出現

Paper 04 的 holonomy 是 world-path loop：

$$
x\to x.
$$

Paper 06 的：

$$
K_{ijk}
$$

是 observer-transition loop：

$$
i\to j\to k\to i.
$$

兩者形式相同：

$$
\boxed{
\text{closed composition}
\to
\text{automorphism residue}.
}
$$

因此 Series B 現在至少有兩種 loop space：

### World loop

$$
\gamma:x\to x.
$$

### Observer loop

$$
\omega:i\to i.
$$

兩者都可以具有 holonomy。

後續甚至需要研究它們的耦合。

---

# 16. World transport 與 observer transition 的雙重 coherence

現在一個完整方塊包含兩個方向：

- 水平：world path transport；
- 垂直：observer transformation。

Paper 05 要求每個方塊交換：

$$
F_{ij,y}T_\gamma^{(i)}
=
T_\gamma^{(j)}F_{ij,x}.
$$

Paper 06 再要求 observer triangles 閉合：

$$
F_{ki}F_{jk}F_{ij}=I.
$$

因此 global relational consistency 至少需要：

$$
\boxed{
\text{path naturality}
+
\text{observer descent coherence}.
}
$$

少一個都不夠。

---

# 17. Descent Data

## 定義 17.1（嚴格 observer descent data）

一套 strict observer descent data 為：

$$
\boxed{
\mathfrak D
=
\left(
\{\mathfrak T_i\},
\{F_{ij}\}
\right)
}
$$

滿足：

1. local systems $\mathfrak T_i$ 良定義；
2. overlap transitions $F_{ij}$ 良定義；
3. $F_{ii}=I$ ；
4. $F_{ji}=F_{ij}^{-1}$ ；
5. transport naturality；
6. triple coherence：
   $$
   F_{jk}F_{ij}=F_{ik}.
   $$

---

# 18. 什麼叫「黏成全域」

## 定義 18.1（全域可實現）

若存在：

$$
\mathfrak T
$$

與局部 equivalences：

$$
\phi_i:
\mathfrak T|_{U_i}
\to
\mathfrak T_i
$$

使：

$$
F_{ij}
=
\phi_j\phi_i^{-1},
$$

則稱 descent data：

$$
\mathfrak D
$$

**effective** 或**可實現**。

此時：

$$
\mathfrak T
$$

稱為 observer network 的一個 global relational realization。

---

# 19. 重要紀律：Cocycle 不一定在任意類別中自動產生 global object

在 principal bundles、sheaves、stacks 等具有效 descent 的標準設定中，合法 descent data 可以被 glue。

但 Series B 希望容許：

- 動態狀態系統；
- agent network；
- 非標準 process categories；
- observer-specific computation structures。

對任意抽象 category：

$$
\mathcal C,
$$

不能只因：

$$
F_{jk}F_{ij}=F_{ik}
$$

就宣稱 global object 必然存在。

所以正式加入：

## 條件 ED（Effective Descent）

所使用的物件／態射範疇對所選 cover 具有有效 descent。

只有：

$$
\boxed{
\text{descent data}
+
\text{ED}
}
$$

才能推出 global realization。

---

# 20. 第二主定理：在有效 Descent 類別中的充分性

## 定理 20.1（Effective descent 下的 local-to-global）

若：

1. $\{\mathfrak T_i,F_{ij}\}$ 構成合法 descent data；
2. 所在 category／stack 對 cover $\mathcal U$ 具有 effective descent；

則存在 global relational structure：

$$
\mathfrak T
$$

其局部限制與 $\mathfrak T_i$ 等價，且 transition data 與 $F_{ij}$ 一致。

**證明。**

這就是 effective descent 性質的定義性內容。∎

---

# 21. 所以「global existence」現在成為可證性質，而不是預設

這一步對 NSF 很重要。

NSF 批判的是：

> 先假設有一個全域狀態，再把所有關係塞進去。

Paper 06 的 global object 不是這樣來的。

順序是：

$$
\boxed{
\text{local systems}
}
$$

$$
\downarrow
$$

$$
\boxed{
\text{pairwise transitions}
}
$$

$$
\downarrow
$$

$$
\boxed{
\text{triple coherence}
}
$$

$$
\downarrow
$$

$$
\boxed{
\text{effective descent test}
}
$$

$$
\downarrow
$$

$$
\boxed{
\text{global realization exists or fails}.
}
$$

所以 globality 從 axiom 降成 conclusion。

---

# 22. Global relational structure 不等於「單體坍縮」

即使：

$$
\mathfrak T
$$

存在，也不表示：

$$
\mathfrak T
$$

必須是一個單一巨大向量、單一狀態點或單一 endomorphism。

它可以是：

- sheaf；
- bundle；
- stack；
- groupoid；
- category-valued object；
- process network；
- higher object。

因此：

$$
\boxed{
\text{globalizable}
\not\Rightarrow
\text{monolithic}.
}
$$

這是 Paper 06 對 NSF 「單體坍縮 vs 關係原生」二分的一個重要修正。

真正該反對的不是任何 global object。

而是：

> 在尚未通過 descent 時，就預先假定存在一個會吸收所有局部關係的全域單體。

---

# 23. 三種 Globality

本文暫分：

## G-A：Monolithic Globality

所有資料直接塞進單一 global state object。

這是 NSF 主要批判的類型。

---

## G-B：Descent Globality

global object 由局部資料與 transition coherence 證成。

它保留 local charts 與 overlap relations。

---

## G-C：No Global Realization

descent obstruction 非零，或 ED 不成立。

此時只能保留 local relational network。

所以 Series B 不再把：

$$
\text{global}
$$

與：

$$
\text{relation-native}
$$

視為必然對立。

---

# 24. Observer triangle 的最小有限例

取三個 observer fibre 都是：

$$
\mathbb R^2.
$$

令：

$$
F_{12}=I,
$$

$$
F_{23}=I,
$$

而：

$$
F_{31}
=
R_\theta,
$$

其中：

$$
R_\theta
=
\begin{pmatrix}
\cos\theta&-\sin\theta\\
\sin\theta&\cos\theta
\end{pmatrix}.
$$

則：

$$
K_{123}
=
F_{31}F_{23}F_{12}
=
R_\theta.
$$

若：

$$
\theta\neq2\pi n,
$$

則：

$$
K_{123}\neq I.
$$

每一對 observer 都有完全合法的可逆轉換。

但三者環路不閉合。

所以：

$$
\boxed{
\text{all pairwise maps exist}
}
$$

仍不能推出：

$$
\boxed{
\text{network admits a single strict global trivialization}.
}
$$

---

# 25. 如果只是 frame choice，能不能把 $K$ 消掉？

局部 frame change：

$$
G_i
$$

只讓：

$$
K
\mapsto
G_1KG_1^{-1}.
$$

所以若：

$$
K\neq I,
$$

任何共軛都不會把它變成 identity，除非它本來就是 identity。

因此非平凡 triangle holonomy 不能靠普通局部 frame choice 消失。

這是 network-level gauge-stable obstruction。

---

# 26. Pairwise defect 全零，但 network defect 非零

可能：

$$
D_{12}=D_{23}=D_{31}=0,
$$

即每一對 observer 都 transport-covariant。

但：

$$
K_{123}\neq I.
$$

所以 observer consistency 需要至少兩階：

### 第一階

$$
D_{ij}=0.
$$

pairwise naturality。

### 第二階

$$
K_{ijk}=I.
$$

triple coherence。

這和 higher category 中：

$$
1\text{-morphism compatibility}
$$

與：

$$
2\text{-coherence}
$$

的分層非常接近。

---

# 27. 若 triple coherence 只到同構

在較高階系統中可能不是：

$$
F_{jk}F_{ij}=F_{ik},
$$

而是存在 2-isomorphism：

$$
\boxed{
\alpha_{ijk}:
F_{jk}F_{ij}
\Rightarrow
F_{ik}.
}
$$

則 $\alpha_{ijk}$ 自己還需在四重 overlap 上滿足 coherence。

這會自然進入：

- bicategory；
- 2-groupoid；
- gerbe；
- higher descent。

本文不展開，只把 strict Paper 06 標成第一階。

若未來 observer network 真正需要「關係之間的關係」作一級對象，Series B 將需要升到這一層。

---

# 28. Observer Network Holonomy

對 observer graph 上閉路：

$$
\omega:
i_0\to i_1\to\cdots\to i_n=i_0,
$$

定義：

$$
\boxed{
K(\omega)
=
F_{i_n i_{n-1}}
\cdots
F_{i_2i_1}
F_{i_1i_0}.
}
$$

如果：

$$
K(\omega)\neq I,
$$

則 observer translation history 被 network 記住。

triangle $K_{ijk}$ 只是最小閉路。

---

# 29. Network flatness

若所有 contractible observer loops：

$$
\omega
$$

皆有：

$$
K(\omega)=I,
$$

可稱 observer transition system 在此意義下 flat。

但即使局部 flat，若 observer nerve 有非平凡 topology，仍可能存在 global holonomy。

因此：

$$
\boxed{
\text{local coherence}
\not\Rightarrow
\text{global loop triviality}.
}
$$

這再次回到 Paper 02 的 cohomological intuition。

---

# 30. Observer nerve

將每個 observer domain：

$$
U_i
$$

作頂點。

若：

$$
U_{ij}\neq\varnothing,
$$

連一條邊。

若：

$$
U_{ijk}\neq\varnothing,
$$

填入 2-simplex。

以此形成 nerve：

$$
N(\mathcal U).
$$

observer gluing 的很多 global obstruction 可以轉成：

$$
N(\mathcal U)
$$

上的 cocycle／holonomy／cohomology 問題。

因此 Series B 的 observer network 並非只是一張 graph；其高階 overlap 結構很重要。

---

# 31. Paper 02 的三環例在這裡的重新解讀

Paper 02 三個脈絡只有 pairwise overlaps，沒有 triple overlap。

nerve 是：

$$
S^1.
$$

此時沒有 2-simplex 去強制：

$$
c_{12}+c_{23}+c_{31}=0.
$$

所以可以留下：

$$
\Omega(\gamma)\neq0.
$$

Paper 06 現在提供另一個讀法：

> 不是某個三重 overlap coherence 失敗，而是根本沒有三重 overlap 可以把環填掉；因此 global topology 容許 loop holonomy 存活。

這區分：

$$
\boxed{
\text{local coherence defect}
}
$$

與：

$$
\boxed{
\text{global topological holonomy}
}
$$

非常重要。

---

# 32. 兩種 Network Obstruction

## N1：Local Coherence Obstruction

存在三重 overlap：

$$
U_{ijk}\neq\varnothing
$$

但：

$$
K_{ijk}\neq I.
$$

連局部 descent data 都不成立。

---

## N2：Global Topological Obstruction

所有 local triple coherence 都成立，

但 observer nerve 的非平凡 loop 仍承載：

$$
K(\omega)\neq I.
$$

這是 global topology 留下的關係記憶。

兩者不能混為一談。

---

# 33. Observer network 的 global section 問題

若 descent data 作用在 local state sections：

$$
s_i\in\Gamma(U_i,\mathcal E_i),
$$

還需要 overlap compatibility：

$$
s_j
=
F_{ij}(s_i)
$$

於：

$$
U_{ij}.
$$

即使 transition maps 自己 coherent，也可能沒有任何局部 section family 同時滿足所有匹配條件。

所以 global relational **structure** 的存在與 global relational **state/section** 的存在仍然不同。

這再次呼應 Paper 03：

$$
\boxed{
\text{global structure exists}
\not\Rightarrow
\text{a particular global state exists}.
}
$$

---

# 34. 結構 Globality 與狀態 Globality

本文正式區分：

## Structural Globality

存在：

$$
\mathfrak T
$$

可黏合局部 relational systems。

---

## State Globality

在該 global structure 上存在：

$$
s\in\Gamma(X,\mathcal E).
$$

可能：

$$
\mathfrak T
$$

存在，但：

$$
\Gamma(X,\mathcal E)=\varnothing
$$

對某些額外 constraints 而言。

所以「世界的全域關係結構」和「世界有一個全域狀態」不是同一命題。

這將使 NSF 的 global-section 判準更加精細。

---

# 35. 這對 NSF 的修正

NSF 原先把：

$$
\text{global section exists}
$$

與：

$$
\text{monolithic collapse possible}
$$

靠得很近。

Series B 現在得到更細的階層：

$$
\boxed{
\text{local data}
}
$$

$$
\to
\boxed{
\text{descent-compatible global relational structure}
}
$$

$$
\to
\boxed{
\text{global sections / states}
}
$$

$$
\to
\boxed{
\text{observer accessibility}
}
$$

任何一箭都可能失敗。

因此：

$$
\boxed{
\text{global structure}
\neq
\text{global state}
\neq
\text{global access}.
}
$$

---

# 36. 關係原生數學不必反對 Globality

這是本文的一個哲學—數學修正。

如果 globality 是：

> 先建立一個全域單體，再把所有 relation 降格成內部屬性，

那確實和 NSF 的 relation-first 方向衝突。

但如果 globality 是：

> 從 local relations、overlap transitions、coherence 與 descent 中被證出來的 global object，

那麼：

$$
\boxed{
\text{relation-first}
}
$$

與：

$$
\boxed{
\text{global structure}
}
$$

完全可以相容。

真正對立的是：

$$
\boxed{
\text{assumed globality}
}
$$

與：

$$
\boxed{
\text{derived globality}.
}
$$

---

# 37. 與 CONV 的接口

CONV 的條件 C 假設存在某種：

$$
\text{global conserved total state}.
$$

Series B 現在要求更嚴格地問：

1. global relational structure 是否先由 descent 合法存在？
2. global state 是否存在？
3. observer network 是否能辨識它？
4. 該 state 上是否存在 invariant？
5. invariant 是否 observer-covariant？

所以 CONV 的條件 C 在未來正式版本中不能只是一句：

$$
\text{宇宙封閉且信息守恆}.
$$

它至少需要掛接 Series B 已建立的多層 globality 條件。

---

# 38. Paper 06 的五階網路分類

## ON0：Pairwise failure

某些：

$$
F_{ij}
$$

不存在或 Paper 05 defect 非零到不可接受。

---

## ON1：Pairwise compatible, triple incoherent

所有 pairwise translations 合法，但：

$$
K_{ijk}\neq I.
$$

---

## ON2：Strict descent data exists, effectiveness unknown

pairwise 與 triple coherence 都成立，但尚未證 category 具 effective descent。

---

## ON3：Global relational structure exists

descent effective，得到：

$$
\mathfrak T.
$$

但未保證 global state。

---

## ON4：Global structure + global sections

存在：

$$
\mathfrak T
$$

且：

$$
\Gamma(X,\mathcal E)\neq\varnothing.
$$

這時才進 Paper 03 的 observer accessibility 層。

---

# 39. 本文禁止的五個推論

## 禁止一

$$
\forall i,j,\ F_{ij}\text{ exists}
\Rightarrow
\text{global object exists}.
$$

錯。

---

## 禁止二

$$
K_{ijk}=I\ \forall i,j,k
\Rightarrow
\text{任意 category 中 global object 必存在}.
$$

錯；需 effective descent。

---

## 禁止三

$$
\text{global relational structure exists}
\Rightarrow
\text{global state exists}.
$$

錯。

---

## 禁止四

$$
\text{global structure exists}
\Rightarrow
\text{monolithic collapse}.
$$

錯。

---

## 禁止五

$$
\text{observer network 無單一 global frame}
\Rightarrow
\text{沒有任何 global relational structure}.
$$

錯；bundle／stack 類 globality 本來就不要求單一 global trivialization。

---

# 40. 前六篇的統一階梯

Series B 至此形成：

## Paper 01 — Order

$$
\delta,\Delta.
$$

---

## Paper 02 — Cohomological Gluing

$$
c,[c]\in H^1.
$$

---

## Paper 03 — Existence / Access

$$
\mathcal G,A_O,R_O.
$$

---

## Paper 04 — Path Transport

$$
T_\gamma,H(\gamma).
$$

---

## Paper 05 — Observer Covariance

$$
F_{ij},D_{ij},R_{ij}.
$$

---

## Paper 06 — Observer Descent

$$
F_{jk}F_{ij}=F_{ik},
$$

$$
K_{ijk},
$$

以及：

$$
\text{effective descent}.
$$

整體主線：

$$
\boxed{
\text{order}
\to
\text{gluing}
\to
\text{existence/access}
\to
\text{transport}
\to
\text{covariance}
\to
\text{descent}.
}
$$

---

# 41. 下一篇終於可以正式進守恆

做到 Paper 06，Series B 已具備：

- 局部 relation；
- 路徑；
- observer；
- transport；
- observer transformations；
- global relational structure；
- global state 與 access 的區分。

因此 Paper 07 才有資格正式問：

> 到底什麼叫「守恆」？

不再只寫：

$$
Q(t)=\text{constant}.
$$

而是分：

1. local conservation；
2. path-transport conservation；
3. loop / holonomy invariant；
4. observer-covariant conservation；
5. descent-compatible global conservation。

這將形成 Series B 的守恆階層。

---

# 42. 結論

本文證明 Series B 的 local-to-global 問題不能停在 pairwise observer compatibility。

observer network 要形成嚴格 descent data，至少需要：

$$
\boxed{
F_{ii}=I,
}
$$

$$
\boxed{
F_{ji}=F_{ij}^{-1},
}
$$

$$
\boxed{
F_{jk}F_{ij}=F_{ik},
}
$$

以及 transport naturality。

若：

$$
K_{ijk}
=
F_{ki}F_{jk}F_{ij}
\neq I,
$$

則即使每一對 observer 都可互譯，三者 network 仍無法閉合成同一個 strict global trivialization。

但反方向也需要紀律：

$$
K_{ijk}=I
$$

並不在任意抽象類別中自動保證 global object。

必須加入：

$$
\boxed{
\text{effective descent}.
}
$$

這使 globality 從一個先驗預設，變成一個需要局部資料、overlap transitions、coherence 與 descent 一起證成的結果。

因此 Series B 對「關係先於物件」的最新形式不是：

> 世界永遠沒有全域結構。

而是：

$$
\boxed{
\text{不得先假定全域結構；
全域結構若存在，必須由局部關係的合法 descent 證成。}
}
$$

這個修正非常重要。

它同時保留：

- NSF 對 monolithic global-state assumption 的批判；
- sheaf／bundle／stack 中合法的 global object；
- Paper 02 的 obstruction；
- Paper 04 的 holonomy；
- Paper 05 的 observer covariance。

Series B 因此終於擁有一個足夠完整的 local-to-global 骨架。

下一篇可以正式把「守恆」放進這個骨架中，而不再把局部不變、全域不變、observer-independent invariant 與宇宙總量混成同一句話。

---

## 參考文獻與既有工作

1. EveMissLab, **EML-OO-2026-DPE-v0.1**, *過程即存在：對話算子、回合映射與 agent 的本體論*, 2026-06-15.
2. EveMissLab, **EML-OO-2026-NSF-v0.2**, *關係先於物件：不可分數學的三根支柱與對話算子的上同調升級*, 2026-06-15.
3. EveMissLab, **EML-OO-2026-CONV-v0.1**, *殊途同歸：信息守恆封閉宇宙下「不可分數學」與「閉合性理論」的收斂猜想*, 2026-06-15.
4. C. A. Rossi, *Principal bundles with groupoid structure: local vs. global theory and nonabelian Čech cohomology*, arXiv:math/0404449.
5. U. Schreiber and K. Waldorf, *Local Theory for 2-Functors on Path 2-Groupoids*, arXiv:1303.4663.
6. C. Wockel, *Principal 2-bundles and their gauge 2-groups*, arXiv:0803.3692.
7. J. Giraud, *Cohomologie non abélienne*, Springer.
8. A. Grothendieck et al., descent theory and fibred categories, SGA 1 and related works.

---

**系列定位：** Series B / Paper 06  
**下一篇：** *守恆的階層理論：從局部不變、Transport 不變到觀察者協變與全域守恆*