https://arxiv.org/api/tuKGK9ioDsqMoZtXBpOk6mAtfks 2026-06-14T14:27:51Z 20897 375 15 http://arxiv.org/abs/2603.29910v1 2026-03-31T15:54:24Z

The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul duality. In recent years, several $\infty$-categorical analogues of this adjunction have been developed, notably by Lurie, Francis--Gaitsgory, and Heuts. However, there is no comparison in the literature between the classical chain-level constructions and their higher-categorical counterparts, and in fact the two constructions are not quite compatible. In this paper we provide a unified framework relating these different forms of Koszul duality in the differential graded setting. We construct a commutative square of adjunctions, called the inclusion-restriction square, intertwining the classical operadic bar-cobar adjunction with its completed variant due to Le Grignou--Lejay. We show that this square induces an $\infty$-categorical adjunction between algebras and their Koszul dual coalgebras, recovering in particular the differential graded case of Lurie's bar-cobar adjunction, and explain precisely how our constructions relate to those of Francis--Gaitsgory and Heuts.

2026-03-31T15:54:24Z 53 pages. Comments are welcome! Dan Petersen Victor Roca i Lucio Sinan Yalin http://arxiv.org/abs/2603.29896v1 2026-03-31T15:43:43Z

We study the stabiliser formalism for qudits of arbitrary dimension $d$. In the free case, we show that the basic theorem of the stabiliser formalism remains valid: if the stabiliser subgroup $H$ is free as a $Z/dZ$-module and contains no non-trivial scalars, then the protected space $V^H$ is naturally identified with the state space of a smaller number of qudits of the same dimension, and the quotient $N(H)/H$ is identified with the Pauli group on a smaller number of qudits. We then remove the freeness assumption and describe the resulting structure in general. In this case, the protected space is identified with a tensor product of qudit spaces of possibly smaller dimensions, and the quotient $N(H)/H$ is described by a corresponding product of qudit Pauli groups, possibly of smaller dimensions, over a common center. We also characterise the shifted free case, which is exactly the situation in which $N(H)/H$ is again an ordinary qudit Pauli group. Our approach is algebraic and uniform, and applies in particular to the qudit Kitaev model and to its shifted and twisted variants.

2026-03-31T15:43:43Z 29 pages Ruslan Maksimau http://arxiv.org/abs/2210.08944v2 2026-03-31T13:28:50Z

Let $Σ$ be a compact oriented 2-manifold (possibly with boundary), and let $\mathcal G_Σ$ be the linear span of free homotopy classes of closed oriented curves on $Σ$ equipped with the Goldman Lie bracket $[\cdot, \cdot]_\mathrm{Goldman}$ defined in terms of intersections of curves. A theorem of Goldman gives rise to a Lie homomorphism $Φ^\mathrm{even}$ from $(\mathcal G_Σ, [\cdot, \cdot]_\text{Goldman})$ to functions on the moduli space of flat connections $\mathcal{M}_Σ(G)$ for $G=U(N), GL(N)$, equipped with the Atiyah-Bott Poisson bracket. The space $\mathcal{G}_Σ$ also carries the Turaev Lie cobracket $δ_\mathrm{Turaev}$ defined in terms of self-intersections of curves. In this paper, we address the following natural question: which geometric structure on moduli spaces of flat connections corresponds to the Turaev cobracket? We give a constructive answer to this question in the following context: for $G$ a Lie supergroup with an odd invariant scalar product on its Lie superalgebra, and for nonempty $\partialΣ$, we show that the moduli space of flat connections $\mathcal{M}_Σ(G)$ carries a natural Batalin-Vilkovisky (BV) structure, given by an explicit combinatorial Fock-Rosly formula. Furthermore, for the queer Lie supergroup $G=Q(N)$, we define a BV-morphism $Φ^\mathrm{odd}\colon \wedge \mathcal{G}_Σ \to \mathrm{Fun}(\mathcal{M}_Σ(Q(N)))$ which replaces the Goldman map, and which captures the information both on the Goldman bracket and on the Turaev cobracket. The map $Φ^\mathrm{odd}$ is constructed using the "odd trace" function on $Q(N)$.

2022-10-17T11:16:59Z 58 pages, many figures. Accepted version Adv. Math. 443 (2024) 109580 Anton Alekseev Florian Naef Ján Pulmann Pavol Ševera 10.1016/j.aim.2024.109580 http://arxiv.org/abs/2603.29701v1 2026-03-31T12:56:47Z

Discrete quantum groups were introduced as duals of compact quantum groups by Podleś and Woronowicz in 1990. They have been studied intrinsically by Effros and Ruan (1994) and by the author (1996). In a more recent note (2025), we have given a slightly updated treatment, viewing the duality between discrete and compact quantum groups as a special case of the more general duality of algebraic quantum groups. Along these lines, we start in this paper with the discrete quantum group $su_q(2)$, not constructed as the dual of the compact quantum group $SU_q(2)$ but rather from the Hopf algebra deformation of the enveloping algebra of the Lie algebra of $SU(2)$, as given by Jimbo (1985). The passage to the discrete quantum group as studied in earlier papers is not completely trivial as we will see. This is a known phenomenon. We consider the dual of this discrete quantum group in the sense of duality of algebraic quantum groups and see that this indeed is the compact quantum group $SU_q(2)$.

2026-03-31T12:56:47Z Alfons Van Daele http://arxiv.org/abs/2410.12516v2 2026-03-31T12:52:17Z

This paper develops an approach to categorical deformation quantization via factorization homology. We show that a quantization of the local coefficients for factorization homology is equivalent to consistent quantizations of its value on manifolds. To formulate our results we introduce the concepts of shifted almost Poisson and BD categories. Our main example is the character stack of flat principal bundles for a reductive algebraic group $G$, where we show that applying the general framework to the Drinfeld category reproduces deformations previously introduced by Li-Bland and Ševera. As a direct consequence, we can conclude a precise relation between their quantization and those introduced by Alekseev, Grosse, and Schomerus. To arrive at our results we compute factorization homology with values in a ribbon category enriched over complete $\mathbb{C}[[\hbar]]$-modules. More generally, we define enriched skein categories which compute factorization homology for ribbon categories enriched over a general closed symmetric monoidal category $\mathcal{V}$.

2024-10-16T12:49:42Z 85 pages. Accepted version Adv. Math. 484 (2026) 110708 Eilind Karlsson Corina Keller Lukas Müller Ján Pulmann 10.1016/j.aim.2025.110708 http://arxiv.org/abs/2603.29639v1 2026-03-31T12:04:14Z

We classify equivalence classes of Hopf algebra quotient pairs $(D,θ)$ of the Drinfeld double $D(G)$ of a finite group scheme $G$ over an algebraically closed field $\mathbf{k}$ of characteristic $p\ge 0$, in terms of group scheme-theoretical data. We prove that such Hopf algebra quotients $D$ are Hopf algebra extensions $\mathscr{O}(K)^{\mathrm{cop}}\#_σ^τ \mathbf{k}[G/H]$, where $K$ and $H$ are normal subgroup schemes of $G$ that centralize each other and $B:\mathbf{k}[H]\to \mathscr{O}(K)$ is a $G$-equivariant Hopf algebra map, and describe the surjective Hopf algebra map $θ:D(G)\twoheadrightarrow D$. Using this classification, we determine the tensor subcategories of the center $\mathscr{Z}(G):=\Rep(D(G))$ of $G$, describe their centralizers, determine when they are symmetric or non-degenerate, and give a description of their simple and projective objects using \cite{GS}. Our categorical results generalize those found in \cite{NNW} in characteristic $0$.

2026-03-31T12:04:14Z 37 pages Daniel Arreola Shlomo Gelaki http://arxiv.org/abs/2603.28970v1 2026-03-30T20:13:13Z

We show that the Temperley--Lieb category $\mathbf{TL}(q;\mathbb{C})$ embeds in an ultraproduct of modular tensor categories when $q$ is not a root of unity. As a result, we show that its Drinfeld center is semisimple and describe its simple objects. The canonical functor $$\mathbf{TL}(q;\mathbb{C})\boxtimes \mathbf{TL}(q;\mathbb{C})^{\mathrm{rev}} \boxtimes \mathbf{Rep}(\mathbb{Z}/2\mathbb{Z}) \to \mathcal Z(\mathbf{TL}(q;\mathbb{C})),$$ induced by the braiding and the $\mathbb{Z}/2\mathbb{Z}$--grading on the Temperley--Lieb category, is thus shown to be a monoidal equivalence, which becomes a braided equivalence upon twisting the braiding by a certain bicharacter. Along the way, we formalize some general results about ultraproducts of tensor categories and tensor functors, building on earlier works of Crumley, Harman, and Flake--Harman--Laugwitz. We also discuss the center at some exceptional values of $q$.

2026-03-30T20:13:13Z Moaaz Alqady http://arxiv.org/abs/2506.04437v5 2026-03-30T17:40:10Z

This article lays the foundations for an analogue of geometric group theory that studies actions on graphs by right quasigroups, including racks and quandles. We study markings of graphs that realize racks, and we introduce (di)graph invariants based on such markings. We show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. This solves two problems of Valeriy Bardakov. Finally, we give graph-theoretic characterizations of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.

2025-06-04T20:42:53Z Final version for publication JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (March 31, 2026) jonas:17215 Luc Ta 10.46298/jonas.17215 http://arxiv.org/abs/2603.28446v1 2026-03-30T13:52:21Z

We formulate shifted affine iquantum groups of arbitrary quasi-split ADE types via Drinfeld presentations. We construct GKLO-type representations of shifted affine iquantum groups via algebras of difference operators, which allow us to construct truncated shifted affine iquantum groups. This provides a q-deformation of truncated shifted iYangians in our prior work arising as a quantization of affine Grassmannian islices.

2026-03-30T13:52:21Z 22 pages Kang Lu Weiqiang Wang Alex Weekes http://arxiv.org/abs/2603.28215v1 2026-03-30T09:36:10Z

We give criteria for when finitely generated local modules over a commutative algebra $A$ in the ind-completion $\widehat{\mathcal{C}}$ of a braided tensor category $\mathcal{C}$ inherit the structure of a (rigid, braided, ribbon) tensor category. We then apply this to simple current algebras $A = \bigoplus_{g \in Γ} E_g$, where $Γ$ is a subgroup of invertible objects in $\mathcal{C}$. Using a description of simple $A$-modules, we verify the required hypotheses for this class of algebras and deduce rigidity, braided, ribbon, and non-degeneracy properties for their finitely generated local modules. As applications, we construct examples of ribbon tensor categories from quantum supergroup categories for unrolled $\mathfrak{gl}(1|1)$.

2026-03-30T09:36:10Z v1: 50 pages. Comments welcome Kenichi Shimizu Harshit Yadav http://arxiv.org/abs/2603.28084v1 2026-03-30T06:39:21Z

We study the equivariant homology of the generalized Steinberg variety of type C and show that there exists a surjective algebra homomorphism from the twisted Yangian of type $\AIII_{2n}^{(τ)}$ to it.

2026-03-30T06:39:21Z 40 pages Changjian Su Yang Yang http://arxiv.org/abs/2509.13959v4 2026-03-30T05:41:56Z

This paper examines the connections between (relative) Rota--Baxter groups, skew left braces, and enlargements of these structures on naturally associated semi-direct products. Given a skew left brace, we define a new skew left brace, referred to as its square, on the natural semi-direct product of its additive and multiplicative groups. Further, the square construction is distinct from the previously known double construction arising as a special case of matched pairs of skew braces. This provides a method to construct a new bijective, non-degenerate solution to the Yang--Baxter equation from an existing solution arising from a skew left brace. We show that the square construction is functorial and integrates naturally into both the cohomological and extension-theoretic frameworks for (relative) Rota--Baxter groups and skew left braces. Furthermore, we provide a sufficient condition under which two isoclinic skew left braces yield isoclinic squares.

2025-09-17T13:33:52Z JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (March 31, 2026) jonas:17223 Pragya Belwal Mahender Singh 10.46298/jonas.17223 http://arxiv.org/abs/2603.27925v1 2026-03-30T00:50:45Z

We give the explicit formula of the universal $R$-matrix of a double parameter (or two-parameter, or multi-parameter) quantum affine algebra of type ${\mathrm{A}}_1^{(1)}$. For $N$ with $q_{00}q_{01}$ being a primitive $N$-th root of unity, we introduce its $2N$-dimensional representation and explicitly calculate the $R$-matrix associated with it via the universal $R$-matrix.

2026-03-30T00:50:45Z 32 pages, any comment is welcome Fengchang Li Masatake Maruyama Hiroyuki Yamane http://arxiv.org/abs/2601.00687v2 2026-03-29T06:46:47Z

We prove the Hernandez conjecture on the simple $(q,t)$-characters (an analog of the Kazhdan--Lusztig conjecture) for untwisted quantum loop algebras of classical type. This result is new in type $\mathrm{C}$. We also prove that the folding homomorphism, introduced by Hernandez, gives a dimension-preserving bijective correspondence between the finite-dimensional simple representations (in a skeletal subcategory) of untwisted quantum loop algebras of classical simply-laced type and those of the corresponding doubly-twisted quantum loop algebras. This result is new in type $\mathrm{D}$. In our approach, we develop a bootstrapping method for $q$ and $(q,t)$-characters, based on the freezing operator previously introduced in the context of cluster algebras by the second named author. This method allows us to reduce statements for general simple representations in all classical types to corresponding results on core subcategories in a uniform manner.

2026-01-02T13:31:26Z 25 pages, v2: An error in Remark 4.9 in the previous version corrected Ryo Fujita Fan Qin http://arxiv.org/abs/2301.00781v5 2026-03-29T02:30:43Z

We study universal solutions to reflection equations with a spectral parameter, so-called K-operators, within a general framework of universal K-matrices - an extended version of the approach introduced by Appel-Vlaar. Here, the input data is a quasi-triangular Hopf algebra $H$, its comodule algebra $B$ and a pair of consistent twists. In our setting, the universal K-matrix is an element of $B\otimes H$ satisfying certain axioms, and we consider the case $H=\mathcal{L} U_q \mathfrak{sl}_2$, the quantum loop algebra for $\mathfrak{sl}_2$, and $B=\mathcal{A}_q$, the alternating central extension of the $q$-Onsager algebra. Considering tensor products of evaluation representations of $\mathcal{L} U_q \mathfrak{sl}_2$ in ''non-semisimple'' cases, the new set of axioms allows us to introduce and study fused K-operators of spin-$j$; in particular, to prove that for all $j\in\frac{1}{2}\mathbb{N}$ they satisfy the spectral-parameter dependent reflection equation. We provide their explicit expression in terms of elements of the algebra ${\mathcal A}_q$ for small values of spin-$j$. The precise relation between the fused K-operators of spin-$j$ and evaluations of a universal K-matrix for ${\mathcal A}_q$ is conjectured based on supporting evidence. We finally discuss implications of our results on the K-operators for quantum integrable systems.

2023-01-02T18:02:04Z 74 pages; v2: references updated and minor changes in the text; v3: Intro rewritten, new section 3.5 on formal evaluation representations, new Lem 6.1, many typos and inaccuracies fixed + refs added; v4: version for publication in SIGMA, 10 pages shorter, removed previous Sec 7 "K-operators and the PBW basis", many parts streamlined, a few new remarks; v5: published version, typos in eqrefs fixed SIGMA 22 (2026), 026, 74 pages Guillaume Lemarthe Pascal Baseilhac Azat M. Gainutdinov 10.3842/SIGMA.2026.026