[论文解读] Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principle

Arun Debray|arXiv (Cornell University)|Feb 4, 2021

Molecular spectroscopy and chirality被引用 8

一句话总结

本文提出了一种广义的同伦理论假设，用于分类具有混合空间对称性和内部对称性的可逆物相——特别是空间对称性（如点群）与费米子统计对称性（费米子统计）相混合的费米子系统。利用Borel等变广义同调与Adams谱序列，本文证明了费米子晶体等效原理（FCEP），表明此类物相由具有修正结构群的流形的 bordism 群分类，并在多个例子中验证了其与已知物理分类的一致性。

ABSTRACT

Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases where the symmetry type mixes nontrivially with the spatial symmetry, such as crystalline phases with spin-1/2 fermions. From this ansatz, we prove as a theorem a "fermionic crystalline equivalence principle," as predicted in the physics literature. Using this and the Adams spectral sequence, we compute classifications of some classes of phases with a point group symmetry; in cases where these phases have been studied by other methods, our results agree with the literature.

研究动机与目标

• 将Freed-Hopkins关于具有空间对称性的可逆物相的假设推广至对称类型与空间作用非平凡混合的情形，特别是涉及费米子统计对称性的情形。
• 在具有局部常数混合对称类型结构的G-空间上，提出一个可逆物相的通用数学假设，定义物相同调群 PhG∗(Y, L)。
• 将费米子晶体等效原理（FCEP）作为定理证明，建立物相同调群与具有修正结构群的流形的 bordism 群之间的同构关系。
• 利用Adams谱序列计算具有点群对称性的费米子SPT物相的显式分类，验证该假设与已知物理结果的一致性。

提出的方法

• 引入基于Borel等变广义同调的广义假设，其中对称性的混合通过G-空间Y上对称类型局部系统L来编码。
• 将物相同调群 PhG∗(Y, L) 定义为具有混合空间与内部对称性的可逆物相的分类结果。
• 将费米子晶体等效原理（FCEP）作为定理建立：PhG0(Y, L) ≅ π0(Map(MTH, Σ²IZ))，其中修正结构群H由混合数据导出。
• 应用Adams谱序列计算具有点群对称性（如四面体、八面体、二十面体）的示例中的物相同调群。
• 利用Madsen-Tillmann谱MTH与Anderson对偶谱IZ来建模可逆场论及其通过同伦群的分类。
• 将结果与已知物理分类进行比较，例如在具有旋转与镜像对称性的自旋-1/2费米子系统中，确认一致性。

实验结果

研究问题

• RQ1 如何将Freed-Hopkins关于空间对称性的假设推广至非平凡混合费米子统计对称性及其他内部对称性的情形？
• RQ2 在存在此类混合对称性的情况下，费米子晶体等效原理（FCEP）的精确数学表述是什么？
• RQ3 在该广义框架下，具有点群对称性的可逆物相的分类能否简化为 bordism 群的计算？
• RQ4 该假设预测的物相群是否与其它方法在已建立的物理模型中得到的已知分类一致？
• RQ5 该框架能否扩展至其他Altland-Zirnbauer类或超出点群的晶系空间群？

主要发现

• 本文作为定理证明了费米子晶体等效原理（FCEP），建立了物相同调群 PhG0(Y, L) 与具有修正结构群的流形的 bordism 群之间的同构关系。
• 对于具有自旋-1/2费米子与点群对称性（如四面体、八面体）的系统，计算得到的物相群与已知物理分类一致，验证了所提假设的有效性。
• Adams谱序列的使用使得在多个例子中（包括非交换点群）能够显式计算物相同调群。
• 该框架成功处理了空间对称性与费米子统计对称性混合的情形，而这些情形超出了先前Freed-Hopkins假设的适用范围。
• 结果与近期晶格研究一致，例如Zhang-Ning-Qi-Gu [ZNQG25] 在晶格模型中实现了一些预测的物相。
• 本文提供了FCEP的完全一般化同伦理论表述，扩展了先前的提议，并为未来在其他对称类型下的分类工作奠定了基础。