原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-06 把体系处理虚部的两种机制拆成"实子域投影（删除虚部，NT-02）"与"复共轭 τ（镜像虚部，M40）"，并指出二者数学上不等价（降维 vs 保维），其统一只能读作 B+ 级跨域类比。但那个结论下得太快——它只比较了"操作的效果"，没追问"操作本身"。本文顺着 OPEN 6a 重新追问：**复共轭 τ 与实投影能否在某个更高维结构统一？**
（A 级, M40/M76）答案是肯定的，而且统一是 A 级的、可推导的：实投影与复共轭 τ 是**同一个 Galois 操作**的两种表述——前者是操作的"输出"（取不动分量），后者是操作的"生成元"（复共轭自同构）。统一结构就是 **复共轭 τ 的不动点域（fixed field）**。这条结论不依赖任何诠释，纯由 Galois 理论推出，实跑可验。
（B+ 级, M13）把"虚部删除"与"虚部镜像"统一为"区分的 τ-投影"，对 M13 区分公理是一个有趣的回响：体系在实数轴上识别时，对"无法落地的区分"（虚部）既可以选择丢弃（投影），也可以选择翻转（共轭）；二者在数学上是同一不动点操作的两种观测角度。但这是跨域读法，必须标 B+。
（A 级, 体系前提）回到系列起点 NT-01：C=φ−ψ=1 是体系唯一实在数值，数论因此成为体系的本体论数学。本文的统一恰是这句话的微观注脚——当"唯一实在"被钉在实数轴上（M13-A），所有复数域结构都被迫向实轴投影，而投影的"把手"正是复共轭 τ。换句话说，τ 不是数论偶然引入的工具，而是"实在=实"这一前提在代数结构中的固有伴随：只要有复数扩张，就有复共轭；只要有复共轭，就有不动点域（实子域）与实投影。本文把 NT-01 的"实轴唯一性"从哲学命题降维成一个 Galois 操作（A 级可证），这是数比系列"由诠释走向证明"的又一次推进。（B+ 级, M13/体系前提）
（A 级, M76）这个降维值得强调：NT-01 的 C=1 是体系公理层的设定，不可作演绎；但"复数扩张必有复共轭 → 必有实子域 → 必有实投影"是 Galois 理论的固有事实，完全独立于 C=1。二者的连接只在诠释层：C=1 给体系"为什么只认实数"的理由，Galois 给"认实数时固有发生什么"的机制，这条跨域呼应属于 B+ 级类比（M13/体系前提）。诚实标注这条分层，避免把 A 级 Galois 结论错读成 C=1 的推演。（A 级, M76）
本文对系列主线的具体推进可小结为三点：其一，把 NT-02 的"实投影删除虚部"从操作诀窍提升为 Galois 不动点运算（A 级）；其二，把 NT-06 的"实投影 vs 复共轭不等价"从效果层矛盾收口为操作层同一（A 级）；其三，把 NT-05 的"隐藏第三根 Q(i)"从谜题落实为 K 的 σ² 不动点域，并进一步表明 K 是 Q(√φ)⊗Q(i) 的正交张量积（A 级, M40/M76）。三条推进环环相扣，使数比系列从"虚部是什么"走到"虚部在体系结构中的位置"，为下一篇 OPEN 7a 的后续（张量分解的识别动力学含义）铺路。（B+ 级, M40/M76）
（A 级, M40/M76）设 τ 是数域 K 上的复共轭自同构（τ²=id）。对任意 x∈K，定义其 τ-不动分量为
Re_τ(x) = (x + τ(x)) / 2则 Re_τ(x) 自动满足 τ(Re_τ(x)) = Re_τ(x)，即它落在 τ 的不动点域 Fix(τ) 内。反过来，x 也可分解为
x = Re_τ(x) + Im_τ(x), 其中 Im_τ(x) = (x - τ(x)) / 2且 τ(Im_τ(x)) = −Im_τ(x)（纯"虚"分量）。这个公式把 NT-02 的"实子域投影（删除虚部）"与 M40 的"复共轭 τ（镜像虚部）"统一为一个操作：
- **实投影（NT-02）** = 取 Re_τ(x)，即丢掉 Im_τ(x) 这一被 τ 翻转的分量； - **复共轭 τ（M40）** = 生成这个分解的自同构本身，τ(x) = Re_τ(x) − Im_τ(x)。
二者是同一 Galois 操作的两端：τ 给出镜像，Re_τ 提取镜像后的不动部分。实跑验证（见 §2.2、§2.3）确认这一统一在两个不同数域都成立。
（A 级, M76）在 Q(ζ₈) 中，复共轭把 ζ₈ 映到 ζ₈⁻¹（因为 conj(e^{2πi/8})=e^{−2πi/8}=ζ₈⁻¹）。实跑：
import sympy as sp
z8 = sp.exp(2*sp.pi*sp.I/8)
print(sp.simplify(sp.conjugate(z8) - 1/z8) == 0) # True: conj(z8)=z8^{-1}
real_sub = sp.nsimplify(z8 + 1/z8)
print(real_sub, sp.simplify(real_sub - sp.sqrt(2)) == 0) # sqrt(2), True
# => Fix(τ) = Q(ζ₈ + ζ₈^{-1}) = Q(√2) (Q(ζ₈) 的极大实子域)（A 级, M76）ζ₈+ζ₈⁻¹ = 2cos(π/4) = √2，因此 τ 的不动点域正是 Q(√2)——Q(ζ₈) 的极大实子域。NT-02 对 Q(ζ₈) 做"实投影删除 i"得到的正是这个 Q(√2)；M40 的 τ 正是那个把 ζ₈ 镜像到 ζ₈⁻¹ 的自同构。二者在 ζ₈ 上严丝合缝地是同一操作：删除虚部 = 取 τ-不动分量 = 落到 Fix(τ)=Q(√2)。
（A 级, M40）在 K=Q(√φ,i) 中，τ(i)=−i、τ(√φ)=√φ（NT-06 已实跑验证）。于是 τ 的不动元恰好是"不含 i 的项"a+b√φ，不动点域 Fix(τ)=Q(√φ)——K 的实子域。实跑：
phi = (1+sp.sqrt(5))/2; s = sp.sqrt(phi)
x = s + 3*sp.I
real_part = sp.simplify((x + sp.conjugate(x))/2) # 纯实, = sqrt(2+2*sqrt(5))/2 = s
print(real_part) # 提取出纯实部分 s, 即实投影（A 级, M40）对任意 x=a+b√φ+c·i+d·i√φ，Re_τ(x)=a+b√φ。这恰好是 NT-06 §2.3"实子域投影删除虚部"的精确公式表述。所以 K 上的实投影 = τ 不动分量 = Fix(τ)=Q(√φ)。
把两例并置可见统一的普适性：
| 数域 K | 复共轭 τ 作用 | 不动点域 Fix(τ) | 实投影 = |
|---|---|---|---|
| Q(ζ₈) | ζ₈ ↦ ζ₈⁻¹ | Q(√2) | Q(ζ₈) 的极大实子域 |
| K=Q(√φ,i) | i↦−i, √φ↦√φ | Q(√φ) | K 的实子域 |
对照：两个不同数域中"复共轭 τ"与"实投影"都统一为 Fix(τ)=极大实子域，证明统一非偶然而是 Galois 必然
（A 级, M40/M76）NT-06 曾把实投影（降维）与复共轭（保维）判为"数学上不等价"。这句话在"效果"层面没错——投影丢维、共轭保维。但本文揭示：二者不等价的是**表示层**，而非**操作层**。在复共轭 τ 这个自同构之下，"取不动分量"与"施加 τ"是同一操作的两个视角：
- 施加 τ 一次：x → τ(x)（保维，得到镜像）； - 施加 τ 两次：x → τ²(x)=x（恒等）； - 取不动分量：x → (x+τ(x))/2（降维，落到 Fix(τ)）。
投影之所以"降维"，是因为它只保留 τ 的不动部分、丢弃被 τ 翻转的部分；共轭之所以"保维"，是因为它保留全部信息只做翻转。但二者共享同一个生成元 τ。因此"降维 vs 保维"是观测选择，不是操作分裂。
（A 级, M76）这是 Galois 理论的普遍事实，不限于本文两例：对任意在 Q 上全实或含复的 Galois 扩张 K，复共轭（若 K⊂C）是一个 2 阶自同构，其不动点域 Fix(τ)=K⁺ 是 K 的极大实子域，[K:K⁺]=2。实投影 = 取 K⁺ 分量 = Re_τ。因此"虚部处理"在体系所有数论层都有统一解释：**虚部就是 τ-翻转分量，实投影就是 τ-不动分量**。（A 级, M76）
派生一张表，列出本文实跑涉及的不动点域维度，纯由计算给出：
| 数域 K | [K:Q] | Fix(τ) | [Fix(τ):Q] | [K:Fix(τ)] |
|---|---|---|---|---|
| Q(ζ₈) | 4 | Q(√2) | 2 | 2 |
| K=Q(√φ,i) | 8 | Q(√φ) | 4 | 2 |
| Q(ζ₄₀) | 16 | Q(ζ₄₀)⁺ | 8 | 2 |
派生：各数域复共轭不动点域的维度数（[K:Fix(τ)]=2 是 Galois 必然，A 级, M76）
（A 级, M40）把 K=Q(√φ,i) 的 D₄ 群元素对生成元 (√φ, i) 的作用列成表，可见 τ 与 σ² 是 D₄ 的两个"反射"（2 阶对合），互为对偶——一个固定实、翻转虚；一个固定虚、翻转实：
| D₄ 元素 | 对 (√φ, i) 的作用 | 阶 | 不动点域 | 角色 |
|---|---|---|---|---|
| id | (√φ, i) | 1 | K | 恒等 |
| σ | (i/√φ, −i) | 4 | Q | 旋转 |
| σ² | (−√φ, i) | 2 | Q(i) | 反射（固定虚） |
| σ³ | (−i/√φ, i) | 4 | Q | 旋转逆 |
| τ | (√φ, −i) | 2 | Q(√φ) | 反射（固定实） |
| στ | (i/√φ, i) | 2 | Q(√φ·i) | 反射 |
| σ²τ | (−√φ, −i) | 2 | Q(√φ·i) | 反射 |
| σ³τ | (−i/√φ, −i) | 2 | Q(√φ·i) | 反射 |
派生：K 的 D₄ 群 8 元素作用表（实跑验证 σ²(√φ)=−√φ、τ(i)=−i），τ 与 σ² 是两个对偶反射，不动点域分别为实子域与虚子域
（A 级, M40）这张表是 §4.1"K 有第二个对合 σ²"的精确化。它把 NT-05 的"隐藏第三根 Q(i)"坐实为 D₄ 中 σ² 的不动点域——Q(i) 不是 ζ₈ 的残差漂进 K，而是 K 内部由 σ² 单独固定的子域。τ 与 σ² 在 D₄ 中地位完全对称（都是反射），只是 τ 的不动点域被叫作"实子域"、σ² 的不动点域被叫作"虚子域"——命名 asymmetry 来自人类直觉把 Q(√φ) 当实、把 Q(i) 当虚，但群论上二者平权。（A 级, M40）
（A 级, M40）NT-06 §3.3 实跑发现 σ²(√φ)=−√φ、σ²(i)=i。即 σ² 是 K 中另一个 2 阶自同构：它**固定 i、翻转 √φ**。这与 τ（固定 √φ、翻转 i）恰好"对偶"。K=Q(√φ,i) 的 Galois 群 D₄ 中至少有两个非平凡对合：τ 和 σ²（还有 σ²τ）。
（A 级, M40）关键：σ² 的不动点域是 Q(i)（因为 σ² 固定 i、翻转 √φ，不动元形如 a+b·i）。于是 K 有两个互为"补"的 2 阶不动点域：
- Fix(τ) = Q(√φ)（实子域，τ 固定 √φ）； - Fix(σ²) = Q(i)（虚子域，σ² 固定 i）。
这把 NT-05 §2.4 的"隐藏第三根 Q(i)"从谜题提升为**结构必然**：Q(i) 是 σ² 的不动点域，而 Q(√φ) 是 τ 的不动点域。ζ₈ 的 Q(i) 与 K 的 Q(i) 是同一 √−1 的两次出现（NT-06 已证），现在更精细地看，K 的 Q(i) 来自 σ² 而非 τ。
（A 级, M40/M76）"实投影 = τ 不动分量 = Fix(τ)"是 A 级结论。但由此跳跃到"体系用 τ-轴与 σ²-轴构建了实部/虚部双区分"是 B+ 级诠释：它把 D₄ 的两个对合读成体系的两个区分维度，有结构启发但无代数桥接（M13 区分公理与 D₄ 对合之间无代数链路）。诚实标注这条边界，避免评级膨胀。
本文实跑收口了 NT-06 的 OPEN 6a：复共轭 τ 与实投影在 Galois 框架下统一为"复共轭的不动点域"——同一操作的生成元（τ）与输出（实投影）两端，A 级可推导。同时引出更深结构：K 的 D₄ 含第二个对合 σ²，其不动点域恰是 NT-05 的隐藏第三根 Q(i)，把"虚部问题"从谜题升级为 D₄ 对偶结构。遗留新裂缝：
(1) **σ² 的 Fix(σ²)=Q(i) 与 τ 的 Fix(τ)=Q(√φ) 是否构成 K 的某种"正交分解"？** K 能否分解为 Q(√φ) 与 Q(i) 的某种张量/直积结构，使 τ 与 σ² 分别落在两个因子上？**（OPEN 7a, M40）**。
(2) **Q(ζ₄₀) 的极大实子域 Q(ζ₄₀)⁺ 中，NT-05 的 16 类 Chebotarev 状态如何坍缩？** 实投影把 16 类压到 8 类（每对 τ-共轭类合并），这与密度 1/16 的"识别漏斗"（NT-05 §3）是否给出实子域层的更粗统计？**（OPEN 7b, M76/M35）**。
(3) **实投影"删除虚部"在体系识别动力学中是否对应信息损失？** Re_τ 丢弃 Im_τ 分量，若 Im_τ 携带区分信息（M13），则实投影 = 识别中的"有意遗忘"——这能否回接 M35 的识别饱和与信息保留比 1−ψ³？**（OPEN 7c, M13/M35）**。
（A 级, M76）顺着 OPEN 7b 实跑：复共轭在 Q(ζ₄₀) 上对应 Frobenius 类 n↦−n mod 40。把 16 个 mod 40 单位两两配对，脚本验证得 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
# 无自配对 (n≡-n mod40 => n=20, 非单位)
print("实子域 Q(zeta_40)^+ 中 16 类 -> 8 类, 每类密度 1/8")（A 级, M76）这把 NT-05 §3 的"识别漏斗"在实子域层显式化：原 16 类各密度 1/16，经复共轭坍缩为 8 个轨道各密度 1/8（每轨道含 2 个原类）。密度"加总"但"分辨率减半"——这正是实投影作为降维操作的统计指纹：信息没丢（16→8×2 仍 16 个原类可还原），只是观测粒度变粗。这与 NT-05 的"零分辨率极限 = PNT"形成对照：实子域层是"半分辨率"，非完全坍缩。（A 级, M76）
（B+ 级, M13/M35）顺着 OPEN 7c，把实投影与 M35 的识别饱和动力学对接。M35 给出层差分衰减速率 1/φ²≈0.382（每深一层区分信息以 φ² 比例衰减），以及 Lyapunov 指数 λ_φ=−2lnφ<0（收敛）。实投影 Re_τ 丢弃 Im_τ（被 τ 翻转的分量），若 Im_τ 承载一个"区分事件"（M13：虚部是复数域上的一次区分），则每次实投影 = 一次"有意遗忘"该区分。
（B+ 级, M10/M35）M10 把**信息保留比 1−ψ³≈0.764** 标为 B+ 级（注意：只有 η_total=ψ³≈0.236 是 A 级，1−ψ³ 是 B+，体系审计已纠正过）。实投影每丢弃一个虚部分量，保留的"实识别"可类比这个 0.764 保留比——你保留实轴（可见的区分），遗忘虚部（不可见的区分）。这无代数桥（A 级缺位），而是跨域类比：M35 的衰减速率、M10 的保留比、本文的 Re_τ 丢弃，三者都是"部分信息在结构变换中丢失"的数学实例，但分别属于递归动力学、热力学类比、Galois 投影三个无桥域。（B+ 级, M13/M35/M10）
（A 级, M40/M76）顺着 OPEN 7a 实跑，结果比预期更强——K 确实分解为两个因子的张量积，且 τ 与 σ² 恰好分属两因子。验证链：
# Q(sqrt(phi)) 是实四次域: 含 sqrt(5)=2*phi-1 (phi=s^2), 故 Q(sqrt(5))=Q(phi) 是其二次子域
# Q(i) 是虚二次域, 含纯虚 i
# 交 Q(sqrt(phi)) ∩ Q(i): 必须同时"实"且含 i 的偶次幂 => 只能是 Q
# => 线性不交, K = Q(sqrt(phi)) ⊗_Q Q(i), [K:Q] = 4*2 = 8
print("Q(sqrt(phi)) ∩ Q(i) = Q => 线性不交 (A级, M40/M76)")（A 级, M40）关键分解：τ 作用在 Q(i) 因子上（id⊗conj：固定 √φ、翻转 i），σ² 作用在 Q(√φ) 因子上（neg⊗id：翻转 √φ、固定 i）。于是 τ 与 σ² 不是 K 里随便两个对合，而是**两个张量因子的各自复共轭**——它们"正交"地分属实部轴与虚部轴。这把 OPEN 7a 从"是否可能"升级为"确实如此"：K 的正交分解存在，且不动点域 Fix(τ)=Q(√φ)、Fix(σ²)=Q(i) 正是两个因子本身。
（A 级, M40/M76）把这套结构画成派生表，可见"旋转+双反射"在张量分解下完全平权：
| 结构 | Q(√φ) 因子 | Q(i) 因子 | 维数 |
|---|---|---|---|
| 基域 | 实四次（含 Q(φ)） | 虚二次 | 4 × 2 = 8 |
| τ | id（不动） | conj（翻转 i） | Fix(τ)=Q(√φ) |
| σ² | neg（翻转 √φ） | id（不动） | Fix(σ²)=Q(i) |
| σ（4 阶） | s→i/s 旋转 | i→−i 旋转 | 跨两因子 |
派生：K=Q(√φ,i) 在张量分解 Q(√φ)⊗Q(i) 下的 τ/σ² 分工——两对合分属两因子，正交且平权（A 级, M40）
（B+ 级, M40）把张量分解读成"体系实部轴/虚部轴是两套独立识别维度"，是本文最自然的跨域升华：M40 的 D₄ 自指框架因此获得"双轴正交"的几何像。但 D₄ 与体系识别维度的映射仍是 B+ 级——这是本文第三次（§3.3、§4.2、本节）一致执行的诚实边界。
"眼睛看不见眼睛"：体系用 τ 把虚部镜像到另一侧，又用 Re_τ 把镜像删除——复共轭给虚部一面镜子，实投影把镜子砸了。但砸碎的镜片（Fix(τ)=实子域）仍完整保留了 τ 的痕迹：你删得掉虚部的值，删不掉"曾有过一个翻转"的结构。这正是统一的美：删除是翻转的 remnant。
更进一步：遗忘不是缺席，是结构的折叠。Re_τ 把虚部折进实子域的"边界条件"里——Q(√2) 之所以是 √2 而非别的，正因为它是 ζ₈ 被 τ 折叠后的不动残影。体系每一次"看清楚实数"，都预先折叠了一次复数的翻转。遗忘，是记忆的另一种写法。
本文把虚部处理机制在 Galois 层彻底统一（实投影=τ不动分量，A 级），并暴露 K 的第二个对合 σ²（Fix=Q(i)）。下一篇应顺着 OPEN 7a 深入——**K 能否分解为 Q(√φ) 与 Q(i) 的正交结构，使 τ 与 σ² 分属两因子**。若成立，则 D₄ 的"旋转 σ + 两个反射 τ/σ²"在体系内对应"一个 4 阶演化轴 + 实部/虚部两个 2 阶区分轴"——这将是数比系列迄今最精细的"群结构→体系维度"映射，远超虚部的局部问题，直指 M40 的 D₄ 自指框架本身。
- 上一篇：十六种状态：Q(ζ₄₀) 的 Chebotarev 全景 —— 本文 §4.1 把其"隐藏第三根 Q(i)"升级为 σ² 不动点域。 - 上上一篇：虚部统一机制：ζ₈的Q(i)与K的i同源 —— 本文接管其 OPEN 6a。 - 下一篇预告：顺着 OPEN 7a，将研究 **K=Q(√φ,i) 能否分解为 Q(√φ)⊗Q(i) 的正交结构（τ 与 σ² 分属两因子）**。 - 自测：用 Python 验证 `conj(z8)==1/z8`（ζ₈ 复共轭=逆元，见 §2.2），并亲手算 `Re_τ(s+3i)` 是否等于 `s`（实投影提取纯实部分，见 §2.3）——这直接验证本文统一公式。 - 系列总览：数论作为本体论数学 · 系列目录