https://arxiv.org/api/U1cqwowePIXrJEoVeJI5HzFxvWE 2026-06-14T02:17:12Z 20897 195 15 http://arxiv.org/abs/2605.08919v1 2026-05-09T12:38:59Z

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly graded rings form a particularly well-behaved and structurally rich class. In this paper we introduce a notion of factor systems for strongly graded rings, consisting of algebraic data that encode both the bimodule structure of the homogeneous components and their multiplication relations. In particular, this framework makes it possible to carry out explicit computations. We show that strongly graded rings with fixed principal component are classified, up to isomorphism, by conjugacy classes of such factor systems. Conversely, every abstract factor system gives rise to a strongly graded ring realizing it. In this way, the global structure of a strongly graded ring can be reconstructed from algebraic data on the principal component together with the grading group. Factor systems also provide a convenient framework for studying the problem of lifting derivations from the principal component to graded derivations of the whole ring. We derive explicit compatibility conditions for the existence of such lifts and interpret the resulting obstruction in cohomological terms. This leads to an algebraic analogue of the Atiyah sequence for strongly graded rings and to curvature-type invariants measuring the failure of graded lifts to form Lie algebra homomorphisms. The theory is illustrated by Leavitt path algebras.

2026-05-09T12:38:59Z 43 pages. All comments are welcome Joakim Arnlind Stefan Wagner http://arxiv.org/abs/2604.26292v2 2026-05-09T01:39:41Z

Coisotropic A-branes were introduced by Kapustin--Orlov to enlarge the Fukaya category of a symplectic manifold in a way that aligns with predictions from homological mirror symmetry. From a mathematical perspective, however, the categorical framework governing such branes remains largely undeveloped. On the other hand, Gukov--Witten's brane quantization suggests that a holomorphic deformation quantization of a holomorphic symplectic manifold $X$ arises from the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ of a canonical coisotropic A-brane $B_{cc}$, which naturally acts on the morphism space $Hom_A(B,B_{cc})$ with a Lagrangian A-brane $B$ that in turn gives precisely the geometric quantization of $B$. In this paper, we consider a holomorphic symplectic manifold $X$ which admits an SYZ fibration and apply SYZ mirror symmetry to study its brane quantization. Given any semi-affine, space-filling coisotropic A-brane $B_{cc}$ on $X$, we construct the mirror B-brane $\check{B}_{cc}$ on the mirror manifold $\check{X}$ by an SYZ transform. We then present a mathematical definition of the endomorphism algebra $Hom_A(B_{cc},B_{cc})$ by constructing a distinguished non-formal holomorphic deformation quantization of $X$. Using a twisted family Toeplitz construction, we transform $Hom_A(B_{cc},B_{cc})$ to the mirror B-side and prove that this induces an isomorphism $Hom_A(B_{cc},B_{cc})\cong Hom_B(\check{B}_{cc},\check{B}_{cc})$ between the endomorphism algebras. Furthermore, taking any torus fiber of $X$ as the Lagrangian A-brane $B$, we fully realize Gukov--Witten's proposal, namely, there is a natural action of $Hom_A(B_{cc},B_{cc})$ on $Hom_A(B,B_{cc})$ which is precisely mirror to the natural action on the mirror B-side. This provides a mathematical framework which is compatible with Gukov--Witten's brane quantization proposal, SYZ mirror symmetry as well as family Floer theory.

2026-04-29T04:39:12Z 40 pages Kwokwai Chan Naichung Conan Leung Qin Li Yat-Hin Suen Yutung Yau http://arxiv.org/abs/2605.08459v1 2026-05-08T20:26:59Z

Given a locally compact quantum group $\mathbb{G}$ and an ergodic, integrable action $L^\infty(\mathbb{X})\stackrelα\curvearrowleft \mathbb{G}$, the von Neumann algebra $L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}):= L^\infty(\mathbb{X})\square \overline{L^\infty(\mathbb{X})}$ is shown to carry a natural normal ucp coassociative map $Δ_{\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}}: L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\to L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\bar{\otimes} L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})$. Restricting to the class of compact quantum groups, this provides a large class of new examples of (analytical) compact quantum hypergroups. We provide characterizations of coamenability for these compact quantum hypergroups, making use of the theory of equivariant correspondences.

2026-05-08T20:26:59Z 25 pages + references. Comments are welcome! Joeri De Ro http://arxiv.org/abs/2306.12501v6 2026-05-08T19:34:30Z

Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.

2023-06-21T18:23:01Z 84 pages, 49 figures. v6: fixed arXiv compilation issue; final version Inventiones Mathematicae, Volume 243, pages 703-804, (2026) Christian Gaetz Oliver Pechenik Stephan Pfannerer Jessica Striker Joshua P. Swanson 10.1007/s00222-025-01385-2 http://arxiv.org/abs/2504.13783v2 2026-05-08T14:55:10Z

We consider a family of potential quasi-lisse affine vertex algebras $L_{k_m}(D_4)$ at levels $k_m =-6 + \frac{4}{2m+1}$. In the case $m=0$, the irreducible $L_{k_0}(D_4)$--modules were classified in arXiv:1205.3003, and it was proved in arXiv:1610.05865 that $L_{k_0}(D_4)$ is a quasi-lisse vertex algebra. We conjecture that $L_{k_m}(D_4)$ is quasi-lisse for every $m \in {\mathbb{Z}}_{>0}$, and that it contains a unique irreducible ordinary module. In this article we prove this conjecture for $m=1$, by using mostly computational methods. We show that the maximal ideal in the universal affine vertex algebra $V^{k_1}(D_4)$ is generated by three singular vectors of conformal weight six. The explicit formulas were obtained using software. Then we apply Zhu's theory and classify all irreducible $L_{k_1}(D_4)$--modules. It turns out that $L_{k_1}(D_4)$ has $405$ irreducible modules in the category $\mathcal O$, but a unique irreducible ordinary module. Finally, we prove that $L_{k_1}(D_4)$ is quasi-lisse by showing that its associated variety is contained in the nilpotent cone of $D_4$. We also prove that the associated variety $X_{L_{k_1}(D_4)}$ is $\overline{\mathbb O}_{sreg}$, the Zariski closure of the subregular nilpotent orbit in $D_4$.

2025-04-18T16:34:34Z 20 pages, v2: added a proof of the conjecture on the associated variety, which is now Theorem 1.3 Dražen Adamović Ivana Vukorepa http://arxiv.org/abs/2605.07497v1 2026-05-08T09:36:45Z

In this paper the category of opposite brace triples is introduced in a general braided monoidal setting. Under cocommutativity, it is proved to be isomorphic to the category of Hopf braces. Furthermore, if one considers the subcategories arising from fixing one of the underlying Hopf algebras, then these two categories are also isomorphic to the category of matched pairs over that Hopf algebra.

2026-05-08T09:36:45Z Ramón González Rodríguez Brais Ramos Pérez http://arxiv.org/abs/2602.19445v2 2026-05-08T06:42:36Z

The ${\rm SL}_3$-skein algebra of a closed surface $Σ_g$ is a quantization of the ${\rm SL}_3$ character variety of $Σ_g$, where $g$ denotes the genus of the surface. This algebra admits a basis consisting of non-elliptic web diagrams in $Σ_g$. In this paper, we introduce explicit coordinates for non-elliptic web diagrams on $Σ_g$, yielding a parametrization by a submonoid of $\mathbb Z^{d}$. Here $d = 16g - 16$ for $g \ge 2$ and $d = 4$ in the torus case $g = 1$, coinciding with the dimension of the corresponding character variety.

2026-02-23T02:29:06Z 30 pages. This is Version 2. In the revised version, we updated the definition of essential web diagrams in a pair of pants in Definition 4.1. We also added several examples in Figure 7 to illustrate Definition 4.1 Zhe Sun Zhihao Wang http://arxiv.org/abs/2508.21662v2 2026-05-07T20:41:14Z

In this paper, we undertake a systematic study of the parabolic-type sub-vertex operator algebras (subVOAs) \(V_P\) of rank-two lattice VOAs \(V_L\), originally introduced by the first-named author. We first classify all possible types of such subVOAs by analyzing the corresponding submonoids \(P \subseteq L\). For each type of \(V_P\), we then classify its irreducible modules. Certain Zhu algebras \(A(V_P)\) provide new examples of rings with nil ideals that are not nilpotent. Finally, we show that the simple quotient \(V_H\) of any parabolic-type subVOA \(V_P\) is a \(C_1\)-cofinite irrational VOA satisfying the strongly unital property recently introduced by Damiolini--Gibney--Krashen.

2025-08-29T14:23:38Z Jianqi Liu http://arxiv.org/abs/2501.03660v3 2026-05-07T18:46:48Z

In this paper, we study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group. In particular, we completely describe the blocks of imprimitivity and the congruences of the irretractable ones, that we show belonging to the class of the latin solutions. Among these solutions, we characterise the simple ones having nilpotent permutation group. A more precise description involving the First Weyl Algebra will be provided when the displacement group is abelian and normal in the total permutation group, and we enumerate and classify the simple ones having minimal size $p^p$, for an arbitrary prime number $p$. Finally, we illustrate our results by some examples.

2025-01-07T09:49:20Z 22 pages, Theorems 44 and 48 from the first version have been removed and replaced by other results. Some typos have been corrected. The main results of the paper remain unchanged Marco Bonatto Marco Castelli http://arxiv.org/abs/2512.21750v2 2026-05-07T12:30:55Z

We introduce a family of algebras $\mathcal{A}_{M,N}$, $M,N\in\mathbb{Z}$, as an extension of a pair of commuting quantum toroidal $\mathfrak{gl}_1$ subalgebras $\mathcal{E}_1,\check{\mathcal{E}}_1$, wherein the parameters are tuned in a specific way according to $M,N$. In the case $M=\pm 1$, algebra $\mathcal{A}_{\pm1,N}$ is a shifted quantum toroidal $\mathfrak{gl}_2$ algebra introduced in [FJM2]. Conjecturally there is a coproduct homomorphism $\mathcal{A}_{M,N_1+N_2}\to\mathcal{A}_{M,N_1}\hat\otimes\mathcal{A}_{M,N_2}$ to a completed tensor product, whose restriction to the subalgebras $\mathcal{E}_1,\check{\mathcal{E}}_1$ coincides with the standard Drinfeld coproduct. We give examples of $\mathcal{A}_{M,N}$ modules constructed on certain direct sums of tensor products of Fock modules of $\mathcal{E}_1\otimes\check{\mathcal{E}}_1$.

2025-12-25T17:57:32Z Latex, 40 pages B. Feigin M. Jimbo E. Mukhin http://arxiv.org/abs/2604.09471v2 2026-05-07T02:19:00Z

Let $\mathfrak{g}$ be a simple Lie algebra. Frenkel and Reshetikhin introduced the deformed $W$-algebra $\mathbf{W}_{qt}(\mathfrak{g})$. In this work, we propose a formal reformulation of this definition in a different context. In this framework, we reformulate and prove the well-definedness of an algorithm (arxiv:2103.15247, arxiv:2205.08312) inspired by the Frenkel-Mukhin algorithm (arXiv:math/9911112) which, starting from a given dominant monomial $m$ satisfying some degree conditions, produces elements of the deformed $W$-algebra. Then, we apply this algorithm to construct explicitly some specific elements of $\mathbf{W}_{q,t}(\mathfrak{g})$. In particular, we apply this to prove a conjecture of Frenkel and Reshetikhin in arXiv:q-alg/9708006 in types $B_\ell$, $C_\ell$, and for some nodes in other types. This framework opens up new possibilities for studying explicitly fields in the deformed $W$-algebra $\mathbf{W}_{q,t}(\mathfrak{g})$.

2026-04-10T16:29:02Z 60 pages Hicham Assakaf http://arxiv.org/abs/2510.07469v2 2026-05-06T22:10:09Z

We show that the mirabolic quantum group $MU(n)$ is a comodule algebra over the quantized enveloping algebra $U_v(\mathfrak{sl}_n)$, and use this structure to give a complete classification of its finite dimensional representations. In particular, we explicitly describe the construction of all irreducible finite dimensional representations of $MU(n)$ and show that the category of finite dimensional representations is semisimple. A crucial step involves constructing and analyzing Verma-type universal representations of $MU(n)$.

2025-10-08T19:16:06Z Pallav Goyal Daniele Rosso http://arxiv.org/abs/2603.21688v2 2026-05-06T15:24:26Z

Approaches to calculate SU(N) colored knot invariants (HOMFLY-PT polynomials) are well and widely developed. However, SO(N) case is mostly forgotten. With this paper we want to start the discusion of how to generalize Reshetikhin-Turaev approach to the SO(2n+1) case and which difficutlies arise in this discussion. We provide R and Racah matrices for the symmetric representation of the SO(5) group and show how to find the corresponding Kauffmann polynomials.

2026-03-23T08:21:58Z 13 pages, 4 figures, 1 appendix Andrey Morozov http://arxiv.org/abs/2307.09229v2 2026-05-06T15:16:03Z

We develop a categorical approach to quivers and their modules. Naturally this leads to a notion of an action of a monoidal category on quivers. Using this, we construct for a large class of quivers rigid monoidal structures on their categories of modules. This fusion product on the quiver modules induces a graded ring structure with duality and trace on the moduli spaces of semisimple quiver modules. Our approach allows to consider a class of relations on such fusion quivers that are compatible with the rigid monoidal structure. In particular we obtain a class of preprojective algebras with fusion product on their modules.

2023-07-18T13:05:40Z 53 pages, many diagrams, published version with added refs on Thm. 4.4 Gregor Schaumann http://arxiv.org/abs/2509.18456v4 2026-05-06T10:18:44Z

In this paper we discuss a pair of polynomial knot invariants $Θ=(Δ,θ)$ which is: * Theoretically and practically fast: $Θ$ can be computed in polynomial time. We can compute it in full on random knots with over 300 crossings, and its evaluation at simple rational numbers on random knots with over 600 crossings. * Strong: Its separation power is much greater than the hyperbolic volume, the HOMFLY-PT polynomial and Khovanov homology (taken together) on knots with up to 15 crossings (while being computable on much larger knots). * Topologically meaningful: It gives a genus bound, and there are reasons to hope that it would do more. * Fun: Scroll to Figures 1.1-1.4, 3.1, and 6.2. $Δ$ is merely the Alexander polynomial. $θ$ is almost certainly equal to an invariant that was studied extensively by Ohtsuki, continuing Rozansky, Kricker, and Garoufalidis. Yet our formulas, proofs, and programs are much simpler and enable its computation even on very large knots.

2025-09-22T22:25:40Z 35 pages Dror Bar-Natan Roland van der Veen