A∩B 焊接定理:序參量相位 → 物態分類 v0.1
文件編號:EML-PHASE-WELD-2026-v0.1 · Neo.K × Theia · 補完模式 日期:2026-06-14 上游:相位概念統籌表 v0.1(EML-KMAP-PHASE-CONSOL-2026)——本文是該表 A∩B 交界唯一未收口之縫的形式化 地位:統籌表中唯一升級為「有定理」而非「有分類」者。
誠實聲明(讀前必讀):本文底層物理全屬既有結果(Goldstone 剛度、Kosterlitz–Thouless、Nelson–Kosterlitz 普適跳變、TKNN/Chern、Mermin 缺陷同倫分類)。新者不是物理,是把這些散落結果收進單一焊接陳述「物態區(B)=序參量圓相位(A)在規範群下的指標不變量」,並置入量尺本體論。標記:[既有]=教科書物理;[重述]=本框架的歸位陳述;[綱領]=尚未證、僅指方向。
§0 設定與三個 A-不變量
[既有] 設基底 $M$:序參量物理取實空間 $\mathbb{R}^d$;能帶拓樸取布里淵區 $\mathrm{BZ}$。其上有一個 U(1) 結構——複序參量場 $\psi:M\to\mathbb{C}$,或 Bloch 叢上的 U(1) Berry 聯絡 $a$。由此抽出圓相位資料 A:
$$\theta=\arg\psi\in S^1\ (\text{於 }|\psi|\neq 0),\qquad a=\text{U(1) Berry 聯絡}.$$
規範群 $G=\mathrm{U}(1)$ 作用:實空間 $\theta\to\theta+\alpha$;Berry $a\to a+d\chi$。絕對相位是規範自由度、不可觀測(統籌表 §0/§5 之核心事實)。可觀測者只有 $G$-不變量,凡三:
- I1 剛度 stiffness $\rho_s=\dfrac1V\dfrac{\partial^2 F}{\partial(\nabla\theta)^2}\ge 0$,規範不變的響應係數(helicity modulus)。
[既有] - I2 實空間拓樸荷 繞數 $w=\dfrac1{2\pi}\oint\nabla\theta\cdot d\boldsymbol\ell\in\mathbb{Z}$,即 $\pi_1(S^1)=\mathbb{Z}$。
[既有] - I3 動量空間拓樸荷 Chern 數 $C=\dfrac1{2\pi}\displaystyle\int_{\mathrm{BZ}} da=\dfrac1{2\pi}\int F\in\mathbb{Z}$,U(1) Bloch 叢的第一陳省類。
[既有]
三者皆對 $G$ 不變,故皆是 A 的「相對/內稟」內容,而非絕對相位。
§1 主定理(A∩B 焊接定理)
定理. 一個構型所屬的物態區 $B$,完全由其圓相位資料 A 的 $G$-不變量決定。即映射
$$[A]_G\ \longmapsto\ B$$
良定義,且物態相=不變量映射 $\big(\operatorname{sgn}\rho_s,\,[w],\,C\big)$ 的纖維。三面:
(a) 對稱破缺面(Landau) [既有] 連續 U(1) 破缺時,序參量 $\langle\psi\rangle$ 由 $0$(對稱/無序區)變為非零(有序區),圓相位 $\theta$ 取得剛度。故 $$B_{\text{有序}}=\{\rho_s>0\},\quad B_{\text{無序}}=\{\rho_s=0\},\quad \text{相界}=\{\rho_s\to 0^+\}.$$ (Goldstone:有序 ⟺ S¹ Goldstone 模有有限剛度。超流/超導/三維 XY。)
(b) 缺陷面(無局部序參量可分時) [既有] 二維 XY,Mermin–Wagner 禁止真長程序,但 BKT 相變由 I2(渦旋=$\theta$ 繞 $2\pi$ 的點)束縛—解離控制:低溫渦旋成對束縛、$\rho_s>0$;高溫自由、$\rho_s=0$。$\rho_s$ 在 $T_{\text{BKT}}$ 普適跳變(Nelson–Kosterlitz)。物態邊界=圓相位拓樸缺陷的凝聚。此處 (a)(b) 互鎖:B 仍讀自 I1,而 I1 的崩解由 I2 觸發。
(c) 陳省面(無任何局部序參量) [既有] 能帶絕緣體之「平庸 vs 拓樸」(TKNN 1982):兩相局部全同、對稱性相同,沒有 Landau 序參量;唯一區分者是 Berry 相位(A 量)的整體不變量 $C$。霍爾電導 $\sigma_{xy}=C\,e^2/h$。物態標籤=A 的陳省數。
焊接陳述. [重述] 合三面:物態相是 A-構型空間在 $\{$連續形變 + 規範$\}$ 下的連通分支, $$\boxed{\ \mathcal{B}=\pi_0\big(\mathcal{A}/G\big)\ }$$ 亦即 B 是 A 的最大 $G$-不變量——與 Cl=最大不變量同構的構造。
§2 機制梗概(為何成立,非新證明)
[既有] 三面各自的機制是現成的,焊接只是並置後抽取共結構:
- (a) 自發對稱破缺 → Goldstone 模 → 該模的勁度 $\rho_s$=序的操作定義(Fisher–Barber–Jasnow 螺旋模量)。剛度的有無,就是物態區的歸屬。
- (b) 二維下序被漲落殺死,但拓樸缺陷仍給整數標籤;BKT=I2 的解離轉變。把「相」的判斷從局部序量轉移到拓樸荷——這正是「判斷域=相對/不變,不是絕對」的具體實現。
- (c) Berry 曲率積分=陳省數(Thouless 等)。完全沒有局部序參量的物態分類,只能靠 A 的整體不變量——這是 A→B 最純的範例,也是 Landau 框架照不到、必須靠圓相位拓樸的地方。
共結構:三面都在說「B 不是 A 的局部絕對值的函數,是 A 的整體規範不變量的函數」。
§3 推論:本體論焊接
[重述]
推論. 「處於哪個物態」不是絕對相位的屬性(絕對相位純規範、不可觀測),而是圓相位場之規範等價類的屬性——其指標不變量。物態分類即 $\mathcal{A}/G$ 的模空間 $\pi_0$。
這把「絕對是虛的、相對才是實的」那句母題,從口號升格為分類定理:圓相位的相對/不變內容,就是物態相的目錄本身。歸位完成——
$$\text{A 圓相位}\ \xrightarrow{\ \text{取 }G\text{-不變量}\ }\ \text{B 物態區}\quad\Longleftrightarrow\quad \text{指標不變量/量尺本體論的一個實例.}$$
序參量相位(A)的剛度(I1)焊出 Landau 區;其拓樸荷(I2/I3)焊出超越 Landau 的區。表上那道縫,由「取規範不變量」這一單一動作收口。
§4 適用域與漏洞(精準劃界,不鍍金)
定理的力量等於它的邊界。誠實標出三道:
漏洞一:兩面不可混為一談。 [既有] 對稱破缺序(面 a,有局部序參量,Landau)與拓樸序(面 b/c,無局部序參量,長程糾纏)是真正不同的分類綱領。圓相位 A 在兩者都出現,但角色不同:(a) 是實空間被破缺的 Goldstone 方向;(c) 是動量空間的 Berry holonomy。焊接只在「兩者皆為某 U(1) 相位結構的 $G$-不變量」這一層成立,不主張對稱破缺與拓樸序是同一現象。把它們說成一回事,就是過度統一——本定理刻意不踩。
漏洞二:定理只對阿貝爾 (U(1)) 乾淨。 [綱領] 一般序參量流形 $\mathcal{M}$ 的缺陷分類是 $\pi_k(\mathcal{M})$(Mermin, Rev. Mod. Phys. 1979)。圓相位=$\mathcal{M}=S^1$、$\pi_1=\mathbb{Z}$、$c_1$ 的最乾淨特例。非阿貝爾序參量($\mathbb{RP}^2$ 向列、非阿貝爾任意子、$\pi_{k>1}$)需要完整同倫理論。故全稱焊接「B=序參量場的同倫/上同調不變量」對 U(1) 是定理,對一般 $\mathcal{M}$ 是綱領。
漏洞三:SPT/SET 需更細的上同調。 [綱領] 對稱保護拓樸相的分類用群上同調(Chen–Gu–Liu–Wen 類),是 I3 的精緻化,本文只指方向、未納入。
結論:這是 U(1) 扇區的定理(既有結果的不變量論重述)+ 一般情形的研究綱領(缺陷同倫、SPT 上同調)。真正的貢獻是焊接陳述與其在指標不變量框架中的定位,不是新物理。
§5 回接
- 升級統籌表 A∩B 行:原「序參量相位是 A 焊 B 的硬橋」由描述升為 $\mathcal{B}=\pi_0(\mathcal{A}/G)$,並標明其定理域(U(1))與綱領域(一般 $\mathcal{M}$)。
- 接差分/守望者線:B 是 A 的 $G$-不變量 ⟺ B 對絕對相位免疫——與差分相位編碼對絕對平移免疫,是同一個指標不變量母題的兩個出口(一在物態分類,一在隱寫/通訊)。守望者盲區律的「藏進絕對、編在相對」,與本定理的「物態住在相對、絕對是規範」,互為鏡像。
- 下一個未收口項:面 (a) 與 (c) 之間是否有比「同為 U(1) 不變量」更強的橋(Landau 與 beyond-Landau 的真統一),仍開放——本定理明言不主張,留作真問題。
哲學結語
我們本想替「相位當不了主角」找補償,結果焊出的卻是更冷的事實:物態——固或液、超流或常態、平庸或拓樸——從來不是某個絕對相位「是什麼」,而是一整片相位場「繞了幾圈、還剩多硬」。絕對相位不可觀測,可正因為它被規範抹平,剩下的那點不變量才足夠堅硬,硬到能把世界切成相。主角不是相位,也不是物態;主角是那個「取不變量」的動作本身——它讓虛的絕對退場,讓實的相對顯影成一張可數的物態目錄。縫收口之處,定理只到 U(1);再往外,是同倫理論替我們把更高維的圈,繼續數成相。
EML-PHASE-WELD-2026-v0.1 · B=π₀(𝒜/G) · 定理域 U(1),綱領域一般 ℳ · 物理既有,焊接為新。
EOF