穿孔信息流形上的相对拓扑、主丛约化与指数理论
——通向 、三代指标与 Yukawa‑缠绕的统一框架
摘要
满秩密度矩阵流形 是开凸可缩的,Uhlmann 主丛在满域 admit 全局平方根截面 ,因而绝对整值拓扑不变量在满域上缺失。本文转向穿孔相对拓扑:在 的情形中,从 移除三—二能级间隙闭合集 的管状邻域,得到穿孔域 。在 上以 Riesz 谱投影构造秩 子丛 并实现主丛结构群约化 ;进一步利用行列式平衡得到 约化。我们证明了一般群同构
并以 推得 。通过相对 理论边界映射统一“投影‑陈类“与“质量‑clutching( 绕数)“,在二维横截 上得到
在 的 spin/Dolbeault 口径计算 作为“三代原型“。本文给出所有核心命题与定理的完整证明,并提供两条协议级可复现实验/数值方案(纯化干涉环与光子 Dirac‑质量涡旋)。附录包含:统一围道与全域光滑性、群同构的 gcd/lcm 归一化与“选根“、相对 理论与 Chern 角色交换图的严格证明、Callias/Anghel–Bunke 指数定理的 Fredholm 构造、以及 时最小电荷 的一页算术推导。
关键词:Uhlmann 主丛;穿孔相对拓扑;Riesz 投影;主丛约化;; 商;相对上同调/ 理论;Dolbeault/spin 指标;Callias/Anghel–Bunke 指数;行列式线丛;线算符谱;可复现实验协议
0 记号、假设与范围
- 混态流形:,本文固定 。
- 本征序:;谱隙函数 。
- 穿孔域:取 ,定义 。边界 等价于 的管状边界。
- Riesz 投影:固定统一围道族 (见引理 1.2 与附录 A),令
- Uhlmann 主丛:,右作用 ; 给出 -主丛 。
- regular/ordinary 过程(可检清单):沿路径满秩、生成元局域 CPTP 且 、可选连续净化规范、且避开 ()。该清单仅作动机:满域无整值全局类;本文专注穿孔域上的相对量子化。
- 归一化:de Rham 配对统一取 因子; 上超平面类 归一化为 、。
1 主结果(陈述)
定理 A(群同构,gcd/lcm 归一化) 令 、。同态
为满射,且 。因而
特例 。
命题 B(分拆唯一性) 在“简单因子恰为 且仅保留一个 “的约束下, 的唯一可行分拆为 。
定理 C(相对桥接) 设质量端项 在 可逆,取单位化 。则相对 理论边界像 与投影线丛 相等;在二维链接上
定理 D(Callias/Anghel–Bunke) 若外区可逆 、、 等条件成立,则
由 Bott 周期性 ( 奇)、( 偶),得:仅当横截维 为偶时指数可能非零; 时
定理 E( 指标) 、,故 。
推论 F(SM 全局群) 由定理 A、命题 B,得到
附录 E 进一步给出线算符谱的电/磁荷格与 时最小电荷步长 的算术推导。
2 退化集几何与统一围道
命题 2.1(共维 3 与 -链接) 在保持 开隙且无额外对称性的三维横截切片中, 为共维 3 的正规子集,其小球边界链接同伦 。 证明要点:将哈密顿量限制到近简并的 2 维本征子空间,得到 ;退化条件 给三独立实约束。见附录 A.3。
引理 2.2(统一围道;全域 ) 对任意紧致 ,存在 与有限覆盖 及闭曲线族 使:, 与余谱距离 ;由此 在 上 并可光滑拼接。详见附录 A.1–A.2。
3 主丛约化至
定理 3.1(约化=截面) 设 为 -主丛,。由 给出截面 当且仅当 admit -约化 。 证明:标准主丛论,附录 B.4。
命题 3.2(行列式平衡的规范性) 背景平凡丛 之固定体积形式给出规范同构 ,从而约化到 。
定理 3.3(群同构;定理 A 的 )
证明:见附录 B.1;特别注意满射的“选根“一步:给 ,取 满足 ,令 、。核同构到 。
命题 3.4(分拆唯一性;命题 B) 分拆 为唯一满足“简单因子 且仅一个 “的方案; 无 , 与 皆保留两个 。详见附录 B.2。
4 相对拓扑的两种刻画及其等价(定理 C)
4.1 相对 理论与边界映射 对配对 ,有长正合列
若 在 可逆,则单位化 定义 ,其边界 。
4.2 交换图与 de Rham 代表 奇 Chern 角色 的 1 维代表为
存在交换图(附录 C.1):
故
4.3 等价命题(定理 C) 与 Riesz 投影给出的 相比较,利用自然性与 clutching‑gluing 论证(附录 C.2),得
从而在二维链接上 。
5 上的 spin/Dolbeault 指标(定理 E)
取 ,。
顶维系数 ,故 。Kodaira 消失确保 。
6 Callias/Anghel–Bunke 指数=度数;二维绕数公式(定理 D)
6.1 Fredholm 条件 设 完备,Dirac 型算子 与自伴端项 。若存在 使 上 ,且 、,则 为 Fredholm(附录 D.1)。
6.2 指数=度数与奇偶性 边界化与 Bott 同构给
二维横截时
并与零模计数一致。符号约定: 取逆时针定向。
7 与 的线算符谱对齐与最小电荷
由定理 3.3:。核生成元可取
对 (分别为 triality、 parity、 整荷)之作用为
降到商群的充要条件:。故规范化超荷 之最小分数步长为 。附录 E 给出电/磁荷格、Dirac 配对整阵与 周期的一页推导与示例表。
8 协议级实验与数值方案(概述)
E1 纯化干涉(绕 的影像):离散化统一围道,读出 ,其中 。采样 、相位噪声 rad 可稳判整数。失败情形:路径擦碰 、非平滑净化;对策:放大围道半径、提高纯度隙与重复采样。
E2 光子 Dirac‑质量涡旋:写入质量相位 ,外区 。零模数 、近场强度中心化、带隙中点能位构成指纹。稳健区:相位误差 、耦合失配 。附录 F 给出参数表与“通过标准“。
9 讨论与展望
- 相对 vs 绝对:满域可缩→绝对整值类消失;穿孔→相对类量子化。
- 维度效应: 仅在二维横截完全检测;高维需使用稳定 群生成元。
- 群论桥接:谱分裂诱导之 与线谱字典协同工作,给出最小电荷步长 。
- 后续:多缺陷叠加的相对类加法、噪声‑非平衡下的鲁棒窗口、与高阶(-块)分裂的系统推广。
附录(详细证明等)
附录 A|谱几何与统一围道(对应 §2)
A.1 谱隙下界与围道选择 设 。在 上 连续;任取紧致 ,设 。对每个 取以 为心、半径 的圆 ,它围住上谱簇且距余谱 。
A.2 Riesz 投影的 依赖 由 resolvent 估计 与 的光滑性, 在 上 。用有限覆盖 与分片单位拼接,得全域 的投影场 。
A.3 共维 3 与 -链接 在 & 近简并处,取 ,有效哈密顿量 ;退化 ,三独立实方程故共维 3。取法向小球 ,其边界 为链接。
附录 B|群同构与最小分拆(对应 §3)
B.1 定理 A 的完整证明 同态
核:。由 。映射
为群同构,故 。
满射(“选根”):给定 (即 ),取 满足
令
则
且 。从而得到所述同构。
B.2 分拆唯一性表
| 分拆 | 简单部 | -约束后 个数 | 结论 |
|---|---|---|---|
| 1 | 无 | ||
| 2 | 违“一 “ | ||
| 2 | 同上 | ||
| 1 | 唯一满足 |
B.3 一般化 ;核生成元的显式写法依嵌入归一化而定,但商群同构类不变。
附录 C|相对 理论与 Chern 角色(对应 §4)
C.1 交换图 对配对 ,奇 Chern 角色 给
偶 Chern 角色 与 de Rham 边界算子 组成交换图
其可交换性由自然性与 Mayer–Vietoris 拼接给出。
C.2 桥接等式 设 为单位化质量,。另一方面,Riesz 投影得到 ,从而 。采用同伦延拓使 与谱分裂态射稳定相容,通过交换图在 中配对到链接 的整数相等,故两相对类相等。
C.3 二维横截的显式配对 若 的分片链接是 ,则
附录 D|Callias/Anghel–Bunke(对应 §6)
D.1 Fredholm 构造 取外区截止 与参数子 。有
其中 为相对紧(由 、Rellich 紧嵌入与外区可逆性)。故 为 Fredholm。
D.2 边界映射与度数 将外区同伦到仅依赖方向的 ,指数等于边界映射 。Bott 同构给出
D.3 二维单涡旋示例 , , 。则 、。取逆时针定向为正, 指数变号。
附录 E|线算符谱与最小电荷 (对应 §7)
E.1 核生成元与同余 由定理 3.3, 生成元可取
对 的作用为 。降商条件:
令 ,故最小分数单位 。
E.2 电/磁荷格与 Dirac 配对(示意) 以 记电/磁荷向量,中心粘合给出同余约束矩阵 ,其满足 ()等价。Dirac 配对整阵 在商上整性良好; 周期在商群识别后发生等价缩并。示例表:基本表示 与 的 值带来 的分数部分 ,与 相位合成后给出跨越最小步长 。
附录 F|实验与数值“checklist“(对应 §8)
F.1 E1 纯化干涉
- 输入:回路 、、采样 、。
- 步骤:净化—演化—干涉读出—相位展开—围道积分。
- 输出:。
- 通过标准: 即可判定整数;若失败,增大回路半径与 。
F.2 E2 光子涡旋
- 输入:阵列尺寸、耦合 、质量幅 、涡旋数 。
- 步骤:相位版图写入—激励—近场成像—谱定位—零模计数。
- 输出:零模数 。
- 通过标准:带隙 噪声带宽,中心峰显著且能位接近中点。
F.3 数值脚本要点
- 网格 取 ;
- Riesz 投影沿固定半径 圆进行围道求积;
- Wilson‑loop 的 与 一致,误差 。
至此,正文与附录完。