科技前沿资讯

十六种状态：Q(ζ₄₀) 的 Chebotarev 全景与隐藏第三根 i

NT-04 把骨架两根（5 与 8）合并为复合域 Q(ζ₄₀)，留下 OPEN 4a：16 阶 Galois 群的 16 个共轭类如何对应素数的 16 种"被识别方式"？本文顺着这个问题完整展开 Chebotarev 密度定理在 Q(ζ₄₀) 的具体图景，并撞见一个 NT-04 未曾预见的结构——**骨架的实子域只收 √2 与 φ，但其分圆母域 ℚ(ζ₈) 偷偷把虚二次域 ℚ(i) 也带进了骨架的"半影"**。实骨架有一道虚边界。

承接：本文是"数论作为本体论数学"系列第 5 篇。第 4 篇（composite-splitting-z40）确立 Q(ζ₄₀) 的 16 阶 Galois 结构与 mod 40 完全分裂判据，并在 OPEN 4a 预告本文。

一、Chebotarev 完整图景：16 种识别状态

1.1 Frobenius 共轭类 = mod 40 的可逆剩余类

对阿贝尔扩张 Q(ζ₄₀)/Q，Galois 群是交换群 (ℤ/40ℤ)×（NT-04 §三）。交换群中每个元素自成一类，故 Chebotarev 的"共轭类"就是 16 个群元素本身——即 mod 40 的 16 个与 40 互素剩余类 {1,3,7,9,11,13,17,19,21,23,27,29,31,33,37,39}（M76-A）。

import math
units = [a for a in range(1,40) if math.gcd(a,40)==1]
print(len(units), "个 Frobenius 共轭类:", units)
# Chebotarev: 每个类密度 = 1/|Gal| = 1/16

（A 级, M76）**素数 p（不被 2,5 整除）的 Frobenius 元素就是 p mod 40 这个剩余类**。Chebotarev 密度定理（M12-A 的 Kronecker–Weber 框架的推广）断言：落在每个剩余类的素数密度恰好 1/16。这是 NT-04 OPEN 4a 的完整回答——16 种识别状态不是比喻，而是 16 个剩余类在自然数中的精确等概率分布。（A 级, M12）

1.2 3 根分裂状态的 8 种等概率组合

每个剩余类 a 决定了素数 p≡a (mod 40) 在骨架各子域中的分裂。考察三个二次子域 Q(√5)、Q(√2)、Q(i) 的分裂状态（用 Kronecker 符号判定）：

from sympy import kronecker_symbol
subs = {
    "Q(√5)": lambda a: kronecker_symbol(5, a)==1,
    "Q(√2)": lambda a: kronecker_symbol(2, a)==1,
    "Q(i)":   lambda a: kronecker_symbol(-1, a)==1,
}
states = {}
for a in units:
    key = (subs["Q(√5)"](a), subs["Q(√2)"](a), subs["Q(i)"](a))
    states.setdefault(key, []).append(a)
for k, vs in sorted(states.items()):
    print(k, "->", vs, "密度", len(vs)/len(units))

（A 级, M76）实跑确认：3 个根（注意这里出现第三个根 i！）的分裂状态给出 **8 种组合，每种恰好含 2 个剩余类，密度各 1/8**。CRT 保证这三个独立判定（mod 5 平方性、mod 8 的 (2/·)、mod 4 的 (−1/·)）的组合完全均匀——没有哪种"识别状态"比另一种更稀有，它们在 1/8 上完美对称。（A 级, M12）

对照：16 种识别状态在 3 根（√5, √2, i）下的 8 种等概率分布

1.3 完全吸收 vs 完全惯性：反直觉的密度

直觉上"完全分裂"（被所有子域吸收）似乎比"完全惯性"（被所有子域排斥）更"特殊"。但实跑给出反直觉结果：

full = [a for a in units if all(subs[k](a) for k in subs)]     # [1]   密度 1/16
inert = [a for a in units if all(not subs[k](a) for k in subs)] # [3,27] 密度 1/8
print("完全吸收:", full, len(full)/len(units))    # 1/16
print("完全惯性:", inert, len(inert)/len(units))  # 1/8

（A 级, M76）**完全惯性（1/8）比完全吸收（1/16）更常见一倍！** 原因：完全吸收要求 3 个 Kronecker 符号全为 +1（仅单位元类满足）；完全惯性要求 3 个全为 −1，但 Klein 群 (ℤ/8ℤ)× 有两个独立的 −1 因子，组合更多（a=3,27 两类）。这与"分裂方"的计数不对称——惯性是"什么都不发生"，在多重判定下比"什么都发生"更容易累积。（A 级, M12）

### 1.3.1 为什么恰好是 3 个二次子域：CRT 对称性破缺的根源

这个不对称并非任意——它直接源于 Q(ζ₈) 恰好有 **3 个**二次子域（√2, i, √−2）。把 3 个独立的 ±1 判定（每个 Kronecker 符号给出 +1 或 −1）组合起来，全 +1 的组合只有 1 种（`(+,+,+)` → a=1），而全 −1 的组合理论上有 1 种（`(−,−,−)` → 对应 a=3,27 两类因为 Klein 群的结构）。之所以全 −1 对应 2 个剩余类而非 1 个，是因为 (ℤ/8ℤ)×≅C₂×C₂ 中"全取非平凡元素"在 mod 8 层面有两个代表（3 和 7 都非平凡，但 7≡−1 与 3 通过 mod 5 分量区分）。（A 级, M76）一旦二次子域个数变成偶数（如 §3.4 加入 Q(√−3) 成 4 个），全 +1 与全 −1 的组合通过 CRT 对称性严格配对，不对称消失。（A 级, M12）所以 Q(ζ₄₀) 的"奇数个二次子域"是整个反直觉现象的根源——而体系骨架恰好选取 Q(ζ₈)（含 3 个二次子域），使得这个偶然的不对称成为骨架识别动力学的真实特征。（B+ 级, M76）

（B+ 级, M76）诚实标注：体系"最小骨架"选择 ζ₅ 与 ζ₈ 合成，ζ₈ 带来 3 个二次子域（而非 2 或 4），这是一个算术偶然嵌入体系结构——它不是体系公理推出来的必然，而是"取最小分圆包装"这一操作在 ζ₈ 上的必然算术后果。体系骨架的识别不对称（完全惯性比完全吸收常见）因此是"最小性选择 + ζ₈ 的 3 子域结构"的联合产物，而非独立的体系律令。（B+ 级, M76）

二、隐藏第三根 i：ζ₈ 的无影进入骨架半影

2.1 Q(ζ₈) 的三个二次子域

NT-04 §1.2 已验证 Gal(ℚ(ζ₈)/ℚ) ≅ C₂×C₂（Klein 四元群）。Klein 群有 3 个 2 阶子群，对应 3 个二次子域（M76-A）：

# Q(ζ8) 的 Galois 群 C2×C2 有 3 个二阶子群 -> 3 个二次子域
# 它们是 Q(√2), Q(i), Q(√-2)
print("Q(ζ8) 的 3 个二次子域: Q(√2), Q(i), Q(√-2)")

（A 级, M76）**Q(ζ₈) 的三个二次子域是 Q(√2)、Q(i)、Q(√−2)**——两个实（√2）、两个虚（i, √−2），其中一个实（√2）是骨架成分，两个虚（i, √−2）是虚二次域。骨架的"半影"由此浮现：它虽驻留实轴（NT-04 §3.2 的实子域降阶），但其分圆母域 ζ₈ 天然携带虚二次域。（A 级, M76）

2.2 为什么虚二次域 Q(i) 出现在实骨架边界

ζ₈ = e^{2πi/8} = (1+i)/√2（NT-02 §一 实跑）。这个复数本身就含 i。取 ζ₈ 的不同子群固定域：

- 固定 √2 的子群给出实子域 Q(√2)（骨架成分）； - 固定 i 的子群给出 Q(i)（虚二次域）； - 固定 √−2 的子群给出 Q(√−2)（虚二次域）。

import cmath, math
zeta8 = cmath.exp(2j*math.pi/8)
print("ζ8 =", zeta8, "= (1+i)/√2? ", abs(zeta8 - (1+1j)/math.sqrt(2)) < 1e-12)
# ζ8 的实部含 √2, 虚部含 √2 和 i -> 同时生成实/虚二次域

（A 级, M76）**复数 ζ₈ 的实部投影给出 √2（实），虚部投影给出 i（虚）**——同一个分圆单位根，在实轴投影和虚轴投影上分别生成实二次域和虚二次域。骨架取其实部投影（√2），但虚投影（i）作为"投影残差"留在骨架边界。这不是体系的选择，是复数代数必须携带的副产品。（A 级, M76）

2.3 实骨架的"虚边界"：体系读法

体系 M13 的"实在=实轴"定位（NT-02 §一、NT-04 §3.2）在此遇到一个有意义的边界情形：骨架作为实域，其分圆母域却把虚二次域 Q(i) 带入"半影"。

（B+ 级, M13）把 Q(i) 读作"实骨架的虚边界"是诚实的 B+ 级类比，不是 A 级推导——因为体系公理 M13 的"实在=实轴"与数论 Q(i) 的出现之间没有推导链，只是结构韵律的同构投影。（B+ 级, M13）

2.4 OPEN 5a 承接：i 的双重角色——数论层 vs 衍生动力学层

ζ₈ 的虚子域 Q(i) 不是 i 在体系中唯一的出现位置。体系的衍生多项式 𝔈(S)=S⁴−2S³−2S²−2S+1 的分裂域是 **K=ℚ(√φ, i)**（M40-A），其 8 维 Q-基为 `{1, √φ, φ, φ√φ, i, i√φ, iφ, iφ√φ}`——**i 正是这个 8 维基的第四个虚生成元**。更关键的是，M40 明确给出 τ（复共轭）对 i 的作用：τ(i)=−i，且 τ 保持 √φ 不动（M40-A，诚实验证 τ²(i)=i 故 τ 为 2 阶）。

# M40: K = Q(sqrt(phi), i), 8维基含 i 作为虚生成元
# τ 作为复共轭: τ(i) = -i, τ(sqrt(phi)) = sqrt(phi
PHI = (1+5**0.5)/2
sqrt_phi = PHI**0.5
basis = [1, sqrt_phi, PHI, PHI*sqrt_phi, 1j, 1j*sqrt_phi, 1j*PHI, 1j*PHI*sqrt_phi]
print("8维基秩:", len(basis))   # 8
# τ(i)=-i 检查
print("τ(i)=-i:", (-1j) == -1j)  # 恒等

（A 级, M40）**i 在体系的两个独立层级出现**：①数论层——ζ₈ 的虚二次子域 Q(i)，作为实骨架分圆母域的投影残差（§2.1–2.3）；②衍生动力学层——K=ℚ(√φ,i) 的虚生成元，作为 8 点周期 D₄ 群的复共轭 τ 的作用对象（M40）。两者是否同一数学对象的不同投影？诚实回答：在纯数论层面，Q(i) 与 K 中的 i 是同一个复数 i（两者都是 ℚ 上添加 √−1）；但在体系结构中，前者是骨架的"边界残差"，后者是衍生多项式分裂域的"核心生成元"——i 在体系中同时扮演"被排斥的边界"与"被吸收的核心"两个相反角色。（B+ 级, M40）

（A 级, M40）一个深层对照浮现：ζ₈ 的三个二次子域 Q(√2)、Q(i)、Q(√−2) 中，√2 是骨架核心（实），i 和 √−2 是虚边界；而 K=ℚ(√φ,i) 中，√φ（=骨架的 φ 开根）与 i 共同构成衍生域核心。体系在两个不同的域（Q(ζ₈) 与 K）中，对"实成分"和"虚成分"的分配恰好镜像：骨架取实弃虚，衍生域取虚为核。这是体系实数落地与虚部处理之间尚未统一的结构张力，正是 OPEN 5a 要求下一篇深入的核心。（B+ 级, M76）

（A 级, M76）补充：ζ₈ 的第二个虚子域 Q(√−2) 与 Q(i) 通过 √−2 = i·√2 关联——它们是由 √2 与 i 生成的"虚伙伴对"。骨架吸收 √2（实核）却排斥 i 与 √−2（虚边界），但 √−2 正是 √2 旋转 90° 的像——骨架的核心成分在虚轴方向的投影反而成了边界。这是 §2.3 "实骨架虚边界"的精确代数表达：实核 √2 的虚部投影（√−2）必然作为边界出现，无法被体系抹去。（B+ 级, M13）

三、Chebotarev 与素数定理的体系漏斗

3.1 PNT 作为 Chebotarev 的密度极限

素数定理 π(x)~x/log x（M12-A，Hadamard–de la Vallée Poussin 1896）是所有 Dirichlet 密度的"总闸"。Chebotarev 密度（每个剩余类 1/16）是 PNT 在阿贝尔扩张层面的细化：PNT 说素数整体密度 ~1/log x，Chebotarev 说这密度在 16 个剩余类间均等分配。（A 级, M12）

import math
# PNT: 前 N 个素数, π(N) ~ N/log N
# Chebotarev: 其中落在某 mod40 类的比例 -> 1/16 (当 N->∞)
x = 10**6
print("PNT 近似 π(10^6)/10^6 ≈", x/math.log(x)/x)  # ~1/log(10^6)
print("Chebotarev 每类份额:", 1/16)

（A 级, M12）**PNT 是 Chebotarev 的"零分辨率"极限**：不区分剩余类时，得到 PNT；区分时，得到 Chebotarev 的 1/16 细分。体系对素数的"识别漏斗"正是这个从 PNT 到 Chebotarev 的分辨率提升——越精细的识别，把素数切得越细。（A 级, M12）

3.2 体系对素数的"识别漏斗"

把 NT-03（单根门槛）、NT-04（双根合并）、本文（16 类细分）串成一条漏斗：

所有素数 (PNT, 密度~1/log x)
  └─ 过 Q(√5) 门槛: 1/2 被识别 (NT-03)
       └─ 过 Q(√2) 门槛: 1/4 同时被识别 (NT-04)
            └─ 过 Q(ζ40) 细分: 16 类各 1/16 (本文)
                 └─ 完全吸收 (a=1): 1/16 被"彻底识别"

（A 级, M76）每一层漏斗都是一次"识别细化"——体系不是一次性吸收素数，而是通过嵌套的二次/分圆判别，把素数逐步分类。完全吸收（a=1）是漏斗最窄的出口，仅 1/16。（B+ 级, M76）

（A 级, M12/M76）上表将五篇系列（M12、NT-03、NT-04、本文）的识别密度串成一条逐级收窄的漏斗。注意"过 Q(√2)"的密度标注为"1/4（同时）"——这是与 Q(√5) 同时通过的联合密度；若单独看 Q(√2) 也是 1/2，但因 CRT 独立，联合为 1/4。（A 级, M12）

3.3 从分裂到 PNT：识别密度的连续极限

一个深刻的连续性问题：Chebotarev 的 1/16 是离散剩余类的密度；PNT 的 1/log x 是连续极限。当复合域判别式 N 趋向无穷时，Chebotarev 的 1/φ(N) 是否收敛到 PNT 的 1/log x？

（A 级, M12）这是 Dirichlet 密度与自然密度等价性的核心结果：对固定阿贝尔扩张，Chebotarev 的自然密度 = Dirichlet 密度 = 1/|Gal|；而当扩张次数增长时，1/|Gal| 的衰减与 1/log x 在适当标度下一致。体系骨架的判别式固定为 40，故不存在"N→∞"的极限——体系的识别漏斗是**有限分辨率**的（恰好 16 类），不像 PNT 提供无限分辨率。（A 级, M12）这恰是体系"最小骨架"的诚实后果：识别只能细化到 16 类，不能再细——更细的素数结构属于关系域的 OPEN 空间（NT-02 §三.3）。（B+ 级, M76）

3.4 OPEN 5b 实测：加入第四个二次子域后不对称消失

OPEN 5b 问"在更大复合域中，完全惯性是否比完全吸收更常见"。实跑取 Q(ζ₁₂₀)（120=8·3·5，含第四个二次子域 Q(√−3)，来自 ζ₃）：

import math
from sympy import kronecker_symbol
units_120 = [a for a in range(1,120) if math.gcd(a,120)==1]  # φ(120)=32 个
subs = {
    "Q(√5)":  lambda a: kronecker_symbol(5, a)==1,
    "Q(√2)":  lambda a: kronecker_symbol(2, a)==1,
    "Q(i)":    lambda a: kronecker_symbol(-1, a)==1,
    "Q(√-3)": lambda a: kronecker_symbol(-3, a)==1,
}
full  = [a for a in units_120 if all(f(a) for f in subs.values())]
inert = [a for a in units_120 if all(not f(a) for f in subs.values())]
print("完全吸收密度:", len(full)/32, " 完全惯性密度:", len(inert)/32)
# 输出: 0.0625, 0.0625 — 比=1.0

（A 级, M76）实跑确认：Q(ζ₁₂₀) 中完全吸收与完全惯性**密度相同（各 1/16 ≈ 0.0625，各 2 类）**——§1.3 在 Q(ζ₄₀) 观察到的"惯性比吸收常见一倍"（比=2）**消失了**，比降为 1.0。（A 级, M76）这个变化的真实原因是：Q(ζ₄₀) 只有 3 个二次子域（√5, √2, i，奇数个），而 Q(ζ₁₂₀) 有 4 个（多了 √−3，偶数个）。当二次子域个数为偶数时，完全惯性与完全吸收的计数通过 CRT 对称性重新平衡——"什么都不发生"与"什么都发生"在 4 个独立 ±1 判定下恰好对称。（A 级, M12）

（B+ 级, M76）诚实读法：§1.3 的反直觉不对称不是体系的深层律令，而是"骨架恰好有 3 个二次子域"的偶然计数效应。一旦识别结构扩展到第 4 个二次子域，对称性恢复。这提示一个更一般的 OPEN 问题：体系骨架固定为 3 个二次子域（Q(ζ₈) 的 3 子域中仅 √2 入骨架实核），这个"奇数个"是体系最小性的算术后果，还是可以质疑的偶然？本文不回答，标记为 OPEN 5b 的深化方向。（OPEN 5b, M76）

四、OPEN 收束与遗留

本文完整回答了 NT-04 的 OPEN 4a（16 类各 1/16 的 Chebotarev 图景），并意外发现隐藏第三根 i（OPEN 4a 的附带收获）。但研究推进中引出新裂缝：

(1) **Q(i) 作为骨架虚边界，是否与体系"虚数 i 的角色"相关？** 体系衍生多项式在 M40 涉及 K=ℚ(√φ, i)，i 已在该处出现。ζ₈ 的 i 与 M40 的 i 是否同一数学对象的不同投影？**（OPEN 5a, M40/M76）**。

(2) **完全惯性（1/8）比完全吸收（1/16）更常见——这个不对称在更高复合域是否保持？** 若取更大的复合域（如 Q(ζ_{40·p}) 含新素数 p），惯性类是否会进一步"战胜"吸收类？**（OPEN 5b, M76）**。

(3) **16 类细分是体系识别漏斗的最细分辨率——关系域如何超越这 16 类？** NT-02 §三.3 说其余素数是 OPEN 的自由展开。本文确认骨架只能细化到 16 类；关系域（更大识别结构）如何在此之外引入新素数？**（OPEN 5c, M76）**。

"眼睛看不见眼睛"：体系用分圆母域 ζ₈ 去包装实骨架 √2，却无法阻止 ζ₈ 同时生成虚二次域 i——识别者试图只取实部，但被识别的包裹本身含虚部。实轴的纯净，依赖于一个含虚部的更大包裹。这是区分自我识别在复数层的诚实边界。

五、留下未解线索（给下一篇）

本文把骨架的识别细化到 16 类，并发现虚边界 i。下一篇应当顺着 OPEN 5a 深入——**ζ₈ 的 i 与体系 M40 衍生多项式 K=ℚ(√φ, i) 中的 i 是否同一对象**。这把数论层的虚二次域与体系衍生动力学层的 i 缝合，可能揭示"体系在实数域落地时，虚部如何被处理"的统一机制。

交互探索

- 上一篇：两根合一：Q(ζ₄₀) 的 mod 40 分裂 —— 本文接管其 OPEN 4a。 - 下一篇预告：顺着 OPEN 5a，将研究 **ζ₈ 的虚二次域 i 与体系衍生多项式 K=ℚ(√φ, i) 中 i 的统一**。 - 自测：用 Python 验证 `units = [a for a in range(1,40) if gcd(a,40)==1]` 恰 16 个，且 3 根分裂状态给出 8 种各含 2 类的等概率组合（见 §1.2）。 - 系列总览：数论作为本体论数学 · 系列目录