A mathematical theory of topological invariants of quantum lattice systems

This paper establishes that Hall conductance and its generalizations act as obstructions to promoting state symmetries to gauge symmetries by defining local Lie algebras over Grothendieck sites, thereby constructing topological invariants for gapped quantum lattice systems on arbitrary asymptotically conical subsets that extend beyond the reach of traditional field theory.

The Gist

Imagine you are looking at a massive, intricate city made of tiny, interacting blocks. This is a quantum lattice system. Each block (or "site") holds a piece of information, and they talk to their neighbors. Sometimes, the whole city settles into a very stable, "quiet" state where no energy is wasted. Physicists call this a gapped state.

Now, imagine this city has a rule: it looks the same if you rotate it, or if you shift all the blocks by a certain amount. This is a symmetry.

The big question this paper asks is: Can we turn this global rule into a local law?

In everyday life, a "global rule" is like a law that says, "Everyone in the country must drive on the right." A "local law" (or gauge symmetry) would be like saying, "Every single driver can choose their own side of the road, as long as they coordinate perfectly with the person next to them."

The authors, Adam Artymowicz, Anton Kapustin, and Bowen Yang, have built a new mathematical toolkit to answer a specific question: When is it impossible to turn a global symmetry into a local one?

They discovered that sometimes, the answer is "No, you can't." And when you can't, there is a hidden "fingerprint" left behind. This fingerprint is a topological invariant.

Here is how they did it, using some creative metaphors:

1. The "Fuzzy" Map of the City

To study this city, you need a map. But a normal map is too rigid. The authors created a "fuzzy" map.

• Imagine drawing a circle around a neighborhood. In a fuzzy map, the boundary isn't a sharp line; it's a soft, blurry zone.
• They call these "fuzzy semilinear sets."
• Why fuzzy? Because in quantum physics, things aren't perfectly sharp. An interaction between two blocks doesn't happen only at a specific point; it fades out gradually. The fuzzy map captures this "fuzziness" perfectly.

2. The "Local Lie System" (The Neighborhood Watch)

The authors invented a new object called a Local Lie System.

• Think of this as a Neighborhood Watch organization.
• For every fuzzy neighborhood on your map, the Watch has a list of "infinitesimal moves" (tiny shifts or rotations) that are allowed only in that neighborhood.
• The magic is in how these lists connect. If you have a list for Neighborhood A and a list for Neighborhood B, the rules for the overlapping area (A ∩ B) must match perfectly.
• This structure allows them to track how symmetries behave locally without getting lost in the infinite complexity of the whole city.

3. The "Obstruction" (The Traffic Jam)

Now, let's try to turn the global symmetry (the national driving law) into a local one (local coordination).

• You try to assign a local rule to every neighborhood.
• Sometimes, you hit a traffic jam. No matter how you try to coordinate the neighbors, the rules clash at the boundaries.
• This clash is the obstruction.
• The paper proves that this obstruction is exactly what we call a topological invariant. It's a number (or a shape) that tells you, "This state of the city is fundamentally different from that one, and you can't smoothly transform one into the other without breaking the rules."

4. The Famous Example: The Hall Conductance

You might have heard of the Hall Effect (or Hall conductance). It's a famous phenomenon where electricity flows sideways in a magnetic field, and the amount of flow is quantized (it comes in perfect integer steps).

• In this paper, the authors show that the Hall conductance is just one specific example of their "traffic jam."
• In a 2D city (like a flat sheet), if you try to make the electric charge symmetry local, you get a specific obstruction.
• The size of this obstruction is the Hall conductance.
• Their theory generalizes this to higher dimensions and different types of symmetries, showing that the Hall effect is just the tip of a giant iceberg of similar "impossible-to-localize" phenomena.

5. The "Sphere at Infinity"

To measure these obstructions, the authors look at the "edge" of the universe.

• Imagine the city is huge. If you zoom out far enough, the city looks like a sphere.
• They use a mathematical tool (the Čech functor) to wrap their fuzzy map around this "sphere at infinity."
• The way the local rules wrap around this sphere creates a pattern. If the pattern is twisted (like a Möbius strip), you have a non-zero invariant. If it's untwisted (like a plain ball), the invariant is zero.

The Big Picture

Before this paper, we had a few isolated examples of these "fingerprint" numbers (like the Hall conductance), but we didn't have a unified language to describe them all, especially for complex shapes or higher dimensions.

This paper provides the grammar and vocabulary to describe these fingerprints for any quantum system, even those that don't fit into standard physics models.

In simple terms:
The authors built a new kind of math that treats quantum systems like a city with fuzzy neighborhoods. They proved that if you try to turn a global rule into a local one, you might get stuck. The "stuckness" isn't a bug; it's a feature! It's a topological fingerprint that tells us the system is in a special, protected state. This explains why things like the Hall conductance are so robust and why they can't be changed by small tweaks to the system.

Technical Summary

1. Problem Statement

The paper addresses the challenge of constructing rigorous mathematical invariants for gapped quantum lattice systems in arbitrary spatial dimensions, particularly those possessing continuous symmetries (Lie group actions).

• Context: In quantum many-body physics, gapped phases are classified by topological invariants. While well-understood in 1D (e.g., via matrix product states) and for specific 2D cases (e.g., Hall conductance), a general framework for higher dimensions and arbitrary lattice geometries (including non-smooth or asymptotically conical subsets) has been lacking.
• The Gap: Existing tools, such as Topological Quantum Field Theory (TQFT) heuristics, often fail to capture the specific algebraic structures of lattice systems or cannot handle systems defined on subsets of $\mathbb{R}^n$ that are not manifolds.
• Core Question: How can one mathematically characterize the obstruction to promoting a global symmetry of a gapped state into a local (gauge) symmetry? The authors posit that topological invariants (like Hall conductance) are precisely these obstructions.

2. Methodology

The authors develop a novel framework combining operator algebras, homological algebra, and category theory. The methodology proceeds in four main stages:

A. Algebraic Formulation of Locality (Sections 2 & 5)

• Quantum Lattice Systems: Defined via a $C^*$-algebra of quasi-local observables $\mathcal{A}$ on a lattice $\Lambda \subset \mathbb{R}^n$.
• Uniformly Almost-Local (UAL) Derivations: The authors define a space of derivations $\mathcal{D}_{al}(U)$ that are "approximately localized" on a region $U$. Unlike standard derivations, these are unbounded operators defined on a dense subalgebra but possess rapid decay properties controlled by the geometry of $U$.
• Brick Decomposition: To handle the ambiguity of representing unbounded derivations, the authors utilize a "brick decomposition" (partitioning the lattice into rectangular blocks) to uniquely identify derivations with sequences of local operators.
• Preservation of Gapped States: They define subspaces $\mathcal{D}^\psi_{al}(U)$ of derivations that preserve a specific gapped state $\psi$.

B. Local Lie Systems and Cosheaves (Section 3)

• Axiomatization: The authors introduce the concept of a Local Lie System. This is a pre-cosheaf of Lie algebras over a specific site (category) that satisfies:
  1. Coflasqueness: Restriction maps are injective.
  2. Property I: The Lie bracket of elements supported on disjoint regions vanishes (or maps to the intersection).
  3. Cosheaf Property: The system satisfies an exact sequence condition for unions and intersections (analogous to partitions of unity).
• The Site: They define the site of fuzzy semilinear sets ($CS_n$), a category of subsets of $\mathbb{R}^n$ equipped with a Grothendieck topology based on "fuzzy inclusion" (where $U \leq V$ if $U$ is contained in a thickening of $V$). This allows for the treatment of non-smooth and asymptotically conical geometries.

C. Equivariantization and DGLAs (Sections 3, 5, & 6)

• Equivariantization: For a system with a global symmetry group $G$, they construct a pointed graded local Lie system $\mathcal{D}^{G}_{al}$. This system encodes the infinitesimal action of $G$ and the state $\psi$.
• Čech Functor: They apply the Čech functor to a local Lie system over a cover. This produces a Differential Graded Lie Algebra (DGLA).
• Pointed DGLA: The resulting DGLA is "pointed" by a central element of degree $-2$ (the curvature), which corresponds to the generator of the global symmetry.

D. Obstruction Theory via Maurer-Cartan (Section 6)

• Twisted Maurer-Cartan Equation: The problem of "gauging" the symmetry (promoting it to a local symmetry) is translated into finding a solution $p$ to the inhomogeneous Maurer-Cartan equation:
  $$\partial p + \frac{1}{2}[p, p] = B$$
  where $B$ is the curvature (symmetry generator).
• Commutator Class: If a solution exists, the system is trivial. If not, the obstruction is captured by the commutator class $[p, p]$ in the homology of the commutator subalgebra.
• Pairing with Cohomology: This obstruction class is paired with the spherical CS cohomology (cohomology of the "sphere at infinity") to produce a numerical invariant.

3. Key Contributions

1. Definition of Local Lie Systems: The paper provides a rigorous axiomatic definition of local symmetries in lattice systems using cosheaves of Lie algebras, bridging the gap between physical locality and algebraic topology.
2. Generalization to Arbitrary Geometries: The framework applies to lattice systems on asymptotically conical subsets of $\mathbb{R}^n$. This is a significant generalization beyond standard TQFT, which typically assumes smooth manifolds.
3. Unified Interpretation of Invariants: The authors prove that topological invariants (like Hall conductance) are obstructions to gauging. Specifically, they show that the invariant is the obstruction to lifting a global symmetry morphism to a morphism of local Lie systems.
4. Construction of Invariants: They construct a map $\nu_\psi$ from the odd cohomology of the "sphere at infinity" to the algebra of $G$-invariant polynomials on the Lie algebra $\mathfrak{g}$.
   • For $G=U(1)$ and $n=2$, this recovers the Hall conductance.
   • For general $n$ and $G$, it yields higher-dimensional analogs.

4. Key Results

• Theorem 87: Establishes that the spaces of UAL derivations $\mathcal{D}_{al}(U)$ and state-preserving derivations $\mathcal{D}^\psi_{al}(U)$ form local Lie systems over the site $CS_n$.
• Theorem 112: Defines the topological invariant $\nu_\psi(\beta)$ for a $G$-invariant gapped state $\psi$ and a cocycle $\beta$. The value is given by:
  $$\nu_\psi(\beta) = \sqrt{-1} \psi(\Sigma \langle [p, p], \beta \rangle)$$
  where $[p, p]$ is the commutator class derived from the twisted Maurer-Cartan equation.
• Proposition 116: Proves that $\nu_\psi$ is a topological invariant, meaning it remains constant under smooth paths of gapped states (adiabatic evolution).
• Recovery of Hall Conductance (Section 6.3): The paper explicitly demonstrates that for $G=U(1)$ and $n=2$, the constructed invariant $\nu_\psi$ is exactly the zero-temperature Hall conductance (in units of $e^2/h$).
• Independence of Choices: The invariants are shown to be independent of the choice of the cover $U$ and the specific solution $p$ to the Maurer-Cartan equation, depending only on the cohomology class of the state and the geometry of the system.

5. Significance

• Mathematical Rigor: The paper places the classification of gapped phases on a rigorous mathematical footing using operator algebras and homotopy theory, moving beyond heuristic TQFT arguments.
• Beyond Field Theory: By utilizing the "fuzzy semilinear sets" site, the theory handles lattice systems on non-smooth domains (e.g., graphs, cones) where traditional field theory fails. This is crucial for understanding topological phases in realistic, potentially disordered, or geometrically complex materials.
• Conceptual Unification: It unifies the understanding of topological invariants as anomalies (obstructions to gauging). This connects the physics of condensed matter (Hall effect) directly to the mathematical structure of 't Hooft anomalies in quantum field theory.
• Future Directions: The framework provides a pathway to classify gapped phases in dimensions $n > 2$ and for non-abelian symmetry groups, areas where explicit constructions have been historically difficult.

In summary, this work provides a powerful new algebraic toolkit for analyzing topological order in quantum lattice systems, successfully generalizing the concept of Hall conductance to arbitrary dimensions and geometries by framing topological invariants as cohomological obstructions to localizing global symmetries.