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) }

滿足：

local systems $\mathfrak T_i$ 良定義；
overlap transitions $F_{ij}$ 良定義；
$F_{ii}=I$ ；
$F_{ji}=F_{ij}^{-1}$ ；
transport naturality；
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）

若：

$\{\mathfrak T_i,F_{ij}\}$ 構成合法 descent data；
所在 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 現在要求更嚴格地問：

global relational structure 是否先由 descent 合法存在？
global state 是否存在？
observer network 是否能辨識它？
該 state 上是否存在 invariant？
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}.

而是分：

local conservation；
path-transport conservation；
loop / holonomy invariant；
observer-covariant conservation；
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 與宇宙總量混成同一句話。

參考文獻與既有工作

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

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

觀察者網路的局部全域黏合_v0.1