维度谱的 Galois 群结构

从原子区分到维度谱

DNT-22 把原子区分 σ=√2、τ=φ 收口到两个 h=1 二次域（ℚ(√2)、ℚ(√5)）。本文把这两个域复合，得到维度谱的生成域 K = ℚ(√2, √5)，并揭示其 Galois 群结构。

维度在 DNT 里不是外生给定的——它是区分自嵌套的递归结构。区分函数 g(y)=y/(y−1) 反复作用，生成 DST 塔与维度谱。本文先钉死 g 的代数性质（A 级），再把这个生成过程对应到 K 的 Galois 群 V₄（B+ 级）。

一、黄金自嵌套 2-周期（A 级）

DNT 的自嵌套映射是 g(y) = y / (y − 1)。它首先是对合：g(g(y)) = y（顺序 2）。把黄金点 φ 喂进去：

g(φ) = φ/(φ−1) = φ·φ = φ²，   g(φ²) = φ²/(φ²−1) = φ²/φ = φ

于是 φ 与 φ² 在 g 下构成 2-周期——这正是 DNT「黄金自嵌套」的精确代数含义，也是 DST 塔的生成引擎。实跑验证：

# DNT-23 验证: 自嵌套对合 g(y)=y/(y-1)
import math
PHI = (1 + math.sqrt(5)) / 2
def g(y): return y / (y - 1)

print("g(g(phi))==phi ?", abs(g(g(PHI)) - PHI) < 1e-9)  # True (对合)
print("g(phi) =", g(PHI), "= phi^2 ?", abs(g(PHI)-PHI**2) < 1e-9)  # True
print("g(phi^2)=", g(PHI**2), "= phi ?", abs(g(PHI**2)-PHI) < 1e-9)  # True
# 迭代序列: phi -> phi^2 -> phi -> phi^2 ... (黄金自嵌套 2-周期)
seq = [PHI]
for _ in range(5): seq.append(g(seq[-1]))
print([round(s,4) for s in seq])  # [1.618, 2.618, 1.618, 2.618, ...]

二、双二次域的 Galois 群 V₄（B+ 级）

把 DNT-22 的两个原子区分对应的二次域复合：K = ℚ(√2, √5)。这是双二次域（biquadratic field），扩次数 [K:ℚ] = 4。它的 4 个实嵌入由 √2、√5 各自独立变号给出：

# K = Q(sqrt2, sqrt5) 的 4 个实嵌入
import math
SQRT2, SQRT5 = math.sqrt(2), math.sqrt(5)
emb = [(s2, s5) for s2 in (SQRT2, -SQRT2) for s5 in (SQRT5, -SQRT5)]
for e in emb: print(e)
# (1.414, 2.236) (-1.414, 2.236) (1.414, -2.236) (-1.414, -2.236)
print("Gal(K/Q) order =", len(emb))  # 4

4 个实嵌入、且 √2/√5 的变号独立可交换 → Galois 群是 Klein 四元群 V₄（阿贝尔、阶 4、每个非单位元都是 2 阶）。V₄ 的阿贝尔性直接来自 DNT-22 的 h=1 二次域（两个 h=1 域的复合仍阿贝尔）。

三、维度二象性的群论投影（B+ 级）

DNT 反复出现「维度二象性」：微观维度趋于 2+√2 ≈ 3.414（Ising 区分层），宏观维度趋于 4。在 V₄ 的 4 个实嵌入下，这两个「可见维度」是同一个群轨道的不同投影：

# 维度二象性: 微观 2+sqrt2 vs 宏观 4 (V4 轨道投影)
dim_micro = 2 + SQRT2   # 3.4142 (Ising 层)
dim_macro = 4.0         # 4.0
print(dim_micro, dim_macro)
# V4 轨道的全共轭和 = 0 (双二次域总迹为 0, 符合预期)
tr = sum(s2+s5 for s2 in (SQRT2,-SQRT2) for s5 in (SQRT5,-SQRT5))
print("total trace =", tr)  # 0.0

微观维度 2+√2 是「含 σ 的轨道投影」，宏观维度 4 是「σ/τ 各取 2 维的欧氏极限」——二者同源（都从 V₄ 轨道分出），这正是 DNT「尺度二象性」在 Galois 语言下的重述。

四、诚实分级与遗留 OPEN

对应模块 M116 已固化上述推导：认领 M115-T1（原子区分类群收口）与 M113-T2（原子区分 σ/τ），登记新论题 M116-T1（维度谱 Galois 群 V₄ + 黄金自嵌套 2-周期）。模块验证：4 项 check（A×1、B+×2、C×1）全部通过，0 失败。

五、第三季前瞻（DNT-24 →）

DNT-23 把维度谱钉死在阿贝尔 V₄ 群上。第三季的下一步是正面进攻 DNT22b 的非交换方向：

1. DNT-24（候选）：量子维数谱 {1, σ√2, ψ, τφ} 的 Galois 对应——引入非阿贝尔扩张（S₃/D₄），把「高维区分」写成群表示，推进 DNT 从阿贝尔（V₄）到非阿贝尔的跃迁。
2. DNT-25（候选）：外部素数 ∞ 与原子区分有限 2 的「开放/封闭对偶」，写成 DNT 版的哥德尔不完备注脚。

每推进一篇，就对应一个新模块（m117、m118…），文章中的真实推导固化进验证框架——「写一篇文章更新一次数论系统」的节奏持续保持。