Quantum symmetries and nimreps for an exotic exceptional modular invariant of F4 at level 6
Abstract
We revisit an old non-diagonal modular invariant of F4 at level $6$, discovered in 1989. At the time of its discovery, it was noticed that it could not be obtained from a conformal embedding of affine Lie algebras. Later, it was shown that it can be obtained from an extension of a vertex operator algebra which is not of Lie type. To this modular invariant, one can attach a full CFT defined (or formulated) as a module category ℳ for the fusion category 𝒜 = 𝒞(F4,6). More recently, it was recognized that ℳ is associated with an étale algebra of 𝒜. In other words, the resulting quantum module is a quantum subgroup (it is also said to have self-fusion, to be of type I, or to be flat). We study the dual 𝒪 of 𝒜 with respect to ℳ. In particular, we describe the algebra of quantum symmetries (we obtain the chiral generators and display the Ocneanu graphs for the fundamental irreps of 𝒜). The chiral graphs are not connected, each one containing two pairs of isomorphic components. The vertex sets of these components are identified with the simple objects, up to equivalence, of two module categories ℳ and ℳ′ sharing the same modular invariant. ℳ enjoys self-fusion, whereas ℳ′ does not. The restriction of the action of the Verlinde algebra A to the associated abelian groups M and M′ defines two families of matrices with non-negative integer entries (nimreps) and their adjacency graphs. As a by-product, we obtain the matrices describing the defect lines of the theory, the integer and rational fusion polynomials attached to A and its modules, and the relevant numerical invariants, quantum dimensions, quantum masses, and induction-restriction rules.
Related
- Multidimensional parabolic equations with a logarithmic nonlinearity admitting exceptional Lie symmetries
- The Octonionic Rational Wave Numbers: Non-Associative Sequence Algebras, Moufang Loops, and Exceptional G2 Symmetries
- Non-invertible symmetries and modular invariance in lattice models
- Explicit height bounds on modular polynomials for the elliptic j-invariant, cube root of j, and Weber modular function f
- Generalized symmetries, invariant solutions and conservation laws in the Jaynes-Cummings model
BibTeX
@misc{coquereaux2026quantum,
title = {{Quantum symmetries and nimreps for an exotic exceptional modular invariant of F4 at level 6}},
author = {Robert Coquereaux},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.05449},
eprint = {2610.05449},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.05449},
}
RIS
TY - UNPB
TI - Quantum symmetries and nimreps for an exotic exceptional modular invariant of F4 at level 6
AU - Robert Coquereaux
PY - 2026
DA - 2026/10/04
PB - arXiv
DO - 10.48550/arxiv.2610.05449
UR - https://arxiv.org/abs/2610.05449
AB - We revisit an old non-diagonal modular invariant of F_4 at level $6$, discovered in 1989. At the time of its discovery, it was noticed that it could not be obtained from a conformal embedding of affine Lie algebras. Later, it was shown that it can be obtained from an extension of a vertex operator algebra which is not of Lie type. To this modular invariant, one can attach a full CFT defined (or formulated) as a module category ℳ for the fusion category 𝒜 = 𝒞(F_4,6). More recently, it was recognized that ℳ is associated with an étale algebra of 𝒜. In other words, the resulting quantum module is a quantum subgroup (it is also said to have self-fusion, to be of type I, or to be flat). We study the dual 𝒪 of 𝒜 with respect to ℳ. In particular, we describe the algebra of quantum symmetries (we obtain the chiral generators and display the Ocneanu graphs for the fundamental irreps of 𝒜). The chiral graphs are not connected, each one containing two pairs of isomorphic components. The vertex sets of these components are identified with the simple objects, up to equivalence, of two module categories ℳ and ℳ^′ sharing the same modular invariant. ℳ enjoys self-fusion, whereas ℳ^′ does not. The restriction of the action of the Verlinde algebra A to the associated abelian groups M and M^′ defines two families of matrices with non-negative integer entries (nimreps) and their adjacency graphs. As a by-product, we obtain the matrices describing the defect lines of the theory, the integer and rational fusion polynomials attached to A and its modules, and the relevant numerical invariants, quantum dimensions, quantum masses, and induction-restriction rules.
ER -