arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.13933

The Haagerup VOA at $c=8$

Andrew Riesen
View original source ↗Read source document ↗Export metadata ↓

Abstract

We announce an explicit construction of a unitary, strongly rational vertex operator algebra $U$ of central charge $8$ inside $V_{E_6\oplus A_2}$, with a ribbon equivalence $\mathrm{Rep}(U)\simeq Z(\mathcal H_3)$ realizing the Haagerup double. The vertex algebra is generated by six affine currents and three specified weight-two fields; its weight-one Lie algebra is $\mathfrak{sl}_2\oplus\mathfrak{sl}_2$, at levels $1$ and $39$. We outline the argument, which combines exact lattice calculations, an all-weight strong-generation induction and $C_2$-cofiniteness, semisimple descent for a full corner of Zhu's algebra, modular Galois symmetry, and holomorphic $E_8$ extensions.

Explore related subjects

math.QAmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrew Riesen. 2026-10-09. The Haagerup VOA at $c=8$. https://arxiv.org/abs/2610.13933

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Haar measure for totally positive split real semisimple quantum groups of classical type

Let $\hbar$ be a non-zero real number and put $q= e^{-πi \hbar}$. Let $G$ be a semisimple split real Lie group of classical type, with Lie algebra $\mathfrak{g}$ and associated Borel subalgebra $\mathfrak{b} \subseteq \mathfrak{g}$. We show that there exists a locally compact quantum group $(L_{\hbar}(B),Δ)$ which integrates the Borel part $U_q(\mathfrak{b})$ of the Drinfeld--Jimbo quantized enveloping algebra $U_q(\mathfrak{g})$, viewed as a Hopf $*$-algebra. We further compute the associated Haar weights and modular data for $(L_{\hbar}(B),Δ)$. Up to an excess Cartan part, the Drinfeld double of $(L_{\hbar}(B),Δ)$ can be seen as an analytic quantization of the function algebra of the totally positive semigroup $G^+\subseteq G$.

math.QA↗
arXiv2026

Generalised Joyal disks, $Θ_d$-colored $(d+1)$-operads, and higher Deligne conjecture

The classical Deligne conjecture (which by now has found several different proofs) says that the Hochschild cohomological complex of a small dg category over a field $k$ has a structure of a $C(E_2,k)$-algebra. A similar statement for any small dg weak $d$-category is called the generalised Deligne conjecture, it says the cohomological Hochschild complex of a dg weak $d$-category (appropriately defined) admits an action of the operad $C(E_{d+1},k)$. This paper is the first in a series of papers, in which our goal is to construct a $(d+1)$-algebra providing a solution to the generalised Deligne conjecture, on the level of complexes. This paper contains the combinatorial core of this $(d+1)$-algebra structure, for any $d\ge 1$. Namely, we construct a colored $(d+1)$-operad in sets (in the sense of M.Batanin), denoted by $\mathbf{seq}_d$. Its category of colors (= the category of unary operations) is the category $Θ_d$ of A.Joyal [J], dual to the category of Joyal $d$-disks [J], [Be2,3]. For $d=1$, our $Δ$-colored operad $\mathbf{seq}_1$ coincides with the operad $\mathbf{seq}$ of D.Tamarkin [T3]. We prove that the construction indeed gives rise to a $(d+1)$-operad, and that this $Θ_d$-colored $(d+1)$-operad $\mathbf{seq}_d$ is contractible in the dg and in the topological condensations, for any $d\ge 1$. The contractibility of a $(d+1)$-operad $\mathcal{O}$ is a key property, which, due to the Batanin symmetrisation theorem [Ba1,2], endows any its ($d$-terminal) algebra with an $E_{d+1}$-algebra structure.

math.QA↗
arXiv2026

Graded Satake diagrams and super-symmetric pairs

We list classical spherical subalgebras in basic matrix Lie superalgebras which are quantizable to coideal subalgebras in the standard quantum supergroups, for any choice of Borel subalgebra. We classify the corresponding Satake-type diagrams and prove that each of them defines a family of proper spherical subalgebras.

math.QA↗