A Generalized Crystalline Equivalence Principle

This paper establishes a generalized crystalline equivalence principle that proves an equivalence between topological quantum field theories (TQFTs) with spatial $G$-symmetry and those with internal symmetry, while simultaneously providing a unified framework for defining and classifying anomalies in both spatial and categorical symmetry contexts.

The Gist

Imagine you are a master architect designing a city. In this city, the laws of physics (the "Topological Quantum Field Theories" or TQFTs) can change depending on where you are and how the city is organized.

This paper, written by Devon Stockall and Matthew Yu, introduces a powerful new rule for these architects called the Generalized Crystalline Equivalence Principle (GCEP). It's like a universal translator that helps you understand two very different ways of building your city, proving they are actually the same thing underneath.

Here is a breakdown of their ideas using everyday analogies:

1. The Two Ways to Build a City (The Equivalence Principle)

Usually, architects think about symmetry in two different ways:

• The "Internal" City (Internal Symmetry): Imagine a city where the rules depend on a secret code everyone carries in their pocket. If you swap the code with a neighbor, the physics changes. This is like a "gauge symmetry" or "internal symmetry."
• The "Spatial" City (Crystalline Symmetry): Now imagine a city built on a specific grid or crystal lattice. The rules depend on where you are standing and how the grid is rotated or shifted. This is "spatial symmetry."

The Big Discovery:
The authors prove that these two cities are actually equivalent. If you have a family of physics theories defined on a space with a specific spatial symmetry (like a crystal grid), it is mathematically identical to having a family of theories with an internal symmetry.

The Analogy:
Think of it like a video game.

• Version A: You have a map where the terrain changes based on your location (Spatial).
• Version B: You have a single, flat map, but your character carries a "magic compass" that changes the rules based on which direction you face (Internal).
• The Paper's Claim: The authors prove that if you know the rules for Version A, you automatically know the rules for Version B. You don't need to learn two different languages; they are just different translations of the same story.

2. The "Contractible" Shortcut

The paper mentions a special case called the "Crystalline Equivalence Principle" (the original version). This happens when your city is built on a shape that can be shrunk down to a single point without tearing (like a rubber ball).

In this simple case, the "Spatial" city and the "Internal" city are so similar that they are practically indistinguishable. The authors show that their new, more complex rule (GCEP) covers this simple case perfectly, confirming that the old rule was just a special version of their new, bigger discovery.

3. Dealing with "Glitches" (Anomalies)

In physics, sometimes a theory has a "glitch" or a "bug" called an anomaly. This happens when the rules of the game break down if you try to change the perspective (like rotating the grid). The theory refuses to stay consistent.

The authors ask: How do we describe these glitches?

The New Definition:
They propose a new way to think about these glitches. Instead of seeing an anomaly as a broken rule, they view it as a boundary.

The Analogy:
Imagine you are trying to paint a wall (your theory), but the paint keeps dripping off the edge.

• Old View: "The paint is broken."
• New View (The Paper's Approach): The paint isn't broken; it's just that your wall is actually the edge of a much larger, invisible 3D object. The "drip" is just the paint flowing from the 3D object onto your 2D wall.

The authors prove that any theory with a glitch (anomaly) can be understood as a "relative theory." It is a 2D wall that is perfectly consistent because it is attached to a 3D bulk theory that absorbs the glitch.

4. The "Universal Translator" for Glitches

The paper goes further to say that this idea works for any kind of symmetry, even very weird, abstract ones (called "categorical symmetries").

• The Tool: They use a mathematical tool called "straightening and unstraightening."
• The Metaphor: Imagine you have a tangled ball of yarn (a complex, messy theory with a glitch). The authors show you how to "straighten" it out into a neat, organized map. This map tells you exactly what the glitch is and how to fix it by attaching it to a higher-dimensional "parent" theory.

Summary of What They Actually Claim

1. Equivalence: They proved mathematically that a family of physics theories defined on a space with spatial symmetry is the same as a family of theories with internal symmetry.
2. Generalization: This works for any shape of space, not just simple ones.
3. Anomalies as Boundaries: They defined "anomalies" (glitches) as a specific type of mathematical structure (a fibration).
4. Relative Theories: They showed that a theory with an anomaly is mathematically equivalent to a "defect" or a boundary between a trivial theory and a higher-dimensional theory.

What they did NOT claim:
The paper is purely mathematical and theoretical. They do not claim to have built a new computer, cured a disease, or created a new material. They have provided a new "dictionary" and a new "rulebook" for physicists to understand how different types of symmetries and glitches in the universe relate to one another. They are laying the mathematical groundwork so that others can eventually apply these ideas to real-world quantum materials or high-energy physics.

Technical Summary

Technical Summary: A Generalized Crystalline Equivalence Principle

Problem Statement
The paper addresses the need for a rigorous mathematical framework to formalize the "Crystalline Equivalence Principle" (CEP), originally proposed by Thorngren and Else. The CEP posits a correspondence between crystalline topological phases (families of Topological Quantum Field Theories (TQFTs) parameterized by a space $X$ with spatial $G$-symmetry) and TQFTs with internal $G$-symmetry. While previous work established this for contractible spaces, the authors aim to generalize this to arbitrary spaces $X$ and to provide a precise classification of anomalies associated with spatial and categorical symmetries. Specifically, the paper seeks to elucidate the physical content of the "Generalized Crystalline Equivalence Principle" (GCEP) and to define anomalies for families of TQFTs in a way that naturally extends to categorical symmetries.

Methodology
The authors employ the language of higher category theory, specifically symmetric monoidal $(\infty, n)$-categories, to model TQFTs and their families.

1. Target Categories: They define a target $\Theta$ as a symmetric monoidal $(\infty, n)$-category with duals (representing the category of $n$-dimensional TQFTs).
2. Families of Theories: An $X$-family of TQFTs is defined as a functor $Th: X \to \Theta$. When $X$ carries a $G$-action, a $G$-invariant family is defined as a natural transformation between the functor $X$ and the constant functor $\Theta$ within the functor category $\text{Fun}(BG, \text{Cat}(\infty, n))$.
3. Homotopy Quotients: The core of the GCEP relies on the homotopy quotient $X//G$ (defined as the homotopy colimit $\text{colim}_{BG} X$). The authors utilize the universal property of homotopy colimits to establish equivalences between functor categories.
4. Anomaly Classification via Fibrations: To define anomalies, the authors utilize the straightening/unstraightening correspondence (Grothendieck construction). They define an anomaly for an $X$-family as a fibration $\tilde{\Theta} \to X$ with fiber $\Theta$. An anomalous family is then a section of this fibration. This approach allows them to classify anomalies via functors into the classifying space of the automorphism group of the target, $BAut(\Theta)$.
5. Relative Theories: The paper connects anomalies to relative TQFTs by viewing the target $\Theta$ as an algebra object in a higher $(n+1)$-category $\Sigma$. Using adjunctions between categories of modules and categories of algebras, they demonstrate that an anomalous $n$-dimensional theory corresponds to a relative theory (a defect) between a trivial theory and a bulk $(n+1)$-dimensional theory.

Key Contributions and Results

• Theorem A (Generalized CEP): The authors prove that for a space $X$ with $G$-action, there is an equivalence of $(\infty, n)$-categories between the category of $G$-invariant $X$-families of TQFTs valued in $\Theta$ and the category of $X//G$-families of TQFTs valued in $\Theta$. This result is derived directly from the universal property of homotopy colimits.

  • Corollary 1.2: In the specific case where $X$ is contractible, $X//G \simeq BG$. This recovers the standard CEP, establishing an equivalence between $G$-invariant families over a contractible space and TQFTs with internal $G$-symmetry.
  • Fermionic Extension: The framework is extended to fermionic theories by considering supergroups $G_f = (G, s_1, \omega_2)$ and maps to $SO(n)$ or $Spin(n)$, allowing for twisted spin structures.

• Theorem B (Classification of Anomalies): The category of anomalies for $X$-families of TQFTs with value $\Theta$ is equivalent to the full subcategory of functors $\text{Fun}(X, BAut(\Theta))$ consisting of those functors $\alpha$ where $\alpha(y) \simeq \Theta$ for all $x \in X$. This generalizes the classification of 't Hooft anomalies to families parameterized by $\infty$-groupoids.

  • This formulation recovers known classifications, such as $H^2(BG; \mathbb{C}^\times)$ for 1-dimensional TQFTs with $G$-symmetry, and extends to $i$-form symmetries via $Bi+1G$ families.

• Theorem C (Anomalies as Relative Theories): The paper establishes an equivalence between $X$-families of theories with a specific anomaly $\alpha$ and the category of defects (relative theories) between the constant theory $n\text{Vect}$ and the anomaly $\alpha$ (viewed as an object in a higher category).

  • Specifically, for linear bosonic TQFTs ($\Theta = n\text{Vect}$), an anomalous theory is equivalent to a natural transformation from the constant functor $n\text{Vect}$ to the anomaly functor $\alpha$.

• Extension to Categorical Symmetries: The authors note that their approach naturally extends to TQFTs with anomalous categorical symmetries by replacing the $\infty$-groupoid $X$ with an $(\infty, n)$-category $\mathcal{C}$ and replacing $Aut$ with $End$. This allows for the description of anomalies for non-invertible symmetries.

Significance and Claims
The paper claims to provide the first rigorous mathematical formulation of the Generalized Crystalline Equivalence Principle, moving beyond the contractible space case to arbitrary spaces with group actions. By framing TQFT families as functors and anomalies as fibrations, the authors unify the treatment of spatial symmetries, internal symmetries, and higher-form/categorical symmetries.

The significance of the work lies in:

1. Rigorous Foundation: It provides a precise categorical framework (using $(\infty, n)$-categories and homotopy colimits) that validates the physical intuition behind the CEP.
2. Unified Anomaly Framework: It offers a definition of anomalies for families of theories that is independent of the specific nature of the symmetry (spatial, internal, or categorical) and naturally interprets anomalous theories as relative TQFTs (boundary conditions for higher-dimensional bulk theories).
3. Generality: The results apply to both bosonic and fermionic theories and are agnostic to the specific nature of the parameter space $X$ (whether a lattice, metric space, or abstract $\infty$-groupoid).

The authors explicitly state that their results regarding anomalies for crystalline topological phases are expected to connect with lattice anomalies found in other literature (e.g., via quantum cellular automata targets), though this connection is noted as a direction for future confirmation rather than a proven result within this work. The paper does not propose new experimental applications but rather aims to clarify the theoretical structure underlying existing classifications of topological phases.