https://arxiv.org/api/7c0Dexj23rsFnRRhf9EqfJ70JJk 2026-06-13T19:38:45Z 20897 105 15 http://arxiv.org/abs/2511.19825v3 2026-05-26T15:39:42Z

In the first part of this series, the authors introduced the quantum wreath product, providing a unified framework that encompasses numerous results previously addressed only through case-by-case analysis. This paper shifts focus to the fundamental construction of modules over these products, termed wreath modules. Our approach utilizes parabolic induction on tensor products combined with a sophisticated labeling scheme based on multipartitions. While the underlying constructions are technically involved, they offer a transparent realization of several prominent module families. Specifically, these wreath modules recover and unify: Simple modules over the Ariki-Koike algebra; Specht and simple modules over the Hu algebra; (anti)spherical modules and Kashiwara-Miwa-Stern modules over the affine Hecke algebra and its pro-p Iwahori variants. Finally, we demonstrate that these wreath modules for the Hu algebra serve as a critical component in solving the Ginzburg-Guay-Opdam-Rouquier problem. This solution enables a concrete realization of Category O for the rational Cherednik algebra in Type D.

2025-11-25T01:37:51Z 30 pages. v2: The second half of version 1 was split from the paper and expanded into part III of the series. v3: minor typos fixed Chun-Ju Lai Daniel K. Nakano Ziqing Xiang http://arxiv.org/abs/2605.27092v1 2026-05-26T14:37:18Z

The goal of this note is to show that the left $χ$-coalgebra, which is an additional structure on one of the coefficients used in the construction of the cyclic operator for the cyclic sets that generalises the twisted nerve of a group by Loday is an instance of a general theory of left $χ$-coalgebras. It is also shown that in the general case, the resulting cyclic operator requires that the other coefficient needs to be equipped with a crossed $G$-sets structure.

2026-05-26T14:37:18Z John Boiquaye Ralph Twum http://arxiv.org/abs/2605.11903v2 2026-05-26T13:05:15Z

Quiver skew braces or skew bracoids are equivalent to braided groupoids, that is, groupoids with a constraint of abelianity. They are the quiver-theoretic version of skew braces, an increasingly studied structure lying in the intersection of group and ring theory. In this paper, we define ideals and quotients for quiver skew braces, with respect to two notions of morphisms. Following the track of a previous work of ours (2025), we define a classical semidirect product à la Brown, and a categorical semidirect product à la Bourn and Janelidze, for the category of quiver skew braces. It is known that connected groupoids can be expressed as the datum of a group of loops and a set of vertices. We demonstrate how no such decomposition holds for quiver skew braces, which makes their theory richer than the theory of groupoids.

2026-05-12T10:16:51Z 24 pages, 1 figure. (Cross-reference errors corrected.) Davide Ferri http://arxiv.org/abs/2605.26972v1 2026-05-26T12:58:04Z

In the spirit of the geometric approach to two-dimensional conformal field theory, we explicitly associate to every holomorphic vertex operator algebra a section of a power of Hodge line bundle on the moduli space of curves of arbitrary genus - or equivalently a Teichmüller modular form in any genus. As a first application, we connect the geometry of the moduli space of curves to the classification program for holomorphic vertex algebras. We then discuss how to use the theory of holomorphic vertex algebras to reach new results about the moduli space of curves. In the last part of the paper we study how the above mentioned forms can be used to reconstruct the vertex algebra.

2026-05-26T12:58:04Z Sebastiano Carpi Giulio Codogni http://arxiv.org/abs/2410.02648v2 2026-05-26T11:07:59Z

We prove convergence and compatibility of iterated bulk and boundary operator product expansions (OPEs) in two-dimensional conformal field theory with locally $C_1$-cofinite chiral symmetry. For each tree, we give an explicit domain of convergence for the corresponding iterated OPE. These local expansions glue to single-valued real analytic functions on the configuration spaces, which are the correlation functions of the theory. The proof uses an action of the parenthesized permutation-braid operad on $C_1$-cofinite module categories of a vertex operator algebra. This operad models the fundamental groupoid of the two-dimensional Swiss-cheese operad, and under this action the operadic generators correspond to the genus-zero bootstrap equations of boundary CFT.

2024-10-03T16:33:41Z 54 pages, v2: revised title, abstract, and introduction; corrected typos Yuto Moriwaki http://arxiv.org/abs/2502.06229v7 2026-05-26T09:46:56Z

This paper provides a unified framework resolving two long-standing problems: the intrinsic construction of global quantum gauge groups for braided tensor $C^*$-categories (the Doplicher-Roberts problem) and the direct proof of the Finkelberg equivalence theorem at positive integer levels (the Huang problem). In our previous work, we solved both problems for the WZW model across all Lie types by constructing a unitary modular tensor category structure on the module category of an affine vertex operator algebra at positive integer level, together with a quantum gauge group for our analytic structure. Specifically, we utilized the global quantum gauge group A_{W}(\mathfrak{g},q) to equip the Zhu algebra of the affine vertex operator algebra V_{\mathfrak{g}_{k}} with a unitary coboundary weak quasi-Hopf algebra structure with a 3-coboundary associator. This relies on an isometric analytic Drinfeld twist and Wenzl's continuous de-quantization curve. In the present paper, we address the Huang problem specifically for the Huang-Lepowsky tensor structure. We provide a complete identification of our modular tensor category structure with the Huang-Lepowsky structure for all the classical Lie types and $G_2$ via generalized quantum Schur-Weyl duality. This unified approach establishes rigidity directly from the quantum group fusion category, completely bypassing reliance on the Verlinde formula, the monodromy of the Knizhnik-Zamolodchikov equations, negative-level shifting typically required in the VOA setting, and the Jones index used in the conformal net setting. Consequently, our framework restores the natural categorical hierarchy where local rigidity precedes global modular properties entirely within the vertex operator algebra setting.

2025-02-10T08:03:00Z 54 pages. Restructured version. We have redistributed material from the related joint manuscript arXiv:2101.10016 that in turn will be cut down from that paper Claudia Pinzari http://arxiv.org/abs/2605.26374v1 2026-05-25T22:46:16Z

Lezama \cite{LezamaLatorre2017} introduced the notion of semi-graded ring with the aim of generalizing $\mathbb{Z}$-graded rings and several families of noncommutative rings of polynomial type non-$\mathbb{N}$-graded such as the skew Poincaré-Birkhoff-Witt extensions defined by him \cite{GallegoLezama2010}. In a series of papers, \cite{Lezama2020, Lezama2021, LezamaGomez2019, LezamaLatorre2017}, he studied problems of non-commutative projective algebraic geometry generalizing the original ideas of Artin et al. \cite{Artin1992, ArtinSchelter1987, ArtinTateVandenBergh2007, ArtinTateVandenBergh1991, ArtinZhang1994} on $\mathbb{N}$-graded rings, in the categorical context of the category $\mathsf{SGR}-R$ of left semi-graded modules over a semi-graded ring $R$. In this note we prove that $\mathsf{SGR}-R$ possesses a canonical set of free generators via shifted twists, which endows the category with a {\em Grothendieck structure} and guarantees the existence of enough injective and projective objects. This categorical robustness allows us to formulate a semi-graded analogue of Baer's criterion for injectivity and to establish a first approach to the dual theory of projective resolutions using shifted twists.

2026-05-25T22:46:16Z 14 pages Armando Reyes http://arxiv.org/abs/2506.16469v2 2026-05-25T18:51:54Z

It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras and twisted morphisms of triangular bialgebras. We do so by adopting the framework of 2-categories and the proper notion of binary product, as well as by employing a description of twists on the tensor product bialgebra, specifically developed for this purpose. We apply this extension to provide a new interpretation of the twisted tensor products of triangular bialgebras in terms of binary products.

2025-06-19T17:10:48Z 26 pages. Remarks 3.7, 3.12, 4.2, 4.4 have been added. Propositions 5.2 and 5.4 have been added to split the proof of Theorem 5.5. Additional references and other minor changes Alessandro Ardizzoni Andrea Sciandra http://arxiv.org/abs/2605.26080v1 2026-05-25T17:45:51Z

We study intersecting surface operators in 6d holomorphic field theories with the aim of unraveling associated quantum integrable structures. We first study the intersections of surface operators in 6d holomorphic Chern-Simons theory on $\mathbb{C}^3$. Computing their correlation function, we find a local operator at the intersection of the surface operators with a form reminiscent of the leading nontrivial term in the quasi-classical expansion of a rational $R$-matrix, as predicted by Costello. We provide evidence that this $R$-matrix-like operator satisfies a Yang-Baxter-type relation. We then derive the associated coproduct of the chiral algebra supported by surface operators from their OPE. We also study intersecting surface operators in 6d holomorphic BF theory and derive the local leading form of the corresponding $R$-matrix-like operator. When this theory is placed on twistor space, where it describes the self-dual sector of 4d Yang-Mills theory, this operator is expected to provide a local building block for quantum integrable structures anticipated in that setting.

2026-05-25T17:45:51Z 26 pages, 4 figures Meer Ashwinkumar http://arxiv.org/abs/2605.25908v1 2026-05-25T14:44:09Z

Integral identities for Macdonald polynomials play an important role in modern mathematics and mathematical physics. Especially interesting are the Cherednik-Macdonald-Mehta (CMM) identities, with profound connections to Double Affine Hecke Algebras (DAHA) and representation theory of quantum groups. These identities are central in refined Chern-Simons theory, where they lead to refined S and T matrices and ultimately to refined knot invariants. We suggest an elliptic generalization of CMM identities, where trigonometric Vandermonde products are replaced by theta functions. At the same time Macdonald polynomials are promoted to Shiraishi functions -- distinguished elliptic functions with several interesting avatars, from the non-stationary Ruijsenaars problem in integrable systems, to equivariant K-theory characters of the affine Laumon space in algebraic geometry, to surface defect partition functions in 5d super Yang-Mills theory. From the perspective of matrix models, we present an elliptic matrix model with a superintegrability property. We prove the suggested identities to the first order in the elliptic parameter.

2026-05-25T14:44:09Z 14 pages Shamil Shakirov http://arxiv.org/abs/2605.25721v1 2026-05-25T11:25:32Z

In this paper, we develop the foundations of the representation theory of quiver Hecke--Clifford superalgebras. We further construct a Schur--Weyl duality between quantum affine analogues of the queer Lie superalgebra and the quiver Hecke--Clifford superalgebra of type A, based on the construction due to Kwon--Lee.

2026-05-25T11:25:32Z 43 pages Koreto Endo http://arxiv.org/abs/2605.25587v1 2026-05-25T08:35:53Z

A difference operator on an associative algebra is an algebraic abstraction of the forward and backward difference operators. In this paper, we first introduce difference operators on associative $2$-algebras and consider the category of difference associative $2$-algebras. Subsequently, we also introduce difference operators on a given $A_\infty$-algebra in terms of their Maurer-Cartan characterization. We prove that the category of difference associative $2$-algebras and the category of $2$-term difference $A_\infty$-algebras are equivalent. We characterize skeletal and strict $2$-term difference $A_\infty$-algebras by respectively third cocycles and crossed modules of difference algebras. Finally, we define the notion of a $2$-term bimodule up to homotopy over a difference algebra, which in turn yields a construction of a $2$-term difference $A_\infty$-algebra.

2026-05-25T08:35:53Z 19 pages; comments are welcome Apurba Das http://arxiv.org/abs/2602.11559v5 2026-05-25T00:08:31Z

Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with initial seed given by that of the coordinate ring of twisted products of flag varieties. This class of varieties includes, in particular, braid varieties and reduced double Bruhat cells.

2026-02-12T04:26:41Z 72 pages. Any comments welcome Yingjin Bi http://arxiv.org/abs/2501.03726v2 2026-05-24T15:40:22Z

The little $n$-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally formal as $\infty$-operads.

2025-01-07T12:15:41Z Forum of Mathematics, Pi. 2026;14:e12 Pedro Boavida de Brito Joana Cirici Geoffroy Horel 10.1017/fmp.2026.10029 http://arxiv.org/abs/2201.09397v5 2026-05-23T21:52:22Z

These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.

2022-01-23T23:15:52Z 268 pages, minor corrections and improvements in v4 Pavel Etingof