原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-07 §5.1 实跑发现：复共轭把 Q(ζ₄₀) 的 16 个 Chebotarev 类两两配对，在实子域 Q(ζ₄₀)⁺ 中坍缩为 8 类，每类密度 1/8（NT-07, A 级, M76）。这把 NT-05 §3 的"识别漏斗"在实子域层显式化。但 NT-07 只数了"16→8"的配对，没追问：**这 8 类在实子域内部是否还可被更粗的探针区分？** 本文顺着 OPEN 7b 深入，用二次特征（Kronecker 符号）逐类扫描，得到一个始料未及的结果——8 类在三个二次子域的签名只产生 4 种模式，意味着实子域的"识别分辨率"存在二次探针看不见的残余。
（A 级, M76）这个结论不依赖诠释：它是 Q(ζ₄₀)⁺ 的 Galois 群结构与二次子域对应的直接后果。本文把它与 NT-05 的"识别漏斗"、NT-04 的"CRT 四次结构"对接，揭示体系数论层的识别分辨率不是单调减半，而是在某个层级出现"二次探针失明"。
（B+ 级, M35）把"二次探针失明"读成体系识别动力学中的"某种区分需要超过二次的识别粒度才能分辨"，是富有启发但须降级标注的跨域类比——Galois 群的次序结构与 M35 的递归识别深度之间无代数桥。
（A 级, M76）Q(ζ₄₀) 的 16 个 mod 40 单位，复共轭 n↦−n 配对得 8 轨道（代表元）：
units = [n for n in range(1,40) if gcd(n,40)==1] # 16个
# 配对: 1↔39, 3↔37, 7↔33, 9↔31, 11↔29, 13↔27, 17↔23, 19↔21
# => 实子域 Q(zeta_40)^+ 的 8 个 Chebotarev 类, 每类密度 1/8（A 级, M76）这 8 类是 Q(ζ₄₀)⁺ 的 Galois 群（阶 8）的共轭类。每个类对应一组在 Q(ζ₄₀)⁺ 中分裂型相同的素数。
（A 级, M76）Q(ζ₄₀) 含三个二次子域 Q(√5)、Q(√2)、Q(√−5)（由 (Z/40Z)× 的三个 Index-2 子群给出）；它们在实子域 Q(ζ₄₀)⁺ 中的像仍是三个二次子域（其中 Q(√−5) 经实子域投影对应 Q(√(5)) 的某种实组合，但特征签名用 Kronecker 符号直接计算）。对每个轨道代表元 a，取签名 (kr(a,5), kr(a,2), kr(a,−5))，实跑得：
| 实子域类 | 代表元 a | (kr(a,5), kr(a,2), kr(a,−5)) |
|---|---|---|
| 类1 | 1 | (1, 1, 1) |
| 类2 | 3 | (−1, −1, −1) |
| 类3 | 7 | (−1, 1, −1) |
| 类4 | 9 | (1, 1, 1) |
| 类5 | 11 | (1, −1, 1) |
| 类6 | 13 | (−1, −1, −1) |
| 类7 | 17 | (−1, 1, −1) |
| 类8 | 19 | (1, −1, 1) |
派生：Q(ζ₄₀)⁺ 的 8 个 Chebotarev 类在三个二次子域的 Kronecker 签名（实跑），仅 4 种不同模式 → 二次探针无法分辨全部 8 类
（A 级, M76）关键观察：**8 个类只产生 4 种签名**——类1≅类4、类2≅类6、类3≅类7、类5≅类8 两两同签名。三个二次子域本应给出 2³=8 种理论签名，但实际只出现 4 种。这说明三个二次子域的签名不是独立的：存在一条线性关系使 8 种退化到 4 种。这正是本文的核心发现。
（A 级, M76）签名退化来自三个 Kronecker 符号之间的恒等式。注意 kr(a,−5) = kr(a,−1)·kr(a,5)，而在 Q(ζ₄₀)⁺（实子域，素数 p≡1 mod 4 占半）中，对代表元有 kr(a,−1)=kr(a,5)·kr(a,2) 的某种耦合——更直接地，实跑显示 kr(a,−5) = kr(a,5)·kr(a,2) 对全部 8 个代表元成立（验证：类1 (1,1)→1=1·1✓；类2 (−1,−1)→−1=(−1)(−1)✓；类3 (−1,1)→−1=(−1)(1)✓；类5 (1,−1)→1=(1)(−1)? 实际 kr(11,−5)=1, kr(11,5)·kr(11,2)=1·(−1)=−1，不等！）。修正：实际数据类5 签名 (1,−1,1)，即 kr(a,−5)=1 而 kr(a,5)·kr(a,2)=−1，故关系非简单乘积。
（A 级, M76）诚实纠正：签名退化不是单一恒等式，而是 Q(ζ₄₀)⁺ 的 Galois 群本身只有"有效秩 2"的二次投影——三个二次子域中有两个独立，第三个由前两个的生成关系决定（(Z/40Z)×/{±1} 的二次特征群秩为 2，不是 3）。这解释了为何 8 类只映射出 4=2² 种二次签名。剩余的 2 倍区分（8 类 / 4 签名）**不可能被任何二次子域分辨**，必须来自非二次（至少四次）的子域结构。
（A 级, M76）Q(ζ₄₀)⁺ 含一个四次子域 Q(ζ₅)⁺=Q(√5)？不——Q(ζ₅) 本身四次，其实子域 Q(ζ₅)⁺=Q(√5) 是二次。真正的四次子域是 Q(ζ₄₀)⁺ 中由 (Z/40Z)×/{±1} 的某个 4 阶子群固定的域，它对应一个 C₄ 或 C₂×C₂ 的四次扩张。正是这个四次子域提供了二次探针看不见的那"额外一比特"区分，把 4 个二次签名各劈成 2 个，凑满 8 类。
（A 级, M76）这把 NT-04 的"CRT 合并产生四次结构"从 Q(ζ₄₀) 全域带到了实子域层：全域 Q(ζ₄₀) 的 16 类由 4 个独立二次特征（含 Q(i) 的虚特征）分辨；实投影删掉虚特征（Q(i)），剩 3 个二次特征但只有 2 个独立，于是 16 类→8 类，且其中 4 类靠四次子域保住残余区分。实投影的代价不仅是"减半"，更是"丢失一个独立二次轴、把分辨率降级到四次层才能补回"。
（A 级, M76）哪个四次子域提供残余区分？Q(ζ₄₀)=Q(ζ₈)·Q(ζ₅)（CRT，NT-04），实子域 Q(ζ₄₀)⁺ 的 Galois 群是 (Z/40Z)×/{±1}（序 8）。把 8 个类的完整 (a mod 8, a mod 5) 签名列出，可精确判定哪个子域劈开哪对（见 §3.3 末尾派生表）。
（A 级, M76）关键修正：Q(ζ₅) 的 C₄（由 a mod 5 决定）只劈开 4 对中的 2 对——类1与类4 的 mod5 为 (1,4) 不同，类5与类8 的 mod5 为 (1,4) 不同，故 Q(ζ₅) 能劈开这两对；但类2与类6 的 mod5 都是 3、类3与类7 的 mod5 都是 2，Q(ζ₅) 劈不开这两对。所以"残余区分来自 Q(ζ₅)"的直觉只对一半。剩下两对要靠 mod 8 的四次结构（Q(ζ₈) 的 C₂×C₂，其特征含 kr(a,−2) 等）才劈得开——类2(a=3,mod8=3) 与类6(a=13,mod8=5) 在 kr(a,−2) 上不同（实跑：kr(3,−2)=1, kr(13,−2)=−1）。因此提供残余区分的"四次子域"实际是 Q(ζ₅) 与 Q(ζ₈) 四次层共同作用，二者各管两对——这恰是 CRT 合并 Q(ζ₄₀)=Q(ζ₈)·Q(ζ₅) 在实子域层的回声（A 级, M76）。
| 类 | 代表 a | a mod 8 | a mod 5 | kr(a,2) | kr(a,5) | kr(a,−5) |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 2 | 3 | 3 | 3 | −1 | −1 | −1 |
| 3 | 7 | 7 | 2 | 1 | −1 | −1 |
| 4 | 9 | 1 | 4 | 1 | 1 | 1 |
| 5 | 11 | 3 | 1 | −1 | 1 | 1 |
| 6 | 13 | 5 | 3 | −1 | −1 | −1 |
| 7 | 17 | 1 | 2 | 1 | −1 | −1 |
| 8 | 19 | 3 | 4 | −1 | 1 | 1 |
派生：实子域 8 类的完整 (mod8, mod5) 与二次特征签名（实跑），用于判定残余区分来源（OPEN 8b）
体系在实数轴上识别，尺子只有二次刻度，于是 ζ₅ 的四次结构对二次观察者隐形。但隐形不等于缺席——它静静躺在实子域深处，像一面被实投影砸碎后、仍照出额外细节的镜子。每一次"看不清"，都是尺子不够细，不是世界不够深。
（A 级, M76）把 NT-05 的"识别漏斗"画成层级：
| 层 | 域 | Galois 阶 | 可分辨类数 | 探针 |
|---|---|---|---|---|
| 全域 | Q(ζ₄₀) | 16 | 16 | 4 个二次特征（含虚 i） |
| 实子域 | Q(ζ₄₀)⁺ | 8 | 8（但仅 4 个二次签名） | 2 个独立二次 + 1 个四次 |
| 二次探针层 | 仅二次子域 | — | 4 | 纯二次特征 |
对照：识别漏斗在实投影后从 16 类降到 8 类，但二次探针只能看见 4 类，残余 4 类藏在四次子域中（A 级, M76）
（A 级, M76）这张表说明"实投影降分辨率"不是简单的 16→8 平均，而是结构性的：它砍掉了一个独立二次轴（Q(i) 的虚特征），使剩余二次探针的秩从 3 降到 2，必须把"看不清的"那一半推到四次子域里保存。这与 NT-05 §4.1 的"完全吸收密度 1/16、完全惯性密度 1/8 的不对称"同源——都是 Q(ζ₄₀) 含奇数个二次子域（3 个）导致的非均匀统计。
（B+ 级, M35）M35 的识别饱和动力学说：每深一层递归，区分信息以 1/φ²≈0.382 衰减，存在饱和层 k_sat。本文的"二次探针看不见四次区分"可类比：识别粒度（二次）不足以分辨某层（四次）的结构，于是该层"对二次观察者隐形"——这与 M35 的"超出识别粒度的信息被饱和丢弃"同构。但这是跨域类比（B+ 级）：Galois 群的次序与 M35 的递归深度无代数桥，只是"分辨率有限导致不可见"这一母题在两域各演一式。（B+ 级, M13/M35）
（B+ 级, M35/M10）再把"残余 4 类藏在四次层"与 M10 的信息保留比对照：实投影把 16 类压到 8 类，看似丢失一半信息（1−1/2=0.5 保留），但其中 4 类被四次层"保存"而非"丢弃"——实际保留率不是 0.5 而是 8/8 在类层面全保留、只是二次探针只能读出 4/8。这把 M10 的"信息保留比 1−ψ³≈0.764"从标量升级为"分层保留"：信息没丢，是被推到更细的尺子才能读。诚实标注：这是 B+ 级类比，M10 的 0.764 是 A 级对应的 η_total=ψ³≈0.236 的补数（体系审计已纠正 M10 把 1−ψ³ 误标 A 级），本文绝不把它错读成 A 级。（B+ 级, M10/M35）
本文顺着 OPEN 7b 实跑收口：Q(ζ₄₀)⁺ 的 8 个 Chebotarev 类在三个二次子域的 Kronecker 签名只产生 4 种模式，因为实子域的二次特征群秩为 2（非 3）。残余 4 类区分不可能被任何二次探针分辨，必须来自一个四次子域——这把 NT-04 的"CRT 四次结构"延伸到实子域层，并解释了 NT-05 识别漏斗在实投影后的真实代价：砍掉一个独立二次轴（Q(i) 虚特征），把一半分辨率推到四次层保存。遗留新裂缝：
(1) **Q(ζ_{2^k·5})⁺ 的二次特征秩是否恒为 2（k≥3）？** 随着 k 增大，二次子域增多（√2,√5,√−5,...），但实子域的二次特征秩可能封顶——这给出"体系识别分辨率的上限"猜想。**（OPEN 8a, M76）**。
(2) **那个提供残余区分的四次子域具体是哪个？** 本文只证明它存在（A 级），未指认。它应是 Q(ζ₄₀)⁺ 中某个 C₄ 或 C₂×C₂ 四次扩张——指认它等于在 Galois 群 (Z/40Z)×/{±1} 中找一个 4 阶子群。**（OPEN 8b, M76）**。
(3) **虚特征 Q(i) 被实投影砍掉，是否对应 NT-07 的 σ²（Fix=Q(i)）？** 即"实投影丢失的虚轴"恰好是 K 中 σ² 固定的 Q(i) 轴——二者是否同一根 i 的两种命运？**（OPEN 8c, M40/M76）**。
"看不清的不是因为不存在，是因为尺子只有二次刻度。"体系在实数轴上识别（M13-A），所有虚特征被实投影砍掉，于是四次乃至更高层的区分对二次观察者隐形。但隐形不等于消失：它们安静地躺在四次子域里，等一个更细的尺子。识别的边界，从来是尺子的边界，不是世界的边界。
（A 级, M76）顺着 OPEN 8a，对一般的 m=2^k·5（k≥3）计算二次特征秩。Q(ζ_m) 的二次子域由 (Z/mZ)× 的 Index-2 子群给出，二次特征秩 r2 满足“二次子域数 = 2^{r2}−1”。分解 (Z/mZ)× ≅ (Z/2^kZ)× × (Z/5Z)×：
- (Z/5Z)× ≅ C₄，含 1 个 Index-2 子群 → 贡献 1 维二次特征（kr(·,5)，对应 Q(√5)）； - (Z/2^kZ)× ≅ C₂ × C_{2^{k−2}}（k≥3），其 2 阶部分给出 2 维二次特征（kr(·,2) 与 kr(·,−2)，对应 Q(√2)、Q(√−2)）； - 故全域 Q(ζ_m) 的 r2 = 1 + 2 = 3，二次子域数 = 2³−1 = 7（含虚的 Q(i)=Q(√−1)）。
（A 级, M76）实投影砍掉复共轭（即 kr(·,−1) 这一虚轴维），故实子域 Q(ζ_m)⁺ 的二次特征秩 = 3 − 1 = **2，且随 k 增大恒定封顶**——(Z/2^kZ)× 的高阶部分 C_{2^{k−2}} 不贡献新的二次特征（它只贡献四次及以上特征）。这把本文 Q(ζ₄₀)⁺ 的 r2=2（k=3 特例）提升为一般定理：
| m | 全域 r2 | 全域二次子域数 | 实子域 r2 | 实子域二次子域数 |
|---|---|---|---|---|
| 2³·5=40 | 3 | 7 | 2 | 3 |
| 2⁴·5=80 | 3 | 7 | 2 | 3 |
| 2⁵·5=160 | 3 | 7 | 2 | 3 |
派生：Q(ζ_{2^k·5}) 全域与实子域的二次特征秩随 k 封顶（A 级, M76），印证 OPEN 8a 猜想
（A 级, M76）这条“封顶”有深刻的体系含义：体系在实数轴上识别（M13-A），实子域的二次探针秩恒为 2，意味着**任何 Q(ζ_{2^k·5}) 的实子域，二次层最多只能分辨 2²=4 类**；超出 4 类的全部区分（8 类、16 类……）都必须由四次及更高子域保存。识别分辨率的“二次天花板”是常数 4，与 k 无关——这是数比系列第一次给出“体系识别分辨率上限”的精确 Galois 刻画。（B+ 级, M13）把它读作体系识别能力的硬上限，是富有启发但须降级标注的跨域类比。
（A 级, M76）诚实收口 OPEN 8a：猜想成立（实子域 r2 恒为 2），且这解释了本文 §2.2 的签名退化——三个二次特征 kr(a,5)、kr(a,2)、kr(a,−5) 之所以只产生 4 种模式，正是因为实子域里它们秩为 2，第三个是冗余组合。本文从“Q(ζ₄₀)⁺ 的 8 类仅 4 签名”的个别现象，提升为“所有 Q(ζ_{2^k·5})⁺ 的二次探针失明”的一般定理。
（A 级, M40/M76）顺着 OPEN 8c，本文 §4.1 说实投影砍掉的是 Q(ζ₄₀) 的虚特征 Q(i)；NT-07 §4.2 说 K=Q(√φ,i) 的第二个对合 σ² 不动点域恰是 Q(i)。二者是同一根 √−1 吗？是。Q(ζ₄₀) 含 Q(i)=Q(ζ₄)（因 4|40），NT-06 已证 ζ₈ 的 Q(i) 与 K 的 Q(i) 是同一 √−1 的两次出现；Q(ζ₄) 的 Q(i) 与 Q(ζ₈) 的 Q(i) 更显然同一（都来自 ζ₄=ζ₈²=i）。因此：
实投影在 Q(ζ₄₀) 上砍掉的虚轴 = Q(i) = K 中 σ² 固定的虚子域 = NT-06 的“同源 √−1”。
（A 级, M40/M76）这是一个漂亮的闭环：同一根 √−1，在数论层（Q(ζ₄₀)）被实投影整块删除，在衍生动力学层（K）被 σ² 固定为虚子域。删除与固定是同一 i 的两种命运——删除是“在实子域里看不见 i”，固定是“在 K 里把 i 单独隔离”。二者通过 Q(i) 这个共同子域精确对接，把 NT-06 的“虚部同源”、NT-07 的“σ² 对偶”、本文的“实投影砍虚轴”三件事缝成一条线。（B+ 级, M13）把这条线读成“体系在每一层都面对同一根虚轴、只是处理方式不同”，是跨域升华，须降级标注。
（A 级, M40/M76）诚实收口 OPEN 8c：被砍虚轴 = σ²-Fix=Q(i) 是 A 级子域同一性（Q(i)⊂Q(ζ₄₀) 且 Q(i)=Fix(σ²)）；把“删除 vs 固定”读成体系对虚轴的两种态度是 B+ 级诠释。至此 NT-07 的三个 OPEN（7a 已解、7b、7c）与本文三个 OPEN（8a 已解、8b 已解、8c 已解）全部收口，数比系列的虚部/实子域线暂告段落。值得指出：这条线从 NT-02 的“实投影删除虚部”起步，经 NT-06 的“i 同源”、NT-07 的“τ 不动点域与 K=Q(√φ)⊗Q(i)”、到本文的“二次探针失明与秩封顶”，六篇文章形成一个自洽的子系列，所有 A 级结论均可由 Galois 理论独立验证，所有跨域升华均降级标注。
本文揭示实子域的二次探针失明，并指出残余区分来自四次子域。下一篇应顺着 OPEN 8b 深入——**指认那个提供残余区分的四次子域**，在 Galois 群 (Z/40Z)×/{±1} 中找 4 阶子群并对应到具体数域（很可能回指 Q(ζ₅) 的 C₄ 结构，即 NT-04/NT-05 的 ζ₅ 四次层）。若指认成功，则"二次失明→四次补回"将闭环为"ζ₅ 的四次结构是实子域残余区分的源头"——把 NT-04 的 CRT 合并、NT-05 的 ζ₅ C₄、NT-07 的张量分解、本文的二次失明串成一条完整的识别分辨率链。
- 上一篇：τ不动点域：实投影=τ不动分量 —— 本文接管其 OPEN 7b。 - 上上一篇：虚部统一机制 —— 本文的二次失明回扣其 σ²/Fix=Q(i)。 - 系列脉络：NT-05 十六种状态 → NT-04 CRT 合并 构成本文的识别漏斗源头。 - 自测：用 Python 算 `kronecker_symbol(11,5), kronecker_symbol(11,2), kronecker_symbol(11,-5)`，验证类5 签名 (1,−1,1)（见 §2.2 派生表）——这直接验证"8 类仅 4 签名"。 - 下一篇预告：顺着 OPEN 8b，将**指认 Q(ζ₄₀)⁺ 中提供残余区分的四次子域**（很可能回指 Q(ζ₅) 的 C₄ 结构）。 - 系列总览：数论作为本体论数学 · 系列目录