Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principle
arXiv:2102.02941
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.
105 pages. Comments welcome! v3: a few more errors have been corrected
References in corpus (8)
- Symmetry Protected Topological States of Interacting Fermions and Bosons
- Symmetries and Anomalies of (1+1)d Theories: 2-groups and Symmetry Fractionalization
- Tenfold Topology of Crystals: Unified classification of crystalline topological insulators and superconductors
- Bulk characterization of topological crystalline insulators: stability under interactions and relations to symmetry enriched U(1) quantum spin liquids
- Unwinding Fermionic SPT Phases: Supersymmetry Extension
- Topological Order and Symmetry Anomaly on the Surface of Topological Crystalline Insulators
- Solvable lattice model for (2+1)D bosonic topological insulator
- Some comments on 6d global gauge anomalies
Cited by in corpus (5)
- Higher cup products on hypercubic lattices: application to lattice models of topological phases
- Effective field theories of topological crystalline insulators and topological crystals
- Anomaly indicators and bulk-boundary correspondences for 3D interacting topological crystalline phases with mirror and continuous symmetries
- Lieb-Schultz-Mattis Theorem and the Filling Constraint
- Stable diffeomorphism classification of some unorientable 4-manifolds