https://arxiv.org/api/YodB2ZyEIOHirtCFvE7TCBUugzI 2026-06-14T12:40:28Z 20897 345 15 http://arxiv.org/abs/2602.08348v3 2026-04-06T14:14:12Z

Our recent approach to the Finkelberg-Kazhdan-Lusztig equivalence theorem centers on the construction of a fiber functor associated with the categories in the equivalence theorem, which in turn explains the underlying algebraic and analytic structure of the corresponding weak Hopf algebra in a new sense. We provide a non-technical and historical overview of the core arguments behind our proof, discuss these structural properties, and its applications to rigidity and unitarizability of braided fusion categories arising from conformal field theory. We conclude proposing some natural directions for future research.

2026-02-09T07:32:05Z 32 pages, comments are welcome. In v3 we have added more historical remarks and references Claudia Pinzari http://arxiv.org/abs/2604.04688v1 2026-04-06T13:56:07Z

We give a direct proof that the proalgebraic graded Grothendieck-Teichmüller group $\mathsf{GRT}_{\mathbb{K}}$ is isomorphic to the group of automorphisms of the prounipotent cyclic operad of parenthesized ribbon chord diagrams based on Furusho's $5$-cycle reformulation of the pentagon equation. As an application, we describe a $\mathsf{GRT}_{\mathbb{K}}$-action on the category of framed chord diagrams with self-dual objects, which is closely related to the target category of the Kontsevich integral for framed tangles.

2026-04-06T13:56:07Z 15 pages, comments welcome! Chandan Singh http://arxiv.org/abs/2604.04666v1 2026-04-06T13:17:47Z

Let $\mathfrak g$ be a finite simple Lie algebra, and let $r$ denote the ratio of the square length of long roots to that of short roots. Let $\wp>2r$ be an integer and $ζ$ a primitive $\wp$-th root of unity. Denote by $\mathcal U_ζ(\widehat{\mathfrak g})$ the Lusztig big quantum affine algebra at root of unity defined by divided powers. In this paper, we establish a current algebra presentation of $\mathcal U_ζ(\widehat{\mathfrak g})$. Based on this presentation, we construct a $\mathbb Z_\wp$-module quantum vertex algebras $V_{\wp,τ}^\ell(\mathfrak g)$ for each integer $\ell$. Moreover, we establish a fully faithful functor from the category of smooth weighted $\mathcal U_ζ(\widehat{\mathfrak g})$-modules of level $\ell$ to the category of $(\mathbb Z_\wp,χ_φ)$-equivariant $φ$-coordinated quasi-modules of $V_{\wp,τ}^\ell(\mathfrak g)$, where $χ_φ:\mathbb Z_\wp\to\mathbb C^\times$ is the group homomorphism defined by $s\mapsto ζ^s$. We also determine the image of this functor. The structure $V_{\wp,τ}^\ell(\mathfrak g)$ is substantially different from that of affine vertex algebras. We realize $V_{\wp,τ}^\ell(\mathfrak g)$ as a deformation of a simpler quantum vertex algebra $V_{\wp,\varepsilon}^\ell(\mathfrak g)$ by using vertex bialgebras, and decompose $V_{\wp,\varepsilon}^\ell(\mathfrak g)$ into a Heisenberg vertex algebra and a more interesting quantum vertex algebra determined by a quiver.

2026-04-06T13:17:47Z Fei Kong http://arxiv.org/abs/2604.04597v1 2026-04-06T11:21:44Z

We give a general methodology for constructing split exact sequences of amplified graph C*-algebras with sinks. This in turn allows us to construct explicit KK-equivalences with $\mathbb{C}^N$ for a large class of C*-algebras, including the quantum Grassmannian $\mathrm{Gr}_q(2,4)$. We discuss compatibility with known (quantum) CW-constructions and give an explicit KK-equivalence between the classical and quantum projective spaces $\mathbb{C}P^1$ and $\mathbb{C}P_q^1$.

2026-04-06T11:21:44Z Jesse Reimann Sophie Emma Zegers http://arxiv.org/abs/2604.04556v1 2026-04-06T09:34:53Z

We propose a program for bridging the gap between the perturbative BV-BFV quantization of Chern-Simons theory and the non-perturbative Reshetikhin-Turaev (RT) invariants of 3-manifolds, passing through factorization homology of $\mathbb{E}_n$-algebras and the derived algebraic geometry of character stacks. We conjecture that the modular tensor category underlying the RT construction arises as the $\mathbb{E}_2$-category from BV-BFV quantization of Chern-Simons theory on the disk, with the derived character stack $\mathrm{Loc}_G(Σ)$ and its shifted symplectic structure mediating the proposed identification. We formulate seven conjectures, including a main conjecture asserting natural equivalence of the BV-BFV and RT constructions as (3-2-1)-extended topological quantum field theories, develop a proof strategy via deformation quantization of shifted symplectic stacks, and clarify the role of $\mathbb{E}_n$-Koszul duality in translating between perturbative and non-perturbative data. Supporting evidence is examined in the abelian, low-genus, and Seifert fibered cases. Connections to resurgence, categorification, and the geometric Langlands program are discussed as further motivation, though significant technical gaps remain open.

2026-04-06T09:34:53Z 59 pages, 10 figures Nima Moshayedi http://arxiv.org/abs/2604.04396v1 2026-04-06T03:54:09Z

We introduce quantum Borcherds-Bozec superalgebras. We present and prove various results of the quantum superalgebras including a bilinear form, higher Serre relation, quasi-R-matrix, character formula for the irreducible highest weight modules. We also prove the category of integrable representations is semi-simple.

2026-04-06T03:54:09Z Zhaobing Fan Jiaqi Huang http://arxiv.org/abs/2507.16243v2 2026-04-06T00:23:50Z

Using the language of moperads -- monoids in the category of right modules over an operad -- we reinterpret the Alekseev--Enriquez--Torossian construction of Kashiwara--Vergne (KV) solutions from associators. We show that any equivalence between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams gives rise to a family of genus zero KV solutions operadically generated by a single classical KV solution. We show that the Grothendieck--Teichmüller module groups act on the latter, intertwining the actions of the KV symmetry groups. In the other direction, we show that any symmetric KV solution gives rise to a module map from parenthesized braids with a frozen strand to tangential automorphisms of free Lie algebras. This map factors through the moperad of chord diagrams if and only if the associated KV associator is a Drinfeld associator.

2025-07-22T05:34:03Z Significant reorganisation of preliminary sections; small errors and typos corrected; submitted for publication Zsuzsanna Dancso Iva Halacheva Guillaume Laplante-Anfossi Marcy Robertson Chandan Singh http://arxiv.org/abs/2511.07136v3 2026-04-05T12:14:47Z

We introduce a minimalistic presentation for the twisted Yangian ${}^\imath\mathscr Y$ associated with split symmetric pairs (or Satake diagrams) introduced in arXiv:2406.05067 via a Drinfeld type presentation. As applications, we establish an injective algebra homomorphism from ${}^\imath\mathscr Y$ to the Yangian $\mathscr Y$, thereby identifying ${}^\imath\mathscr Y$ as a right coideal subalgebra of $\mathscr Y$ and proving its isomorphism with the twisted Yangian in the $J$ presentation. Furthermore, we provide estimates for the Drinfeld generators of ${}^\imath\mathscr Y$ and describe their coproduct images in terms of the Drinfeld generators of $\mathscr Y$ under this identification.

2025-11-10T14:18:00Z 32 pages; v2 fixed typos; v3 expanded proof of Lemma 5.4 Commun. Math. Phys. (2026) 407:99 Kang Lu 10.1007/s00220-026-05615-3 http://arxiv.org/abs/2604.03500v1 2026-04-03T22:48:20Z

The space of local operators in the $Q$-cohomology of the holomorphic-topological supercharge in a four-dimensional $\mathcal{N}=2$ theory carries the structure of a Poisson vertex algebra. This note studies the Poisson vertex algebra associated to the pure $\mathcal{N}=2$ gauge theory with gauge group $SU(2)$. We propose an explicit Poisson vertex algebra $A$, claimed to be isomorphic to the algebra of holomorphic-topological observables to all orders in perturbation theory. We compute the Hilbert-Poincaré series of $A$ and show that it refines the Schur index of the pure $SU(2)$ theory. We show that $A$ admits a further differential $Q_{\text{inst}}$ which we hypothesize captures non-perturbative corrections, and compute the cohomology of this differential. We thus present an explicit candidate for the space of non-perturbative holomorphic-topological observables of Seiberg-Witten theory.

2026-04-03T22:48:20Z 39 pages Ahsan Z. Khan http://arxiv.org/abs/2604.02929v1 2026-04-03T09:56:03Z

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.

2026-04-03T09:56:03Z Daniel Galviz http://arxiv.org/abs/2604.00837v2 2026-04-03T09:50:09Z

We set up a cochain complex $C^\bullet_{\mathrm{mix}}(\mathcal{M})$ whose cohomology controls deformations of the mixed associator of a module category $\mathcal{M}$ over a $\Bbbk$-linear monoidal category $\mathcal{C}$. We show that $C^\bullet_{\mathrm{mix}}(\mathcal{M})$ is isomorphic to the Davydov-Yetter (DY) complex of the representation functor $ρ: \mathcal{C} \to \mathrm{End}(\mathcal{M})$. Using our previous results on DY cohomology (arXiv:2411.19111), we prove that if $\mathcal{C}$ and $\mathcal{M}$ are finite then the cohomology $H^\bullet_{\mathrm{mix}}(\mathcal{M})$ is isomorphic to the relative Ext groups $\mathrm{Ext}^\bullet_{\mathcal{Z}(\mathcal{C}),\mathcal{C}}(\boldsymbol{1},\mathcal{A}_{\mathcal{M}})$ for the usual adjunction between the Drinfeld center $\mathcal{Z}(\mathcal{C})$ and $\mathcal{C}$, where $\mathcal{A}_{\mathcal{M}}$ is the so-called adjoint algebra of $\mathcal{M}$. This allows us to give a dimension formula for $H^n_{\mathrm{mix}}(\mathcal{M})$ in terms of certain Hom spaces in $\mathcal{Z}(\mathcal{C})$, and also to prove that $H^{>0}_{\mathrm{mix}}(\mathcal{C}) = 0$. We also show that the algebra $\mathcal{A}_{\mathcal{M}}$ is the ``full center'' of an algebra in $\mathcal{C}$ realizing $\mathcal{M}$. We furthermore establish a generalized version of Ocneanu rigidity for monoidal functors with coefficients, and provide its application to general (non-exact and non-finite) $\mathcal{C}$-module categories over a fusion category $\mathcal{C}$ such that $\dim(\mathcal{C}) \neq 0$. We spell out these results for module categories defined by finite-dimensional comodule algebras over finite-dimensional Hopf algebras. Examples based on comodule algebras over Sweedler's Hopf algebra are worked out in detail and yield new continuous families of inequivalent non-exact module categories.

2026-04-01T12:48:39Z 63 pages, 11 figures Matthieu Faitg Azat M. Gainutdinov Christoph Schweigert Jan-Ole Willprecht http://arxiv.org/abs/2509.21795v3 2026-04-03T00:01:19Z

There is considerable current interest in applications of generalised Lie algebras graded by an abelian group $Γ$ with a commutative factor $ω$. This calls for a systematic development of the theory of such algebraic structures. We treat the representation theory and invariant theory of the $Γ$-graded general linear Lie $ω$-algebra $\mathfrak{gl}(V(Γ, ω))$, where $V(Γ, ω)$ is any finite dimensional $Γ$-graded vector space. Generalised Howe dualities over symmetric $(Γ, ω)$-algebras are established, from which we derive the first and second fundamental theorems of invariant theory, and a generalised Schur-Weyl duality. The unitarisable $\mathfrak{gl}(V(Γ, ω))$-modules for two ``compact'' $\ast$-structures are classified, and it is shown that the tensor powers of $V(Γ, ω)$ and their duals are unitarisable for the two compact $\ast$-structures respectively. A Hopf $(Γ, ω)$-algebra is constructed, which gives rise to a group functor corresponding to the general linear group in the $Γ$-graded setting. Using this Hopf $(Γ, ω)$-algebra, we realise simple tensor modules and their dual modules by mimicking the classic Borel-Weil theorem. We also analyse in some detail the case with $Γ={\mathbb Z}^{\dim{V(Γ, ω)}}$ and $ω$ depending on a complex parameter $q\ne 0$, where $\mathfrak{gl}(V(Γ, ω))$ shares common features with the quantum general linear (super)group, but is better behaved especially when $q$ is a root of unity.

2025-09-26T02:51:09Z 87 pages; final version to appear in Expositiones Mathematicae R. B. Zhang http://arxiv.org/abs/2604.02456v1 2026-04-02T18:41:05Z

We compute explicit homological invariants of a trimmed graded double Ore extension of the quantum plane. For a pilot family of type (14641), we determine the minimal graded free resolution and graded Betti numbers of the trivial right module and also compute linear resolutions for two natural cyclic right modules. This provides a concrete link between the PBW structure of the algebra and the homological behavior of its natural quotients.

2026-04-02T18:41:05Z 11 pages Andrés Rubiano http://arxiv.org/abs/2604.02013v1 2026-04-02T13:17:03Z

We construct the functional integral of Abelian Chern-Simons theory with toral gauge group $\mathbb T=\mathfrak t/Λ\cong U(1)^n$ at level $K$, where $K:Λ\timesΛ\to\mathbb Z$ is an even, integral, nondegenerate symmetric bilinear form, by exact zeta-regularized Gaussian evaluation of the formal quotient integral over connections modulo gauge. For closed $3$-manifolds, this yields a topological invariant; for manifolds with boundary, the relative functional integral produces the canonical boundary state. The resulting theory satisfies the required axioms of a $(2+1)$-dimensional TQFT.

2026-04-02T13:17:03Z Daniel Galviz http://arxiv.org/abs/2402.08162v3 2026-04-02T06:11:55Z

In this paper we study a certain class of central extensions of preprojective algebras of quivers under the name quiver Heisenberg algebras (QHA). There are several classes of algebras introduced before by different researchers from different view points, which have the QHA as a special case. While these have mainly been studied in characteristic zero, we also study the case of positive characteristic. Our results show that the QHA is closely related to the representation theory of the corresponding path algebra in a similar way to the preprojective algebra. Among other things, one of our main results is that the QHA provides an exact sequence of bimodules over the path algebra of a quiver, which can be called the universal Auslander-Reiten sequence. Moreover, we show that the QHA provides minimal left and right approximations with respect to the powers of the radical functor. Consequently, we obtain a description of the QHA as a module over the path algebra, which in the Dynkin case, gives a categorification (as well as a generalization to the positive characteristic case) of the dimension formula by Etingof-Rains.

2024-02-13T01:41:38Z v3. In addition to minor revisions and adjustments to the layout in TeX, we have added discussions on the relationship with subsequent works. 118 pages. Comments are welcome Martin Herschend Hiroyuki Minamoto