http://arxiv.org/api/mVWKm/fl20XHq2Dj2JnDp9xNFJE 2025-04-22T00:00:00-04:00 19732 30 15 http://arxiv.org/abs/2503.08839v2 2025-04-14T18:08:48Z 2025-03-11T19:20:14Z

We introduce a new topological coproduct $\Delta^{\psi}_{u}$ for quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ in all untwisted types, leading to a well-defined tensor product on the category $\widehat{\mathcal{O}}_{\mathrm{int}}$ of integrable representations. This is defined by twisting the Drinfeld coproduct $\Delta_{u}$ with an anti-involution $\psi$ of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ that swaps its horizontal and vertical quantum affine subalgebras. Other applications of $\psi$ include generalising the celebrated Miki automorphism from type $A$, and an action of the universal cover of $SL_{2}(\mathbb{Z})$. Next, we investigate the ensuing tensor representations of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$, and prove quantum toroidal analogues for a series of influential results by Chari-Pressley on the affine level. In particular, there is a compatibility with Drinfeld polynomials, and the product of irreducibles is generically irreducible. We moreover show that the $q$-character of a tensor product is equal to the product of $q$-characters for its factors. Furthermore, we obtain $R$-matrices with spectral parameter which provide solutions to the (trigonometric, quantum) Yang-Baxter equation, and endow $\widehat{\mathcal{O}}_{\mathrm{int}}$ with a meromorphic braiding. These moreover give rise to a commuting family of transfer matrices for each module.

Duncan Laurie 93 pages, comments very welcome! v2: added work on q-characters; extended everything to final untwisted affine type; minor historical correction http://arxiv.org/abs/2504.10270v1 2025-04-14T14:34:52Z 2025-04-14T14:34:52Z

We formulate two new $\mathbb Z[q,q^{-1}]$-linear diagrammatic monoidal categories, the affine $q$-web category and the affine $q$-Schur category, as well as their respective cyclotomic quotient categories. Diagrammatic integral bases for the Hom-spaces of all these categories are established. In addition, we establish the following isomorphisms, providing diagrammatic presentations of these $q$-Schur algebras for the first time: (i)~ the path algebras of the affine $q$-web category to R.~Green's affine $q$-Schur algebras, (ii)~ the path algebras of the affine $q$-Schur category to Maksimau-Stroppel's higher level affine $q$-Schur algebras, and most significantly, (iii)~ the path algebras of the cyclotomic $q$-Schur categories to Dipper-James-Mathas' cyclotomic $q$-Schur algebras.

Yaolong Shen Linliang Song Weiqiang Wang 41 pages http://arxiv.org/abs/2504.10182v1 2025-04-14T12:35:08Z 2025-04-14T12:35:08Z

Let $Q$ be an affine quiver of type $A_2^{(1)}$. We explicitly construct the cluster multiplication formulas for the quantum cluster algebra of $Q$ with principal coefficients. As applications, we obtain: (1)\ an exact expression for every quantum cluster variable as a polynomial in terms of the quantum cluster variables in clusters which are one-step mutations from the initial cluster; (2)\ an explicit bar-invariant positive $\mathbb{ZP}$-basis.

Danting Yang Xueqing Chen Ming Ding Fan Xu 30 pages http://arxiv.org/abs/2504.10131v1 2025-04-14T11:37:36Z 2025-04-14T11:37:36Z

A three-functor formalism is the half of a six-functor formalism that supports the projection and base change formulas. In this paper, we provide a three-functor formalism for commutative von Neumann algebras and their modules. Using the Gelfand-Naimark theorem, this gives rise to a three-functor formalism for measure spaces and measurable bundles of Hilbert spaces. We use this to prove Fell absorption for unitary representations of measure groupoids. The three-functor formalism for commutative von Neumann algebras takes values in W*-categories, and we discuss in what sense it is a unitary three-functor formalism.

Andre G. Henriques Thomas A. Wasserman 25 pages. Comments welcome! http://arxiv.org/abs/2504.03340v2 2025-04-14T11:11:08Z 2025-04-04T10:52:10Z

We consider unitary cocycle deformations of covariant $\ast$-differential calculi. We prove that complex structures, holomorphic bimodules and Chern connections can be deformed to their noncommutative counterparts under such deformations. If we start with a K\"ahler manifold, then the Levi-Civita connection on the space of one forms of the deformed calculus can be expressed as a direct sum of the Chern connections on the twisted holomorphic and the anti-holomorphic bimodules. Our class of examples include toric deformations considered by Mesland and Rennie as well as cocycle deformations of the Heckenberger-Kolb calculi.

Jyotishman Bhowmick Bappa Ghosh 34 pages http://arxiv.org/abs/2312.13493v4 2025-04-14T10:30:00Z 2023-12-21T00:10:17Z

For the Drinfeld-Jimbo quantum enveloping algebra $U_q(\frak{sl}_{n+1})$, we show that the span of Lusztig's positive root vectors, with respect to Littlemann's nice reduced decompositions of the longest element of the Weyl group, form quantum tangent spaces for the full quantum flag manifold $\mathcal{O}_q(\mathrm{F}_{n+1})$. The associated differential calculi are direct $q$-deformations of the anti-holomorphic Dolbeault complex of the classical full flag manifold $\mathrm{F}_{n+1}$. As an application we establish a quantum Borel-Weil theorem for the $A_n$-series full quantum flag manifold, giving a noncommutative differential geometric realisation of all the finite-dimensional type-$1$ irreducible representations of $U_q(\frak{sl}_{n+1})$. Restricting this differential calculus to the quantum Grassmannians is shown to reproduce the celebrated Heckenberger-Kolb anti-holomorphic Dolbeault complex. Lusztig's positive root vectors for non-nice decompositions of the longest element of the Weyl group are examined for low orders, and are exhibited to either not give tangents spaces, or to produce differential calculi of non-classical dimension.

Réamonn Ó Buachalla Petr Somberg 58 pages http://arxiv.org/abs/2504.09919v1 2025-04-14T06:27:03Z 2025-04-14T06:27:03Z

The mirror symmetry among Calabi-Yau manifolds is mysterious, however, the mirror operation in 2d N=(2,2) supersymmetric conformal field theory (SCFT) is an elementary operation. In this paper, we mathematically formulate SCFTs using unitary full vertex operator superalgebras (full VOAs) and develop a cohomology theory of unitary SCFTs (aka holomorphic / topological twists). In particular, we introduce cohomology rings, Hodge numbers, and the Witten index of a unitary $N=(2,2)$ full VOA, and prove that the cohomology rings determine 2d topological field theories and give relations between them (Hodge duality and T-duality). Based on this, we propose a possible approach to prove the existence of mirror Calabi-Yau manifolds for the Hodge numbers using SCFTs. For the proof, one need a construction of sigma models connecting Calabi-Yau manifolds and SCFTs which is still not rigorous, but expected properties are tested for the case of Abelian varieties and a special K3 surface based on some unitary $N=(2,2)$ full VOAs.

Yuto Moriwaki 83 pages, comments are welcome http://arxiv.org/abs/2504.09735v1 2025-04-13T21:50:28Z 2025-04-13T21:50:28Z

We study certain overlap coefficients appearing in representation theory of the quantum algebra $\U_q(\mathfrak{sl}_2(\C))$. The overlap coefficients can be identified as products of Askey-Wilson functions, leading to an algebraic interpretation of the multivariate Askey-Wilson functions introduced by Geronimo and Iliev. We use the underlying coalgebra structure to derive $q$-difference equations satisfied by the multivariate Askey-Wilson functions.

Wolter Groenevelt 21 pages http://arxiv.org/abs/2504.09551v1 2025-04-13T12:55:32Z 2025-04-13T12:55:32Z

Isoclinism was introduced by Hall and is an important concept in group theory. More generally, there is the notion of $n$-isoclinism for every natural number $n$. Recently, Letourmy and Vendramin (2023) extended the notions of isoclinism and also stem groups to the setting of skew braces. In this paper, we shall propose two analogs of $n$-isoclinism and $n$-stem groups for skew braces. We shall prove that for the ``weak" version, analogous to the case of groups, weak $n$-isoclinism implies weak $(n+1)$-isoclinism.

Risa Arai Cindy Tsang 16 pages http://arxiv.org/abs/2412.20262v2 2025-04-13T11:17:17Z 2024-12-28T20:31:54Z

Circuit algebras are a symmetric version of Jones's planar algebras. They originated in quantum topology as a framework for encoding virtual crossings. Oriented circuit algebras are equivalent to wheeled props. This paper extends existing results for modular operads to construct a graphical calculus and monad for general circuit algebras and prove an abstract nerve theorem. Specialisations of these results to wheeled props follow as straightforward corollaries. The machinery used to prove these results relies on a subtle interplay between distributive laws and abstract nerve theory, and provides extra insights into the underlying structures.

Sophie Raynor 54 pages, many figures and diagrams. Minor edits relative to v1. Comments welcome. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557 http://arxiv.org/abs/2503.07592v3 2025-04-12T20:29:18Z 2025-03-10T17:55:15Z

The triad refers to embedding of two systems of polynomials, symmetric ones and those of the Baker-Akhiezer type into a power series of the Noumi-Shiraishi type. It provides an alternative definition of Macdonald theory and its extensions. The basic triad is associated with the vector representation of the Ding-Iohara-Miki (DIM) algebra. We discuss lifting this triad to two elliptic generalizations and further to the bi-elliptic triad. At the algebraic level, it corresponds to elliptic and bi-elliptic DIM algebras. This completes the list of polynomials associated with Seiberg-Witten theory with adjoint matter in various dimensions.

A. Mironov A. Morozov A. Popolitov Z. Zakirova 9 pages, LaTeX http://arxiv.org/abs/2401.02545v3 2025-04-12T17:26:01Z 2024-01-04T21:29:25Z

We define a monoidal category $\operatorname{\mathbf{W}}$ and a closely related 2-category $\operatorname{\mathbf{2Weyl}}$ using diagrammatic methods. We show that $\operatorname{\mathbf{2Weyl}}$ acts on the category $\mathbf{TL} :=\bigoplus_n \operatorname{TL}_n\mathrm{-mod}$ of modules over Temperley-Lieb algebras, with its generating 1-morphisms acting by induction and restriction. The Grothendieck groups of $\operatorname{\mathbf{W}}$ and a third category we define $\operatorname{\mathbf W}^\infty$ are closely related to the Weyl algebra. We formulate a sense in which $K_0(\operatorname{\mathbf W}^\infty)$ acts asymptotically on $K_0(\mathbf{TL})$.

Matthew Harper Peter Samuelson 39 pages, many figures. Comments particularly encouraged! http://arxiv.org/abs/2310.20420v2 2025-04-12T12:56:05Z 2023-10-31T12:46:30Z

We show that solutions to the Kashiwara-Vergne problem can be extended degree by degree. This can be used to simplify the computation of a class of Drinfel'd associators, which under the Alekseev-Torossian conjecture, may comprise all associators. We also give a proof that the associated graded Lie algebra of the Kashiwara-Vergne group is isomorphic to the graded Kashiwara-Vergne Lie algebra.

Zsuzsanna Dancso Iva Halacheva Guillaume Laplante-Anfossi Marcy Robertson 15 pages, now working over an arbitrary field of characteristic zero, to appear in Comptes Rendus. Math\'ematique http://arxiv.org/abs/2504.08657v1 2025-04-11T15:59:50Z 2025-04-11T15:59:50Z

The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hat{\omega}$ with the order of $\hat{\omega}^{4n^2}$ being $N$, then for $\hat{\eta} = \hat{\omega}^{N^2}$, the Frobenius homomorphism $\Phi : \mathscr{S}_{\hat{\eta}}(\mathfrak{S}) \to \mathscr{S}_{\hat{\omega}}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $\Phi$ of a framed oriented knot $\alpha$ is given by threading along $\alpha$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.

Hyun Kyu Kim Thang T. Q. Lê Zhihao Wang 76 pages http://arxiv.org/abs/2401.16917v2 2025-04-11T14:32:54Z 2024-01-30T11:36:15Z

We show that (central) Cowling-Haagerup constant of discrete quantum groups is multiplicative, which extends the result of Freslon to general (not necesarilly unimodular) discrete quantum groups. The crucial feature of our approach is considering algebras $\mathrm{C}(\mathbb{G}), \operatorname{L}^{\infty}(\mathbb{G})$ as operator modules over $\operatorname{L}^1(\mathbb{G})$.

Jacek Krajczok 13 pages. V2: Corrected error in Lemma 4.1, added Remark 4.2