While crystallographic groups are typically considered in real space, momentum-space crystallographic groups (MCGs) have recently emerged as an active research area. This development is largely driven by the framework of projective crystal symmetry, where all non-symmorphic crystallographic groups arise from phase factors between real-space translations and point-group elements, according to Mackey’s representation theory [1,2]. A key implication of non-symmorphic MCGs is that the momentum-space unit—traditionally regarded as a torus—can take the form of any compact flat manifold, known as the ten platycosms, which are the orbital spaces of the ten Bieberbach groups [3]. For each platycosm, the topological classification, specifically the reduced K-group, is isomorphic to the second integral cohomology group of the corresponding Bieberbach group [3]. We will further demonstrate that the cohomology groups of MCGs can exhaustively classify all Abelian crystalline topological insulators, as well as all twistings of point-group actions over the Brillouin torus [4]. By establishing an isomorphism between the integral cohomology and a one-degree-lower cohomology with U(1)-valued functions over momentum space as coefficients, we can algebraically formulate a complete set of topological invariants for classifying Abelian crystalline topological insulators and algebraically represent all twistings of point-group actions.
References:
[1] Z. Y. Chen, S. A. Yang, Y. X. Zhao, Nat. Commun. 13, 2215 (2022)
[2] C. Zhang, Z. Y. Chen, Z. Zhang, Y. X. Zhao, Phys. Rev. Lett. 130, 256601 (2023)
[3] C. Zhang, P. Wang, J. Lyu, Y. X. Zhao, Phys. Rev. Lett. 135, 136601 (2025)
[4] T. R. Liu, Z. Zhang, Y. X. Zhao, arXiv:2512.21844 (2025)