https://arxiv.org/api/NQoEa42/AJbEzMJwp2tI2JXmuFs 2026-06-14T10:28:58Z 20897 315 15 http://arxiv.org/abs/2307.06069v2 2026-04-14T11:35:45Z

We consider the link and three-manifold invariants from arXiv:1912.02063, which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N \ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series.

2023-07-12T10:38:58Z 77 pages; v2: Final version published in Quantum Topology, with more general framework of locally finite tensor categories for Sec 2, new Example 2.2, references corrected in Sec 3.1, Prop 3.13 was corrected, a typo in Prop 4.2 fixed, new Remarks 2.12 & 4.8 & 5.4 Johannes Berger Azat M. Gainutdinov Ingo Runkel http://arxiv.org/abs/2604.12554v1 2026-04-14T10:33:21Z

For a finite-dimensional Hopf algebra $H$, the canonical elements of the Heisenberg doubles $\mathcal{H}(H^\ast)$ and $\mathcal{H}(H)$ satisfy the pentagon and Hopf equations, respectively. In this paper we construct quasi-Hopf analogues of these structures. For a finite-dimensional quasi-Hopf algebra $H$, we consider natural quasi-Hopf analogues $\mathcal{H}_1(H^\ast)$ and $\mathcal{H}_1(H)$ of $\mathcal{H}(H^\ast)$ and $\mathcal{H}(H)$. Although their canonical elements are defined just as in the Hopf algebra case, they need not be invertible. We prove that there nevertheless exist natural inverse-like elements. In $\mathcal{H}_1(H^\ast)$, the canonical element satisfies a quasi-pentagon equation and its inverse-like element satisfies a quasi-Hopf equation, while in $\mathcal{H}_1(H)$ the roles are reversed.

2026-04-14T10:33:21Z 12 pages Yohei Ota http://arxiv.org/abs/2604.12120v1 2026-04-13T22:54:01Z

In this paper, we prove the category of finite length modules for the $\mathbb{Z}_2$-orbifold $M(1)^+$ of the Heisenberg vertex operator algebra whose simple composition factors are $M(1)^\pm$ or $M(1,λ)$ for $λ\in \mathbb{C}^\times$ is a vertex and braided tensor category. Our strategy is to show these simple composition factors are $C_1$-cofinite and the category of finite length $M(1)^+$-modules is exactly the category of grading-restricted $C_1$-cofinite modules. We also determine the fusion product decompositions of simple objects and prove the rigidity of this category. As an application of the tensor category structure of $M(1)^+$-modules, we prove the category $\mathcal{C}_{-1}(sp(2n))$ of grading-restricted generalized modules for the simple affine vertex algebra $L_{-1}(sp(2n))$ is semisimple. For this, we first prove $M(1)^+$ and simple affine vertex algebra $L_{-\frac{1}{2}}(sp(2n))$ form a commutant pair in the simple minimal $W$-algebra $W_{-1}^{min}(sp(2n))$ for $n \geq 2$ and determine $W_{-1}^{min}(sp(2n))$ as well as its irreducible modules obtained from quantum Hamilton reduction as decompositions of $M(1)^+ \otimes L_{-\frac{1}{2}}(sp(2n))$-modules, then we show all the highest weight modules for $L_{-1}(sp(2n))$ in $\mathcal{C}_{-1}(sp(2n))$ are irreducible via the quantum Hamilton reduction. We also prove a Schur-Weyl duality between $L_{-1}(sp(2n))$ and $M(1)^+$ by showing they form a commutant pair in the $\mathbb{Z}_2$-orbifold of the rank $n$ $βγ$ system, and then establish a braided reversed equivalence between the category $\mathcal{C}_{-1}(sp(2n))$ and the full subcategory of $C_1$-cofinite $M(1)^+$-modules consisting of direct sums of irreducible modules $M(1)^\pm$ and $M\big(1, \frac{s}{\sqrt{-2n}}\big)$ for $s \in \mathbb{Z}_{\geq 0}$.

2026-04-13T22:54:01Z 43 pages, comments are welcome Drazen Adamovic Xingjun Lin Jinwei Yang http://arxiv.org/abs/2203.17074v5 2026-04-13T10:26:32Z

We construct a family of $q$-series with rational coefficients satisfying a variant of the extended double shuffle equations, which are a lift of a given $\mathbb{Q}$-valued solution of the extended double shuffle equations. These $q$-series will be called combinatorial (bi-)multiple Eisenstein series, and in depth one they are given by Eisenstein series. The combinatorial multiple Eisenstein series can be seen as an interpolation between the given $\mathbb{Q}$-valued solution of the extended double shuffle equations (as $q\rightarrow 0$) and multiple zeta values (as $q\rightarrow 1$). In particular, they are $q$-analogues of multiple zeta values closely related to modular forms. Their definition is inspired by the Fourier expansion of multiple Eisenstein series introduced by Gangl-Kaneko-Zagier. Our explicit construction is done on the level of their generating series, which we show to be a so-called symmetril and swap invariant bimould.

2022-03-31T14:44:05Z 33 pages, comments are welcome! Corrected typos and added Remark 6.32 Henrik Bachmann Annika Burmester http://arxiv.org/abs/2402.18310v2 2026-04-13T08:36:02Z

We extend recent work of the third author and Kouloukas by constructing deformations of integrable cluster maps corresponding to the Dynkin types $A_{2N}$, lifting these to higher-dimensional maps possessing the Laurent property and demonstrating integrality of the deformations for $N\leq 3$. This provides the first infinite class of examples (in arbitrarily high rank) of such maps and gives information on the associated discrete integrable systems. Key to our approach is a ``local expansion'' operation on quivers which allows us to construct and study mutations in type $A_{2N}$ from those in type $A_{2(N-1)}$.

2024-02-28T13:08:48Z 60 pages; v2: substantially edited, additional details on integrability in undeformed case Jan E. Grabowski Andrew N. W. Hone Wookyung Kim http://arxiv.org/abs/2602.17549v2 2026-04-13T07:58:07Z

Let $d \geq 2$. We consider the symmetric monoidal category of oriented Riemannian $d$-manifolds with conformal open embeddings. The prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor from this category to real vector spaces. For Euclidean domains $U\subset\mathbb{R}^d$, the value of this functor is identified, via the Green function, with the symmetric algebra on the topological dual of the space of harmonic functions. For $d \geq 3$ this identification is natural under all conformal transformations, while in dimension two, its failure of naturality is governed by a harmonic cocycle, which plays the role of a central charge. For the unit disk, the resulting vector space carries an algebra structure over the operad of conformal disk embeddings and admits a canonical dense embedding into the Hilbert Fock space. In dimension two, this statement holds after restricting to a codimension-one subspace, as suggested by logarithmic CFT.

2026-02-19T17:05:14Z 37 pages, 1 figure. v2: Added references Yuto Moriwaki http://arxiv.org/abs/2112.12688v2 2026-04-13T07:49:29Z

In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We additionally describe an integral presentation which differs from others in the literature because it is "as coefficient-free as possible".

2021-12-23T16:32:53Z This paper is part of the first authors Ph.D. thesis at the University of Zurich in 2021, 37 pages, many figures, to appear in J. Knot Theory Ramifications, comments welcome Genta Latifi Daniel Tubbenhauer http://arxiv.org/abs/2604.10869v1 2026-04-13T00:38:16Z

We establish a 6-term left exact sequence, involving Galois cohomology of the base field $\mathbb K$, and the Brauer-Picard groupoid of a fusion category. This generalizes a result of Etingof, Nikshych, and Ostrik to the setting where $\mathbb K$ is not algebraically closed. Following their example, we use this exact sequence to compute examples of graded extensions of fusion categories over $\mathbb R$. Along the way, we establish several structural theorems regarding the duality morphisms for a fusion category as an object in the 4-category of braided tensor categories. The paper ends with a speculative look at a potential higher categorical explanation of the main result.

2026-04-13T00:38:16Z Sean Sanford http://arxiv.org/abs/2510.12154v2 2026-04-12T21:35:05Z

Let $\mathbf{U}$ be a quantum group of symmetric type. We introduce the {\it thickening realization} to realize (a suitable approximation of) the tensor product ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$ of a simple integrable lowest weight module and a highest weight module as a subquotient of the Verma module of a larger quantum group $\tilde{\mathbf{U}}$. For the canonical basis of the tensor product, we show that the entries of the transition matrix from the pure tensor basis to it, and the structure constants of the action by spherical parabolic subalgebras of the modified quantum group $\dot{\mathbf{U}}$ are given by the structure constants of the comultiplication and multiplication in the negative part $\tilde{\mathbf{U}}^-$ of $\tilde{\mathbf{U}}$ with respect to its canonical basis respectively. Thus, we deduce the positivity property of the canonical basis of the tensor product. In particular, we obtain the positivity property of the canonical bases for the action of $\dot{\mathbf{U}}$ on simple integrable highest weight modules, generalizing Lusztig's theorem from Chevalley generators to any canonical basis elements of $\dot{\mathbf{U}}$; for the action of Chevalley generators on ${^ωΛ_{λ_1}}\otimes Λ_{λ_2}$; and for multiplication in $\dot{\mathbf{U}}$, as well as the actions on arbitrary tensor products. At $v=1$, these results connect to geometric total positivity on double flag varieties, explored in the joint work of He and Xie.

2025-10-14T05:17:28Z 33 pages. New and stronger results are obtained with simplified arguments. The thickening method yields a comparison theorem for the structure constants of the canonical basis Jiepeng Fang Xuhua He http://arxiv.org/abs/2604.10753v1 2026-04-12T17:51:11Z

A finite pre-tensor category is a finite abelian category equipped with a right exact tensor product for which every projective object has duals. Finite tensor categories, for which every object has duals, are notable examples. More generally, the category of bimodules over an algebra in a finite tensor category is a finite pre-tensor category. In particular, it is natural to extend the notion of Morita equivalence between finite tensor categories to finite pre-tensor categories. We characterize completely those finite pre-tensor categories that are Morita equivalent to finite tensor categories. More precisely, we show that a finite pre-tensor category $\mathcal{C}$ is Morita equivalent to a finite tensor category if and only if the Drinfeld center of $\mathcal{C}$ is a finite tensor category. We also discuss higher algebraic consequences of our characterization.

2026-04-12T17:51:11Z Comments welcome! Thibault D. Décoppet Mateusz Stroiński http://arxiv.org/abs/2509.16528v2 2026-04-10T09:40:53Z

For any symmetrizable generalized Cartan matrix $A$, we introduce an algebra $\widehat{\mathcal{DY}}(A)$, which is essentially the centrally extended double Yangian when $A$ is of finite type, and we give a new field (current) presentation of $\widehat{\mathcal{DY}}(A)$. Among the main results, for any $\ell\in \mathbb C$ we construct a universal vacuum $\widehat{\mathcal{DY}}(A)$-module $\mathcal{V}_A(\ell)$ of level $\ell$, prove that there exists a natural $\hbar$-adic weak quantum vertex algebra structure on $\mathcal{V}_A(\ell)$, and give an isomorphism between the category of restricted $\widehat{\mathcal{DY}}(A)$-modules of level $\ell$ and the category of $\mathcal{V}_A(\ell)$-modules.

2025-09-20T04:32:27Z Fei Kong Haisheng Li http://arxiv.org/abs/2509.23588v2 2026-04-10T07:47:21Z

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.

2025-09-28T02:46:13Z Proceedings of the 16-th International Workshop "Lie Theory and Its Applications in Physics", LaTEX, 10 pages Michio Jimbo Takeo Kojima http://arxiv.org/abs/2512.23503v2 2026-04-09T23:08:10Z

We consider skew-commutative subalgebras in Drinfeld-Jimbo quantum groups at a root of unity $ζ$ generated by primitive power elements. We classify the centrality and commutativity of these skew-polynomial algebras depending on the Lie type and the order of $ζ$ modulo 8. We describe Hopf ideals in the quantum group induced from ideals in these subalgebras, including the non-commutative cases. Among these, we construct and analyze a family of Hopf ideals that depend on the choice of an element in the Weyl group. We show that they arise naturally both in the construction of (partial) $R$-matrices and as vanishing ideals of Bruhat subgroups. Specialization to the maximal element yields a rigorous construction of restricted quantum groups as pre-triangular Hopf algebras, independent of any choices. Our treatment also includes even orders of $ζ$, non-simply laced Lie types, and minimal ground rings. Consequently, we extend some results of De Concini-Kac-Procesi, whose work focuses on odd orders of $ζ$, which forces the subalgebra to be strictly central, and complex ground fields. This includes the identification of the subalgebras for Lie types $\mathsf{A}_n$ and $\mathsf{B}_2$ with the coordinate rings of associated algebraic groups in the commutative cases, even if $ζ$ has even order. Our descriptions are computationally explicit and do not utilize Poisson structures. As technical preparations, we discuss PBW bases over minimal rings, dependencies on choices of convex orderings, as well as various new constructions of, and relations among, automorphisms on quantum groups. The latter include formulae for the Garside element in the Lustzig-Artin group action and the family of Che-transformations.

2025-12-29T14:39:08Z 158 pages Matthew Harper Thomas Kerler http://arxiv.org/abs/2505.00501v5 2026-04-09T15:11:11Z

One approach to analyzing entanglement in a gauge theory is embedding it into a factorized theory with edge modes on the entangling boundary. For topological quantum field theories (TQFT), this naturally leads to factorizing a TQFT by adding local edge modes associated with the corresponding CFT. In this work, we instead construct a minimal set of edge modes compatible with the topological invariance of Chern-Simons theory. This leads us to propose a minimal factorization map. These minimal edge modes can be interpreted as the degrees of freedom of a particle on a quantum group. Of particular interest is three-dimensional gravity as a Chern-Simons theory with gauge group SL$(2,\mathbb{R}) \times$ SL$(2,\mathbb{R})$. Our minimal factorization proposal uniquely gives rise to quantum group edge modes factorizing the bulk state space of 3d gravity. This agrees with earlier proposals that relate the Bekenstein-Hawking entropy in 3d gravity to topological entanglement entropy.

2025-05-01T13:03:52Z 37 pages + appendices, v5: published on SciPost Physics SciPost Phys. 20, 095 (2026) Thomas G. Mertens Qi-Feng Wu 10.21468/SciPostPhys.20.4.095 http://arxiv.org/abs/2604.08274v1 2026-04-09T14:08:03Z

We show how to construct unitary dual $2$-cocycles for a class of semidirect products that exhibit many similarities with the affine group ${\rm Aff}(V)=\GL(V)\ltimes V$ of a finite dimensional vector space over a local skew field. The primary source of examples comes from Lie groups whose Lie algebras are Frobenius seaweeds. The construction builds on our earlier results and relies heavily on representation theory and an associated quantization procedure of Kohn--Nirenberg type. On the technical side, the key point is the observation that any semidirect product $G=H\ltimes V$ in our class can be presented as a double crossed product $G=P\bowtie N$ with respect to which the unique square-integrable irreducible representation of $G$ takes a particularly nice form. The Kohn--Nirenberg quantization that we construct is intimately related to a scalar Fourier transform $\CF\colon L^2(N)\to L^2(P)$ intertwining the left regular representations of $P$ and $N$ with representations defined by the dressing transformations.

2026-04-09T14:08:03Z Pierre Bieliavsky Victor Gayral Sergey Neshveyev Lars Tuset