---
title: Crystalline Equivalence Principle
url: https://www.emergentmind.com/topics/crystalline-equivalence-principle-cep
type: topic
---

# Crystalline Equivalence Principle

The Crystalline Equivalence Principle (CEP) is the statement that SPT phases protected by a spatial symmetry \(G_{\text{sp}}\) are in one-to-one correspondence with SPT phases protected by the same symmetry group, viewed as an internal symmetry \(\tilde G_{\text{sp}}\), where the orientation-reversing elements of \(G_{\text{sp}}\) are mapped to anti-unitary symmetries in \(\tilde G_{\text{sp}}\) [2603.19381]. In its generalized form, CEP is an equivalence of categories between crystalline topological phases on a \(G\)-space \(\mathcal{X}\) and TQFTs with internal symmetry encoded by the homotopy quotient \(\mathcal{X}/\!/G\) [2508.10978].

## 1. Original condensed-matter form

Thorngren–Else’s original CEP addressed crystalline SPT phases on \(\mathbb{R}^d\). In the coarse-grained limit, the lattice spacing is much smaller than the unit cell, and the system can be modeled as living over the contractible space \(\mathbb{R}^d\). In that setting, the original CEP says that crystalline SPT phases with spatial symmetry \(G\) on \(\mathbb{R}^d\) are classified like SPTs with internal symmetry \(G\). In the generalized framework this appears as the special case \(E G \simeq \mathbb{R}^d\) for a free \(\mathbb{Z}^d\)-action, with
\[
E\mathbb{Z}^d/\mathbb{Z}^d \simeq B\mathbb{Z}^d,
\]
and the corresponding corollary identifies crystalline topological phases on \(\mathbb{R}^d\) with TQFTs carrying internal \(\mathbb{Z}^d\)-symmetry [2508.10978].

The condensed-matter meaning of this statement is that a crystalline symmetry may be treated as if it were an onsite symmetry, provided one works in the regime where the spatial background is effectively contractible. This is the form of CEP that became standard in crystalline SPT classification. A plausible implication is that the familiar “crystalline \(\leftrightarrow\) internal” dictionary is not a primitive statement about groups alone; it is a contractible-space shadow of a more general categorical equivalence.

## 2. Generalized categorical formulation

The generalized formulation fixes a symmetric monoidal \((\infty,n)\)-category \(\mathbf{\Theta}\) with duals. A \(G\)-space is a functor
\[
\mathcal{X}:\mathrm{B}G\to Spaces,
\]
and a \(G\)-category is a functor
\[
\mathbf{\Theta}:\mathrm{B}G\to Cat_{(\infty,n)}.
\]
A crystalline topological phase is then defined as an object of
\[
\mathrm{Hom}_{Fun(\mathrm{B}G,Cat_{(\infty,n)})}(\mathcal{X},\mathbf{\Theta}),
\]
that is, a \(G\)-equivariant functor \(\mathcal{X}\to \mathbf{\Theta}\). On the internal-symmetry side, the key construction is the homotopy quotient
\[
Un_{\mathrm{B}G}(\mathcal{X}) \simeq \mathcal{X}/\!/G,
\]
the action \(\infty\)-groupoid encoding both the space and the \(G\)-action [2508.10978].

The main theorem gives an equivalence of categories between \(n\)-dimensional crystalline topological phases on the \(G\)-space \(\mathcal{X}\) valued in a \(G\)-category \(\mathbf{\Theta}\), and a full subcategory of \(n\)-dimensional TQFTs with internal \(\mathcal{X}/\!/G\)-symmetry valued in \(Un(\mathbf{\Theta})\), namely those theories that intertwine the \(G\)-bundle structure on \(\mathcal{X}/\!/G\) and on \(Un(\mathbf{\Theta})\). The associated slogan is
\[
\text{A spatial symmetry is equivalent to a \((-1)\)-form internal symmetry.}
\]
If the \(G\)-action on \(\mathbf{\Theta}\) is trivial, the target can be taken to be \(\mathbf{\Theta}\) itself, and one has
\[
Hom_{Fun(\mathrm{B}G,Cat_{(\infty,n)})}(\mathcal{X},\mathbf{\Theta})
\;\simeq\;
Fun(\mathcal{X}/\!/G,\mathbf{\Theta}).
\]

This formulation replaces the contractibility assumption by the homotopy quotient. The internal symmetry is therefore not merely a group action on fields; it is a family of theories parametrized by the \(\infty\)-groupoid \(\mathcal{X}/\!/G\). The proof uses straightening/unstraightening and Lurie’s Cobordism Hypothesis, together with a conjectural technical point asserting that if \(\mathbf{\Theta}\) has duals and \(\mathrm{Th}:\mathcal{X}\to Cat_{(\infty,n)}\) factors through \((\infty,n)\)-categories with duals, then the corresponding unstraightening also has duals.

## 3. Internal \((-1)\)-form symmetry and anomalies

In this framework, an internal symmetry of type \(Y\) is a \((-1)\)-form symmetry: a family of theories indexed by a space or \(\infty\)-groupoid,
\[
\mathrm{Th}:Y\to \mathbf{\Theta}.
\]
Paths in \(Y\) describe topological defects implementing the symmetry. A nonanomalous \(\mathbf{\Theta}\)-theory with \((-1)\)-form \(\mathcal{X}\)-symmetry is simply a functor
\[
\mathrm{Th}:\mathcal{X}\to \mathbf{\Theta},
\]
equivalently a section of the trivial fibration
\[
\mathcal{X}\times \mathbf{\Theta}\to \mathcal{X}.
\]
The paper then defines anomalies by replacing this trivial bundle with a nontrivial bundle
\[
\widetilde{\mathbf{\Theta}}\to \mathcal{X}
\]
whose fibers are all equivalent to \(\mathbf{\Theta}\); an anomalous theory is a section of \(\widetilde{\mathbf{\Theta}}\) [2508.10978].

At the level of homotopy theory, such a bundle is classified by a map
\[
\alpha:\mathcal{X}\to A(\mathbf{\Theta}),
\]
where \(A(\mathbf{\Theta})\) is the classifying space of autoequivalences of \(\mathbf{\Theta}\), denoted \(End(\mathbf{\Theta})^\times\). The category of anomalies for \((\mathcal{X},\mathbf{\Theta})\)-theories is equivalent to the full subcategory of
\[
Fun(\mathcal{X},A(\mathbf{\Theta}))\subset Fun(\mathcal{X},Spaces)
\]
consisting of those \(\alpha\) such that \(\alpha(x)\simeq \mathbf{\Theta}\) for all \(x\in \mathcal{X}\). This identifies an anomaly with a twisting of the bundle of theories over the symmetry parameter space.

Several examples sharpen this abstract description. For \(\mathcal{X}=BG\) and \(\mathbf{\Theta}=Vect\), one has \(A(Vect)\) with \(\pi_1\cong \mathbb{C}^\times\), and anomalies are classified by
\[
[BG,A(Vect)]\simeq H^2(G;\mathbb{C}^\times),
\]
as for 1d projective representations. For an abelian group \(A\), an \(i\)-form \(A\)-symmetry is equivalent to a \((-1)\)-form symmetry with \(\mathcal{X}=B^{i+1}A\), so anomalies become maps \(B^{i+1}A\to A(\mathbf{\Theta})\). The same construction extends from \(\infty\)-groupoids to general \((\infty,n)\)-categories: if \(\mathcal{C}\) encodes a categorical symmetry, anomalies are described by
\[
Fun(\mathcal{C},End(\mathbf{\Theta})).
\]
An anomalous theory is also a relative theory: for \(\alpha:\mathcal{X}\to A(\mathbf{\Theta})\), an anomalous \((\mathcal{X},\mathbf{\Theta})\)-theory is identified with a natural transformation \(\underline{pt}\to \alpha\), and in the linear context with \(\mathbf{\Theta}=nVect\), with a defect between the trivial bulk theory and the anomaly bulk.

## 4. Matrix-product-state realizations and modulated symmetries

A constructive one-dimensional realization appears in the study of modulated symmetries, where internal symmetries act in a spatially non-uniform manner. The total symmetry group takes the form
\[
G=G_{\text{int}}\rtimes G_{\text{sp}},
\]
with \(G_{\text{sp}}\) generated by translations \(\mathbb{Z}\) and/or reflections \(\mathbb{Z}_2\). In this setting the paper states CEP as the claim that SPT phases protected by symmetries involving spatial elements are in one-to-one correspondence with internal SPT phases protected by the same symmetries, viewed as acting internally, and shows that the classification is
\[
H^2(\tilde G,U(1)_s),
\]
where \(\tilde G=G_{\text{int}}\rtimes \tilde G_{\text{sp}}\) and \(s:\tilde G\to \mathbb{Z}_2\) records anti-unitarity of the internalized orientation-reversing elements [2603.19381].

The translation case yields an explicit decomposition into strong and weak indices:
\[
\text{modulated SPTs}
\cong
H^2(G_{\text{int}},U(1))^T
\times
\frac{H^1(G_{\text{int}},U(1))}{T^*-1}.
\]
The reflection case gives
\[
\text{modulated SPTs (reflection)}
\cong
H^2(G_{\text{int}},U(1))^R
\times
\frac{H^1(G_{\text{int}},U(1))^R}{R^*+1}.
\]
These classifications are derived from symmetry constraints on injective, translation-invariant MPS tensors. The same work provides an MPS derivation of the Lyndon–Hochschild–Serre spectral sequence for \(H^2(\tilde G,U(1)_s)\), and an explicit mapping between modulated SPT data and internal SPT cocycles. In that derivation, the strong indices arise from \(H^2(G_{\text{int}},U(1))\) data invariant under spatial action, while the weak indices arise from \(H^1(G_{\text{int}},U(1))\) data twisted by the spatial symmetry.

The resulting correspondence is not only classificatory. It is used to prove a Lieb–Schultz–Mattis theorem for modulated symmetries: if the local symmetry operators carry a projective representation with cocycle \(\nu\) and
\[
[\nu]\notin (T^*-1)H^2(G_{\text{int}},U(1)),
\]
then there is no symmetric gapped short-range entangled ground state. If
\[
[\nu]\in (T^*-1)H^2(G_{\text{int}},U(1)),
\]
symmetric short-range entangled phases are allowed, but any such phase must have a nontrivial bulk SPT index. The same classification is applied to non-invertible Kramers–Wannier reflection symmetries, where no gapped symmetric exponential SPT can preserve the non-invertible symmetry.

## 5. Fermionic versions and homotopy-theoretic formulations

The generalized categorical treatment briefly describes a fermionic version. A superspace is a space \(\mathcal{X}\) with a \(B\mathbb{Z}/2\)-action encoding fermion parity. A bosonic spatial symmetry group \(G_b\) may be independent of fermion parity, giving \(G_b\times \mathbb{Z}/2\), or may define a nontrivial extension by fermion parity, giving a supergroup \(G_f\). Applying the generalized CEP to superspaces and to suitable super target categories such as \(n\)-SVect recovers a fermionic crystalline equivalence principle compatible with previous fermionic SPT classifications [2508.10978].

A distinct homotopy-theoretic formulation is given for invertible fermionic phases with mixed spatial symmetries. Freed–Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology, and the corresponding generalization introduces parametrized, equivariant symmetry types so that mixing between spatial symmetries and spin or fermion parity can be treated explicitly. In Altland–Zirnbauer classes D and A, the main theorem states
\[
Ph_k^G(\mathbb{R}^d; f_0)\cong [MT\rho(1/2),\Sigma^{d+k+2}I_\mathbb{Z}],
\]
and
\[
Ph_k^G(\mathbb{R}^d; f_{1/2})\cong [MT\rho(0),\Sigma^{d+k+2}I_\mathbb{Z}],
\]
so that spinless crystalline phases correspond to internal spin-\(\tfrac12\) symmetry types, while spin-\(\tfrac12\) crystalline phases correspond to spinless internal symmetry types [2102.02941].

The proof reduces equivariant phase homology on \(\mathbb{R}^d\) to Thom spectra of virtual bundles over classifying spaces, and then uses shearing equivalences to convert crystalline data into internal symmetry data. Adams spectral sequence computations for reflections, inversions, rotations, dihedral groups, and several three-dimensional point groups reproduce classifications previously obtained by other methods. This places the fermionic CEP within a homotopy-theoretic framework that is technically distinct from the categorical generalized CEP but closely aligned in outcome.

## 6. Scope, failures, and terminological ambiguities

The generalized categorical theorem is explicitly stated only for topological theories: it is a theorem for TQFTs, and no analogous statement is claimed for generic gapped or gapless non-topological QFTs [2508.10978]. Within interacting bosonic proposals based on group cohomology, CEP is mathematically natural because
\[
H^{d+2}(BG;\mathbb{Z})=H^{d+2}_P(T^d;\mathbb{Z}),
\]
and, with additional internal symmetry \(H\),
\[
H^{d+2}_{P\times H}(T^d;\mathbb{Z})\cong H^{d+2}(B(G\times H);\mathbb{Z}).
\]
In that setting, crystalline and internal symmetry enter through classifying spaces and a Borel-type construction [2408.07203].

The free-fermion case is sharply different. The accepted classification uses equivariant K-theory, and the paper “Failure of the Crystalline Equivalence Principle for Weak Free Fermions” shows that CEP fails for weak free fermion crystalline phases. One obstruction is that equivariant K-theory is not Borel-type:
\[
K^P_{Q,d}(T^d)\not\cong K_{Q,d}(T^d\times_P EP).
\]
A second obstruction is that internal symmetry is encoded not as \(K\)-theory of \(BH\), but through the quotient \(Q\) and the associated flavor and twist of \(K\)-theory. The paper therefore concludes that CEP is not a universal principle; its validity depends crucially on the generalized cohomology theory used, on whether one is dealing with strong or weak phases, and on the presence of translation-dependent structure. It nonetheless shows that a variant of CEP does hold for strong free fermion phases, where collapsing the torus to a point yields
\[
K_{Q,d}^P(\mathrm{pt})=K_{Q,d},
\]
so crystalline and internal symmetries both act only on the \(K\)-theory spectrum [2408.07203].

A common terminological ambiguity is that the acronym “CEP” is not unique across the literature. In unrelated contexts it denotes the “Classical Equivalence Principle” [1711.11463] and the “Chameleonic Equivalence Postulate” [1404.1942]. Within topological phases and TQFT, however, CEP refers to the crystalline equivalence principle and its fermionic, generalized, and homotopy-theoretic variants.

Source: https://www.emergentmind.com/topics/crystalline-equivalence-principle-cep