https://arxiv.org/api/z/2q3PvQql2WAmNY6QhAP7qu2eM 2026-06-13T20:40:32Z 20897 120 15 http://arxiv.org/abs/2501.02365v2 2026-05-22T18:17:43Z

Let g be a complex simple Lie algebra and Uq(Lg) its quantum loop algebra, where q is not a root of unity. We give an explicit formula for the quantum Weyl group action of the coroot lattice Q of g on finite-dimensional representations of Uq(Lg) in terms of its commuting generators. The answer is expressed in terms of the Chari-Pressley series, whose evaluation on highest weight vectors gives rise to Drinfeld polynomials. It hinges on a strong rationality result for that series, which is derived in the present paper. As an application, we identify the action of Q on the equivariant K-theory of Nakajima quiver varieties with that of explicitly given determinant line bundles.

2025-01-04T19:56:47Z Added sections on the Drinfeld coproduct of lattice coroot operators (1.9) and the extended affine braid group (1.13). Added two references in 1.7. Minor edits throughout. 31 pages S. Gautam V. Toledano-Laredo http://arxiv.org/abs/2605.23799v1 2026-05-22T15:58:02Z

We study Rota--Baxter operators on vertex algebras using the integrated $λ$-bracket formalism. A Rota--Baxter operator produces a deformed vertex algebra structure, and the difference between the deformed and original brackets yields a two-cocycle in vertex algebra cohomology. This generalizes the classical relation between Rota--Baxter operators and Hochschild two-cocycles. We also characterize when this two-cocycle is trivial, showing that non-scalar operators give rise to non-trivial cohomology classes.

2026-05-22T15:58:02Z Hassan Alhussein http://arxiv.org/abs/2310.15617v5 2026-05-22T14:16:50Z

The Links-Gould invariant of links $LG^{2,1}$ is a two-variable generalization of the Alexander-Conway polynomial. Using representation theory of $U_{q}\mathfrak{gl}(2 \vert 1)$, we prove that the degree of the Links-Gould polynomial provides a lower bound on the Seifert genus of any knot, therefore improving the bound known as the Seifert inequality in the case of the Alexander polynomial. As an example, unlike some classical tools such as the Alexander polynomial and Levine-Tristram signature, this new genus bound detects the fact that the Kinoshita-Terasaka and Conway knots have genus greater or equal to 2.

2023-10-24T08:31:48Z 40 pages, 16 figures, to appear in Quantum Topology Ben-Michael Kohli Guillaume Tahar http://arxiv.org/abs/2605.23609v1 2026-05-22T13:17:56Z

We identify the dominant part of the Frenkel-Reshetikhin $q$-character with a natural invariant arising from the Langlands/Zelevinsky parameterization for affine Hecke algebras. We introduce the reciprocal character of a module over a $GL_n$-type affine Hecke algebra, defined in terms of multiplicities within parabolic restriction. The main theorem claims that the reciprocal character matches, under quantum affine Schur--Weyl duality, with the dominant $q$-character for finite-dimensional modules over quantum affine algebras. This result gives a type $A$ realization of the Nakajima expectation that the dominant monomials in the $q$-character should play the role of monomial-basis coordinates in Lusztig's framework for finite quantum groups. Indeed, under the affine Hecke categorification of $U_q(\mathfrak{sl}_\infty)^+$, we prove that the reciprocal character is the specialization at $q=1$ of the coordinate map attached to a monomial basis. As a consequence, dominant $q$-character multiplicities for simple (or standard) modules are described by transition coefficients between monomial and canonical (or PBW) bases. Our methods rely on the development of explicit tableau-counting formulas for such dominant multiplicities, or equivalently for the reciprocal characters of standard modules over affine Hecke algebras.

2026-05-22T13:17:56Z Maxim Gurevich Angelina Vargulevich http://arxiv.org/abs/2604.03394v2 2026-05-22T11:39:21Z

We list classical spherical subalgebras in basic matrix Lie superalgebras which are quantizable to coideal subalgebras in the standard quantum supergroups, for any choice of Borel subalgebra. We classify the corresponding Satake-type diagrams and prove that each of them defines a family of proper spherical subalgebras.

2026-04-03T18:53:36Z 34 pages Signs are corrected in a couple of places (pp 12,17), a parity corrected in left diagram (3.11) and missing case of gl(1|1) added. Some details and improvements added here and there throughout the text D. Algethami A. Mudrov V. Stukopin http://arxiv.org/abs/2408.04753v2 2026-05-22T11:23:44Z

Let $D$ be the Auslander algebra of $\mathbb{C}[t]/(t^n)$, which is quasi-hereditary, and $\mathcal{F}_Δ$ the subcategory of good $D$-modules. For any $\mathsf{J}\subseteq[1, n-1]$, we construct a subcategory $\mathcal{F}_Δ(\mathsf{J})$ of $\mathcal{F}_Δ$ with an exact structure $\mathcal{E}$. We show that under $\mathcal{E}$, $\mathcal{F}_Δ(\mathsf{J})$ is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects. This then leads to an additive categorification of the cluster structure on the coordinate ring $\mathbb{C}[\operatorname{Fl}(\mathsf{J})]$ of the (partial) flag variety $\operatorname{Fl}(\mathsf{J})$. We further apply $\mathcal{F}_Δ(\mathsf{J})$ to study flag combinatorics and the quantum cluster structure on the flag variety $\operatorname{Fl}(\mathsf{J})$. We show that weak and strong separation can be detected by the extension groups $\operatorname{ext}^1(-, -)$ under $\mathcal{E}$ and the extension groups $\operatorname{Ext}^1(-,-)$, respectively. We give a interpretation of the quasi-commutation rules of quantum minors and identify when the product of two quantum minors is invariant under the bar involution. The combinatorial operations of flips and geometric exchanges correspond to certain mutations of cluster tilting objects in $\mathcal{F}_Δ(\mathsf{J})$. We then deduce that any (quantum) minor is reachable, when $\mathsf{J}$ is an interval. Building on our result for the interval case, Geiss-Leclerc-Schröer's result on the quantum coordinate ring for the open cell of $\operatorname{Fl}(\mathsf{J})$ and Kang-Kashiwara-Kim-Oh's enhancement of that to the integral form, we prove that $\mathbb{C}_q[\operatorname{Fl}(\mathsf{J})]$ is a quantum cluster algebra over $\mathbb{C}[q^{\frac{1}{2}},q^{-\frac{1}{2}}]$.

2024-08-08T20:45:51Z Many minor corrections. Added some remarks and clarifications Bernt Tore Jensen Xiuping Su http://arxiv.org/abs/2605.23167v1 2026-05-22T02:35:25Z

The recent proof of the unramified Geometric Langlands Conjecture has attracted a lot of publicity, so this seems like a good time to address the title question. In one line, the Geometric Langlands correspondence is an algebraic spectral theorem for a certain class of differential equations called automorphic sheaves: it asserts they can be decomposed into monochromatic objects, which diagonalize the action of natural symmetries (Hecke operators), and it describes the corresponding colors or frequencies (Langlands parameters). The statement is very technical and esoteric sounding, the proof takes thousands of pages, and there are relatively few easily stated immediate consequences. So what's the deal? In this brief survey I will present the subject informally as a blueprint for a master plan for the study of nonabelian symmetry, touching on some of the main motivations, connections and structures that have emerged.

2026-05-22T02:35:25Z Illustrations by Elliot Kienzle. A video companion to this article is available at https://www.youtube.com/watch?v=yxauvlBZCAU David Ben-Zvi http://arxiv.org/abs/2512.02718v2 2026-05-21T18:14:38Z

We investigate the irreducible smooth $\widehat{\mathfrak{sl}}_{2}$-modules recently constructed in [Adv. Math. 481 (2025), 110559, 34 pages, arXiv:2404.03855], and demonstrate that these modules admit a Wakimoto-type realization at both critical and non-critical levels. In the critical level case, we identify simple quotients of these modules with the Wakimoto modules whose irreducibility was already established by Adamović. We also generalize some Wakimoto modules constructed in [Adv. Math. 289 (2016), 438-479, arXiv:1409.5354] and identify them as generalized Whittaker modules.

2025-12-02T12:51:23Z SIGMA 22 (2026), 052, 16 pages Dražen Adamović Veronika Pedić Tomić 10.3842/SIGMA.2026.052 http://arxiv.org/abs/2505.09585v2 2026-05-21T16:45:03Z

We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.

2025-05-14T17:34:17Z 56 pages Man-Wai Cheung Timothy Magee Travis Mandel Greg Muller http://arxiv.org/abs/2605.22571v1 2026-05-21T14:49:32Z

We use Nakajima's geometric approach to representations of quantum affine algebras and recent results on explicit descriptions of specific canonical basis elements, to derive closed positive formulas for certain decomposition numbers of representations of quantum affine $\mathfrak{sl}_2$. Moreover, we obtain a piecewise-linear closed formula for the $q$-characters of irreducible representations of quantum affine $\mathfrak{sl}_2$.

2026-05-21T14:49:32Z Xin Fang Deniz Kus Markus Reineke http://arxiv.org/abs/2605.22560v1 2026-05-21T14:42:19Z

Classical A-polynomials $A(\ell,m)$ define constraints on coordinates $\ell$ and $m$ in $SL(2,\mathbb{C})$ (a complexification of $SU(2)$) character varieties associated to knot complements $S^3\setminus K$. Quantum A-polynomials $\hat A(\hat \ell,\hat m)$ are difference operators annihilating Jones polynomials believed to represent wave functions of 3d Chern-Simons theory with gauge group $SU(2)$ on a toroidal pipe surrounding the knot $K$ strand -- a boundary of the knot complements $S^3\setminus K$. We suggest a construction of classical shaded A-polynomials $A_a(\ell_b,m_c)$ associated to Lie groups $SU(N)$. We exploit a formalism of Clebsh-Gordan (CG) chords, where indices $a$, $b$, $c$ run over $1,\ldots,N-1$. CG chords have a natural interpretation in terms of 2d CFTs of WZW type, or, alternatively, in terms of quantum group $U_q(\mathfrak{su}_N)$. In the case of $\mathfrak{su}_2$ CG chords could be associated to Reeb chords in a knot contact homology (KCH) framework. KCH suggests its own analogue of A-polynomials known as augmentation polynomials allowed to have extra spurious roots in principle. Yet the CG chord formalism could be easily extended to arbitrary $\mathfrak{su}_N$ allowing us to generalize the construction of A(ugmentation)-polynomials to arbitrary $\mathfrak{su}_N$ and arbitrary representation as well. Primarily we aim at classical A-polynomials by considering a double scaling limit when $q=e^{\hbar}$, $\hbar\to 0$ and the representations are huge, in particular, highest weight vector components $w_i\to \infty$ so that $\hbar w_i\sim m_i$ remain finite. Still we expect the presented techniques would be helpful in deriving quantum A-polynomials for arbitrary Lie (super)algebras $\mathfrak{g}$. Also we discuss explicit examples of A-polynomials for knots $3_1$, $4_1$ and $5_1$ for $\mathfrak{g}=\mathfrak{su}_3$.

2026-05-21T14:42:19Z 36 pages, 7 figures Dmitry Galakhov Alexei Morozov http://arxiv.org/abs/2605.22405v1 2026-05-21T12:32:55Z

We construct a scalar invariant of flat principal 2-bundles over 3-manifolds, with structure 2-group $\mathcal{G}$, from an involutory Hopf algebra graded by $\mathcal{G}$. Expressing $\mathcal{G}$ in terms of a crossed module $χ$ and using the classification of such 2-bundles via the classifying space $Bχ$, this amounts to constructing a homotopy invariant of maps from 3-manifolds to $Bχ$. The construction of the invariant relies on a combinatorial description of such maps by $χ$-colored Heegaard diagrams. When the corresponding map to $Bχ$ is nullhomotopic or, equivalently, when the associated flat principal $\mathcal{G}$-bundle is trivializable, the invariant reduces to the Kuperberg invariant of the underlying 3-manifold.

2026-05-21T12:32:55Z 44 pages Kursat Sozer Alexis Virelizier http://arxiv.org/abs/2005.11207v4 2026-05-21T12:32:28Z

We construct a coherent Hopf 2-algebra in terms of Hopf coquasigroups, which relax the coassociativity condition and generalize the results in \cite{XH2023}. We also study quasi coassociative Hopf coquasigroups, and show that they give rise to coherent Hopf 2-algebras with nontrivial coassociators. As an example, we investigate the algebra of functions on a Cayley algebra basis.

2020-05-22T14:33:53Z Xiao Han http://arxiv.org/abs/2601.10500v2 2026-05-21T08:58:17Z

The common eigenfunctions of the twisted Cherednik operators can be first analyzed in the limit of $q\longrightarrow 1$. Then, the polynomial eigenfunctions form a simple set originating from the symmetric ground state of non-vanishing degree and excitations over it, described by non-symmetric polynomials of higher degrees and enumerated by weak compositions. This pattern is inherited by the full spectrum at $q\neq 1$, which can be considered as a deformation. The whole story looks like a typical NP problem: the Cherednik equations are difficult to solve, but easy to check the solution once it is somehow found.

2026-01-15T15:17:33Z 26 pages, LaTeX Nuclear Physics B 1028 (2026) 117513 A. Mironov A. Morozov A. Popolitov 10.1016/j.nuclphysb.2026.117513 http://arxiv.org/abs/2504.18984v3 2026-05-20T20:44:23Z

The forbidden moves in virtual knot theory can be used to unknot any knot, virtual or classical; however, multi-component crossings in links can still survive, resulting a fused link. Using the forbidden moves, we categorify fused links obtain a quiver-valued invariant of classical and virtual links we call the forbidden quiver, opening the way for functors to and from other categories. As an application we use the forbidden quiver to obtain three polynomial invariants of virtual and classical links. Since these invariants are not sensitive to single-component crossing change, they are also link homotopy invariants.

2025-04-26T18:05:06Z 10 pages. Last version includes corrected diagrams for forbidden moves, which are reversed in the published version Sam Nelson Stella Shah