https://arxiv.org/api/mVWKm/fl20XHq2Dj2JnDp9xNFJE 2026-06-13T13:53:52Z 20897 30 15 http://arxiv.org/abs/2502.19445v3 2026-06-08T09:34:39Z

This paper develops a framework for systematically studying cohomological "Hecke operators" associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), using the theory of cohomological Hall algebras. More precisely, we construct a moduli stack of coherent sheaves $\mathbf{Coh}(\widehat{X}_Z)$ on $X$ with set-theoretic support $Z$ and we prove that its reduced is an Artin stack locally of finite type. This provides a vast generalization of the global nilpotent cone. Subsequently, we develop the needed background to define the (motivic, $T$-equivariant) cohomological Hall algebra $\mathbf{HA}^{T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$ in the sense of Khan. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. In the companion paper arXiv:2603.03386, we use the nilpotent COHA $\mathbf{HA}^{T}_{X,Z}$ to answer a question previously raised in arXiv:2004.13685 about the precise relationship between the COHA of a minimal resolution of a Kleinian singularity and the corresponding preprojective COHA.

2025-02-25T09:39:43Z v3: This is a revised version of Part I of v2 of this manuscript. It contains two new results: the theory of nilpotent sheaves on formal schemes is now developed via a relative version of ind-coherent sheaves, and the nilpotent 0-dimensional COHA of a smooth surface is computed explicitly; 65 pp. v2: Title changed to reflect that the manuscript will be posted in separate parts; 335 pp. v1: 335 pp Duiliu-Emanuel Diaconescu Mauro Porta Francesco Sala Olivier Schiffmann Eric Vasserot http://arxiv.org/abs/2601.08789v2 2026-06-08T08:05:14Z

We study the specializations $\mathcal{L}_{g,n}^ε$ at roots of unity $ε$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface $Σ_{g,n}^{\circ}$ with genus $g$, $n$ punctures, and one boundary component. We prove that the central localizations of $\mathcal{L}_{g,n}^ε$ and of its subalgebra $\mathcal{L}_{g,n}^{u_ε}$ of invariant elements under the coadjoint action of a small quantum group, are central simple algebras of PI degrees that we compute. Also, we describe their centers, and show they are integrally closed rings.

2026-01-13T18:22:16Z V1: 72 pages; V2: 84 pages, Appendix E added (with results on specializations at more general roots of unity), typos corrected Stéphane Baseilhac Matthieu Faitg Philippe Roche http://arxiv.org/abs/2101.10016v15 2026-06-08T07:53:39Z

We develop Doplicher-Roberts quantum group duality program for the WZW model within the framework of vertex operator algebras. We establish that a weak quasi-fibre structure on a functor preserving a Drinfeld coboundary symmetry naturally extends a symmetric functor under permutation symmetry. Utilizing Wenzl's functor associated with the unitary quantum group fusion category, we construct a weak tensor structure, yielding a new class of unitary coboundary weak Hopf $C^*$-algebras for all Lie types and levels. Via a specialized Drinfeld twist and the Wenzl de-quantization curve, this structure is transported onto the Zhu algebra--which consequently becomes a unitary coboundary weak quasi-Hopf $C^*$-algebra with a 3-coboundary associator--providing a uniform, self-contained construction of unitary rigid braided tensor categories for categories of affine VOA modules at positive integer levels. Furthermore, we analyze the type A case via classification methods based on Kazhdan--Wenzl theory and our weak Hopf algebra framework, providing key insight into the determination of associativity from the braiding in the general case. We develop a cohomology theory for braided tensor categories with a generating object enabling a complete identification of our ribbon braided tensor structure with the constructions of Huang and Lepowsky for the classical Lie types and G_2, while bypassing their original reliance on the KZ equations and the Verlinde formula entirely. Our methods solve several long-standing problems: Galindo's question on the uniqueness of unitary tensor structures, Kirillov's conjecture on the positivity of a certain Hermitian form on the module category of an affine Lie algebra by Beilinson-Feigin-Mazur, the quantum group structure on the Zhu algebra sought by Frenkel and Zhu, and provide a direct proof of the Kazhdan-Lusztig-Finkelberg equivalence settling an open problem of Huang.

2021-01-25T11:32:05Z 260 pages. In this version, the first three introductory sections have been revised and shortened; old Sect. 32 (new 21) has been shortened; added formulation of Kirillov conjecture on positivity of hermitian form for for the Beilinson-Feigin-Mazur category \tilde{\math cal O}_\ell;added formulation and proof of Theorem 21.1 solving this conjecture, added Remark 38.16 Sergio Ciamprone Marco Valerio Giannone Claudia Pinzari http://arxiv.org/abs/2606.09107v1 2026-06-08T06:59:48Z

We introduce the braided cochain complex and the braided cohomology of braided coalgebras in linear monoidal categories, and compare the braided cohomology of braided coalgebras living in different linear monoidal categories using relative morphisms. The symmetric cohomology was introduced for groups by Staic, and was generalized to cocommutative Hopf algebras by Shiba, Sanada, and the second author. This cohomology involves degreewise actions of the symmetric groups on a cochain complex, which come from the usual symmetric monoidal structure on the category of modules. We generalize this framework by dealing with arbitrary linear monoidal categories, and by replacing symmetries with braidings defined merely on an object. We first give a convenient description of relative morphisms, and apply this result to prove that the braided cochain complex of quasi-triangular bialgebras is a braided Morita invariant under a certain condition, which is automatically satisfied in the finite-dimensional case.

2026-06-08T06:59:48Z 36 pages. Comments welcome! Shota Inoue Ayako Itaba http://arxiv.org/abs/2606.09069v1 2026-06-08T06:06:23Z

Let $H$ be a finite-dimensional, non-semisimple Hopf algebra over an algebraically closed field $\mathbf{k}$. This paper investigates the asymptotic behavior of the core of left $H$-modules through the lens of the gamma invariant $γ_{\mathfrak{X}}$ relative to a representation ideal $I_{\mathfrak{X}}$. We establish an equivalent characterization for the quotient of the Green ring $R_{\mathfrak{X}}$ to be a transitive fusion ring, demonstrating that transitivity is synonymous with the non-degeneracy of a naturally induced bilinear form and the collapse of the ideals $P_{+}$, $P_{-}$ and $I_{\operatorname{max}}$ into a single ideal. Furthermore, we prove that the Green ring exhibits the structure of a representation ring in the sense of Benson, provided that the square of the antipode is an inner automorphism and the equality $I_{\operatorname{max}}=I_{\operatorname{proj}}$ holds. As an explicit application of these frameworks, we analyze the Drinfeld double $D(H_4)$ of the Sweedler algebra, identifying an infinite family of distinct representation ideals and proving that the maximal gamma invariant $γ_{\operatorname{max}}$ induces a genuine ring homomorphism. Finally, for Hopf algebras of finite representation type under the assumption $P_{+} = P_{-} = I_{\operatorname{max}}$, we show that $γ_{\operatorname{max}}$ coincides precisely with the Frobenius--Perron dimension, and we explicitly compute the gamma invariants for the standard basis elements of the Green ring of the Taft algebra $H_n(q)$.

2026-06-08T06:06:23Z 14 pages Xinru Zhang Libin Li Yinhuo Zhang http://arxiv.org/abs/2507.09254v2 2026-06-08T03:19:04Z

In this paper, we introduce and study two cyclotomic level maps defined respectively on the set of nilpotent orbits $\underline{\mathcal{N}}$ in a complex semi-simple Lie algebra $\mathfrak{g}$ and the set of conjugacy classes $\underline{W}$ in its Weyl group, with values in positive integers. We show that these maps are compatible under Lusztig's map $\underline{W} \to \underline{\mathcal{N}}$, which is also the minimal reduction type map as shown by Yun. We also discuss their relationship with two-sided cells in affine Weyl groups. We use these maps to formulate a conjecture on the associated varieties of simple affine vertex algebras attached to $\mathfrak{g}$ at non-admissible integer levels, and provide some evidence for this conjecture.

2025-07-12T11:25:31Z v1: 48 pages, 8 tables, 5 figures. v2: 46 pages, 8 tables, 5 figures; intro is rewritten to better emphasize the Langlands-style picture we are building; an equivalent definition of cl_n is added and the first theorem is reduced to a known result; some other references are added and typos corrected Peng Shan Wenbin Yan Qixian Zhao http://arxiv.org/abs/2412.20786v4 2026-06-08T02:54:40Z

The classification of finite dimensional Nichols algebras is a key part of the lifting method by N. Andruskiewitsch and H.-J. Schneider for finite dimensional pointed Hopf algebras. In this paper, we classify all rank $r\geq 5$ Nichols algebras of diagonal type with finite irreducible root systems over fields of positive characteristic. Using Weyl groupoids, arithmetic root systems, and Cartan graphs, we show that such Nichols algebras correspond exactly to the generalized Dynkin diagrams listed in Table 1.

2024-12-30T08:11:34Z arXiv admin note: text overlap with arXiv:1911.03555 L. J. Lei C. Yuan C. Qian J. Wang http://arxiv.org/abs/2606.08937v1 2026-06-08T02:32:06Z

We introduce a quantum deformation $\mathbf{U}(\mathfrak{gl}_n[t])$ of the universal enveloping algebra of the current algebra $\mathfrak{gl}_n[t]$, realized as a parabolic subalgebra of quantum affine $\mathfrak{gl}_n$. Unlike the Yangian -- the standard quantization of the current algebra -- our algebra admits a canonical basis. We give a BLM-type realization of $\mathbf{U}(\mathfrak{gl}_n[t])$ via certain subalgebras of affine quantum Schur algebras, and then construct canonical bases for the modified quantum current algebra $\dot{\mathbf{U}}(\mathfrak{gl}_n[t])$ and for its finite dimensional irreducible graded modules. Moreover, we prove a rigidity theorem: every finite dimensional polynomial irreducible module for quantum affine $\mathfrak{gl}_n$ remains irreducible when restricted to ${\bf U}_{\mathbf v}(\frak{gl}_n[t])$ (the specialization of ${\bf U}(\frak{gl}_n[t])$ at a non-root-of-unity complex number ${\mathbf v}$); conversely, every finite dimensional polynomial irreducible ${\bf U}_{\mathbf v}(\frak{gl}_n[t])$-module extends uniquely to a polynomial irreducible module for quantum affine $\mathfrak{gl}_n$. Consequently, the finite dimensional polynomial irreducible modules of ${\bf U}_{\mathbf v}(\frak{gl}_n[t])$ are in bijection with those of the Yangian $Y(\mathfrak{gl}_n)$. This provides the first example of a quantum current algebra with a well-developed canonical basis theory, providing new combinatorial approaches to the representation theory of current algebras.

2026-06-08T02:32:06Z 47 pages Qiang Fu http://arxiv.org/abs/2402.13544v5 2026-06-08T01:27:07Z

We introduce a monoidal analogue of Jantzen filtrations in the framework of monoidal abelian categories with generic braidings. It leads to a deformation of the multiplication of the Grothendieck ring. We conjecture, and we prove in many remarkable situations, that this deformation is associative so that our construction yields a quantization of the Grothendieck ring as well as analogs of Kazhdan-Lusztig polynomials. As a first main example, for finite-dimensional representations of simply-laced quantum loop algebras, we prove the associativity and we establish that the resulting quantization coincides with the quantum Grothendieck ring constructed by Nakajima and Varagnolo-Vasserot in a geometric manner. Hence, it yields a unified representation-theoretic interpretation of the quantum Grothendieck ring. As a second main example, we establish an analogous result for a monoidal category of finite-dimensional modules over symmetric quiver Hecke algebras categorifying the coordinate ring of a unipotent group associated with a Weyl group element. We obtain various applications, in particular on the homological structure of representations.

2024-02-21T05:53:28Z 61 pages, v5: fixed a few typos Adv. Math., 495 (2026), 110963 Ryo Fujita David Hernandez 10.1016/j.aim.2026.110963 http://arxiv.org/abs/2507.06304v3 2026-06-07T20:24:50Z

We study how the fusion 2-category symmetry of a fermionic (2+1)d QFT can be affected when one allows for stacking with TQFTs to be an equivalence relation for QFTs. Focusing on a simple kind of fermionic fusion 2-category described purely by group theoretical data, our results reveal that by allowing for stacking with $\mathrm{Spin}(n)_1$ as an equivalence relation enables a finite set of inequivalent modifications to the original fusion 2-categorical-symmetry. To put our results in a broader context, we relate the order of the symmetry modifications to the image of a map between groups of minimal nondegenerate extensions, and to the tangential structure set by the initial categorical symmetry on the background manifold for the QFT.

2025-07-08T18:00:07Z 25 pages, comments welcome Daniel Teixeira Matthew Yu http://arxiv.org/abs/2605.06984v2 2026-06-07T20:14:23Z

We determine the complexity of exact evaluation of the Reshetikhin--Turaev and Turaev--Viro invariants of closed connected oriented 3-manifolds, with the underlying tensor category fixed. If $\mathcal C$ is a modular category, then the Reshetikhin--Turaev invariant $Z_{\mathcal C}(M)$ can be computed in polynomial time from a framed-link surgery presentation of $M$ precisely when $\mathcal C$ is pointed; otherwise the problem is $\#\mathrm{P}$-hard. If $\mathcal A$ is a spherical fusion category, then the Turaev--Viro invariant $|M|_{\mathcal A}$ can be computed in polynomial time from a triangulation of $M$ precisely when the Drinfeld center $\mathcal Z(\mathcal A)$ is pointed, equivalently when $\mathcal A$ is trivializable pointed; otherwise the problem is $\#\mathrm{P}$-hard. This proves the dichotomy conjectured by Bridges and Samperton and identifies the categorical obstruction to polynomial-time evaluation.

2026-05-07T22:02:01Z 36 pages. Revised version. Simplifies the ordering convention in the graph-manifold construction, expands the polynomial-time cases, and clarifies the surgery-diagram presentations used in the reductions César Galindo http://arxiv.org/abs/2604.02571v4 2026-06-07T09:05:57Z

In this paper, we construct a rigid concrete $C^*$-tensor category whose associated compact quantum group, reconstructed via Woronowicz--Tannaka--Krein duality, is the free wreath product of classical groups.

2026-04-02T22:51:30Z Yigang Qiu http://arxiv.org/abs/2606.08396v1 2026-06-07T01:23:30Z

We develop an explicit PBW normal ordering theory for the $26$ double extension regular algebras of type $(14641)$ in the Zhang-Zhang classification. With respect to the order $x_1\prec x_2\prec y_1\prec y_2$, we obtain closed two-letter formulas for the internal relations and recursive coefficient systems for mixed words, products of PBW monomials, powers of normal blocks, and noncommutative multinomial expressions. The internal coefficients are mostly quantum or skew-commutative, while the Jordan families produce Lah-Whitney, hence Stirling-type, triangular arrays. The symbolic reductions are supported by a SageMath implementation included as an ancillary file.

2026-06-07T01:23:30Z 22 pages Andrés Rubiano http://arxiv.org/abs/2606.00993v2 2026-06-06T09:39:56Z

In this paper we study the Stokes phenomenon of the quantum confluent hypergeometric supersystem, certain meromorphic linear system of ordinary differential equation with a second order pole, associated to the Lie superalgebra $\mathfrak{gl}_{m|n}$. We prove that its Stokes supermatrices satisfy the Yang-Baxter equation, and thus give rise to the quantum supergroup $U_q(\mathfrak{gl}(m|n))$.

2026-05-31T04:15:34Z Qiao Li Zikang Wang Xiaomeng Xu http://arxiv.org/abs/2606.07987v1 2026-06-06T05:27:46Z

It was recently shown by Huang that the category of $C_1$-cofinite modules for any vertex operator algebra $V$ admits a natural braided monoidal structure. Here, we show that this structure extends uniquely to a vertex algebraically natural braided monoidal structure on the completion of the category of $C_1$-cofinite $V$-modules under filtered colimits, within the ambient category of all generalized $V$-modules. A critical point here is that we do not assume the category of $C_1$-cofinite $V$-modules is abelian or that $C_1$-cofinite modules are compact in the cocompletion, since these properties are not known to hold in general. Our results have many applications in the representation theory of vertex operator algebra extensions, since many vertex operator algebras can be realized as objects in the filtered colimit completion of the category of $C_1$-cofinite modules for a vertex operator subalgebra. Generalizing from the specific vertex algebraic setting, we also establish existence and uniqueness for extensions of monoidal structures along a dense inclusion $\mathscr{C}_0 \to \mathscr{C}$ from an abstract, essentially small monoidal category into a well-structured cocomplete target.

2026-06-06T05:27:46Z 38 pages Robert McRae Cris Negron