http://arxiv.org/api/MPF5rXYFFIrRrhBv80hRUykRcs8 2025-04-22T00:00:00-04:00 19732 45 15 http://arxiv.org/abs/2103.10117v4 2025-04-11T14:26:11Z 2021-03-18T09:44:21Z

To show that certain wild character varieties are multiplicative analogues of quiver varieties, Boalch introduced colored multiplicative quiver varieties. They form a class of (nondegenerate) Poisson varieties attached to colored quivers whose representation theory is controlled by fission algebras: noncommutative algebras generalizing the multiplicative preprojective algebras of Crawley-Boevey and Shaw. Previously, Van den Bergh exploited the Kontsevich-Rosenberg principle to prove that the natural Poisson structure of any (non-colored) multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying multiplicative preprojective algebra; indeed, it turns out that this noncommutative structure comes from a Hamiltonian double quasi-Poisson algebra constructed from the quiver itself. In this article we conjecture that, via the Kontsevich-Rosenberg principle, the natural Poisson structure on each colored multiplicative quiver variety is induced by an $H_0$-Poisson structure on the underlying fission algebra which, in turn, is obtained from a Hamiltonian double quasi-Poisson algebra attached to the colored quiver. We study some consequences of this conjecture and we prove it in two significant cases: the interval and the triangle.

Maxime Fairon David Fernández 10.4171/jncg/619 v4: Final version to appear in Journal of Noncommutative Geometry http://arxiv.org/abs/2504.08496v1 2025-04-11T12:50:18Z 2025-04-11T12:50:18Z

We define the concept of an $\mathbb{A}_n$-schober as a categorification of classification data for perverse sheaves on $\mathrm{Sym}^{n+1}(\mathbb{C})$ due to Kapranov-Schechtman. We show that any $\mathbb{A}_n$-schober gives rise to a categorical action of the Artin braid group $\mathrm{Br}_{n+1}$ and demonstrate how this recovers familiar examples of such actions arising from Seidel-Thomas $\mathbb{A}_n$-configurations of spherical objects in categorical Picard-Lefschetz theory and Rickard complexes in link homology theory. As a key example, we use singular Soergel bimodules to construct a factorizing family of $\mathbb{A}_n$-schobers which we refer to as Soergel schobers. We expect such families to give rise to a categorical analog of a graded bialgebra valued in a suitably defined freely generated braided monoidal $(\infty,2)$-category.

Tobias Dyckerhoff Paul Wedrich 51 pages, comments welcome http://arxiv.org/abs/2312.10738v3 2025-04-11T07:35:09Z 2023-12-17T14:52:41Z

We introduce the notion of a $\mathbb{G}$-operator space $(X, \alpha)$, which consists of an action $\alpha: X \curvearrowleft \mathbb{G}$ of a locally compact quantum group $\mathbb{G}$ on an operator space $X$, and we make a study of the notion of $\mathbb{G}$-equivariant injectivity for such an operator space. Given a $\mathbb{G}$-operator space $(X, \alpha)$, we define a natural associated crossed product operator space $X\rtimes_\alpha \mathbb{G}$, which has canonical actions $X\rtimes_\alpha \mathbb{G} \curvearrowleft \mathbb{G}$ (the adjoint action) and $X\rtimes_\alpha \mathbb{G}\curvearrowleft \check{\mathbb{G}}$ (the dual action) where $\check{\mathbb{G}}$ is the dual quantum group. We then show that if $X$ is a $\mathbb{G}$-operator system, then $X\rtimes_\alpha \mathbb{G}$ is $\mathbb{G}$-injective if and only if $X\rtimes_\alpha \mathbb{G}$ is injective and $\mathbb{G}$ is amenable, and that (under a mild assumption) $X\rtimes_\alpha \mathbb{G}$ is $\check{\mathbb{G}}$-injective if and only if $X$ is $\mathbb{G}$-injective. We discuss how these results generalise and unify several recent results from the literature, and give new applications of these results.

Joeri De Ro 33 pages. Author accepted version, for publication in Journal of Operator Theory http://arxiv.org/abs/2012.14202v3 2025-04-10T22:34:06Z 2020-12-28T11:41:20Z

In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $\Phi_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$.

Daniel C. Douglas Zhe Sun 69 pages, 28 figures. Version 3: Final version after publication http://arxiv.org/abs/2409.08995v2 2025-04-10T07:26:20Z 2024-09-13T17:20:09Z

Let $V$ be a strongly rational vertex operator algebra, and let $g_1, g_2, g_3$ be three commuting finitely ordered automorphisms of $V$ such that $g_1g_2=g_3$ and $g_i^T=1$ for $i=1, 2, 3$ and $T\in \N$. Suppose $M^1$ is a $g_1$-twisted module. For any $n, m\in \frac{1}{T}\N$, we construct an $A_{g_3, n}(V)$-$A_{g_2, m}(V)$-bimodule $\mathcal{A}_{g_3, g_2, n, m}(M^1)$ associated to the quadruple $(M^1, g_1, g_2, g_3)$. Given an $A_{g_2, m}(V)$-module $U$, an admissible $g_3$-twisted module $\mathcal{M}(M^1, U)$ is constructed. For the quadruple $(V, 1, g, g)$ with some finitely ordered $g\in \text{Aut}(V)$, $\mathcal{A}_{g, g, n, m}(V)$ coincides with the $A_{g, n}(V)$-$A_{g, m}(V)$-bimodules $A_{g, n, m}(V)$ constructed by Dong-Jiang, and $\mathcal{M}(V, U)$ is the generalized Verma type admissible $g$-twisted module generated by $U$. When $U=M^2(m)$ is the $m$-th component of a $g_2$-twisted module $M^2$ for some $m\in\frac{1}{T}\N$, we show that the submodule of $\M(M^1, M^2(m))$ generated by the $m$-th component satisfies the universal property of the tensor product of $M^1$ and $M^2$. Using this result, we obtain a twisted version of Frenkel-Zhu-Li's fusion rules theorem.

Yiyi Zhu Introduced better notations and a more general twisted Fusion Rules Theorem.Fixed some typos. 36 pages http://arxiv.org/abs/2407.19477v5 2025-04-10T06:55:25Z 2024-07-28T12:02:22Z

We introduce quantum super-spherical pairs as coideal subalgebras in general linear and orthosymplectic quantum supergroups. These subalgebras play a role of isotropy subgroups for matrices solving $\mathbb{Z}_2$-graded reflection equation. They generalize quantum (pseudo)-symmetric pairs of Letzter-Kolb-Regelskis-Vlaar.

D. Algethami A. Mudrov V. Stukopin Replaced with the journal version http://arxiv.org/abs/2503.12716v2 2025-04-09T21:59:20Z 2025-03-17T00:58:07Z

We use the $q$-characters to compute explicit expressions of the $R$-matrices for first fundamental representations of all types of twisted quantum affine algebras.

Keshav Dahiya Evgeny Mukhin 24 pages. arXiv admin note: substantial text overlap with arXiv:2503.09845 http://arxiv.org/abs/2504.07201v1 2025-04-09T18:27:15Z 2025-04-09T18:27:15Z

In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the \`etale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.

Cain Edie-Michell Hans Wenzl 38 pages http://arxiv.org/abs/2503.02020v2 2025-04-09T16:19:18Z 2025-03-03T19:53:30Z

For any integer $d\in \mathbb{Z}$ we introduce a complex $\mathsf{ORGC}_{d}^{(g,m)}$ spanned by genus $g$ ribbon quivers with $m$ marked boundaries and prove that its cohomology computes (up to a degree shift) the compactly supported cohomology of the moduli space $\mathcal{M}_{g,m}$ of genus $g$ algebraic curves with $m$ marked points. We show that the totality of complexes $$ \mathsf{orgc}_{d}= \prod_{g\geq 1} \mathsf{ORGC}_{d}^{(g,1)}{\simeq} \prod_{g\geq 1} H_c^{\bullet-1+2g(d-1)}(\mathcal{M}_{g,1}) $$ has a natural dg Lie algebra structure which controls the deformation theory of the dg properad $\mathcal{P}re\mathcal{CY}_d$ governing a certain class of (possibly, infinite-dimensional) degree $d$ pre-Calabi-Yau algebras. This result implies, in particular, that for $d\leq 2$ the zero-th cohomology group of the derivation complex $\mathrm{Der}(\mathcal{P}re\mathcal{CY}_d)$ is one-dimensional (i.e. $\mathcal{P}re\mathcal{CY}_{d\leq 2}$ has no homotopy non-trivial automorphisms except rescalings), while for $d=2$ the cohomology group $H^1(\mathrm{Der} (\mathcal{P}re\mathcal{CY}_2))$ contains a subspace isomorphic to the Grothendieck-Teichm\"uller Lie algebra.

Sergei Merkulov In v2 the definition of the derivation complex given in Section 5 is rewritten in a more detailed and explicit way. Some misprints are corrected http://arxiv.org/abs/2408.05571v3 2025-04-09T15:31:50Z 2024-08-10T14:47:24Z

Let $\mathbb{G}$ be a compact quantum group and $A\subseteq B$ an inclusion of $\sigma$-finite $\mathbb{G}$-dynamical von Neumann algebras. We prove that the $\mathbb{G}$-inclusion $A\subseteq B$ is strongly equivariantly amenable if and only if it is equivariantly amenable, using techniques from the theory of non-commutative $L^p$-spaces. In particular, if $(A, \alpha)$ is a $\mathbb{G}$-dynamical von Neumann algebra with $A$ $\sigma$-finite, the action $\alpha: A \curvearrowleft \mathbb{G}$ is strongly (inner) amenable if and only if the action $\alpha: A \curvearrowleft \mathbb{G}$ is (inner) amenable. By duality, we also obtain the same result for $\mathbb{G}$ a discrete quantum group, so that, in particular, a discrete quantum group is inner amenable if and only it is strongly inner amenable. This result can be seen as a dynamical generalization of Tomatsu's result on the amenability/co-amenability duality. We also provide the first explicit examples of amenable discrete quantum groups that act non-amenably on a von Neumann algebra.

K. De Commer J. De Ro 26 pages. Author accepted version, for publication in Journal of Functional Analysis http://arxiv.org/abs/2504.06555v1 2025-04-09T03:23:52Z 2025-04-09T03:23:52Z

We introduce the notion of a \emph{braided dihedral set} (BDS) to describe set-theoretical solutions of the Yang-Baxter equation (YBE) that furnish representations of the infinite dihedral group on the Cartesian square of the underlying set. BDS which lead to representations of the symmetric group on three objects are called \emph{braided triality sets} (BTS). Basic examples of BDS come from symmetric spaces. We show that Latin BDS (LBDS) can be described entirely in terms of involutions of uniquely 2-divisible Bruck loops. We show that isomorphism classes of LBDS are in one-to-one correspondence with conjugacy classes of involutions of uniquely 2-divisible Bruck loops. We describe all LBDS of prime, prime-square and 3 times prime-order, up to isomorphism. Using \texttt{GAP}, we enumerate isomorphism classes of LBDS of orders 27 and 81. Latin BTS, or LBTS, are shown to be in one-to-one correspondence with involutions of commutative Moufang loops of exponent 3 (CML3), and, as with LBDS, isomorphisms classes of LBTS coincide with conjugacy classes of CML3-involutions. We classify all LBTS of order at most 81.

Alex W. Nowak Anna Zamojska-Dzienio http://arxiv.org/abs/2411.11670v2 2025-04-08T18:21:47Z 2024-11-18T15:49:53Z

In this article, we introduce a method to extend involutive nondegenerate set-theoretic solutions to the Yang--Baxter equation by means of equivariant mappings to graded modules, thus leading to the notion of a twisted extension. Furthermore, we define coprime extensions of solutions and prove that each coprime extension of indecomposable solutions can be obtained as a suitable twisted extension. We then apply our results to obtain a full description of indecomposable solutions of size $pqr$, where $p,q,r$ are different primes, from a structure theorem of Ced\'o and Okni\'nski. We close with some remarks on a cohomology theory for solutions developed by Lebed and Vendramin. We express our results in the language of cycle sets.

Carsten Dietzel 23 pages. Comments Welcome! Changes in v2: Proof of Lemma 4.7. has been simplified. Some typos have been removed http://arxiv.org/abs/2402.03637v2 2025-04-08T17:58:31Z 2024-02-06T02:29:48Z

We find a single two-parameter skein relation on trivalent graphs, the quantum exceptional relation, that specializes to a skein relation associated to each exceptional Lie algebra (in the adjoint representation). If a slight strengthening of Deligne's conjecture on the existence of a (classical) exceptional series is true, then this relation holds for a new two-variable quantum exceptional polynomial, at least as a power series near $q=1$. The single quantum exceptional relation can be viewed as a deformation of the Jacobi relation, and implies a deformation of the Vogel relation that motivated the conjecture on the classical exceptional series. We find a conjectural basis for the space of diagrams with $n$ loose ends modulo the quantum exceptional relation for $n \le 6$, with dimensions agreeing with the classical computations, and compute the matrix of inner products, and the quantum dimensions of idempotents. We use the skein relation to compute the conjectural quantum exceptional polynomial for many knots. In particular we determine (unconditionally) the values of the quantum polynomials for the exceptional Lie algebras on these knots. We can perform these computations for all links of Conway width less than $6$, which includes all prime knots with 12 or fewer crossings. Finally, we prove several specialization results relating our conjectural family to certain quantum group categories, and conjecture a number of exceptional analogues of level-rank duality.

Kim Morrison Noah Snyder Dylan P. Thurston 94 pages; version accepted for publication http://arxiv.org/abs/2504.06094v1 2025-04-08T14:35:19Z 2025-04-08T14:35:19Z

Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the associated category has a structure of modular tensor category with respect to the natural braiding. Under an additional assumption of algebraic Haag duality, this category becomes the Drinfeld center of the half-line fusion category.

Lucas Hataishi David Jaklitsch Corey Jones Makoto Yamashita 29 pages http://arxiv.org/abs/2504.06066v1 2025-04-08T14:09:17Z 2025-04-08T14:09:17Z

In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_\sigma H$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_\sigma H)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_\sigma H$ is a left partially dualized (quasi-)Hopf algebra of $K^\mathrm{op}\otimes H$, and use this formulation to establish tensor equivalences from $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_\sigma H)$ to the categories ${}^K_K\mathcal{M}^K_H$ and ${}^{K^\ast}_{K^\ast}\mathcal{M}^{H^\ast}_{K^\ast}$ of two-sided two-cosided relative Hopf modules, as well as the category ${}_H\mathfrak{YD}^K$ of relative Yetter-Drinfeld modules.

Ji-Wei He Xiaojie Kong Kangqiao Li All comments are welcome!