Lieb-Schultz-Mattis constraints from stratified anomalies of modulated symmetries

Abstract: We introduce stratified symmetry operators and stratified anomalies in quantum lattice systems as generalizations of onsite symmetry operators and onsite projective representations. A stratified symmetry operator is a symmetry operator that factorizes into mutually independent subsystem symmetry operators; its stratified anomaly is defined as the collection of anomalies associated with these subsystem operators. We develop a cellular chain complex formalism for stratified anomalies of internal symmetries and show that, in the presence of crystalline symmetries, they give rise to Lieb-Schultz-Mattis (LSM) constraints. This includes LSM anomalies and SPT-LSM theorems. We apply this framework to modulated $G$ symmetries, which are symmetries whose total symmetry group is ${G_\mathrm{tot} = G \rtimes G_\mathrm{s}}$, with $G_\mathrm{s}$ the crystalline symmetry group. Notably, a nonzero stratified anomaly within a fundamental domain of $G_\mathrm{s}$ (e.g., a unit cell) does not always imply an LSM anomaly for modulated symmetries. Instead, the existence of an LSM anomaly also depends on how $G_\mathrm{s}$ acts on $G$. When $G_\mathrm{s}$ is the lattice translation group, we find an explicit criterion for when a stratified anomaly causes an LSM anomaly, and classify LSM anomalies using homology groups of $G_\mathrm{s}$-invariant cellular chains. We illustrate this through examples of exponential and dipole symmetries with stratified anomalies, both in ${(1+1)}$D and ${(2+1)}$D, and construct a stabilizer code model of a modulated SPT subject to an SPT-LSM theorem.