相互作用费米子系统中对称保护拓扑相的构造与分类

相互作用费米子系统中对称保护拓扑（SPT）相的分类与晶格模型构造非常有趣但极具挑战。在本文中，我们给出费米子 SPT（FSPT）态的系统性不动点波函数构造，适用于一般费米子对称群 $G_f=\mathbb{Z}_2^f \times_{\omega_2} G_b$，它是玻色对称群 $G_b$（可含时间反演对称）被费米子宇称对称群 $\mathbb{Z}_2^f = \{1,P_f\}$ 的中心扩张。我们的构造基于有限深度费米子对称局域酉（FSLU）变换的等价类概念以及装饰对称畴壁图像，并受特定障碍约束。我们还将讨论边界反常 SPT（ASPT）态的系统性构造与分类，其导致相应体 FSPT 态的平凡化。因此我们猜想，无阻碍且无平凡化的构造自然导出 FSPT 相的分类。每个不动点波函数都容许一个精确可解的交换投影哈密顿量。我们相信我们的分类方案可推广至点群/空间群对称以及连续李群对称。