On gluing and splitting series invariants of plumbed 3-manifolds

2026-04-16T18:10:01Z

We study series invariants for plumbed 3-manifolds and knot complements twisted by a root lattice. Our series recover recent results of Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and Ri and apply more generally to 3-manifolds which are not necessarily negative definite. We show that our series verify certain gluing and splitting properties related to the corresponding operations on 3-manifolds. We conclude with an explicit description of the case of lens spaces and Brieskorn spheres.

The R-matrix of the affine Yangian

2026-04-16T13:25:46Z

Let g be an affine Lie algebra with associated Yangian Y_hg. We prove the existence of two meromorphic R-matrices associated to any pair of representations of Y_hg in the category O. They are related by a unitary constraint and constructed as products of the form R(s)=R^+(s)R^0(s)R^-(s), where R^+(s) = R^-_{21}(-s)^{-1}. The factor R^0(s) is a meromorphic, abelian R-matrix, and R^-(s) is a rational twist. Our proof relies on two novel ingredients. The first is an irregular, abelian, additive difference equation whose difference operator is given in terms of the q-Cartan matrix of g. The regularization of this difference equation gives rise to R^0(s) as the exponentials of the two canonical fundamental solutions. The second key ingredient is a higher order analogue of the adjoint action of the affine Cartan subalgebra of g on Y_hg. This action has no classical counterpart, and produces a system of linear equations from which R^-(s) is recovered as the unique solution. Moreover, we show that both operators give rise to the same rational R-matrix on the tensor product of any two highest-weight representations.

Braided quantum $\mathrm{SU}(2)$ group - a case study

2026-04-16T12:28:08Z

We continue the study of the braided compact quantum group $\mathrm{SU}_q(2)$ for complex $q$ satisfying $0<|q|<1$ introduced by Kasprzak, Meyer, Roy and Woronowicz (J. Noncommut. Geom. 10(4):1611-1625, 2016). We address such aspects as existence of the Haar measure, construct the scaling group, the antipode and its polar decomposition and describe the related braided Hopf algebra. We also study when the braided flip extends to a completely bounded map and establish equivalence between the two approaches to bosonization and braided tensor product taken in the literature (Kasprzak, Meyer, Roy, Woronowicz J. Noncommut. Geom. 10(4):1611-1625, 2016 vs. Meyer, Roy Woronowicz Internat. J. Math. 25(2):1450019, 37, 2014, Roy Int. Math. Res. Not. (14):11791--11828, 2023 and De Commer, Krajczok arXiv:2412.17444, to appear in J. Operator Th.).

The $n$-Point Function of $t$-Core Partitions and Topological Vertex

2026-04-16T02:19:55Z

In this paper, we study the $n$-point function of $t$-core partitions. The main tool is the topological vertex, originally developed to study the topological string theory for toric Calabi--Yau 3-folds. By virtue of the topological vertex, we introduce the $q$-deformed $n$-point function that generalizes both the ordinary $n$-point function of all integer partitions studied by Bloch--Okounkov and $t$-core partition case treated here. As a consequence, we provide a closed formula for the $n$-point function of $t$-core partitions in terms of theta functions, and prove that the corresponding correlation functions are quasimodular forms.

Quantized Geodesic Lengths for Teichmüller Spaces: Algebraic Aspects

2026-04-15T20:03:27Z

In 1980's H. Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's, Teschner combined the Chekhov-Fock version and the Kashaev version of quantum Teichmüller theory to construct a solution to a modified form of the conjecture. We embark on a direct approach to the conjecture based on the Chekhov-Fock(-Goncharov) theory. We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense.

An operator algebraic approach to fusion category symmetry on the lattice

2026-04-15T18:33:14Z

We propose a framework for fusion category symmetry on the (1+1)D lattice in the infinite-volume limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of quasi-local observables, and applying ideas from algebraic quantum field theory to derive the expected categorical structures. We show that given a physical boundary subalgebra $B$ of a quasi-local algebra $A$, there is a canonical fusion category $\mathcal{C}$ that acts on $A$ by bimodules and whose fusion ring acts by locality preserving quantum channels on the quasi-local algebra such that $B$ is recovered as the fixed point operators. We show that a fusion category can be realized as symmetries on a tensor product quasi-local algebra if and only if all of its objects have integer dimensions, and that it admits an ``on-site" action on a tensor product spin chain if and only if it admits a fiber functor. We give a formal definition of a topological symmetric state, and prove two anomaly enforced gaplessness theorems, one for internal categorical symmetries and one for anomalous duality channels. Using the first, we show that for any fusion category $\mathcal{C}$ with no fiber functor there always exist gapless pure symmetric states on an anyon chain.

Towards a classification of graded unitary ${\mathcal W}_3$ algebras

2026-04-15T17:38:45Z

We study constraints imposed by four-dimensional unitarity (formalised as graded unitarity in recent work by the first author) on possible ${\mathcal W}_3$ vertex algebras arising from four-dimensions via the SCFT/VOA correspondence. Under the assumption that the $\mathfrak{R}$-filtration is a weight-based filtration with respect to the usual strong generators of the vertex algebra, we demonstrate that all values of the central charge other than those of the $(3,q+4)$ minimal models are incompatible with four-dimensional unitarity. These algebras are precisely the ones that are realised by performing principal Drinfel'd--Sokolov reduction to boundary-admissible $\mathfrak{sl}_3$ affine current algebras; those affine algebras were singled out by a similar graded unitarity analysis in \cite{ArabiArdehali:2025fad}. Furthermore, these particular vertex algebras are known to be associated with the $(A_2,A_q)$ Argyres--Douglas theories.

Drinfeld associators and Kashiwara-Vergne associators in higher genera

2026-04-15T15:33:47Z

For $g\geq 0$, a genus $g$ Kashiwara-Vergne associator, introduced by Alekseev-Kawazumi-Kuno-Naef as a solution to the generalised KV equations in relation to the formality problem of the Goldman-Turaev Lie bialgebra on an oriented surface with a framing, is directly constructed from a genus $g$ analogue of a Drinfeld associator formulated by Gonzalez, which we call a Gonzalez-Drinfeld associator. The proof is based on Massuyeau's work in genus $0$. The framing is determined from the choice of a Gonzalez-Drinfeld associator, and in the case of genus $1$, we show that only particular framings are realised by our construction.

Chevalley property and discriminant ideals of Cayley-Hamilton Hopf Algebras

2026-04-15T04:53:50Z

For any affine Hopf algebra $H$ which admits a large central Hopf subalgebra, $H$ can be endowed with a Cayley-Hamilton Hopf algebra structure in the sense of De Concini-Procesi-Reshetikhin-Rosso. The category of finite-dimensional modules over any fiber algebra of $H$ is proved to be an indecomposable exact module category over the tensor category of finite-dimensional modules over the identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ of $H$. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ such that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property, it is proved that if the zero locus of a discriminant ideal of $(H,C,\text{tr})$ is non-empty then it contains the orbit of the identity element of the affine algebraic group $\text{maxSpec}C$ under the left (or right) winding automorphism group action. Its proof relies on the fact that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property if and only if the $\overline{\varepsilon}$-Chevalley locus of $(H,C)$ coincides with $\text{maxSpec}C$. Then, we provide a description of the zero locus of the lowest discriminant ideal of $(H,C,\text{tr})$. It is proved that the lowest discriminant ideal of $(H,C,\text{tr})$ is of level $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))+1$, where $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$ is the Grothendieck ring of the finite-dimensional Hopf algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ and $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))$ is the Frobenius-Perron dimension of $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$. Some recent results of Mi-Wu-Yakimov about lowest discriminant ideals are generalized. We also prove that all the discriminant ideals are trivial if $H$ has the Chevalley property.

2-categorical affine symmetries of quantum enveloping algebras

2026-04-15T02:12:13Z

We produce 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type $A_n$. These 2-representations naturally extend the right-multiplication 2-representation of $U_q^+(\mathfrak{sl}_{n+1})$ on itself and are closely related to evaluation morphisms of quantum groups. We expect that our 2-representation exists in all simple types and show that the corresponding 1-representation exists in types $D_4$ and $C_2$. We also show that a certain quotient of our 1-representation in type $A_n$ is isomorphic to a prefundamental representation. We use this to provide a new proof of the prefundamental representation character formulas in these cases.

Skein (3+1)-TQFTs from Non-Semisimple Ribbon Categories

2026-04-14T16:42:52Z

We define a (3+1)-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories using skein theory. This gives an explicit realization of a TQFT predicted by the cobordism hypothesis, based on recent results on dualizability. State spaces are given by admissible skein modules, and we prescribe the TQFT on handle attachments. We give some explicit algebraic conditions on the input category to define this TQFT, namely to be ''chromatic non-degenerate''. As a by-product, we obtain an invariant of 4-manifolds equipped with a ribbon graph in their boundary, and in the ''twist non-degenerate'' case, an invariant of 3-manifolds. Our construction generalizes the Crane-Yetter-Kauffman TQFTs in the semi-simple case, and the Lyubashenko (hence also Hennings and WRT) invariants of 3-manifolds. The whole construction is very elementary, and we can easily characterize the invertibility of the TQFTs, study their behavior under connected sums and provide some examples.

The Huang Algebra Ideal and the Diagonal Shift Property

2026-04-14T16:27:48Z

Let $V$ be a grading-restricted vertex algebra and let $A^\infty(V)=U^\infty(V)/Q^\infty(V)$ be the associative algebra constructed by Huang, where $U^\infty(V)$ is the space of column-finite infinite matrices with entries in V and $Q^\infty(V)$ is an ideal of a (nonassociative) algebra structure on $U^\infty(V)$ defined by Huang. Huang introduced families of elements in $Q^\infty(V)$ and conjectured that these elements generate $Q^\infty(V)$. We discover and prove that Huang's elements all satisfy what we call ``the diagonal shift property". On the other hand, in the case that $V$ is the rank one Heisenberg vertex operator algebra, we construct infinitely many linearly independent elements in $Q^\infty(V)$ that do not satisfy the diagonal shift property. As a corollary, we disprove Huang's conjecture.

W*-superrigidity for discrete quantum groups

2026-04-14T15:08:37Z

A discrete group $G$ is called W*-superrigid if the group $G$ can be entirely recovered from the ambient group von Neumann algebra $L(G)$. We introduce an analogous notion for discrete quantum groups. We prove that this strengthened quantum W*-superrigidity property holds for a natural family of co-induced discrete quantum groups. We also prove that, remarkably, most existing families of W*-superrigid groups are not quantum W*-superrigid.

Evaluation-type deformed modules over the quantum affine vertex algebras of type $A$

2026-04-14T15:01:22Z

Let $\mathcal{V}^c(\mathfrak{gl}_N)$ be Etingof--Kazhdan's quantum affine vertex algebra associated with the trigonometric $R$-matrix. We establish a connection between suitably generalized deformed $φ$-coordinated $\mathcal{V}^c(\mathfrak{gl}_N)$-modules and the representations of quantized enveloping algebra $U_h(\mathfrak{gl}_N)$ and reflection equation algebra $\mathcal{O}_h(Mat_N)$. As an application, we demonstrate how the elements of the center of $\mathcal{V}^c(\mathfrak{gl}_N)$ at the critical level $c=-N$ give rise to the $q$-analogues of quantum immanants for $U_h(\mathfrak{gl}_N)$, which were recently found by Jing, Liu and Molev. Finally, we derive the analogues of these results for the quantum affine vertex algebra associated with the normalized Yang $R$-matrix.

Noncommutative differential geometry of ambiskew polynomial rings

2026-04-14T13:41:47Z

We determine sufficient criteria for the differential smoothness of ambiskew polynomial rings defined and studied by D. A. Jordan in several papers \cite{FishJordan2019, Jordan1993b, Jordan2000, JordanWells2013}.