🔢 mathematics

Haagerup conformal field theory at central charge eight

This paper constructs a strongly rational, completely unitary chiral algebra $U$ of central charge eight whose representation category is equivalent to the Drinfeld center of the Haagerup fusion category, thereby providing a concrete realization of a Haagerup conformal field theory.

Original authors: Tzu-Chen Huang

Published 2026-10-15

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Tzu-Chen Huang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of theoretical physics, there is a branch dedicated to understanding the fundamental rules that govern how energy and matter behave at the smallest possible scales. One of the most powerful tools in this field is the study of symmetry. In everyday life, symmetry might mean that a snowflake looks the same when rotated, or that a mirror image is identical to the original. In the quantum world, symmetry describes the hidden rules that dictate how particles interact and transform. For decades, physicists have known that these rules often come in the form of groups, mathematical structures that describe how objects can be swapped or rotated without changing the system's outcome. However, a newer and more exotic class of symmetries has emerged, known as fusion categories. These describe systems where the "lines" of symmetry do not simply swap places but can split, merge, and combine in ways that are far more complex than anything found in standard groups. Among the simplest and most intriguing examples of these exotic structures are the Haagerup categories. They are mathematical objects that exist outside the familiar families of symmetries derived from finite groups or standard quantum theories, yet they appear to be the key to unlocking a specific type of physical theory that has long been sought after but never fully built.

For years, researchers have been searching for a physical theory that possesses this specific Haagerup symmetry. Numerical studies of lattice models and chains of quantum particles had hinted that such a theory might exist, suggesting it would have a specific measure of complexity known as a central charge of approximately two. However, these were only hints, derived from computer simulations and approximations. The question remained: could a precise, mathematically rigorous theory be constructed from the ground up? Could one actually write down the equations that describe a world governed by these strange, non-invertible symmetries? This question has been a major open problem in the field of conformal field theory, the framework used to describe two-dimensional quantum systems.

A recent paper by Tzu-Chen Huang provides a definitive answer to this question. The author has successfully constructed a concrete, explicit example of a conformal field theory that possesses Haagerup symmetry. Unlike previous attempts that relied on numerical guesses, this work builds the theory from a solid foundation of known mathematical structures. The construction starts with a well-understood system based on a lattice, a grid-like arrangement of points in space that serves as a scaffold for the theory. Into this scaffold, the author weaves a specific sub-algebra, a smaller, self-contained set of rules that governs the behavior of the system. This new algebra is built from two commuting currents, which can be thought of as two independent flows of energy that do not interfere with each other, along with a stress tensor that describes the energy density of the system, and a single, carefully crafted field that acts as a bridge between different parts of the lattice.

The result of this construction is a theory with a central charge of eight, a specific value that measures the number of degrees of freedom in the system. The author proves that this theory is not just a mathematical curiosity but a fully consistent physical system. It is "strongly rational," meaning it has a finite number of distinct particle types and behaves in a predictable, stable manner. It is also "completely unitary," a technical requirement ensuring that the probabilities of all possible outcomes in the theory add up correctly and that the system does not produce nonsensical negative probabilities. Most significantly, the author demonstrates that the collection of symmetries in this new theory is exactly equivalent to the Drinfeld center of the Haagerup fusion category. In simpler terms, the hidden rules governing how particles in this new theory combine and interact are precisely the exotic Haagerup rules that physicists had been looking for.

The paper also reveals the structure of the particles, or "modules," that exist within this theory. There are exactly twelve distinct types of these fundamental building blocks. Their properties, such as their energy levels and how they transform under symmetry operations, are calculated with extreme precision. The author shows that the mathematical description of these particles matches a specific vector of numbers predicted years ago by other researchers, Evans and Gannon, who had hypothesized the existence of such a theory. This match confirms that the construction is correct and that the theory occupies the exact spot in the mathematical landscape that was previously only a guess.

Beyond the existence of the theory itself, the paper explores what happens when this system is extended to include a full set of physical laws, creating a "full" conformal field theory. The author identifies two natural ways to complete the theory. One is a diagonal theory, where the left-moving and right-moving parts of the system are perfectly matched. The other is a holomorphic extension, which leads to a theory that is mathematically identical to a famous system known as the E8 lattice theory. In this extended version, the Haagerup symmetry acts as a set of topological defects. These are not particles in the traditional sense but rather invisible, non-local structures that can move through the system and change how particles interact without breaking the underlying laws of physics. This provides a concrete setting for studying how these exotic symmetries influence the behavior of local operators and their correlations.

The construction is notable for its rigor. The author does not rely on approximations or simulations to claim the result. Instead, the proof relies on a combination of exact algebraic identities and computer-assisted verification of specific, finite calculations. The paper details how the author checked that the new algebra does not accidentally regenerate the entire original lattice system, ensuring that it is a distinct, smaller structure. By verifying that the algebra closes under all possible interactions and that the energy levels of the particles are strictly positive, the author establishes the theory's consistency. The work also rules out certain alternative possibilities, such as the theory being a simple extension of a different, more common symmetry group, by showing that the specific counts of particles and their properties do not match those alternatives.

The significance of this work extends beyond the single example constructed. It proves that Haagerup symmetry is not just a mathematical abstraction but a feature that can be realized in a physical theory with local fields. This opens the door for further exploration of how these exotic symmetries constrain the behavior of quantum systems. The author's construction provides a laboratory where the effects of Haagerup symmetry can be studied in detail, offering a clear path to understanding how these non-invertible lines of symmetry act on the fabric of spacetime and matter. The paper concludes by emphasizing that while the mathematical structure is complex, the physical theory it describes is real, consistent, and now explicitly known, transforming a long-standing hypothesis into a concrete reality.

Technical Summary: Haagerup Conformal Field Theory at Central Charge Eight

Problem Statement
Fusion categories describe symmetries in two-dimensional conformal field theories (CFTs) where topological lines are not necessarily invertible. While many such categories arise from standard constructions (finite groups, quantum groups, affine Lie algebras), the Haagerup categories represent a class of simple examples outside these frameworks. Despite numerical evidence suggesting the existence of a CFT with Haagerup symmetry at central charge $c \approx 2$ , an explicit construction of such a theory at a rational central charge had remained elusive. Recent work by Albert, Honda, Kaidi, and Zheng suggested that the $(E_8)_1$ theory possesses Haagerup symmetry, but a concrete chiral algebra realizing this symmetry was not yet provided. This paper addresses the problem of constructing a chiral algebra $U$ with central charge $c=8$ whose representation category is equivalent to the Drinfeld center of the Haagerup fusion category $H_3$ .

Methodology
The author constructs the chiral algebra $U$ as a subalgebra of the lattice vertex operator algebra (VOA) $V_{E_6 \oplus A_2}$ . The construction relies on the following steps:

Algebraic Generation: $U$ $U$ is generated by:
- Two commuting affine $\mathfrak{sl}_2$ current algebras at levels 1 and 39, denoted $K = A_{1,1} \otimes A_{1,39}$ .
- The stress tensor $\omega_B$ of the ambient lattice theory.
- A specific weight-two field $u$ constructed as a linear combination of three lattice exponentials with coefficients involving $\sqrt{13}$ and $\sqrt{-3}$ .
Finite Closure Verification: To prove that $U$ is a proper subalgebra (and not the entire lattice VOA $V_{E_8}$ ), the author employs a "recursive strong generation" criterion. They verify that the singular products of the generators close within a finite-dimensional subspace up to weight 5. This involves extensive computer algebra checks of exact identities in lattice coordinates, specifically verifying that higher-weight fields generated by operator product expansions (OPEs) remain within the span of the defined generators.
Rationality and Unitarity Proofs:
- Rationality: The author establishes that $U$ contains regular, unitary parafermion subalgebras $K(\mathfrak{sl}_2, 3)$ and $K(\mathfrak{sl}_2, 13)$ . They derive a "positive stress identity" expressing the stress tensor of $U$ as a positive convex combination of the stress tensors of these regular subalgebras. This allows them to prove $C_2$ -cofiniteness and rationality via trace arguments on module tops.
- Unitarity: By transporting the positive Hermitian form from the standard unitary gauge of the lattice VOA to the rational gauge used for arithmetic, the author demonstrates that $U$ is completely unitary. They utilize the theory of conformal nets and Longo's theorem to transfer complete rationality and establish that the category of boundary sectors is equivalent to the module category.
Categorical Identification: The decomposition of the lattice VOA $V_{E_8}$ and its subalgebras into $U$ -modules is analyzed. By bounding the lowest weights of $U$ -modules and analyzing the fusion ring of the extension algebra, the author identifies the representation category $\text{Rep}(U)$ as the Drinfeld center $Z(H_3)$ . This identification relies on the classification of generalized Haagerup categories and the vanishing of specific cohomological obstructions.

Key Contributions and Results

Explicit Construction: The paper provides an explicit construction of a chiral algebra $U$ at $c=8$ with Haagerup symmetry, defined by specific generators within $V_{E_6 \oplus A_2}$ . This construction realizes the Haagerup symmetry previously suggested for the $(E_8)_1$ theory.
Theorem 1: The constructed algebra $U$ is strongly rational and completely unitary. Its representation category $\text{Rep}(U)$ is equivalent, as a unitary ribbon category, to the Drinfeld center $Z(H_3)$ of the Haagerup fusion category $H_3$ .
Character Vector: The twelve irreducible characters of $U$ are identified as the $\gamma=0$ Evans–Gannon vector. The vacuum character begins as $q^{-1/3}(1 + 6q + 120q^2 + 956q^3 + \dots)$ .
Full CFTs: From $U$ $U$ , the author derives two distinct full CFTs:
1. A diagonal unitary full CFT with partition function $Z_{\text{diag}} = \sum |\chi_i|^2$ , where the Verlinde lines form $Z(H_3)$ .
2. A holomorphic extension $H' \cong V_{E_8}$ (the level 1 $E_8$ theory). In this theory, the Haagerup category $H_3$ acts by topological defects. The algebra of defects corresponds to a Lagrangian algebra in $\text{Rep}(U)$ .
Symmetry Realization: The work confirms that the $(E_8)_1$ theory possesses Haagerup symmetry, realized through the action of topological defects on the holomorphic extension.

Significance
The paper claims to resolve the existence question for a Haagerup CFT at a rational central charge by providing a concrete, local field-theoretic realization. By constructing the theory from a lattice VOA, the author ensures that all products are inherited from a well-understood theory, avoiding ambiguities in the definition of the OPEs. The result establishes a rigorous link between the abstract classification of fusion categories and physical CFTs, specifically demonstrating that the Haagerup symmetry can be realized in a unitary, rational CFT. Furthermore, the identification of the $(E_8)_1$ theory as a host for Haagerup defects provides a new framework for studying how non-invertible symmetries act on local operators and constrain correlation functions. The author notes that while the unflavored partition function of the holomorphic extension cannot distinguish between Morita equivalent categories ( $H_2$ vs. $H_3$ ), the specific construction and the structure of the defect algebra confirm the realization of $H_3$ .

Technical Summary: Haagerup Conformal Field Theory at Central Charge Eight

More like this