Quantum Algebra

AG-2026.04-616

math.QA

Classification of Extended Abelian Chern-Simons Theories

Daniel Galviz

We classify extended Abelian Chern-Simons theories with gauge group $U(1)^n$ as extended $(2+1)$-dimensional topological quantum field theories. For an even integral nondegenerate lattice $(Λ,K)$, let $(G_K,q_K)$ denote its discriminant quadratic module. We prove that the associated theory is determined, up to symmetric monoidal natural isomorphism, by this finite quadratic module, and that every finite quadratic module is realized as the discriminant quadratic module of an even integral nondegenerate lattice. It follows that finite quadratic modules classify extended Abelian Chern-Simons theories, pointed Abelian Reshetikhin-Turaev TQFTs, and pointed modular tensor categories.

AG-2026.04-043

math.QA

Universal $T$-matrices for quantum Poincaré groups: contractions and quantum reference frames

Angel Ballesteros, Diego Fernandez-Silvestre, Ivan Gutierrez-Sagredo

Universal $T$-matrices, or Hopf algebra dual forms, for quantum groups are revisited, and their contraction theory is developed. As a first illustrative example, the (1+1) timelike $κ$-Poincaré $T$-matrix is explicitly worked out. Afterwards, motivated by recent results on the role of the Hopf algebra dual form of a quantum (1+1) centrally extended Galilei group as the algebraic object underlying non-relativistic quantum reference frame transformations, a new quantum deformation of the (1+1) centrally extended Poincaré Lie algebra is obtained, and its universal $T$-matrix is presented. Finally, the Hopf algebra dual form contraction is applied to this Poincaré $T$-matrix, showing that its corresponding non-relativistic counterpart is precisely the Galilei $T$-matrix associated with quantum reference frames. In this way, the Poincaré Hopf algebra dual form introduced here stands as a natural candidate for describing the symmetry structure of relativistic quantum reference frame transformations. In the appropriate basis, the associated quantum Poincaré group is recognized, remarkably, as a non-trivial central extension of the (1+1) spacelike $κ$-Poincaré dual Hopf algebra.

AG-2026.03-1069

math.QA

Cartier integration of infinitesimal 2-braidings via 2-holonomy of the CMKZ 2-connection, II: The pentagonator

Cameron Kemp

This is a continuation of the previous paper (arXiv:2508.01944) in this series. We recontextualise Cirio and Martins' work to motivate our fundamental conjecture that the Drinfeld-Kohno (Lie) 2-algebra has trivial cohomology. It is then shown that this conjecture implies the following: given a coherent totally symmetric infinitesimal 2-braiding $t$, every modification endomorphic on the zero transformation vanishes if it is made up of the four-term relationators and whiskerings by $t$. The power of such an implication is that, in our context, one need only construct the data of a braided monoidal 2-category and it will automatically satisfy the axioms. We thus conclude by constructing the pentagonator via Cirio and Martins' Knizhnik-Zamolodchikov 2-connection over the configuration space of 4 distinguishable particles on the complex line, $Y_4$. In particular, we make use of Bordemann, Rivezzi and Weigel's pentagon in $Y_4$.

AG-2026.03-994

math.QA

Open-Closed String Field Theory from Calabi-Yau Categories and its Applications to Enumerative Geometry

Jakob Ulmer

The overarching goal of this thesis was to develop categorical methods that connect enumerative geometry, as studied in mirror symmetry, with large $N$ gauge theories. In the first part, we established a relation between graph complexes, Calabi-Yau $A_\infty$-categories, and Kontsevich's cocycle construction. The next main result is the construction of a formality $L_\infty$-morphism relating algebraic structures built from a Calabi-Yau category and one of its objects; this morphism depends on a splitting of the non-commutative Hodge filtration. This generalizes the approach of categorical enumerative invariants from the closed to the open-closed setting. From a physics perspective, closed categorical enumerative invariants are encoded by the partition function of the associated closed string field theory (SFT). We explain how our open-closed morphism is an ingredient in quantizing the large N open SFT associated to an object of a Calabi-Yau category. In the final part of this thesis, based on an algebraic approach to open and closed backreacted SFT, we propose ideas towards a categorical formulation of 'Twisted Holography' at the level of partition functions, given as input a Calabi-Yau category and one of its objects.

AG-2026.03-869

math.QA

On the structure of categorical duality operators

Corey Jones, Xinping Yang

We systematically study categorical duality operators on spin (and anyon) chains with respect to an internal fusion category symmetry C. We parameterize duality operators on the quasi-local algebra in terms of data dependent on the associated quantum cellular automata (QCA) on the symmetric subalgebra $B$. In particular, a QCA $α$ on $B$ defines an invertible C-C bimodule category $M_α$, and the duality operators extending $α$ form a simplex, with extreme points in bijective correspondence with the simple object of $M_α$. Then we consider the structure of external symmetries generated by a family of duality operators, and show that if the UV models are all defined on tensor product Hilbert spaces, these categories necessarily flow to weakly integral fusion categories in the IR.

AG-2026.02-747

math.QA

Bicovariant Codifferential Calculi

Andrzej Borowiec, Patryk Mieszkalski

We develop a technique for studying first-order codifferential calculi (FOCCs) initiated by Doi and Quillen in the context of cyclic cohomology. Their classification, for a given coalgebra, reduces to the classification of subbicomodules in the universal bicomodule. For completing this task, the role of one-dimensional generating spaces (a.k.a. singletons) is found to be useful. We are particularly interested in classifying bicovariant codifferential calculi, which we define over Hopf algebras. This, in turn, can be reduced to classifying Yetter-Drinfeld (Y-D) submodules. In fact, there are two, mutually dual, Y-D structures on arbitrary Hopf algebra: one used by Woronowicz for constructing bicovariant differential calculi, and the another used here for FOCCs and shown to be related with Woronowicz construction of quantum tangent space. This argues that such codifferential calculi are better suited to Drinfeld-Jimbo type quantized enveloping algebras, as they are dual to Woronowicz' bicovariant calculi over matrix quantum groups. Relations with quantum Lie algebras and quantum vector fields are also shown. Some classification results are presented in numerous examples.

AG-2026.02-723

math.QA

A new product formula for $(z;q)_\infty$, with applications to asymptotics

Arash Arabi Ardehali, Hjalmar Rosengren

We express the $q$-Pochhammer symbol $(z;q)_\infty$ as an infinite product of gamma functions, analogously to how Narukawa expressed the elliptic gamma function as an infinite product of hyperbolic gamma functions. This identity is used to obtain asymptotic expansions when $q$ tends to $1$.

AG-2026.02-694

math.QA

Clifford algebras, meson algebras and higher order generalisations

Michel Dubois-Violette, Blas Torrecillas

We analyse the homogeneous parts of Clifford and meson algebras and point out that for the Clifford algebra it is related to fermionic statistics, that is, to fermionic parastatistics of order 1 while for the meson algebra it is related to fermionic parastatistics of order 2. We extend these homogeneous algebras into corresponding algebras related to fermionic parastatistics of all orders. We then define correspondingly higher order generalizations of Clifford and meson algebras.

AG-2026.01-1019

math.QA

Lecture notes on Nichols algebras

Simon D. Lentner

These are lecture notes for an introductory course on Nichols algebras. As a main reference, I work with the book by Heckenberger and Schneider, but I want to take a distinct categorical perspective and try to develop the topic for an audience without a background in Hopf algebras. On the other hand I put some emphasis on hands-on examples. My first goal is to explain the definitions and the striking properties of Nichols algebras, foremost the odd reflection theory that is already present in Lie superalgebras. My second goal is to explain how the category of representations of a quantum group can be constructed, using categorical tools, from the Nichols algebra as its centerpiece. This makes the zoo of different existing versions of quantum groups more transparent and allows the construction of many more non-semisimple modular tensor categories. Other topics include different types of examples beyond the diagonal case, categorical versions of some Hopf algebra constructions, and an outlook section on the appearance of Nichols algebras in conformal field theory.

AG-2026.01-841

math.QA

Cofiniteness and $P(z)$-tensor product bifunctors in orbifold theories associated to abelian but not-necessarily-finite groups

Yi-Zhi Huang

Let $V$ be a Möbius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without $g$-actions) for $g\in G$ and the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules with $G$-actions for $g\in G$. In this paper, an automorphism $g$ of $V$ can be of infinite order and does not have to act semisimply on $V$, and the group $G$ can be an infinite abelian group containing nonsemisimple automorphisms of $V$.

AG-2026.01-836

math.QA

Deformation rigidity of some simple affine VOAs

Andrew R. Linshaw, Fei Qi

In this paper, we prove that simple affine vertex operator algebras with positive integral levels admit only trivial first-order deformations. Therefore, the deformation rigidity conjecture of strongly rational vertex operator algebras holds for these cases. We also show that the same holds simple affine vertex operator algebra of $\mathfrak{sl}_2$ at the non-integral admissible level $-4/3$. Therefore, neither $C_2$-cofiniteness nor rationality is a necessary condition for deformation rigidity of VOAs. We conjecture that the same should hold for every simple affine VOA that does not coincide with the corresponding universal affine VOA.

AG-2026.01-827

math.QA

A Magnus group construction for a class of Borcherds algebras

Lisa Carbone, Elizabeth Jurisich

We construct a group associated to a class of Borcherds algebras that admit a direct sum decomposition into a Kac--Moody (or semi-simple) subalgebra and a pair of free Lie subalgebras. Such Borcherds algebras have no mutually orthogonal imaginary simple roots.Our group is a semi-direct product of a Kac--Moody (or semi-simple) group and a Magnus group of invertible formal power series corresponding to a basis of a certain highest weight module determined by the simple imaginary roots. We show that our group is independent of this choice of basis, up to isomorphism. We apply our construction to a number of concrete examples, such as certain Borcherds algebras formed using root lattices of hyperbolic Kac--Moody algebras, the Monster Lie algebra, Monstrous Lie algebras of Fricke type and the gnome Lie algebra.

AG-2026.01-818

math.QA

Symmetries of Borcherds algebras

Lisa Carbone

We give an overview of the construction of Borcherds algebras, particularly the Monstrous Lie algebras $\mathfrak m_g$ constructed by Carnahan, where $g$ is an element of the Monster finite simple group. When $g$ is the identity element, $\mathfrak m_g$ is the Monster Lie algebra of Borcherds. We discuss the appearance of the $\mathfrak m_g$ in compactified models of the Heterotic String. We also summarize recent work on associating Lie group analogs to the Lie algebras $\mathfrak m_g$. We include a discussion of some open problems.

AG-2025.11-1028

math.QA

Non-semisimple CFT/TFT correspondence I: General setup

Aaron Hofer, Ingo Runkel

We extend the TFT construction of CFT correlators of [arXiv:hep-th/0204148] to so-called finite logarithmic CFTs for which the algebraic input data is no longer semisimple but still finite. More specifically, starting from the data of a chiral CFT given in the form of a not necessarily semisimple modular tensor category C we use a three dimensional topological field theory with surface defects based on the surgery TFT of [arXiv:1912.02063] to construct a full CFT as a braided monoidal oplax natural transformation. We make our construction explicit in the example of the transparent surface defect, resulting in the so-called Cardy case. In particular, we consider topological line defects and their action on bulk fields in these logarithmic CFTs, providing a source of examples for non-invertible and non-semisimple topological symmetries.

AG-2025.11-1004

math.QA

Character Identities Between Affine and Virasoro Vertex Operator Algebra Modules

Dražen Adamović, Sven Möller

The affine vertex operator algebras for $\mathfrak{sl}_2$ and the Virasoro minimal models are related by Drinfeld-Sokolov reduction and by the Goddard-Kent-Olive coset construction. In this work, we propose another connection based on certain character identities between these vertex operator algebras and their modules. This relates the simple affine vertex operator algebras $L_k(\mathfrak{sl}_2)$ at admissible levels $k=-2+q/p$ to the rational $(q,3p)$-minimal models $L_\mathrm{Vir}(c_{q,3p},0)$, and also extends to the nonadmissible levels with $q=1$. Several special cases are particularly interesting. In the nonadmissible case $q=1$, the character identities extend to certain abelian intertwining algebras, specifically $\mathcal{V}^{(p)}$ and the doublet $\mathcal{A}^{(3p)}$. Specialising further to $p=2$, where $\mathcal{V}^{(2)}$ is the simple small $\mathcal{N}=4$ superconformal algebra of central charge $c=-9$, this recovers, via the 4d/2d-correspondence, a known identity between the Schur indices of the 4d $\mathcal{N}=4$ supersymmetric Yang-Mills theory for $\mathrm{SU}(2)$ and the 4d $\mathcal{N}=2$ $(3,2)$ Argyres-Douglas theory. In the boundary admissible case $q=2$, in a similar vein, we obtain an identity between the Schur indices of 4d $\mathcal{N}=2$ Argyres-Douglas theories of types $(A_1,D_{2n+1})$ and $(A_1,A_{6n})$. On the other hand, for integral levels, $p=1$, where both involved vertex operator algebras are strongly rational, our character identity induces a Galois conjugation between the representation categories $\mathrm{Rep}(L_{-2+q}(\mathfrak{sl}_2))$ and $\mathrm{Rep}(L_\mathrm{Vir}(c_{q,3},0))$. We conjecture that the characters are related by the action of certain Hecke operators. Finally, we also sketch how to extend the results of this paper to relaxed highest-weight and Whittaker modules.

AG-2025.11-727

math.QA

Cyclic brace relation and BV structure on open-closed Hochschild cohomology

Hang Yuan

For an open-closed homotopy algebra (OCHA), the previous work indicates that there is an open-closed version of Hochschild cohomology with a canonical Gerstenhaber algebra structure. If this OCHA is further cyclic and unital in the sense of Kajiura and Stasheff, we produce a BV algebra structure on this cohomology via a cochain-level identity formulated with cyclic brace operations.

AG-2025.11-698

math.QA

Generalized Witt and Morita equivalences

Liang Kong, Yilong Wang, Hao Zheng

In this work, we introduce a family of new equivalence relations among fusion categories that are less refined than the usual Morita equivalence. We obtain abelian groups by quotienting these new equivalence relations from the commutative monoids of the equivalence classes of all fusion categories. Moreover, we upgrade them to equivalence relations among nondegenerate braided fusion categories that are more refined than the usual Witt equivalence. As a consequence, we obtain new abelian groups that are more refined than the usual Witt group. These new groups allow us to access the internal structures within Witt classes. We expect that they are useful in the classification program of (braided) fusion (higher) categories and in the study of gapless edges of 2+1D topological orders.

AG-2025.10-1155

math.QA

Non-stationary difference equation and affine Laumon space III : Generalization to $\widehat{\mathfrak{gl}}_N$

Hidetoshi Awata, Koji Hasegawa, Hiroaki Kanno, Ryo Ohkawa, Shamil Shakirov, Jun'ichi Shiraishi, Yasuhiko Yamada

In a series of papers we have considered a non-stationary difference equation which was originally discovered for the deformed Virasoro conformal block. The equation involves mass parameters and, when they are tuned appropriately, the equation is regarded as a quantum KZ equation for $U_q(A_{1}^{(1)})$. We introduce a $\widehat{\mathfrak{gl}}_N$ generalization of the non-stationary difference equation. The Hamiltonian is expressed in terms of $q$-commuting variables and allows both factorized forms and a normal ordered form. By specializing the mass parameters appropriately, the Hamiltonian can be identified with the $R$-matrix of the symmetric tensor representation of $U_q(A_{N-1}^{(1)})$, which in turn comes from the 3D (tetrahedron) $R$-matrix. We conjecture that the affine Laumon partition function of type $A_{N-1}^{(1)}$ gives a solution to our $\widehat{\mathfrak{gl}}_N$ non-stationary difference equation. As a check of our conjecture, we work out the four dimensional limit and find that the non-stationary difference equation reduces to the Fuji-Suzuki-Tsuda system.

AG-2025.10-1020

math.QA

Two-parameter Langlands Correspondence

Mina Aganagic, Edward Frenkel, Andrei Okounkov

In our paper arXiv:1701.03146 we established, for every simply-laced Lie algebra g, a canonical isomorphism between the spaces of deformed conformal blocks of the deformed W-algebra and the quantum affine algebra corresponding to g, which we view as a q-deformation of the quantum Langlands correspondence. This was done by realizing the deformed conformal blocks of these algebras via the quantum K-theory of the Nakajima quiver varieties. We also linked this isomorphism to a duality emerging from the 6d little string theory. Here, we give a brief survey of these results and propose an extension to the non-simply laced case, which exhibits a Langlands-type duality.

AG-2025.10-928

math.QA

A cohomology theory of supercommutative algebras and grading-restricted vertex superalgebras

Paul Johnson, Fei Qi

This paper constructs the cohomology theory for grading-restricted vertex superalgebras, generalizing Yi-Zhi Huang's cohomology theory of grading-restricted vertex algebras. To simplify the discussion, motivate the construction, and make it easier for the reader to understand the technical points, we also include the construction of the cohomology theory of supercommutative associative algebras, a generalization of the Harrison cohomology theory of a commutative algebra that has not been explicitly written down. The paper will serve as the foundation for many subsequent studies, especially, the deformation theory of vertex superalgebras.

AG-2025.09-1085

math.QA

Non-local integrals of motion for deformed $W$-algebras of types $g=A_l, D_l, E_{6,7,8}$

Michio Jimbo, Takeo Kojima

We present an infinite set of non-local integrals of motion for deformed $W$-algebras of types $A_l, D_l$, and $E_{6,7,8}$. They can be regarded as a two-parameter deformation of trace of the monodromy matrix of the $g$-KdV theory. Commutativity of the non-local integrals of motion is shown in the case of $A_l$ and $D_l$ by a direct calculation. In the case of $E_{6,7,8}$ it is a conjecture.

AG-2025.09-908

math.QA

Nichols algebras, tensor categories and Kazhdan-Lusztig correspondences

Simon D. Lentner

There is a very general picture emerging that conjecturally describes what happens to the representation theory of a vertex algebra $\mathcal{V}$ if we pass to the kernel $\mathcal{W}$ of a set of screening operators. Namely, the screening operators generate a Nichols algebra $H$ inside $\mathrm{Rep}(\mathcal{V})$ and in many cases $\mathrm{Rep}(\mathcal{W})$ coincides with the relative Drinfeld center of $\mathrm{Rep}(H)$. This vastly generalizes the construction of a quantum group as the Drinfeld double of a Nichols algebra over the Cartan part. In this example, the conjectural category equivalence has been studied since around $20$ years as logarithmic Kazhdan Lusztig correspondence. The present survey was part of my habilitation thesis about my work in this area. I want to make it available as an introductory text, intended for readers from a pure algebra background as well as from a physics background. I motivate and explain gently and informally the different topics involved (quantum groups, Nichols algebras, vertex algebras, braided tensor categories) with a distinct categorical point of view, to the point that I can explain my general expectation. Then I explain some previous results and explain the main techniques in my recent proof of the conjectured category equivalence in case $\mathcal{V}$ is a free field theory and under technical assumptions on the analysis side.

AG-2025.09-863

math.QA

On the semi-infinite cohomology of graded-unitary vertex algebras

Christopher Beem, Niklas Garner

Recently, the first author with A. Ardehali, M. Lemos, and L. Rastelli introduced the notion of graded unitarity for vertex algebras. This generalization of unitarity is motivated by the SCFT/VOA correspondence and introduces a novel Hilbert space structure on the state space of a large class of vertex algebras that are not unitary in the conventional sense. In this paper, we study the relative semi-infinite cohomology of graded-unitary vertex algebras that admit a chiral quantum moment map for an affine current algebra at twice the critical level. We show that the relative semi-infinite chain complex for such a graded-unitary vertex algebra has a structure analogous to that of differential forms on a compact Kähler manifold, generalizing a strong form of the classic construction of Banks--Peskin and Frenkel--Garland--Zuckerman. We deduce that the relative semi-infinite cohomology is itself graded-unitary, which establishes graded unitarity for a large class of vertex operator algebras arising from three- and four-dimensional supersymmetric quantum field theories. We further establish an outer USp$(2)$ action on the semi-infinite cohomology (which does not respect cohomological grading), analogous to the Lefschetz $\mathfrak{sl}(2)$ in Kähler geometry. We also show that the semi-infinite chain complex is quasi-isomorphic as a differential graded vertex algebra to its cohomology, in analogy to the formality result of Deligne--Griffiths--Morgan--Sullivan for the de Rham cohomology of compact Kähler manifolds. We conclude by observing consequences of these results to the associated Poisson vertex algebras and related finite-type derived Poisson reductions.

AG-2025.09-837

math.QA

Characters and fusion rules of boundary W-algebras

Tomoyuki Arakawa, Igor Alarcon Blatt, Jethro van Ekeren, Wenbin Yan

We study the q-characters and modular data of exceptional W-algebras and give several examples and applications. We establish equality of q-characters and modular data between certain boundary W-algebras, leading in particular to a largely complete determination of fusion rules of exceptional W-algebras in type A.

AG-2025.09-802

math.QA

Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras

Meng Sun, Bowen Yang, Zongyuan Wang, Nathanan Tantivasadakarn, Yu-An Chen

We present a general framework for constructing quantum cellular automata (QCA) from topological quantum field theories (TQFT) and invertible subalgebras (ISA) using the cup-product formalism. This approach explicitly realizes all $\mathbb{Z}_2$ and $\mathbb{Z}_p$ Clifford QCAs (for prime $p$) in all admissible dimensions, in precise agreement with the classification predicted by algebraic $L$-theory. We determine the orders of these QCAs by explicitly showing that finite powers reduce to the identity up to finite-depth quantum circuits (FDQC) and lattice translations. In particular, we demonstrate that the $\mathbb{Z}_2$ Clifford QCAs in $(4l{+}1)$ spatial dimensions can be disentangled by non-Clifford FDQCs. Our construction applies beyond cubic lattices, allowing $\mathbb{Z}_2$ QCAs to be defined on arbitrary cellulations. Furthermore, we explicitly construct invertible subalgebras in higher dimensions, obtaining $\mathbb{Z}_2$ ISAs in $2l$ spatial dimensions and $\mathbb{Z}_p$ ISAs in $(4l{-}2)$ spatial dimensions. These ISAs give rise to $\mathbb{Z}_2$ QCAs in $(2l{+}1)$ dimensions and $\mathbb{Z}_p$ QCAs in $(4l{-}1)$ dimensions. We further prove that the QCAs in $3$ spatial dimensions constructed via TQFTs and ISAs are equivalent by identifying their boundary algebras, and show that this approach extends to higher dimensions. Together, these results establish a unified and dimension-periodic framework for Clifford QCAs, connecting their explicit lattice realizations to field theories.

AG-2025.09-756

math.QA

The principal W-algebra of $\mathfrak{psl}_{2|2}$

Zachary Fehily, Christopher Raymond, David Ridout

We study the structure and representation theory of the principal W-algebra $\mathsf{W}^{\mathsf{k}}_{\mathrm{pr}}$ of $\mathsf{V}^{\mathsf{k}}(\mathfrak{psl}_{2|2})$. The defining operator product expansions are computed, as is the Zhu algebra, and these results are used to classify irreducible highest-weight modules. In particular, for $\mathsf{k} = \pm \frac{1}{2}$, $\mathsf{W}^{\mathsf{k}}_{\mathrm{pr}}$ is not simple and the corresponding simple quotient is the symplectic fermion vertex algebra. We use this fact, along with inverse hamiltonian reduction, to study relaxed highest-weight and logarithmic modules for the small $N=4$ superconformal algebra at central charges $-9$ and $-3$.

AG-2025.08-936

math.QA

A Tensor Category Construction of the $W_{p,q}$ Triplet Vertex Operator Algebra and Applications

Robert McRae, Valerii Sopin

For coprime $p,q\in\mathbb{Z}_{\geq 2}$, the triplet vertex operator algebra $W_{p,q}$ is a non-simple extension of the universal Virasoro vertex operator algebra of central charge $c_{p,q}=1-\frac{6(p-q)^2}{pq}$, and it is a basic example of a vertex operator algebra appearing in logarithmic conformal field theory. Here, we give a new construction of $W_{p,q}$ different from the original screening operator definition of Feigin-Gainutdinov-Semikhatov-Tipunin. Using our earlier work on the tensor category structure of modules for the Virasoro algebra at central charge $c_{p,q}$, we show that the simple modules appearing in the decomposition of $W_{p,q}$ as a module for the Virasoro algebra have $\mathrm{PSL}_2$-fusion rules and generate a symmetric tensor category equivalent to $\operatorname{Rep}\mathrm{PSL}_2$. Then we use the theory of commutative algebras in braided tensor categories to construct $W_{p,q}$ as an appropriate non-simple modification of the canonical algebra in the Deligne tensor product of $\operatorname{Rep}\mathrm{PSL}_2$ with this Virasoro subcategory. As a consequence, we show that the automorphism group of $W_{p,q}$ is $\mathrm{PSL}_2(\mathbb{C})$. We also define a braided tensor category $\mathcal{O}_{c_{p,q}}^0$ consisting of modules for the Virasoro algebra at central charge $c_{p,q}$ that induce to untwisted modules of $W_{p,q}$. We show that $\mathcal{O}_{c_{p,q}}^0$ tensor embeds into the $\mathrm{PSL}_2(\mathbb{C})$-equivariantization of the category of $W_{p,q}$-modules and is closed under contragredient modules. We conjecture that $\mathcal{O}_{c_{p,q}}^0$ has enough projective objects and is the correct category of Virasoro modules for constructing logarithmic minimal models in conformal field theory.

AG-2025.08-935

math.QA

W-algebras as conformal extensions of affine VOAs

Dražen Adamović, Tomoyuki Arakawa, Thomas Creutzig, Andrew R. Linshaw, Anne Moreau, Pierluigi Möseneder Frajria, Paolo Papi

We provide a criterion for a vertex operator superalgebra homomorphism from an affine vertex algebra to another vertex superalgebra to be conformal, and an additional criterion that guarantees that this homomorphism is surjective. This situation is applied to W-algebras and W-superalgebras and we list all cases where our criterion applies. This gives many new examples of W-algebras that collapse to affine vertex algebras or are conformal extensions. In particular, we provide many examples of simple W-algebras at non-admissible levels that collapse to admissible level affine vertex algebras.

AG-2025.08-835

math.QA

Generalized Symmetries From Fusion Actions

Chongying Dong, Siu-Hung Ng, Li Ren, Feng Xu

Let $A$ be a condensable algebra in a modular tensor category $\mathcal{C}$. We define an action of the fusion category $\mathcal{C}_A$ of $A$-modules in $\mathcal{C}$ on the morphism space $\mbox{Hom}_{\mathcal{C}}(x,A)$ for any $x$ in $\mathcal{C}$, whose characters are generalized Frobenius-Schur indicators. This fusion action can be considered on $A$, and we prove a categorical generalization of the Schur-Weyl duality for this action. For any fusion subcategory $\mathcal{B}$ of $\mathcal{C}_A$ containing all the local $A$-modules, we prove the invariant subobject $B=A^\mathcal{B}$ is a condensable subalgebra of $A$. The assignment of $\mathcal{B}$ to $A^\mathcal{B}$ defines a Galois correspondence between this kind of fusion subcategories of $\mathcal{C}_A$ and the condensable subalgebras of $A$. In the context of VOAs, we prove for any nice VOAs $U \subset A$, $U=A^{\mathcal{C}_A}$ where $\mathcal{C}=\mathcal{M}_U$ is the category of $U$-modules. In particular, if $U = A^G$ for some finite automorphism group $G$ of $A,$ the fusion action of $\mathcal{C}_A$ on $A$ is equivalent to the $G$-action on $A.$

AG-2025.06-942

math.QA

Contact Term Algebras and Dijkgraaf's Master Equation

Zhengping Gui, Si Li, Xinxing Tang

This paper is devoted to study integrable deformations of chiral conformal field theories on elliptic curves from the viewpoint of contact algebra. We introduce the relevant integrable condition within the framework of conformal vertex algebra, and derive the contact term relations among certain local operators. We investigate three versions of genus one partition functions and derive the contact equations. This leads to a rigorous formulation of Dijkgraaf's master equation \cite{Dijk1996master} for chiral deformations.

AG-2025.06-892

math.QA

Higher Chiral Algebras in a Polysimplicial Model

Laura O. Felder, Zhengping Gui, Charles A. S. Young

Vertex algebras are equivalent to translation-equivariant chiral algebras on $\mathbb{A}^1$, in the sense of Beilinson and Drinfeld. In this paper we give an algebraic construction of a chiral algebra on $\mathbb{A}^n$; this can be seen as an algebraic construction of a higher-dimensional vertex algebra. We introduce a model, in dg commutative algebras, of the derived algebra of functions on the configuration space of $k$ distinct labelled marked points in $\mathbb{A}^n$. Working in this model -- which we call the polysimplicial model -- we obtain a dg operad of chiral operations on a degree-shifted copy of the canonical sheaf. We prove that there is a quasi-isomorphism, to this dg operad, from the Lie-infinity operad. This result makes the shifted canonical sheaf into a first example of a homotopy polysimplicial chiral algebra on $\mathbb{A}^n$, in a sense which generalizes to higher dimensions Malikov and Schechtman's notion of a homotopy chiral algebra.

AG-2025.06-864

math.QA

2-Group Symmetries of 3-dimensional Defect TQFTs and Their Gauging

Nils Carqueville, Benjamin Haake

A large class of symmetries of topological quantum field theories is naturally described by functors into higher categories of topological defects. Here we study 2-group symmetries of 3-dimensional TQFTs. We explain that these symmetries can be gauged to produce new TQFTs iff certain defects satisfy the axioms of orbifold data. In the special case of Reshetikhin-Turaev theories coming from $G$-crossed braided fusion categories $\mathcal C^\times_G$, we show that there are 0- and 1-form symmetries which have no obstructions to gauging. We prove that gauging the 0-form $G$-symmetry on the neutral component $\mathcal C_e$ of $\mathcal C^\times_G$ produces its equivariantisation $(\mathcal C^\times_G)^G$, which in turn features a generalised symmetry whose gauging recovers $\mathcal C_e$. If $G$ is commutative, the latter symmetry reduces to a 1-form symmetry involving the Pontryagin dual group.

AG-2025.06-862

math.QA

Generalised Orbifolds and G-equivariantisation

Sebastian Heinrich, Julia Plavnik, Ingo Runkel, Abigail Watkins

In a construction motivated by topological field theory, a so-called orbifold datum $\mathbb{A}$ in a ribbon category $C$ allows one to define a new ribbon category $C_{\mathbb{A}}$. If $C$ is the neutral component of a $G$-crossed ribbon category $B$, and $\mathbb{A}$ is an orbifold datum in $C$ defined in terms of $B$, one finds that $C_{\mathbb{A}}$ is equivalent to the equivariantisation $B^G$ of $B$ as a ribbon category. We give a constructive proof of this equivalence.

AG-2025.05-1150

math.QA

The Batalin-Vilkovisky formalism in noncommutative effective field theory

Alastair Hamilton

We address the treatment of gauge theories within the framework that is formed from combining the machinery of noncommutative symplectic geometry, as introduced by Kontsevich, with Costello's approach to effective gauge field theories within the Batalin-Vilkovisky formalism; discussing the problem of quantization in this context, and identifying the relevant cohomology theory controlling this process. We explain how the resulting noncommutative effective gauge field theories produce classes in a compactification of the moduli space of Riemann surfaces, when we pass to the large length scale limit. Within this setting, the large $N$ correspondence of 't Hooft -- describing a connection between open string theories and gauge theories -- appears as a relation between the noncommutative and commutative geometries. We use this correspondence to investigate and ultimately quantize a noncommutative analogue of Chern-Simons theory.

AG-2025.05-1113

math.QA

Noncommutative effective field theories and the large $N$ correspondence

Alastair Hamilton

We integrate the notion of an effective field theory, as described by Costello, with the framework of noncommutative symplectic geometry introduced by Kontsevich; providing a definition for the renormalization group flow in noncommutative geometry that is defined through the use of ribbon graphs. As in the commutative case, the resulting noncommutative effective field theories are in one-to-one correspondence with local interaction functionals. We explain how in this setting, the large $N$ correspondence discovered by 't Hooft appears as a relation between noncommutative and commutative effective field theories. As an example, we apply this framework to study a noncommutative analogue of Chern-Simons theory.

AG-2025.05-927

math.QA

Direct Sum Structure of the Super Virasoro Algebra and a Fermion Algebra Arising from the Quantum Toroidal $\mathfrak{gl}_2$

Yusuke Ohkubo

It is known that the $q$-deformed Virasoro algebra can be constructed from a certain representation of the quantum toroidal $\mathfrak{gl}_1$ algebra. In this paper, we apply the same construction to the quantum toroidal algebra of type $\mathfrak{gl}_2$ and study the properties of resulting generators $W_i(z)$ ($i=1,2$). The algebra generated by $W_i(z)$ can be regarded as a $q$-deformation of the direct sum $\mathsf{F} \oplus \mathsf{SVir}$, where $\mathsf{F}$ denotes the free fermion algebra and $\mathsf{SVir}$ stands for the $N=1$ super Virasoro algebra, also referred to as the $N=1$ superconformal algebra or the Neveu-Schwarz-Ramond algebra. Moreover, the generators $W_i(z)$ admit two screening currents, and we show that their degeneration limits coincide with the screening currents of $\mathsf{SVir}$. We also establish quadratic relations satisfied by $W_i(z)$ and show that they generate a pair of commuting $q$-deformed Virasoro algebras, which degenerate into two nontrivial commuting Virasoro algebras included in $\mathsf{F} \oplus \mathsf{SVir}$.

AG-2025.05-887

math.QA

Extending knot polynomials of braided Hopf algebras to links

Stavros Garoufalidis, Matthew Harper, Ben-Michael Kohli, Jiebo Song, Guillaume Tahar

Recently, a plethora of multivariable knot polynomials were introduced by Kashaev and one of the authors, by applying the Reshetikhin-Turaev functor to rigid $R$-matrices that come for braided Hopf algebras with automorphisms. We study the extension of these knot invariants to links, and use this to identify some of them with known link invariants, as conjectured in that same recent work.

AG-2025.04-1282

math.QA

Combinatorial twists in gl_n Yangians

Anastasia Doikou

We introduce the special set-theoretic Yang-Baxter algebra and show that it is a Hopf algebra subject to certain conditions. The associated universal R-matrix is also obtained via an admissible Drinfel'd twist. The structure of braces emerges naturally in this context by requiring the special set-theoretic Yang-Baxter algebra to be a Hopf algebra and a quasi-triangular bialgebra after twisting. The fundamental representation of the universal R-matrix yields the familiar set-theoretic (combinatorial) solutions of the Yang-Baxter equation. We then apply the same Drinfel'd twist to the gl_n Yangian after introducing the augmented Yangian. We show that the augmented Yangian is also a Hopf algebra and we also obtain its twisted version.

AG-2025.04-1210

math.QA

Orbifolds, higher dagger structures, and idempotents

Nils Carqueville, Tim Lüders

The orbifold/condensation completion procedure of defect topological quantum field theories can be seen as carrying out a lattice or state sum model construction internal to an ambient theory. In this paper, we propose a conceptual algebraic description of orbifolds/condensations for arbitrary tangential structures in terms of higher dagger structures and higher idempotents. In particular, we obtain (oriented) orbifold completion from (framed) condensation completion by using a general strictification procedure for higher dagger structures which we describe explicitly in low dimensions; we also discuss the spin and unoriented case. We provide several examples of higher dagger categories, such as those associated to state sum models, (orbifolds of) Landau--Ginzburg models, and truncated affine Rozansky--Witten models. We also explain how their higher dagger structures are naturally induced from rigid symmetric monoidal structures, recontextualizing and extending results from the literature.

AG-2025.04-1128

math.QA

Coupling a vertex algebra to a large center

Boris L. Feigin, Simon D. Lentner

Suppose a Lie group $G$ acts on a vertex algebra $V$. In this article we construct a vertex algebra $\tilde{V}$, which is an extension of $V$ by a big central vertex subalgebra identified with the algebra of functionals on the space of regular $\mathfrak{g}$-connections $(d+A)$. The category of representations of $\tilde{V}$ fibres over the set of connections, and the fibres should be viewed as $(d+A)$-twisted modules of $V$, generalizing the familiar notion of $g$-twisted modules. In fact, another application of our result is that it proposes an explicit definition of $(d+A)$-twisted modules of $V$ in terms of a twisted commutator formula, and we feel that this subject should be pursued further. Vertex algebras with big centers appear in practice as critical level or large level limits of vertex algebras. I particular we have in mind limits of the generalized quantum Langlands kernel, in which case $G$ is the Langland dual and $V$ is conjecturally the Feigin-Tipunin vertex algebra and the extension $\tilde{V}$ is conjecturally related to the Kac-DeConcini-Procesi quantum group with big center. With the current article, we can give a uniform and independent construction of these limits.

AG-2025.03-1308

math.QA

Extremal monomial property of q-characters and polynomiality of the X-series

Edward Frenkel, David Hernandez

The character of every irreducible finite-dimensional representation of a simple Lie algebra has the highest weight property. The invariance of the character under the action of the Weyl group W implies that there is a similar "extremal weight property" for every weight obtained by applying an element of W to the highest weight. In this paper we conjecture an analogous "extremal monomial property" of the q-characters of simple finite-dimensional modules over the quantum affine algebras, using the braid group action on q-characters defined by Chari. In the case of the identity element of W, this is the highest monomial property of q-characters proved in arXiv:math/9911112. Here we prove it for simple reflections. Somewhat surprisingly, the extremal monomial property for each w in W turns out to be equivalent to polynomiality of the "X-series" corresponding to w, which we introduce in this paper. We show that these X-series are equal to certain limits of the generalized Baxter operators for all w in W. Thus, we find a new bridge between q-characters and the spectra of XXZ-type quantum integrable models associated to quantum affine algebras. This leads us to conjecture polynomiality of all generalized Baxter operators, extending the results of arXiv:1308.3444.

AG-2025.03-1106

math.QA

Continuous Tambara-Yamagami tensor categories

Adrià Marín-Salvador

We present a new model for continuous tensor categories as algebra objects in the Morita bicategory of $\mathrm{C}^*$-algebras. In this setting, we generalize the construction of Tambara-Yamagami tensor categories from finite abelian groups to locally compact abelian groups, and provide a classification of continuous Tambara-Yamagami tensor categories for a locally compact group $G$. A continuous Tambara-Yamagami tensor category associated to a locally compact group $G$ is a continuous tensor category that has a single non-invertible simple object $τ$ such that $τ\otimes τ$ decomposes as a direct integral indexed over $G$, meaning $τ\otimesτ\cong L^2(G)$. We show that continuous Tambara-Yamagami tensor categories for $G$ are classified by a continuous symmetric nondegenerate bicharacter $χ: G\times G\to U(1)$ and a sign $ξ\in\{\pm 1\}$. We also prove that, if a $\mathrm{W}^*$-tensor category $\mathcal{C}$ obeys the Tambara-Yamagami fusion rules, then its associators are automatically continuous in the sense that $\mathcal{C}$ is obtained from a continuous tensor category by forgetting its topology.

AG-2025.03-978

math.QA

On the Representation Categories of Weak Hopf Algebras Arising from Levin-Wen Models

Ansi Bai, Zhi-Hao Zhang

In their study of Levin-Wen models [Commun. Math. Phys. 313 (2012) 351-373], Kitaev and Kong proposed a weak Hopf algebra associated with a unitary fusion category $\mathcal{C}$ and a unitary left $\mathcal{C}$-module $\mathcal{M}$, and sketched a proof that its representation category is monoidally equivalent to the unitary $\mathcal{C}$-module functor category $\mathrm{Fun}^{\mathrm{u}}_{\mathcal{C}}(\mathcal{M},\mathcal{M})^\mathrm{rev}$. We give an independent proof of this result without the unitarity conditions. In particular, viewing $\mathcal{C}$ as a left $\mathcal{C} \boxtimes \mathcal{C}^{\mathrm{rev}}$-module, we obtain a quasi-triangular weak Hopf algebra whose representation category is braided equivalent to the Drinfeld center $\mathcal{Z}(\mathcal{C})$. In the appendix, we also compare this quasi-triangular weak Hopf algebra with the tube algebra $\mathrm{Tube}_{\mathcal{C}}$ of $\mathcal{C}$ when $\mathcal{C}$ is pivotal. These two algebras are Morita equivalent by the well-known equivalence $\mathrm{Rep}(\mathrm{Tube}_{\mathcal{C}})\cong\mathcal{Z}(\mathcal{C})$. However, we show that in general there is no weak Hopf algebra structure on $\mathrm{Tube}_{\mathcal{C}}$ such that the above equivalence is monoidal.

AG-2025.03-954

math.QA

Genus $g$ Virasoro Correlation Functions for Vertex Operator Algebras

Michael P. Tuite, Michael Welby

For a simple, self-dual, strong CFT-type vertex operator algebra (VOA) of central charge $c$, we describe the Virasoro $n$-point correlation function on a genus $g$ marked Riemann surface in the Schottky uniformisation. We show that this $n$-point function determines the correlation functions for all Virasoro vacuum descendants. Using our recent work on genus $g$ Zhu recursion, we show that the Virasoro $n$-point function is determined by a differential operator $\mathcal{D}_{n}$ acting on the genus $g$ VOA partition function normalised by the Heisenberg partition function to the power of $c$. We express $\mathcal{D}_{n}$ as the sum of weights over certain Virasoro graphs where the weights explicitly depend on $c$, the classical bidifferential of the second kind, the projective connection, holomorphic 1-forms and derivatives with respect to any $3g-3$ locally independent period matrix elements. We also describe the modular properties of $\mathcal{D}_{n}$ under a homology base change.

AG-2025.03-920

math.QA

Large $N$ Vertex Algebras via Deligne Category

Keyou Zeng

In this paper, we propose a new construction of vertex algebras using the Deligne category. This approach provides a rigorous framework for defining the so-called large $N$ vertex algebra, which has appeared in recent physics literatures. We first define the notion of a vertex algebra in a symmetric monoidal category and extend familiar constructions in ordinary vertex algebras to this broader categorical context. As an application, we consider a $βγ$ vertex algebra in the Deligne category and construct the large N vertex algebra from it. We study some simple properties of this vertex algebra and analyze a certain vertex Poisson algebra limit.

AG-2025.01-1035

math.QA

Cohomological vertex algebras

Colton Griffin

Vertex algebras (and their modules) can be described as vector spaces together with a linear operator-valued series in one parameter $z$. With the interpretation of $z$ as a coordinate at a point on a curve, one can construct algebraic structures on the moduli space of curves from $V$-modules. Here we propose a generalization of vertex algebras involving linear operators in parameters $z_1,\ldots,z_n$. One may interpret these as being the components of a set of coordinates on an $n$-dimensional algebraic variety. These are referred to as cohomological vertex algebras (CVAs): the formal punctured 1-disk underlying a vertex algebra is replaced by a ring modeling the cohomology of certain modifications of the formal $n$-disk. We prove several structural theorems for CVAs and give a definition of cohomological vertex operator algebras (CVOAs). Using a reconstruction theorem for CVAs, we provide basic examples such as the $βγ$-system, the Heisenberg CVA, and the affine Kac-Moody CVAs. We use these constructions to describe BRST reduction, leading to an analog of W-algebras.

AG-2025.01-966

math.QA

Twisted intertwining operators and tensor products of (generalized) twisted modules

Jishen Du, Yi-Zhi Huang

We study the general twisted intertwining operators (intertwining operators among twisted modules) for a vertex operator algebra $V$. We give the skew-symmetry and contragredient isomorphisms between spaces of twisted intertwining operators and also prove some other properties of twisted intertwining operators. Using twisted intertwining operators, we introduce a notion of $P(z)$-tensor product of two objects for $z\in \mathbb{C}^{\times}$ in a category of suitable $g$-twisted $V$-modules for $g$ in a group of automorphisms of $V$ and give a construction of such a $P(z)$-tensor product under suitable assumptions. We also construct $G$-crossed commutativity isomorphisms and $G$-crossed braiding isomorphisms. We formulate a $P(z)$-compatibility condition and a $P(z)$-grading-restriction condition and use these conditions to give another construction of the $P(z)$-tensor product.

AG-2025.01-907

math.QA

A Conjecture of Warnaar-Zudilin from Deformations of Lie Superalgebras

Thomas Creutzig, Niklas Garner

We prove a collection of $q$-series identities conjectured by Warnaar and Zudilin and appearing in recent work with H. Kim in the context of superconformal field theory. Our proof utilizes a deformation of the simple affine vertex operator superalgebra $L_k(\mathfrak{osp}_{1|2n})$ into the principal subsuperspace of $L_k(\mathfrak{sl}_{1|2n+1})$ in a manner analogous to earlier work of Feigin-Stoyanovsky. This result fills a gap left by Stoyanovsky, showing that for all positive integers $N$, $k$ the character of the principal subspace of type $A_N$ at level $k$ can be identified with the (super)character of a simple affine vertex operator (super)algebra at the same level.

AG-2025.01-893

math.QA

A conditional algebraic proof of the logarithmic Kazhdan-Lusztig correspondence

Simon D. Lentner

The logarithmic Kazhdan-Lusztig correspondence is a conjectural equivalence between braided tensor categories of representations of small quantum groups and representations of certain vertex operator algebras. In this article we prove such an equivalence, and more general versions, using mainly algebraic arguments that characterize the representation category of the quantum group by quantities that are accessible on the vertex algebra side. Our proof is conditional on suitable analytic properties of the vertex algebra and its representation category. More precisely, we assume that it is a finite braided rigid monoidal category where the Frobenius-Perron dimensions are given by asymptotics of analytic characters.

AG-2025.01-834

math.QA

On the structure of tensor products of the finite-dimensional representations of quantum affine $\mathfrak{sl}_n$

Henrik Juergens

We review some important facts about the structure of tensor products of finite dimensional representations of quantum affine algebras. This is done from the elementary standpoint of the representation theory of semisimple Lie algebras in the scope of a masters thesis. We set the focus on drawing the line to the finite dimensional representation theory of quantum affine $\mathfrak{sl}_n$, the theory of q-characters, and introduce the so called snake modules together with their character formula.

AG-2024.12-1114

math.QA

Quantum Cluster State Model with Haagerup Fusion Category Symmetry

Zhian Jia

We propose a (1+1)D lattice model, inspired by a weak Hopf algebra generalization of the cluster state model, which realizes Haagerup fusion category symmetry and features a tensor product Hilbert space. The construction begins with a reconstruction of the Haagerup weak Hopf algebra $H_3$ from the Haagerup fusion category, ensuring that the representation category of $H_3$ is equivalent to Haagerup fusion category. Utilizing the framework of symmetry topological field theory (SymTFT), we develop an ultra-thin weak Hopf quantum double model, characterized by a smooth topological boundary condition. We show that this model supports Haagerup fusion category symmetry. Finally, we solve the ground state of the model in terms of a weak Hopf matrix product state, which serves as a natural generalization of the cluster state, embodying Haagerup fusion category symmetry.

AG-2024.11-931

math.QA

Twisted vertex algebra modules for irregular connections: A case study

Boris L. Feigin, Simon D. Lentner

A vertex algebra with an action of a group $G$ comes with a notion of $g$-twisted modules, forming a $G$-crossed braided tensor category. For a Lie group $G$, one might instead wish for a notion of $(\mathrm{d}+A)$-twisted modules for any $\mathfrak{g}$-connection on the formal punctured disc. For connections with a regular singularity, this reduces to $g$-twisted modules, where $g$ is the monodromy around the puncture. The case of an irregular singularity is much richer and involved, and we are not aware that it has appeared in vertex algebra language. The present article is intended to spark such a treatment, by providing a list of expectations and an explicit worked-through example with interesting applications. Concretely, we consider the vertex super algebra of symplectic fermions, or equivalently the triplet vertex algebra $\mathcal{W}_p(\mathfrak{sl}_2)$ for $p=2$, and study its twisted module with respect to irregular $\mathfrak{sl}_2$-connections. We first determine the category of representations, depending on the formal type of the connection. Then we prove that a Sugawara type construction gives a Virasoro action and we prove that as Virasoro modules our representations are direct sums of Whittaker modules. Conformal field theory with irregular singularities resp. wild ramification appear in the context of geometric Langlands correspondence, and in particular in work by Witten, higher dimensional field theories and AGT correspondence. Our original motivation comes from semiclassical limits of the generalized quantum Langlands kernel, which fibres over the space of connections [FL24], similar to the affine Lie algebra at critical level. Our present article now describes, in the smallest case, the fibres of this category over irregular connections.

AG-2024.11-895

math.QA

Construction of Lie algebra weight system kernel via Vogel algebra

Dmitry Khudoteplov, Elena Lanina, Alexey Sleptsov

We develop a method of constructing a kernel of Lie algebra weight system. A main tool we use in the analysis is Vogel's $Λ$ algebra and the surrounding framework. As an example of a developed technique we explicitly provide all Jacobi diagrams lying in the kernel of $\mathfrak{sl}_N$ weight system at low orders. We also discuss consequences of the presence of the kernel in Lie algebra weight systems for detection of correlators in the 3D Chern-Simons topological field theory and for distinguishing of knots by the corresponding quantum knot invariants.

AG-2024.11-824

math.QA

Ribbon categories of weight modules for affine $\mathfrak{sl}_2$ at admissible levels

Thomas Creutzig, Robert McRae, Jinwei Yang

We show that the braided tensor category of finitely-generated weight modules for the simple affine vertex operator algebra $L_k(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ at any admissible level $k$ is rigid and hence a braided ribbon category. The proof uses a recent result of the first two authors with Shimizu and Yadav on embedding a braided Grothendieck-Verdier category $\mathcal{C}$ into the Drinfeld center of the category of modules for a suitable commutative algebra $A$ in $\mathcal{C}$, in situations where the braided tensor category of local $A$-modules is rigid. Here, the commutative algebra $A$ is Adamović's inverse quantum Hamiltonian reduction of $L_k(\mathfrak{sl}_2)$, which is the simple rational Virasoro vertex operator algebra at central charge $1-\frac{6(k+1)^2}{k+2}$ tensored with a half-lattice conformal vertex algebra. As a corollary, we also show that the category of finitely-generated weight modules for the $N = 2$ super Virasoro vertex operator superalgebra at central charge $-6\ell-3$ is rigid for $\ell$ such that $(\ell+1)(k+2) = 1$.

AG-2024.11-825

math.QA

Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras

Hiromu Nakano, Florencia Orosz Hunziker, Ana Ros Camacho, Simon Wood

We prove that the categories of weight modules over the simple $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator algebras at fractional admissible levels and central charges are rigid (and hence the categories of weight modules are braided ribbon categories) and that the decomposition formulae of fusion products of simple projective modules conjectured by Thomas Creutzig, David Ridout and collaborators hold (including when the decomposition involves summands that are indecomposable yet not simple). In addition to solving this old open problem, we develop new techniques for the construction of intertwining operators by means of integrating screening currents over certain cycles, which are expected to be of independent interest, due to their applicability to many other algebras. In the example of $\mathfrak{sl}(2)$ these new techniques allow us to give explicit formulae for a logarithmic intertwining operator from a pair of simple projective modules to the projective cover of the tensor unit, namely, the vertex operator algebra as a module over itself.

AG-2024.11-823

math.QA

Resolving Verlinde's formula of logarithmic CFT

Thomas Creutzig

Verlinde's formula for rational vertex operator algebras computes the fusion rules from the modular transformations of characters. In the non semisimple and non finite case, a logarithmic Verlinde formula has been proposed together with David Ridout. In this formula one replaces simple modules by their resolutions by standard modules. Here and under certain natural assumptions this conjecture is proven in generality. The result is illustrated in the examples of the singlet algebras and of the affine vertex algebra of $\mathfrak{sl}_2$ at any admissible level, i.e. in particular the Verlinde conjectures in these cases are true. In the latter case it is also explained how to compute the actual fusion rules from knowledge of the Grothendieck ring.

AG-2024.11-766

math.QA

Modularity of Vertex Operator Algebra Correlators with Zero Modes

Darlayne Addabbo, Christoph A. Keller

It is known from Zhu's results that under modular transformations, correlators of rational $C_2$-cofinite vertex operator algebras transform like Jacobi forms. We investigate the modular transformation properties of VOA correlators that have zero modes inserted. We derive recursion relations for such correlators and use them to establish modular transformation properties. We find that correlators with only zero modes transform like quasi-modular forms, and mixed correlators with both zero modes and vertex operators transform like quasi-Jacobi forms. As an application of our results, we introduce algebras of higher weight fields whose zero mode correlators mimic the properties of those of weight 1 fields. We also give a simplified proof of the weight 1 transformation properties originally proven by Miyamoto.

AG-2024.11-706

math.QA

Quantum groupoids from moduli spaces of $G$-bundles

Raschid Abedin, Wenjun Niu

In a previous work, we have constructed the Yangian $Y_\hbar (\mathfrak{d})$ of the cotangent Lie algebra $\mathfrak{d}=T^*\mathfrak{g}$ for a simple Lie algebra $\mathfrak{g}$, from the geometry of the equivariant affine Grassmanian associated to $G$ with $\mathfrak{g}=\mathrm{Lie}(G)$. In this paper, we construct a quantum groupoid $Υ_\hbar^σ(\mathfrak{d})$ associated to $\mathfrak{d}$ over a formal neighbourhood of the moduli space of $G$-bundles and show that it is a dynamical twist of $Y_\hbar(\mathfrak{d})$. Using this dynamical twist, we construct a dynamical quantum spectral $R$-matrix, which essentially controls the meromorphic braiding of $Υ_\hbar^σ(\mathfrak{d})$. This construction is motivated by the Hecke action of the equivariant affine Grassmanian on the moduli space of $G$-bundles in the setting of coherent sheaves. Heuristically speaking, the quantum groupoid $Υ_\hbar^σ(\mathfrak{d})$ controls this action at a formal neighbourhood of a regularly stable $G$-bundle. From the work of Costello-Witten-Yamazaki, it is expected that this Hecke action should give rise to a dynamical integrable system. Our result gives a mathematical confirmation of this and an explicit $R$-matrix underlying the integrability.

AG-2024.11-619

math.QA

Heisenberg and Drinfeld doubles of Uq(gl(1|1)) and Uq(osp(1|2)) super-algebras

Nezhla Aghaei, M. K. Pawelkiewicz

We study the Heisenberg double and the Drinfeld double of the Borel half of $Uq (gl(1|1))$ and of the $Uq (gl(1|1))$ when q is a root of unity. We also study the Borel half of Uq (osp(1|2)) for both cases when qis a root of unity and when it is not. We prove the isomorphism between the Heisenberg doubles and the handle algebras, which is missing in the literature, and extend the isomorphism to the graded Heisenberg doubles and the handle algebras in the context of the Z2-graded generalisation of Alekseev-Schomerus combinatorial quantisation of Chern-Simons theory [1, 2], as well as illustrate it on the example of the Heisenberg double of the $Uq (gl(1|1))$ Hopf algebra for q being a root of unity. In addition, we generalise an isomorphism between the Drinfeld double and the loop algebra from the Alekseev-Schomerus combinatorial quantisation to the graded setting.

AG-2024.10-963

math.QA

An open-closed string analogue of Hochschild cohomology

Hang Yuan

We prove that every open-closed homotopy algebra, introduced by Kajiura and Stasheff (arXiv: archive/0410291), naturally gives rise to an open-closed version of Hochschild cochain complex whose cohomology admits a canonical Gerstenhaber algebra structure. We also develop the open-closed brace relations, provide a concise description of OCHAs, and establish an A-infinity structure that extends the open-closed Hochschild differential.

AG-2024.10-961

math.QA

The BV double of a Courant algebroid

Anton M. Zeitlin

We characterize a Courant algebroid with a Calabi-Yau structure as a homotopy BV algebra with certain properties. We explain how it fits into recent double copy constructions relating Yang-Mills homotopy algebras to the ones of Double Field Theory and Gravity.

AG-2024.10-706

math.QA

Unitarity and strong graded locality of holomorphic vertex operator superalgebras with central charge at most 24

Tiziano Gaudio

We prove that all nice holomorphic vertex operator superalgebras (VOSAs) with central charge at most 24 and with non-trivial odd part are unitary, apart from the hypothetical ones arising as fake copies of the shorter moonshine VOSA or of the latter tensorized with a real free fermion VOSA. Furthermore, excluding the ones with central charge 24 of glueing type III and with no real free fermion, we show that they are all strongly graded-local. In particular, they naturally give rise to holomorphic graded-local conformal nets. In total, we are able to prove that 910 of the 969 nice holomorphic VOSAs with central charge 24 and with non-trivial odd part are strongly graded-local, without counting hypothetical fake copies of the shorter moonshine VOSA tensorized with a real free fermion VOSA.

AG-2024.10-649

math.QA

Consistency of operator product expansions of Boundary 2d CFT and Swiss-cheese operad

Yuto Moriwaki

In this paper, we construct an action of the fundamental groupoid of the Swiss-cheese operad (the parenthesized permutation and braid operad) on $C_1$-cofinite module categories of a vertex operator algebra. Based on this result, we show that when a boundary conformal field theory has locally $C_1$-cofinite chiral symmetry, all operator product expansions converge absolutely on open regions in the configuration spaces of the upper half-plane and define real analytic functions (the correlation functions), independent of orders and parentheses of OPEs.

AG-2024.10-616

math.QA

Orbifolds of Pointed Vertex Operator Algebras I

Terry Gannon, Andrew Riesen

By a pointed vertex operator algebra (VOA) we mean one whose modules are all simple currents (i.e. invertible), e.g. lattice VOAs. This paper systematically explores the interplay between their orbifolds and tensor category theory. We begin by supplying an elementary proof of the Dijkgraaf-Witten conjecture, which predicts the representation theory of holomorphic VOA orbifolds. We then apply that argument more generally to the situation where the automorphism subgroup fixes all VOA modules, and relate the result to recent work of Mason-Ng and Naidu. Here our results are complete. We then turn to the other extreme, where the automorphisms act fixed-point freely on the modules, and realize any possible nilpotent group as lattice VOA automorphisms. This affords a considerable generalization of the Tambara-Yamagami categories. We conclude by considering some hybrid actions. In this way we use tensor category theory to organize and generalize systematically several isolated examples and special cases scattered in the literature. Conversely, we show how VOA orbifolds can be used to construct broad classes of braided crossed fusion categories and modular tensor categories.

AG-2024.09-860

math.QA

Deformation quantization generates all multiple zeta values

Kelvin Ritland

Banks--Panzer--Pym have shown that the volume integrals appearing in Kontsevich's deformation quantization formula always evaluate to integer-linear combinations of multiple zeta values (MZVs). We prove a sort of converse, which they conjectured in their work, namely that with the logarithmic propagator: (1) the coefficients associated to the graphs appearing at order $\hbar^n$ in the quantization formula generate the Q-vector space of weight-$n$ MZVs, and (2) the set of all coefficients generates the Z-module of MZVs. In order to prove this result, we develop a new technique for integrating Kontsevich graphs using polylogarithms and apply it to an infinite subset of Kontsevich graphs. Then, using the binary string representation of MZVs and the Lyndon word decomposition of binary strings, we show that this subset of graphs generates all MZVs.

AG-2024.09-825

math.QA

Computing $G$-Crossed Extensions and Orbifolds of Vertex Operator Algebras

César Galindo, Simon Lentner, Sven Möller

In this article, we develop tools for computing $G$-crossed extensions of braided tensor categories. Their equivariantisations appear as categories of modules of fixed-point subalgebras (or orbifolds) of vertex operator algebras and are often difficult to determine. As the first tool, we show how the seminal work of Etingof, Nikshych and Ostrik on the uniqueness of $G$-crossed extensions can be used to determine the category of modules of orbifold vertex operator algebras. As an application, we determine the modular tensor category of the orbifold of a lattice vertex operator algebra under a lift of $-\mathrm{id}$ for a lattice with odd-order discriminant form. In that case, the de-equivariantisation is of Tambara-Yamagami type. As the second tool, we describe how $G$-crossed extensions and condensations by commutative algebras commute in a suitable sense. This leads to an effective approach to compute new $G$-crossed extensions. As one application, we produce the coherence data that are then used in arXiv:2411.12251 to define a generalisation of the Tambara-Yamagami categories with more than one simple object in the twisted sector. This also yields the modular tensor category of the orbifold of an arbitrary lattice vertex operator algebra under a lift of $-\mathrm{id}$. Finally, we sketch how to categorically approach the general problem of lattice orbifolds under lifts of arbitrary lattice involutions.

AG-2024.09-771

math.QA

$L_1(\mathfrak{psl}_{n|n})$ from BRST reductions, associated varieties and nilpotent orbits

Andrea E. V. Ferrari, Aiden Suter

We verify a conjecture of Beem and the first author stating that a certain family of physically motivated BRST reductions of beta-gamma systems and free fermions is isomorphic to $L_1(\mathfrak{psl}_{n|n})$, and that its associated variety is isomorphic as a Poisson variety to the minimal nilpotent orbit closure $\overline{\mathbb{O}_{\mathrm{min}}(\mathfrak{sl}_n)}$. This shows in particular that $L_1(\mathfrak{psl}_{n|n})$ is quasi-lisse. Combining this with other results in the literature (in particular work of Ballin et al.), this paper provides a concrete and important example of how one can extract two symplectic dual varieties from a rather well-known vertex operator algebra.

AG-2024.09-139

math.QA

Complex structure on quantum-braided planes

Edwin Beggs, Shahn Majid

We construct a quantum Dolbeault double complex $\oplus_{p,q}Ω^{p,q}$ on the quantum plane $\Bbb C_q^2$. This solves the long-standing problem that the standard differential calculus on the quantum plane is not a $*$-calculus, by embedding it as the holomorphic part of a $*$-calculus. We show in general that any Nichols-Woronowicz algebra or braided plane $B_+(V)$, where $V$ is an object in an abelian $\Bbb C$-linear braided bar category of real type is a quantum complex space in this sense with a factorisable Dolbeault double complex. We combine the Chern construction on $Ω^{1,0}$ in such a Dolbeault complex for an algebra $A$ with its conjugate to construct a canonical metric compatible connection on $Ω^1$ associated to a class of quantum metrics, and apply this to the quantum plane. We also apply this to finite groups $G$ with Cayley graph generators split into two halves related by inversion, constructing such a Dolbeault complex $Ω(G)$ in this case, recovering the quantum Levi-Civita connection for any edge-symmetric metric on the integer lattice with $Ω(\Bbb Z)$ now viewed as a quantum complex structure. We also show how to build natural quantum metrics on $Ω^{1,0}$ and $Ω^{0,1}$ separately where the inner product in the case of the quantum plane, in order to descend to $\otimes_A$, is taken with values in an $A$-bimodule.

AG-2024.08-858

math.QA

First-order deformations of freely generated vertex algebras

Vladimir Kovalchuk, Fei Qi

We solve the problem of how to classify the first-order vertex-algebraic deformations for any grading-restricted vertex algebra $V$ that is freely generated by homogeneous elements of positive weights. We approach by computing the second cohomology $H^2_{1/2}(V, V)$ constructed by Yi-Zhi Huang. We start with the cocycle on two generators and show that its cohomology class is completely determined by its singular part. To extend the cocycle to any pair of elements in $V$, we take a generating function approach, formulate the cocycle equation, and show that all the complementary solutions are coboundaries. Then we use a very general procedure to construct a particular solution. The procedure applies to vertex algebras that are not freely generated. As a by-product, we show that $H^2_{1/2}(V, V) = H^2_\infty(V, V)$. Using these results, we explicitly determine the first-order deformations of the universal Virasoro VOA $Vir_c$, universal affine VOA $V^l(\mathfrak{g})$, Heisenberg VOA $V^l(\mathfrak{h})$, and the universal Zamolodchikov VOA $W_3^c$.

AG-2024.08-758

math.QA

Homotopy transfer for L-infinity structures and the BV-formalism

James Maunder

Explicit constructions for the minimal models of general and unimodular L-infinity algebra structures are given using the BV-formalism of mathematical physics and the perturbative expansions of integrals. In particular, the general formulas for the minimal model of an L-infinity algebra structure are an instance of the Homotopy Transfer Theorem and we recover the known formulas of the structure in terms of sums over rooted trees discussing their relation to Feynman diagrams.

AG-2024.08-683

math.QA

Some isomorphisms between exceptional W-algebras

Jethro van Ekeren, Shigenori Nakatsuka

We prove some isomorphisms between exceptional W-algebras associated with exceptional simple Lie algebras.

AG-2024.08-626

math.QA

Flatness of $α$-induced bi-unitary connections and commutativity of Frobenius algebras

Yasuyuki Kawahigashi

The tensor functor called $α$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject to some axioms, realizes an object in any unitary fusion category. It also gives a characterization of a finite-dimensional nondegenerate commuting square in subfactor theory of Jones and realizes a certain $4$-tensor appearing in recent studies of $2$-dimensional topological order. We study $α$-induction for bi-unitary connections, and show that flatness of the resulting $α$-induced bi-unitary connections implies commutativity of the original Frobenius algebra. This gives a converse of our previous result and answers a question raised by R. Longo. We furthermore give finer correspondence between the flat parts of the $α$-induced bi-unitary connections and the commutative Frobenius subalgebras studied by Böckenhauer-Evans.

AG-2024.08-545

math.QA

Lattice paths and quiver generating series with higher level generators

Dušan Đorđević, Marko Stošić

The generalized knots-quivers correspondence extends the original knots-quivers correspondence, by allowing higher level generators of quiver generating series. In this paper we explore the underlined combinatorics of such generating series, relationship with the BPS numbers of a corresponding knot, and new combinatorial interpretations of the coefficients of generating series.

AG-2024.07-2085

math.QA

Quantum geometric Wigner construction for $D(G)$ and braided racks

Shahn Majid, Leo Sean McCormack

The quantum double $D(G)=\Bbb C(G)\rtimes \Bbb C G$ of a finite group plays an important role in the Kitaev model for quantum computing, as well as in associated TQFT's, as a kind of Poincaré group. We interpret the known construction of its irreps, which are quasiparticles for the model, in a geometric manner strictly analogous to the Wigner construction for the usual Poincaré group of $\Bbb R^{1,3}$. Irreps are labelled by pairs $(C, π)$, where $C$ is a conjugacy class in the role of a mass-shell, and $π$ is a representation of the isotropy group $C_G$ in the role of spin. The geometric picture entails $D^\vee(G)\to \Bbb C(C_G)\blacktriangleright\!\!\!\!< \Bbb C G$ as a quantum homogeneous bundle where the base is $G/C_G$, and $D^\vee(G)\to \Bbb C(G)$ as another homogeneous bundle where the base is the group algebra $\Bbb C G$ as noncommutative spacetime. Analysis of the latter leads to a duality whereby the differential calculus and solutions of the wave equation on $\Bbb C G$ are governed by irreps and conjugacy classes of $G$ respectively, while the same picture on $\Bbb C(G)$ is governed by the reversed data. Quasiparticles as irreps of $D(G)$ also turn out to classify irreducible bicovariant differential structures $Ω^1_{C, π}$ on $D^\vee(G)$ and these in turn correspond to braided-Lie algebras $\mathcal{L}_{C, π}$ in the braided category of $G$-crossed modules, which we call `braided racks' and study. We show under mild assumptions that $U(\mathcal{L}_{C,π})$ quotients to a braided Hopf algebra $B_{C,π}$ related by transmutation to a coquasitriangular Hopf algebra $H_{C,π}$.

AG-2024.07-630

math.QA

A quantum deformation of the ${\mathcal N}=2$ superconformal algebra

H. Awata, K. Harada, H. Kanno, J. Shiraishi

We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit $q\rightarrow 1$ of ${\mathcal{SV}ir\!}_{q,k}$ we recover the ordinary ${\mathcal N}=2$ superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra ${\mathcal{SV}ir\!}_{q,k}$, making a twist of the $U(1)$ boson in the Wakimoto representation of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$, which naturally follows from the construction of ${\mathcal{SV}ir\!}_{q,k}$ by gluing the deformed $Y$-algebras of Gaiotto and Rap$\check{\mathrm{c}}$ák.

AG-2024.06-779

math.QA

Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$

Justine Fasquel, Christopher Raymond, David Ridout

We use the newly developed technique of inverse quantum hamiltonian reduction to investigate the representation theory of the simple affine vertex algebra $\mathsf{A}_{2}(\mathsf{u},2)$ associated to $\mathfrak{sl}_{3}$ at level $\mathsf{k} = -3+\frac{\mathsf{u}}{2}$, for $\mathsf{u}\ge3$ odd. Starting from the irreducible modules of the corresponding simple Bershadsky-Polyakov vertex operator algebras, we show that inverse reduction constructs all irreducible lower-bounded weight $\mathsf{A}_{2}(\mathsf{u},2)$-modules. This proceeds by first constructing a complete set of coherent families of fully relaxed highest-weight $\mathsf{A}_{2}(\mathsf{u},2)$-modules and then noting that the reducible members of these families degenerate to give all remaining irreducibles. Using this fully relaxed construction and the degenerations, we deduce modular S-transforms for certain natural generalised characters of these irreducibles and their spectral flows. With this modular data in hand, we verify that the (conjectural) standard Verlinde formula predicts Grothendieck fusion rules with nonnegative-integer multiplicities.

AG-2024.06-664

math.QA

Canonicalizing zeta generators: genus zero and genus one

Daniele Dorigoni, Mehregan Doroudiani, Joshua Drewitt, Martijn Hidding, Axel Kleinschmidt, Oliver Schlotterer, Leila Schneps, Bram Verbeek

Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.

AG-2024.05-1027

math.QA

Yangian for cotangent Lie algebras and spectral $R$-matrices

Raschid Abedin, Wenjun Niu

In this paper, we present a canonical quantization of Lie bialgebra structures on the formal power series $\mathfrak{d}[\![t]\!]$ with coefficients in the cotangent Lie algebra $\mathfrak{d} = T^*\mathfrak{g} = \mathfrak{g} \ltimes \mathfrak{g}^*$ to a simple complex Lie algebra $\mathfrak{g}$. We prove that these quantizations produce twists to the natural analog of the Yangian for $\mathfrak{d}$. Moreover, we construct spectral $R$-matrices for these twisted Yangians as compositions of twisting matrices. The motivation for the construction of these twisted Yangians over $\mathfrak{d}$ comes from certain 4d holomorphic-topological gauge theory. More precisely, we show that pertubative line operators in this theory can be realized as representations of these Yangians. Moreover, the comultiplications of these Yangians correspond to the monodial structure of the category of line operators.

AG-2024.05-984

math.QA

Modular functors from non-semisimple 3d TFTs

Aaron Hofer, Ingo Runkel

Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to a 2-category of finite linear categories. This recovers a result by Lyubashenko [arXiv:hep-th/9405168] obtained via generators and relations. Pulling back the modular functor for C to a 2-category of bordisms with orientation reversing involution cancels the gluing anomaly, and further pulling back to the original bordism category along a doubling functor leads to the modular functor for the Drinfeld centre Z(C).

AG-2024.04-909

math.QA

Classification of connected étale algebras in multiplicity-free modular fusion categories up to rank nine

Ken Kikuchi

We classify connected étale algebras $A$'s in multiplicity-free modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le9$. We also identify categories $\mathcal B_A$'s of right $A$-modules. The results have physical applications in constraining renormalization group flows. As demonstration, we study massive renormalization group flows from non-unitary minimal models to predict ground state degeneracies and prove spontaneous $\mathcal B$-symmetry breaking.

AG-2024.04-858

math.QA

Highest-weight vectors and three-point functions in GKO coset decomposition

Mikhail Bershtein, Boris Feigin, Aleksandr Trufanov

We revisit the classical Goddard-Kent-Olive coset construction. We find the formulas for the highest weight vectors in coset decomposition and calculate their norms. We also derive formulas for matrix elements of natural vertex operators between these vectors. This leads to relations on conformal blocks. Due to the AGT correspondence, these relations are equivalent to blowup relations on Nekrasov partition functions with the presence of the surface defect. These relations can be used to prove Kyiv formulas for the Painlevé tau-functions (following Nekrasov's method).

AG-2024.04-1895

math.QA

Testing Link Fidelity in a Quantum Network using Operational Form of Trace Distance with Error Bounds

John T. M. Campbell, Nicola Marchetti, John Dooley, Indrakshi Dey

Quantum state comparison, utilizing metrics like fidelity and trace distance, underpins the assessment of quantum networks within quantum information theory. While recent research has expanded theoretical understanding, incorporating error analysis and scalability considerations remains crucial for practical applications. The primary contribution of this letter is to address these gaps by deriving the novel operational trace distance for multi-node networks, establishing a trace distance vs. fidelity benchmark incorporating error bounds, and bridging quantum operations with tensor network analysis. We further explore the application of tensor network tools to quantum networks, offering new analytical avenues. This comprehensive approach provides a robust framework for evaluating quantum network performance under realistic error conditions, facilitating the development of reliable quantum technologies.

AG-2024.03-765

math.QA

The modular properties of $\mathfrak{sl}(2)$ torus $1$-point functions

Matthew Krauel, Jamal Noel Shafiq, Simon Wood

Conformal field theory and its axiomatisation in terms of vertex operator algebras or chiral algebras are most commonly considered on the Riemann sphere. However, an important constraint in physics and an interesting source of mathematics is the fact that conformal field theories are expected to be well defined on any Riemann surface. To this end, a thorough understanding of chiral torus 1-point functions, ideally including explicit formulae, is a prerequisite for a detailed understanding of higher genera. These are distinguished from characters or vacuum torus 1-point functions because the insertion point is explicitly allowed to be labelled by any module over the vertex operator algebra rather than just the vertex operator algebra itself. Compellingly, chiral torus 1-point functions exhibit interesting modular properties, which we explore here in the example of the simple affine $\mathfrak{sl}(2)$ vertex operator algebras at non-negative integral levels. We determine the dimension of the space spanned by such functions, choose a natural basis to construct vector-valued modular forms and describe the congruence properties of these forms. In particular, we find explicit generators for the spaces of all vector-valued modular forms of dimension at most three, when the insertion comes from a simple module other than the vertex operator algebra. Finally, we use the fact that categories of modules over rational vertex operator algebras are modular tensor categories to give explicit formulae for the action of the modular group on chiral torus 1-point functions entirely in terms of categorical data. The usual modular $\mathsf{S}$ and $\mathsf{T}$ matrices of characters are known not to be complete invariants of modular tensor categories, so these generalised modular data are good candidates for more fine-grained invariants.

AG-2024.03-670

math.QA

Topological Quantum Mechanics on Orbifolds and Orbifold Index

Si Li, Peng Yang

In this paper, we study topological quantum mechanical models on symplectic orbifolds. The correlation map gives an explicit orbifold version of quantum HKR map. The exact semi-classical approximation in this model leads to a geometric and quantum field theoretic interpretation of the orbifold algebraic index.

AG-2024.03-1373

math.QA

Quantum symmetry in multigraphs (part II)

Debashish Goswami, Sk Asfaq Hossain

This article is a continuation of "Quantum symmetry in multigraphs (part I)". In this article, we give an explicit construction of a non-Bichon type co-action on a multigraph that is, it preserves quantum symmetry of (V,E) in our sense but not always in Bichon's sense. This construction itself is motivated from automorphisms of quantum graphs.

AG-2024.02-646

math.QA

Solutions of Tetrahedron Equation from Quantum Cluster Algebra Associated with Symmetric Butterfly Quiver

Rei Inoue, Atsuo Kuniba, Xiaoyue Sun, Yuji Terashima, Junya Yagi

We construct a new solution to the tetrahedron equation by further pursuing the quantum cluster algebra approach in our previous works. The key ingredients include a symmetric butterfly quiver attached to the wiring diagrams for the longest element of type $A$ Weyl groups and the implementation of quantum $Y$-variables through the $q$-Weyl algebra. The solution consists of four products of quantum dilogarithms. By exploring both the coordinate and momentum representations, along with their modular double counterparts, our solution encompasses various known three-dimensional (3D) $R$-matrices. These include those obtained by Kapranov-Voevodsky (1994) utilizing the quantized coordinate ring, Bazhanov-Mangazeev-Sergeev (2010) from a quantum geometry perspective, Kuniba-Matsuike-Yoneyama (2023) linked with the quantized six-vertex model, and Inoue-Kuniba-Terashima (2023) associated with the Fock-Goncharov quiver. The 3D $R$-matrix presented in this paper offers a unified perspective on these existing solutions, coalescing them within the framework of quantum cluster algebra.

AG-2024.02-549

math.QA

Generalized knots-quivers correspondence

Marko Stošić

We propose a generalized version of knots-quivers correspondence, where the quiver series variables specialize to arbitrary powers of the knot HOMFLY-PT polynomial series variable. We explicitely compute quivers for large classes of knots, as well as many homologically thick 9- and 10-crossings knots, including the ones with the super-exponential growth property of colored HOMFLY-PT polyomials. In addition, we propose a new, compact, quiver-like form for the colored HOMFLY-PT polynomials, where the structure of colored differentials is manifest. In particular, this form partially explains the non-uniqueness of quivers corresponding to a given knot via knots-quivers correspondence.

AG-2024.01-598

math.QA

Representations of shifted quantum affine algebras and cluster algebras I. The simply-laced case

Christof Geiss, David Hernandez, Bernard Leclerc

We introduce a family of cluster algebras of infinite rank associated with root systems of type $A$, $D$, $E$. We show that suitable completions of these cluster algebras are isomorphic to the Grothendieck rings of the categories $\mathcal{O}_\mathbb{Z}$ of the corresponding shifted quantum affine algebras. The cluster variables of a class of distinguished initial seeds are certain formal power series defined by E. Frenkel and the second author, which satisfy a system of functional relations called $QQ$-system. We conjecture that all cluster monomials are classes of simple objects of $\mathcal{O}_\mathbb{Z}$. In the final section, we show that these cluster algebras contain infinitely many cluster subalgebras isomorphic to the coordinate ring of the open double Bruhat cell of the corresponding simple simply-connected algebraic group. This explains the similarity between $QQ$-system relations and certain generalized minor identities discovered by Fomin and Zelevinsky.

AG-2015.06-833

math.QA

Non-unitary fusion categories and their doubles via endomorphisms

David E. Evans, Terry Gannon

We realise non-unitary fusion categories using subfactor-like methods, and compute their quantum doubles and modular data. For concreteness we focus on generalising the Haagerup-Izumi family of Q-systems. For example, we construct endomorphism realisations of the (non-unitary) Yang-Lee model, and non-unitary analogues of one of the even subsystems of the Haagerup subfactor and of the Grossman-Snyder system. We supplement Izumi&#39;s equations for identifying the half-braidings, which were incomplete even in his Q-system setting. We conjecture a remarkably simple form for the modular S and T matrices of the doubles of these fusion categories. We would expect all of these doubles to be realised as the category of modules of a rational VOA and conformal net of factors. We expect our approach will also suffice to realise the non-semisimple tensor categories arising in logarithmic conformal field theories.

AG-2015.05-1901

math.QA

$\mathcal{W}$-algebras with non-admissible levels and the Deligne exceptional series

Kazuya Kawasetsu

Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application, the $C_2$-cofiniteness and $\mathbb{Z}_2$-rationality of the algebras are proved.

AG-2015.05-931

math.QA

From Twisted Quantum Loop Algebras to Twisted Yangians

Patrick Conner, Nicolas Guay

We prove how the Yangian of $\mathfrak{gl}_N$ in its RTT presentation and Olshanski&#39;s twisted Yangians for the orthogonal and symplectic Lie algebras can be obtained by a degeneration process from the corresponding quantum loop algebra and some of its twisted analogues.

AG-2015.05-446

math.QA

Hom-entwining structures and Hom-Hopf-type modules

Serkan Karaçuha

The notions of Hom-coring, Hom-entwining structure and associated entwined Hom-module are introduced. A theorem regarding base ring extension of a Hom-coring is proven and then is used to acquire the Hom-version of Sweedler coring. Motivated by the work of T. Brzezinski, a Hom-coring associated to an entwining Hom-structure is constructed and an identification of entwined Hom-modules with Hom-comodules of this Hom-coring is shown. The dual algebra of this Hom-coring is proven to be a $ψ$-twisted convolution algebra. By a construction, it is shown that a Hom-Doi-Koppinen datum comes from a Hom-entwining structure and that the Doi-Koppinen Hom-Hopf modules are the same as the associated entwined Hom-modules. A similar construction regarding an alternative Hom-Doi-Koppinen datum is also given. A collection of Hom-Hopf-type modules are gathered as special examples of Hom-entwining structures and corresponding entwined Hom-modules, and structures of all relevant Hom-corings are also considered.

AG-2015.05-412

math.QA

Exceptional knot homology

Ross Elliot, Sergei Gukov

The goal of this article is twofold. First, we find a natural home for the double affine Hecke algebras (DAHA) in the physics of BPS states. Second, we introduce new invariants of torus knots and links called &#34;hyperpolynomials&#34; that address the &#34;problem of negative coefficients&#34; often encountered in DAHA-based approaches to homological invariants of torus knots and links. Furthermore, from the physics of BPS states and the spectra of singularities associated with Landau-Ginzburg potentials, we also describe a rich structure of differentials that act on homological knot invariants for exceptional groups and uniquely determine the latter for torus knots.

AG-2015.05-173

math.QA

$N$-point Virasoro algebras are multi-point Krichever--Novikov type algebras

Martin Schlichenmaier

We show how the recently again discussed $N$-point Witt, Virasoro, and affine Lie algebras are genus zero examples of the multi-point versions of Krichever--Novikov type algebras as introduced and studied by Schlichenmaier. Using this more general point of view, useful structural insights and an easier access to calculations can be obtained. The concept of almost-grading will yield information about triangular decompositions which are of importance in the theory of representations. As examples the algebra of functions, vector fields, differential operators, current algebras, affine Lie algebras, Lie superalgebras and their central extensions are studied. Very detailed calculations for the three-point case are given.

AG-2015.04-755

math.QA

State sum construction of two-dimensional topological quantum field theories on spin surfaces

Sebastian Novak, Ingo Runkel

We provide a combinatorial model for spin surfaces. Given a triangulation of an oriented surface, a spin structure is encoded by assigning to each triangle a preferred edge, and to each edge an orientation and a sign, subject to certain admissibility conditions. The behaviour of this data under Pachner moves is then used to define a state sum topological field theory on spin surfaces. The algebraic data is a Delta-separable Frobenius algebra whose Nakayama automorphism is an involution. We find that a simple extra condition on the algebra guarantees that the amplitude is zero unless the combinatorial data satisfies the admissibility condition required for the reconstruction of the spin structure.

AG-2015.04-745

math.QA

Two-color solutions of set-theoretic tetrahedron equation and their cohomologies

Nurlan M. Sadykov

All solutions of the set-theoretic constant tetrahedron equation with two colors are found, and some of their properties are analyzed. The list includes 406 solutions - we call them R-operators, - most of which are degenerate (non-bijective). Then, we calculate the 3-cohomologies for our R-operators, and discuss the applicability of our results to 3-dimensional statistical physics.

AG-2015.04-175

math.QA

Dirac Operators on Quantum Weighted Projective Spaces

Antti J. Harju

The quantum weighted projective algebras $\mathbb{C}[\mathbb{WP}_{k,l,q}]$ are coinvariant subalgebras of the quantum group algebra $\mathbb{C}[SU_{q,2}]$. For each pair of indices $k,l$, two $2$-summable spectral triples will be constructed. The first one is an odd spectral triple based on coinvariant spinors on $\mathbb{C}[SU_{q,2}]$. The second one is an even spectral triple.

AG-2015.04-226

math.QA

On Certain Spectral Invariants of Dirac Operators on Noncommutative Tori

Ali Fathi, Masoud Khalkhali

The spectral eta function for certain families of Dirac operators on noncommutative $3$-torus is considered and the regularity at zero is proved. By using variational techniques, we show that $η_{D}(0)$ is a conformal invariant. By studying the Laurent expansion at zero of $\text{TR} (|D|^{-z})$, the conformal invariance of $ζ&#39;_{|D|}(0)$ for noncommutative $3$-torus is proved. Finally, for the coupled Dirac operator, a local formula for the variation $\partial_Aη_{D+A}(0)$ is derived which is the analogue of the so called induced Chern-Simons term in quantum field theory literature.

AG-2015.04-2861

math.QA

Unimodular homotopy algebras and Chern-Simons theory

Christopher Braun, Andrey Lazarev

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra to have a quantum lift. We also obtain structural results on unimodular L-infinity algebras and introduce a doubling construction which links unimodular and cyclic L-infinity algebras.

AG-2015.03-1374

math.QA

On a Poisson space of bilinear forms with a Poisson Lie action

Leonid Chekhov, Marta Mazzocco

We consider the space of bilinear forms on a complex N-dimensional vector space endowed with the quadratic Poisson bracket studied in our previous paper arXiv:1012.5251. We classify all possible quadratic brackets on the set of pairs of matrices A and B with the property that the natural action of B on the defining matrix A of a bilinear form is a Poisson action of a Poisson-Lie group, thus endowing this space of bilinear forms with the structure of Poisson homogeneous space. Beside the product Poisson structure we find two more (dual to each other) structures for which (in contrast to the product Poisson structure) we can implement the reduction to the space of bilinear forms with block upper triangular defining matrices by Dirac procedure. We consider the generalisation of the above construction to triples and show that the space of bilinear forms then acquires the structure of Poisson symmetric space. We study also the generalisation to chains of transformations and to the quantum and quantum affine algebras and the relation between the construction of Poisson symmetric spaces and that of the Poisson groupoid.