A Clifford-index approach connecting boundary Dirac fermions to sigma-model topological terms in the periodic table of topological insulators and superconductors

技术摘要：关于边界狄拉克费米子与 $\sigma$ 模型拓扑项的 Clifford 指数方法

问题陈述
由十个 Altland–Zirnbauer (AZ) 对称类组织的拓扑绝缘体与超导体周期表，在历史上是通过两种截然不同的物理方法推导出来的：

1. 动量空间 K-理论： 通过拓扑不变量（例如 Brillouin 环面上的 $K$-理论群）对能隙体哈密顿量进行分类。
2. 边界安德森局域化： 分析受对称性保持型无序影响的无质量边界费米子，其中拓扑稳定性反映在所得非线性 $\sigma$ 模型的拓扑项（Wess–Zumino 项或 $\mathbb{Z}_2$ $\theta$ 项）中。

虽然这些方法得出了相同的分类表，但连接底层边界狄拉克费米子理论与特定 $\sigma$ 模型拓扑项（特别是实类中的 $\mathbb{Z}_2$ $\theta$ 项和 Wess–Zumino 项）的直接物理推导在历史上仍是不完整的。对于实类的显式推导往往依赖于低维度的、特定模型的技巧，而非统一的算符级框架。本文通过开发一种严谨的指数理论框架，直接从边界狄拉克模型推导这些拓扑项，从而填补了这一空白。

方法论
作者构建了一个以椭圆插值柱面算符为核心的三部分指数理论框架。该方法论如下进行：

1. 物理设置与 Clifford 代数：
   研究始于八个实 AZ 类中的最小非相互作用无质量狄拉克模型。作者固定了物理动能矩阵和对称性表示（时间反演 $T$ 和粒子-空穴 $C$），以定义物理 Clifford 模。他们区分了复动能代数与完整的实物理 Clifford 代数，并考虑了物理对称性所需的重数和体积扇区交换。

2. 椭圆插值柱面：
   为了比较两个 $\sigma$ 场纹理（$Q_0$ 和 $Q_1$），作者通过在端点纹理的 Dirac-$Q$ 核之间进行插值，构造了一个 $(D+1)$ 维椭圆柱面算符 $\hat{H}$。该算符作用于一个带有辅助坐标 $t$ 的柱面上。

   • 该柱面算符配备了一个由提升至柱面的物理对称性所定义的分级 Clifford 对称代数。
   • 至关重要的是，该代数的结构仅取决于余数 $r = s - D - 1 \pmod 8$，其中 $s$ 是 AZ 类指数，$D$ 是边界空间维度。

3. 商指数与零模稳定性：
   作者为柱面算符的零模空间定义了一个“商指数”。该指数区分了受对称性保护的零模与那些可以通过对称性兼容扰动被提升（消除）的零模。

   • 指数被计算为将零模模扩张到扩大代数（扩展代数）时的障碍。
   • 得到的商群 $I_r$ 在 $r=1,2$ 时为 $\mathbb{Z}_2$，在 $r=3,7$ 时为 $\mathbb{Z}$，在其他情况下则为平凡。这种代数结构镜像了 $\sigma$ 模型目标流形的稳定范围内的同伦群。

4. 纹理-指数定理：
   作者使用几何变形论来证明端点纹理的相对同伦类与商指数之间的同构。

   • 拓扑障碍被定位于球体内的一个 Clifford 缺陷（一个“规范基本缺陷”）中。
   • 通过求解该缺陷的局部 Dirac 算符的核（使用振荡器实现），作者固定了生成元归一化，证明单个最小物理模产生单位指数。

5. 费米子积分（Pfaffian 与谱流）：
   为了将指数与费米子积分联系起来，作者：

   • 利用一个与场无关的酉同余变换，将复反对称核转换为实斜对称算符。
   • 为该实算符定义正则化的 Pfaffian。
   • 应用 Witten 的谱流论证，表明 Pfaffian 沿插值路径的符号传输由 mod-two 柱面指数决定。这确立了 $\mathbb{Z}_2$ $\theta$ 权重。

6. Wess–Zumino 项的推导：
   对于整数指数（$r=3,7$），作者将复父类异常（来自底层的复 Dirac 结构）与归一化的实纹理指数相结合。这种结合产生了维度降低一阶且具有单位球面能级的 Wess–Zumino (WZ) 项。

主要贡献与结果

• 统一的算符级对应关系： 本文建立了边界狄拉克理论与非线性 $\sigma$ 模型拓扑项之间的直接算符级联系。它超越了抽象的群同构，提供了一个物理推导过程来确定拓扑权重。
• $\mathbb{Z}_2$ $\theta$ 项的推导： 对于分类为 $\mathbb{Z}_2$ 的实类，该框架显式推导了单个最小物理模的非平凡 $\mathbb{Z}_2$ $\theta$ 权重（$e^{i\pi \nu}$）。它澄清了仅有实 Pfaffian 表示不足以产生受保护的 $\theta$ 项；完整的对称性代数必须产生非平凡的商指数（这解释了为什么尽管 $r=5,6$ 具有实结构，其条目仍是平凡的）。
• Wess–Zumino 项的归一化： 该框架推导了具有单位球面能级的实类的 WZ 项。通过结合复异常计算与物理重数以及实目标周期，解决了归一化歧义，显示 Pfaffian 因子 $1/2$ 与整数指数结合后产生单位能级。
• 商指数框架： 作者引入并应用了一种特定的商指数公式（基于模扩张障碍），用以表征在存在反对易对称性时的零模稳定性。该框架正确预测了周期表的条目，并解释了在某些情况（如 $r=5,6$）下，当简单的奇偶性论证可能失效时，为何缺乏保护。
• 显式缺陷计算： 作者使用振荡器表示法提供了对规范基本 Clifford 缺陷核的精确计算，从而在不依赖于匹配现有表格的情况下，固定了指数生成元的归一化。

意义与声明
本文声称提供了周期表中动量空间 K-理论方法与边界局域化方法之间的“物理联系”。通过直接从边界费米子积分推导拓扑项，本文验证了 $\sigma$ 模型对拓扑稳定性的描述。

作者对其研究范围保持谦逊，指出：

• 结果适用于最小连续族及稳定辅助秩。
• 推导假设了足够缓慢变化的纹理以及兼容的算符定义域（Fredholm 实现）。
• 与微观系统的联系需要匹配物理物种计数及任何额外的紫外拓扑响应，这些响应无法被吸收进参考取向约定中。
• 推导针对的是基于球面的纹理。对于一般流形或不可延展映射，可能需要进一步的细化（例如 Spin 结构或扭缠），这些不在本特定指数定理的涵盖范围内。

最终，这项工作证明了周期表中的拓扑项不仅是由目标流形的同伦性质所允许的，而且是由底层边界狄拉克费米子的受保护零模结构在物理上生成的。