Table of Contents
Fetching ...

A Generalized Crystalline Equivalence Principle

Devon Stockall, Matthew Yu

TL;DR

This work generalizes the crystalline equivalence principle (CEP) by formulating an equivalence between $n$-dimensional crystalline topological phases on a $G$-space $\\mathcal X$ valued in a $G$-category $\\mathbf{\\Theta}$ and $n$-dimensional TQFTs with internal $\\mathcal X//G$-symmetry valued in $\\mathbf{Un}(\\mathbf{\\Theta})$. The authors develop a fibrational, $(\\infty,n)$-categorical framework based on straightening/unstraightening and the homotopy quotient to rigorously relate spatially dependent theories to internal-symmetry theories, and they extend this to fermionic settings and potential noninvertible/categorical symmetries. They introduce a comprehensive anomaly theory for $\\infty$-groupoid symmetries, showing that anomalies are classified by bundles over the symmetry space and that anomalous crystalline theories can be viewed as relative TQFTs with a bulk interpretation in one higher dimension. A linearized example clarifies the relative-theory perspective in the $(n+1)$-Vect / $n$-Vect setting, illustrating how categorical anomalies arise and how they translate under the CEP. Overall, the paper supplies a robust bridge between lattice/spacetime-symmetry phases and internal-symmetry TQFTs, enabling systematic classification of anomalies and potentially accommodating noninvertible and categorical symmetries in a unified framework.

Abstract

We prove a general version of the crystalline equivalence principle which gives an equivalence of categories between a category of TQFTs defined on a generic space with $G$-symmetry, and a category of TQFTs with internal symmetry. We give a definition and classification of anomalies associated to TQFTs in the presence of spatial symmetry, which we then generalize to a definition of an anomaly for a categorical symmetry.

A Generalized Crystalline Equivalence Principle

TL;DR

This work generalizes the crystalline equivalence principle (CEP) by formulating an equivalence between -dimensional crystalline topological phases on a -space valued in a -category and -dimensional TQFTs with internal -symmetry valued in . The authors develop a fibrational, -categorical framework based on straightening/unstraightening and the homotopy quotient to rigorously relate spatially dependent theories to internal-symmetry theories, and they extend this to fermionic settings and potential noninvertible/categorical symmetries. They introduce a comprehensive anomaly theory for -groupoid symmetries, showing that anomalies are classified by bundles over the symmetry space and that anomalous crystalline theories can be viewed as relative TQFTs with a bulk interpretation in one higher dimension. A linearized example clarifies the relative-theory perspective in the -Vect / -Vect setting, illustrating how categorical anomalies arise and how they translate under the CEP. Overall, the paper supplies a robust bridge between lattice/spacetime-symmetry phases and internal-symmetry TQFTs, enabling systematic classification of anomalies and potentially accommodating noninvertible and categorical symmetries in a unified framework.

Abstract

We prove a general version of the crystalline equivalence principle which gives an equivalence of categories between a category of TQFTs defined on a generic space with -symmetry, and a category of TQFTs with internal symmetry. We give a definition and classification of anomalies associated to TQFTs in the presence of spatial symmetry, which we then generalize to a definition of an anomaly for a categorical symmetry.

Paper Structure

This paper contains 11 sections, 13 theorems, 28 equations.

Key Result

Theorem 1

There is an equivalence of categories between the category and a full subcategory of The full subcategory is taken on those theories intertwining a $G$-bundle structure on the space $\mathcal{X}/\!/G$ and category $\mathbf{Un}(\mathbf{\Theta})$

Theorems & Definitions (53)

  • Theorem 1: Theorem \ref{['GCEP']}
  • Remark 1.1
  • Definition 1.2
  • Definition 1.3
  • Theorem 2: Theorem \ref{['thm:catofanomalies']}
  • Theorem 3: Theorem \ref{['thm:anomaliesrelative']}
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • ...and 43 more