Flux-Mediated Correspondence Between Real- and Momentum-Space Nonsymmorphicity
Pith reviewed 2026-05-07 11:01 UTC · model grok-4.3
The pith
Symmetric gauge flux creates a structural correspondence between real-space and momentum-space nonsymmorphicity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the presence of gauge flux, momentum-space crystallographic groups emerge from projective representations of real-space crystallographic groups, with particular attention to nonsymmorphic cases. The central result is a flux-mediated bi-nonsymmorphicity relation that establishes a structural correspondence between real-space and momentum-space nonsymmorphicity. This relation shows that, under symmetric gauge flux, real-space nonsymmorphicity can enforce momentum-space nonsymmorphicity and that in some cases the flux itself requires nonsymmorphicity to be present in both spaces at once.
What carries the argument
The flux-mediated bi-nonsymmorphicity relation, which connects projective representations of real-space nonsymmorphic groups to momentum-space symmetries through gauge flux.
Load-bearing premise
Symmetric gauge flux can be introduced while preserving the projective representation structure of real-space nonsymmorphic crystallographic groups.
What would settle it
A concrete lattice or artificial crystal with real-space nonsymmorphicity and symmetric gauge flux that nevertheless lacks the predicted momentum-space nonsymmorphicity would disprove the bi-nonsymmorphicity relation.
Figures
read the original abstract
Momentum-space nonsymmorphic symmetries have recently attracted significant interest in both artificial and condensed-matter crystals, whereas real-space nonsymmorphic symmetries have long played an important role in the study of crystalline topological phases. Here, we establish a general theory of momentum-space crystallographic groups that emerge from projective representations of real-space crystallographic groups in the presence of gauge flux, applicable in particular to real-space nonsymmorphic groups. A central result is a flux-mediated ``bi-nonsymmorphicity'' relation that reveals a structural correspondence between real-space and momentum-space nonsymmorphicity mediated by gauge flux. This relation implies that, under a symmetric gauge flux, real-space nonsymmorphicity can enforce momentum-space nonsymmorphicity, and that in some cases a symmetric gauge flux requires nonsymmorphicity in both real and momentum space. Our work not only identifies a fundamental structure in projective crystal symmetries, but also provides guiding principles for designing artificial crystals and condensed-matter platforms that exhibit both real-space and momentum-space nonsymmorphic symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a general theory of momentum-space crystallographic groups that arise from projective representations of real-space crystallographic groups in the presence of gauge flux, with particular attention to nonsymmorphic groups. Its central result is a flux-mediated bi-nonsymmorphicity relation establishing a structural correspondence between real-space and momentum-space nonsymmorphicity; this implies that symmetric gauge flux can enforce momentum-space nonsymmorphicity from real-space nonsymmorphicity and, in some cases, requires nonsymmorphicity in both spaces.
Significance. If the bi-nonsymmorphicity relation is shown to hold rigorously, the work would supply a fundamental structural insight into projective crystal symmetries and furnish concrete guiding principles for engineering artificial lattices and condensed-matter platforms that simultaneously host real-space and momentum-space nonsymmorphic features, thereby connecting established real-space topological concepts to the recent interest in momentum-space nonsymmorphicity.
major comments (2)
- [Section 3] The derivation of the bi-nonsymmorphicity relation (central result) assumes that a symmetric gauge flux can be introduced while exactly preserving the projective representation structure of a real-space nonsymmorphic group. The manuscript supplies neither the explicit compatibility conditions on the flux (e.g., the manner in which the cocycle or factor system is modified) nor counter-examples in which the structure is broken. This assumption is load-bearing for the enforcement claim.
- [Section 5] The implications section asserts that the correspondence provides design principles for artificial crystals, yet contains no explicit verification against known nonsymmorphic space groups or concrete lattice examples that would allow an independent check of whether the flux insertion indeed maps the real-space projective data to the claimed momentum-space nonsymmorphicity.
minor comments (2)
- [Section 2] The notation for projective factors and cocycles is introduced without a compact summary table; a short appendix listing the factor systems for the nonsymmorphic groups under consideration would improve readability.
- [Figure 2] Figure captions for the schematic illustrations of flux insertion could be expanded to explicitly label the nonsymmorphic translation elements and the resulting momentum-space symmetry operations.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment of significance, and constructive major comments. We address each point below and will revise the manuscript to incorporate clarifications and examples as outlined.
read point-by-point responses
-
Referee: [Section 3] The derivation of the bi-nonsymmorphicity relation assumes that a symmetric gauge flux can be introduced while exactly preserving the projective representation structure of a real-space nonsymmorphic group. The manuscript supplies neither the explicit compatibility conditions on the flux (e.g., the manner in which the cocycle or factor system is modified) nor counter-examples in which the structure is broken. This assumption is load-bearing for the enforcement claim.
Authors: We agree that explicit compatibility conditions strengthen the presentation. In the revised manuscript we will add a dedicated paragraph in Section 3 that derives the precise conditions on the symmetric gauge flux: the inserted flux must induce phase factors that commute with the original cocycle such that the projective representation remains isomorphic (i.e., the modified factor system satisfies the same associativity and normalization relations). We will also include a short counter-example of an incompatible flux that alters the cocycle class and thereby breaks the bi-nonsymmorphicity relation, thereby delineating the regime in which the central result holds. revision: yes
-
Referee: [Section 5] The implications section asserts that the correspondence provides design principles for artificial crystals, yet contains no explicit verification against known nonsymmorphic space groups or concrete lattice examples that would allow an independent check of whether the flux insertion indeed maps the real-space projective data to the claimed momentum-space nonsymmorphicity.
Authors: We accept that concrete verification would make the design principles more actionable. In the revised Section 5 we will add an explicit example based on the nonsymmorphic wallpaper group p4g. We will show the real-space projective data, the symmetric flux insertion that preserves the structure, and the resulting momentum-space nonsymmorphic generators, together with a brief schematic for an artificial lattice realization. This will permit direct independent verification of the mapping. revision: yes
Circularity Check
No circularity: bi-nonsymmorphicity relation derived from projective representations under flux
full rationale
The abstract and description present the central bi-nonsymmorphicity relation as a derived structural correspondence emerging from projective representations of real-space crystallographic groups in the presence of symmetric gauge flux. No quoted equations or steps reduce this result to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain. The applicability of symmetric gauge flux is asserted as preserving the projective structure, but this is framed as an input assumption enabling the derivation rather than an output equivalent to the inputs by construction. The paper therefore remains self-contained against external benchmarks with independent content in its general theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Projective representations of real-space crystallographic groups remain well-defined and yield momentum-space groups when a symmetric gauge flux is present
Reference graph
Works this paper leans on
-
[1]
Z. Pu, H. He, W. Deng, X. Huang, L. Ye, J. Lu, M. Ke, and Z. Liu, Phys. Rev. B108, L220101 (2023)
2023
-
[2]
Y. Liu, C. Jiang, W. Wen, Y. Song, X. Li, P. Lu, and S. Ke, Phys. Rev. A109, 013516 (2024)
2024
-
[3]
Jiang, Z
G. Jiang, Z. Y. Chen, S. J. Yue, W. B. Rui, X.-M. Zhu, S. A. Yang, and Y. X. Zhao, Phys. Rev. B109, 115155 (2024)
2024
-
[4]
P. Lai, J. Wu, Z. Pu, Q. Zhou, J. Lu, H. Liu, W. Deng, H. Cheng, S. Chen, and Z. Liu, Phys. Rev. Appl.21, 044002 (2024)
2024
-
[5]
Y.-L. Tao, M. Yan, M. Peng, Q. Wei, Z. Cui, S. A. Yang, G. Chen, and Y. Xu, Phys. Rev. B109, 134107 (2024)
2024
-
[6]
J. Hu, S. Zhuang, and Y. Yang, Phys. Rev. Lett.132, 213801 (2024)
2024
-
[7]
Z. Zhu, L. Yang, J. Wu, Y. Meng, X. Xi, B. Yan, J. Chen, J. Lu, X. Huang, W. Deng, and et al., Sci. Bull.69, 2050 (2024)
2050
-
[8]
A. G. Fonseca, S. Vaidya, T. Christensen, M. C. Rechts- man, T. L. Hughes, and M. Soljaˇ ci´ c, Phys. Rev. Lett. 132, 266601 (2024)
2024
-
[9]
S. Qiu, J. Hu, Y. Yang, C. Shang, S. Liu, and T. J. Cui, Natl. Sci. Rev.12, nwaf137 (2025)
2025
-
[10]
J. Hu, T. Song, K. Zhou, X. Jiang, S. Zhuang, and Y. Yang, Commun. Phys.8, 302 (2025)
2025
-
[11]
Y. Li, J. Du, and C. Qiu, Appl. Phys. Lett.128, 153101 (2026)
2026
-
[12]
C.-A. Li, J. Sun, S.-B. Zhang, H. Guo, and B. Trauzettel, Phys. Rev. B108, 235412 (2023)
2023
-
[13]
Z. Xiao, J. Zhao, Y. Li, R. Shindou, and Z.-D. Song, Phys. Rev. X14, 031037 (2024)
2024
-
[14]
C˘ alug˘ aru, Y
D. C˘ alug˘ aru, Y. Jiang, H. Hu, H. Pi, J. Yu, M. G. Vergniory, J. Shan, C. Felser, L. M. Schoop, D. K. Efetov, et al., Nature643, 376 (2025)
2025
-
[15]
Zhang, P
C. Zhang, P. Wang, J. Lyu, and Y. X. Zhao, Phys. Rev. Lett.135, 136601 (2025)
2025
-
[16]
Z. Y. Chen, S. A. Yang, and Y. X. Zhao, Nat. Commun. 13, 2215 (2022)
2022
-
[17]
Zhang, Z
C. Zhang, Z. Y. Chen, Z. Zhang, and Y. X. Zhao, Phys. Rev. Lett.130, 256601 (2023)
2023
-
[18]
H. Xue, Z. Wang, Y.-X. Huang, Z. Cheng, L. Yu, Y. X. Foo, Y. X. Zhao, S. A. Yang, and B. Zhang, Phys. Rev. Lett.128, 116802 (2022)
2022
-
[19]
T. Li, J. Du, Q. Zhang, Y. Li, X. Fan, F. Zhang, and C. Qiu, Phys. Rev. Lett.128, 116803 (2022)
2022
-
[20]
Z. Y. Chen, Z. Zhang, S. A. Yang, and Y. X. Zhao, Nat. Commun.14, 743 (2023)
2023
-
[21]
Wang, C.-C
Q. Wang, C.-C. Liu, Y.-M. Lu, and F. Zhang, Phys. Rev. Lett.121, 186801 (2018)
2018
-
[22]
C. Yoon and F. Zhang, arXiv preprint arXiv:2603.16828 10.48550/arXiv.2603.16828 (2026)
-
[23]
Wen, Phys
X.-G. Wen, Phys. Rev. B65, 165113 (2002)
2002
-
[24]
Y. X. Zhao and A. P. Schnyder, Phys. Rev. B94, 195109 (2016)
2016
-
[25]
S. M. Young, S. Zaheer, J. C. Y. Teo, C. L. Kane, E. J. Mele, and A. M. Rappe, Phys. Rev. Lett.108, 140405 (2012)
2012
-
[26]
Yang and N
B.-J. Yang and N. Nagaosa, Nat. Commun.5, 4898 (2014)
2014
-
[27]
S. M. Young and C. L. Kane, Phys. Rev. Lett.115, 126803 (2015)
2015
-
[28]
Shiozaki, M
K. Shiozaki, M. Sato, and K. Gomi, Phys. Rev. B91, 155120 (2015)
2015
-
[29]
Z. Wang, A. Alexandradinata, R. J. Cava, and B. A. 6 Bernevig, Nature532, 189 (2016)
2016
-
[30]
Shiozaki, M
K. Shiozaki, M. Sato, and K. Gomi, Phys. Rev. B93, 195413 (2016)
2016
-
[31]
Bradley and A
C. Bradley and A. Cracknell,The mathematical theory of symmetry in solids: representation theory for point groups and space groups(Oxford University Press, 2010)
2010
-
[32]
N. B. Backhouse and C. J. Bradley, Q. J. Math.21, 203 (1970)
1970
-
[33]
G. W. Moore, Applied group theory, lecture 1: Ab- stract group theory, Rutgers University course lecture notes (Physics 618) (2022), available online athttps: //www.physics.rutgers.edu/~gmoore/618Spring2022/ GTLect1-AbstractGroupTheory-2022.pdf
2022
-
[34]
Zak, Phys
J. Zak, Phys. Rev.134, A1602 (1964)
1964
-
[35]
D. R. Hofstadter, Phys. Rev. B14, 2239 (1976)
1976
-
[36]
Aubry and G
S. Aubry and G. Andr´ e, Ann. Israel Phys. Soc3, 18 (1980)
1980
-
[37]
R. Keil, C. Poli, M. Heinrich, J. Arkinstall, G. Weihs, H. Schomerus, and A. Szameit, Phys. Rev. Lett.116, 213901 (2016)
2016
-
[38]
H. Xue, Y. Ge, H.-X. Sun, Q. Wang, D. Jia, Y.-J. Guan, S.-Q. Yuan, Y. Chong, and B. Zhang, Nat. Commun.11, 2442 (2020)
2020
-
[39]
Huang, H
R. Huang, H. Li, S. Jia, J. Hu, S. Li, J. Li, B. Xie, M. Lu, P. Zhan, Y. Chen, and Z. Wang, Phys. Rev. Lett.135, 216603 (2025)
2025
-
[40]
Weyl,The theory of groups and quantum mechanics, dover ed
H. Weyl,The theory of groups and quantum mechanics, dover ed. (Dover Publications, New York, 1950)
1950
-
[41]
See Supplemental Material at [URL will be inserted by publisher] for details of the derivations and additional data
-
[42]
G. Mackey,Unitary group representations in physics, probability, and number theory, Advanced book classics (Addison-Wesley Publishing Company Advanced Book Program, Redwood City, CA, 1989)
1989
-
[43]
Flux-Mediated Correspondence Between Real- and Momentum-Space Nonsymmorphicity
M. Newman,Integral matrices, Vol. 45 (Academic Press, 1972). 1 Supplementary Materials for “Flux-Mediated Correspondence Between Real- and Momentum-Space Nonsymmorphicity” Contents SI. The canonical decomposition of multipliers 2 SII. Rationality of multipliers 3 SIII. The central sublattice 4 SIV. Construction of translation multipliers trivial on the ce...
1972
-
[44]
222I 27 6.mm2I 28 7.mmmI 29
-
[45]
422P, 4mmP, ¯42mP, ¯4m2P 31
-
[46]
321P, 312P, 31mP, 3m1P 31
-
[47]
622P, 6mmP, ¯6m2P, ¯62mP, 6/mmmP34
-
[48]
Other nontrivial ΛΦ cases 35 1.mmmF 35 2.m ¯3F 36 2 SI
23F 35 SXVI. Other nontrivial ΛΦ cases 35 1.mmmF 35 2.m ¯3F 36 2 SI. The canonical decomposition of multipliers Let us start with introducing the presentation of crystallographic groups. Each crystallographic group Γ belongs to an arithmetic classc, which specifies how the point groupGof Γ acts on the translation subgroupL. Here,Lis also referred to as a ...
-
[49]
= (e1,e 2,e 3)Ω,(S1) the primitive translations of the normal sublattice can be expressed asa 1 =pe ′ 1,a 2 =pe ′ 2 anda 3 =e ′
-
[50]
Since Ω is an element ofGL(3,Z),{e ′ i}is also a set of primitive lattice vectors forLand may be referred to as proper primitive lattice vectors under the flux matrix Φ. Under this basis, the connection form and the flux form are, respectively, represented by the matrices, A′ = ΩT AΩ = 0q/p0 0 0 0 0 0 0 ,Φ ′ = ΩT ΦΩ = 0q/p0 −q/p0 0 0 0 0 ....
-
[51]
When the forms takes Φ = 0 1 2 0 − 1 2 0 0 0 0 0 , the quotientZ F /LF is isomorphic toZ 2 ×Z 2
¯31mP, ¯3m1P For arithmetic class ¯31mP, ¯3m1P, the choice of basis is the same as in Section.SXV 11. When the forms takes Φ = 0 1 2 0 − 1 2 0 0 0 0 0 , the quotientZ F /LF is isomorphic toZ 2 ×Z 2. A convenient basis for Z2 ×Z 2 is given by the cosets ofQ 1 andQ 2. The group elements ¯Rz, My, Mx act onZ 2 ×Z 2 via matrices (mod 2) ¯Rz = 1 1 1 0 , ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.