https://arxiv.org/api/Ut3IDp2oNaX7FKW53M+/VdKoxZk 2026-06-13T17:23:48Z 20897 75 15 http://arxiv.org/abs/2606.02249v1 2026-06-01T13:41:14Z

We give generators and relations for the monoidal categories of crystals generated by the fundamental crystals of a simple complex Lie algebra. We also spell out several small-rank examples.

2026-06-01T13:41:14Z 29 pages, many figures, comments welcome David He Daniel Tubbenhauer http://arxiv.org/abs/2606.02164v1 2026-06-01T12:25:21Z

We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.

2026-06-01T12:25:21Z Fan Qin Chao Shen http://arxiv.org/abs/2410.22549v2 2026-06-01T10:39:27Z

In this paper we introduce a multiparameter version of the quantum universal enveloping superalgebras introduced by Yamane in [H. Yamane, "Quantized enveloping algebras associated to simple Lie superalgebras and their universal $R$-matrices", Publ. Res. Inst. Math. Sci. 30 (1994), no. 1, 15-87]. For these objects we consider: - (1) their deformations by twist and by 2-cocycle (both of "toral type"); in particular, we prove that this family is stable under both types of deformations; - (2) their semiclassical limits, which are multiparameter Lie superbialgebras; - (3) the deformations by twist and by 2-cocycle (of "toral type") of these multiparameter Lie superbialgebras: in particular, we prove that this family is stable under these deformations, and that "quantization commutes with deformation".

2024-10-29T21:33:07Z 64 pages - Keywords: quantum (super)groups, quantum universal enveloping (super)algebras; Lie (super)bialgebras; deformations. arXiv admin note: text overlap with arXiv:2203.11023 Gastón Andrés García Fabio Gavarini Margherita Paolini http://arxiv.org/abs/2606.02046v1 2026-06-01T10:36:38Z

We explicitly construct dual bimodules in a semistrict monoidal 2-category, using Frobenius algebra structure. The main result shows that a coherent dual of the underlying object can be promoted to a coherent dual of the bimodule, with zigzag 2-isomorphisms additionally require special Frobenius structures. We also prove that every special Frobenius algebra in $\mathbf{2Vect}$ is rigid, via a categorified Casimir object argument, and discuss the relationship between the Frobenius, rigid, special Frobenius, and separable algebra hierarchies.

2026-06-01T10:36:38Z Hao Xu http://arxiv.org/abs/2507.05008v2 2026-06-01T09:10:18Z

We construct a new quantization $K_t(\mathcal{O}^{sh}_{\mathbb{Z}})$ of the Grothendieck ring of the category $\mathcal{O}^{sh}_{\mathbb{Z}}$ of representations of shifted quantum affine algebras (of simply-laced type). We establish that our quantization is compatible with the quantum Grothendieck ring $K_t(\mathcal{O}^{\mathfrak{b},+}_{\mathbb{Z}})$ for the quantum Borel affine algebra, namely that there is a natural embedding $K_t(\mathcal{O}^{\mathfrak{b},+}_{\mathbb{Z}})\hookrightarrow K_t(\mathcal{O}^{sh}_{\mathbb{Z}})$. Our construction is partially based on the cluster algebra structure on the classical Grothendieck ring discovered by Geiss-Hernandez-Leclerc. As first applications, we formulate a quantum analogue of $QQ$-systems (that we make completely explicit in type $A_1$). We also prove that the quantum oscillator algebra is isomorphic to a localization of a subalgebra of our quantum Grothendieck ring and that it is also isomorphic to the Berenstein-Zelevinsky's quantum double Bruhat cell $\mathbb{C}_t[SL_2^{w_0,w_0}]$.

2025-07-07T13:47:54Z Francesca Paganelli 10.1007/s00209-026-04038-z http://arxiv.org/abs/2606.01646v1 2026-06-01T03:55:04Z

Let $\K$ denote a field. Extending the structural frameworks established in \cite{JZ2025-2}, this paper introduces novel techniques utilizing non-commutative reduction orders, factorization theory, and the generalized lifting methodology. We establish a definitive necessary and sufficient criterion for the affineness of Noetherian Hopf algebras, thereby providing a significant advancement toward resolving the long-standing Wu--Zhang question \cite{WZ2003}. Specifically, we prove that a left or right Noetherian Hopf algebra over $\K$ is affine if and only if its Hopf coradical is affine. This characterization fundamentally concentrates the burden of verification onto the first filtration step, yielding a criterion that is structurally transparent and highly operational. To establish necessity, we provide an essential intrinsic result demonstrating that the Hopf coradical of an affine Hopf algebra inherits the property of being affine. Furthermore, as direct applications of this equivalence, we prove that a left or right Noetherian Hopf algebra $H$ is affine provided that its coradical $H_{(0)}$ forms a subalgebra (the dual Chevalley property), its coradical $H_{(0)}$ is cocommutative, or its Hopf coradical $H_{[0]}$ is commutative.

2026-06-01T03:55:04Z 33 pages Huan Jia Yinhuo Zhang http://arxiv.org/abs/2606.01466v1 2026-05-31T21:55:13Z

We construct an operadic model for the higher-genus Teichmüller tower. More precisely, we define a modular operad $\mathbf{S}$ in groupoids built from mapping class groups, with compositions and contractions encoding gluing operations on surfaces. We prove a presentation theorem for maps out of $\mathbf{S}$, showing that they are determined by a small number of genus-zero and genus-one generators and relations. Using this presentation and the work of Nakamura--Schneps, we construct a faithful action of the Nakamura--Schneps subgroup $\widehatΓ\subseteq\widehat{\mathsf{GT}}$ on the profinite completion $\widehat{\mathbf{S}}$, and hence an action of $\operatorname{Gal}(\overline{\mathbb Q}/\mathbb Q)$. The genus-zero truncation of $\mathbf{S}$ recovers the cyclic operad of parenthesized ribbon braids, and its group of object-fixing profinite automorphisms recovers $\widehat{\mathsf{GT}}$. Finally, the profinite completion of the classifying spaces of $\mathbf{S}$ assemble into a modular $\infty$-operad in profinite spaces whose values identify with the étale homotopy types of moduli stacks of curves with marked tangent vectors, and the $\widehatΓ$-action extends to this homotopy-coherent Teichmüller tower.

2026-05-31T21:55:13Z 79 pages; comments welcome! Luciana Basualdo Bonatto Marcy Robertson http://arxiv.org/abs/2606.01343v1 2026-05-31T16:49:54Z

In this work we study the Schwinger-Dyson equations and saddle point equations of matrix integrals that come from type $(0,1)$ random fuzzy geometries coupled to fermions or bosons. Such random fuzzy geometries are bi-tracial Hermitian matrix ensembles with a determinant contribution in the integrand. We derive the Schwinger-Dyson equations using complex analytic techniques from the saddle point equation. For arbitrary potentials with either bosonic or fermionic contributions, their Schwinger-Dyson equations can be solved iteratively. For both the Gaussian models with either one boson or fermion we rigorously derive the formula for the free energy and first moment in terms of elliptic integrals. In the bosonic case this solution is closely related to the Hoppe model and the three-colour model.

2026-05-31T16:49:54Z 35 pages Jeremy Gamble Masoud Khalkhali Nathan Pagliaroli http://arxiv.org/abs/2511.16889v2 2026-05-31T12:24:49Z

In this paper, we study the quantization of classical observables (i.e., functions) on a Kähler manifold $X$ as differential operators acting on holomorphic sections of tensor powers $L^{\otimes k}$ of the pre-quantum line bundle $L$. We prove two global results as follows. (1). For a general smooth function $f \in C^\infty(X)$, we construct higher order generalizations of Kostant-Souriau's pre-quantum differential operators using our Fedosov-type constructions of Bargmann-Fock sheaves in previous works. We prove that these differential operators are asymptotic to the Berezin-Toeplitz operators $T_{f,k}$ acting on the Hilbert space $H^0(X, L^{\otimes k})$ as $k \to \infty$. (2). If a smooth function $f \in C^\infty(X)$ is furthermore the symbol of a level $k$ quantizable function , then we prove that the associated Berezin-Toeplitz operator $T_{f,k}$ is a holomorphic differential operator. Conversely, Berezin-Toeplitz operators that are holomorphic differential operators all arise in this way. This gives a complete characterization of when Berezin-Toeplitz operators are holomorphic differential operators. To prove these results, we establish new orthogonality relations which generalize the classical Tuynman's Lemma, and employ various differential-geometric and analytic technqiues such as Hörmander's estimates.

2025-11-21T02:10:48Z Version 2: title changed, content reorganized, 41 pages Kwokwai Chan Naichung Conan Leung Qin Li Yutung Yau http://arxiv.org/abs/2605.24349v2 2026-05-31T03:28:58Z

This paper studies generalized Pólya conversion problems for the $q$-permanent. We establish a sharp threshold governing the transition from low-dimensional algebraic flexibility to higher-dimensional combinatorial rigidity. For $n \ge 3$ and $q \ne \pm 1$, we prove that the $q$-permanent is not linearly convertible to the determinant or permanent. Conversely, we completely classify the space of Schur multiplier preservers for $n=2$. Focusing on Schur multipliers, we characterize the preserver exponents as a $(2n-2)$-dimensional space of additive matrices. We show that for lower Hessenberg matrices, the general geometric obstruction disappears, yielding an explicit determinantal reduction and an $\mathcal{O}(n^3)$ evaluation algorithm. Furthermore, we classify permutational converter exponents, proving that for $n \ge 4$, admissible symmetries are strictly constrained to the dihedral group. Finally, we resolve a mixed conversion problem, showing the solution space is nonempty only for $n \le 4$, which provides a direct algebraic characterization of the $q$-permanent's zero locus in low dimensions.

2026-05-23T02:20:33Z 20 pages Nour-Eddine Fahssi http://arxiv.org/abs/2606.00679v1 2026-05-30T11:35:25Z

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

2026-05-30T11:35:25Z 26 pages plus references. Comments and suggestions welcome! Eugene Stern http://arxiv.org/abs/2502.02108v3 2026-05-30T08:28:35Z

We study the Schur algebra counterpart of a vast class of quantum wreath products. This is achieved by developing a theory of twisted convolution algebras, inspired by geometric intuition. In parallel, we provide an algebraic Schurification via a Kashiwara-Miwa-Stern-type action on a tensor space. We give a uniform proof of Schur duality, and construct explicit bases of the new Schur algebras. This provides new results for, among other examples, Vignéras' pro-$p$ Iwahori Hecke algebras of type $A$, degenerate affine Hecke algebras, Kleshchev-Muth's affine zigzag algebras, and Rosso-Savage's affine Frobenius Hecke algebras.

2025-02-04T08:42:38Z v3: final version, to appear in Rep. Theory; v2: moved some computations to appendix, corrected Conjecture 8.3 Chun-Ju Lai Alexandre Minets http://arxiv.org/abs/2602.21120v2 2026-05-30T07:46:10Z

Hamiltonians ${\cal H}^{a}_k$ of new integrable systems associated with the integer rays $(1,a)$ (commutative subalgebras) of Ding-Iohara-Miki (DIM) algebra in the $N$-body representation are closely related to commuting twisted Cherednik Hamiltonians $\mathfrak{C}_i^{(a)}$, ${\cal H}^{a}_k = \sum_{i=1}^N (\mathfrak{C}_i^{(a)})^k$. Moreover, symmetric combinations of eigenfunctions in the twisted Cherednik system were recently shown to produce the DIM Hamiltonian eigenstates. We explicitly construct these twisted Cherednik eigenfunctions recurrently by action of some (creation and permutation) operations. It resembles of a far-going generalization of Kirillov-Noumi operators, but exact relation remains to be specified.

2026-02-24T17:16:07Z 15 pages, LaTeX Phys.Lett. B879 (2026) 140592 A. Mironov A. Morozov A. Popolitov 10.1016/j.physletb.2026.140592 http://arxiv.org/abs/2407.06865v4 2026-05-30T06:16:16Z

We provide a geometric realization of the quasi-split affine $\imath$quantum group of type AIII$_{2n-1}^{(τ)}$ in terms of equivariant K-groups of non-connected Steinberg varieties of type C. This uses a new Drinfeld type presentation of this affine $\imath$quantum group which admits very nontrivial Serre relations. We then construct à la Springer a family of finite-dimensional standard modules and irreducible modules of this $\imath$quantum group, and provide a composition multiplicity formula of the standard modules.

2024-07-09T13:53:08Z Final version, corrected some errors in v2 and in literature Sel. Math. New Ser. 32, 50 (2026) Changjian Su Weiqiang Wang 10.1007/s00029-026-01161-x http://arxiv.org/abs/2605.31602v1 2026-05-29T17:59:38Z

Condensable algebras in 2+1d non-chiral topological orders characterize gapped boundary conditions and interfaces. Applied to the Symmetry Topological Field Theory, they allow classification of symmetric gapped phases and impose sharp constraints on possible phase transitions. A condensable algebra is specified not only by its underlying set of anyons, which end on the boundary or interface, but also by its algebra structure. We introduce the concept of twin condensable algebras, which have the same anyon decomposition, but inequivalent algebra structure. We revisit the classification of condensable algebras in $\mathcal{Z}(\text{Vec}_G^ω)$, i.e. in group-theoretical topological orders for finite groups $G$ with anomaly $ω$. In this context we are able to identify twin algebras that arise from different mechanisms, such as subgroup data, SPT cocycles, and symmetry actions. In particular, we construct infinite families of examples of twins from so-called Gassmann triples, and exhibit cases in which the reduced topological orders are inequivalent despite having identical anyon content. Physically, twin algebras describe distinct symmetric phases that have isomorphic spaces of ground states, but inequivalent order parameters. Such twin phases never exhibit relative spontaneous symmetry breaking, and can be used to construct phase transitions without hidden symmetry breaking, which are intrinsically beyond Landau transitions.

2026-05-29T17:59:38Z 37 pages, 3 ancillary files Yuhan Gai Sakura Schafer-Nameki Alison Warman