https://arxiv.org/api/3bOPRU08aChm3R1TAZ//SJkIRDA 2026-06-14T16:37:12Z 20897 405 15 http://arxiv.org/abs/2603.23363v1 2026-03-24T15:58:09Z

Let $H$ be a generalized Liu algebra over an algebraically closed field $k$ of characteristic zero. We prove that all simple Yetter-Drinfeld modules over $H$ are finite-dimensional and present an explicit classification of these modules. Moreover, we completely determine which of them admit a finite-dimensional Nichols algebra.

2026-03-24T15:58:09Z Xiangjun Zhen Gongxiang Liu Jing Yu http://arxiv.org/abs/2603.23120v1 2026-03-24T12:17:26Z

We construct a quasi-particle basis of the integrable highest weight module of highest weight $3Λ_0$ for the twisted affine Lie algebra of type $A_2^{(2)}$ in the principal realization. More specifically, by introducing the concept of polychromatic quasi-particle and finding relations among quasi-particles, we construct the spanning set of the standard module. Finally, its linear independence is proved by using Kanade-Russell and Kurşungöz's Andrews-Gordon type series of Capparelli's identities.

2026-03-24T12:17:26Z 16 pages Marijana Butorac Slaven Kožić Mirko Primc http://arxiv.org/abs/2603.23111v1 2026-03-24T12:05:35Z

We give a combinatorial model structure to the category of, not necessarily conilpotent, differential graded (dg) cocommutative coalgebras and an $\infty$-category structure to the category of curved Lie algebras over an algebraically closed field of characteristic $0$. Further, we extend the Harrison and Chevally-Eilenberg functors between dg cocommutative conilpotent coalgebras and dg Lie algebras to these categories and show they form an equivalence of $\infty$-categories.

2026-03-24T12:05:35Z Alexander Mallon You Wang http://arxiv.org/abs/2603.20545v2 2026-03-24T10:32:18Z

Given a pivotal module category over a spherical fusion category, we introduce the encircling module, a module over the fusion algebra defined using the pivotal structure, and prove that it is isomorphic to the NIM-rep as a fusion algebra module. When applied to the $\mathcal{TM}$ realisation of the modular invariant partition function (arXiv:1911.09024), this yields an identification of the diagonal entries of the modular invariant with the NIM-rep multiplicities, providing a categorical generalisation of Böckenhauer, Evans and Kawahigashi's results (arXiv:math/9907149). We also show that for indecomposable module categories the dimension condition on $\mathcal{TM}$ required for modular invariance is automatically satisfied, and that $\mathcal{TM}$ recovers the full centre construction of Fjelstad, Fuchs, Runkel and Schweigert (arXiv:hep-th/0612306, arXiv:0807.3356).

2026-03-20T22:26:39Z 17 pages, many figures Alastair King Leonard Hardiman http://arxiv.org/abs/2603.22957v1 2026-03-24T08:55:09Z

The aim of this short note is to establish a 2-equivalence between a certain 2-category of foams and that of singular Soergel bimodules of type A.

2026-03-24T08:55:09Z 21, pages. Comments welcome Mikhail Khovanov Louis-Hadrien Robert Emmanuel Wagner http://arxiv.org/abs/2603.22694v1 2026-03-24T01:35:05Z

This is a continuation of the previous paper (arXiv:2508.01944) in this series. We recontextualise Cirio and Martins' work to motivate our fundamental conjecture that the Drinfeld-Kohno (Lie) 2-algebra has trivial cohomology. It is then shown that this conjecture implies the following: given a coherent totally symmetric infinitesimal 2-braiding $t$, every modification endomorphic on the zero transformation vanishes if it is made up of the four-term relationators and whiskerings by $t$. The power of such an implication is that, in our context, one need only construct the data of a braided monoidal 2-category and it will automatically satisfy the axioms. We thus conclude by constructing the pentagonator via Cirio and Martins' Knizhnik-Zamolodchikov 2-connection over the configuration space of 4 distinguishable particles on the complex line, $Y_4$. In particular, we make use of Bordemann, Rivezzi and Weigel's pentagon in $Y_4$.

2026-03-24T01:35:05Z 19 pages Cameron Kemp http://arxiv.org/abs/2509.18072v3 2026-03-23T21:33:54Z

We investigate the interplay between algebraic and categorical notions of non-invertible symmetries. In particular, a fusion categorical symmetry $\mathcal{C}$ is shown to induce an algebraic symmetry encoded in a weak Hopf algebra $H$ which is Tannaka-Krein dual to $\mathcal{C}$ in the sense that $\mathcal{C} = \text{Rep}(H^*)$. The latter duality is not unique, and consequently the algebraic symmetry acts on an extended system relative to the categorical one. We present an approach to analyzing the symmetry breaking patterns of weak Hopf algebraic non-invertible symmetries. The central ingredient is a certain conditional expectation, which serves as the analog of a group averaging map for a non-invertible symmetry. The index of this conditional expectation emerges as a quantum information theoretic quantity that determines the extent to which the underlying symmetry can be broken. Ambiguities which ensue from the non-uniqueness of the categorical reconstruction lead to distinct properties of symmetry breaking compared to the invertible case. Finally, we exemplify our approach through topological and conformal quantum field theories in which non-invertible symmetries are naturally interpreted as defect operators and boundary conditions.

2025-09-22T17:53:19Z v3: minor edits, updated to match JHEP version Shadi Ali Ahmad Marc S. Klinger Yifan Wang http://arxiv.org/abs/2602.20069v2 2026-03-23T17:21:57Z

We introduce a functor $Ψ$ that associates to a dioperad $P$ acting on a vector space $V$ a two-colored operad $Ψ(P)$ acting on the pair $(V, V^*)$. The construction is based on a simple pictorial idea: by selecting one input or output and dualizing, if necessary, the remaining ones, any dioperadic tree can be ``rerooted'' as a colored operadic tree. This transformation allows one to apply the standard operadic machinery -- such as Gröbner bases and Hilbert series -- to the study of dioperads. We illustrate the method with several examples and applications. (1) We compute the dimensions of the spaces of operations for the dioperad of Lie bialgebras. (2) We describe a Gröbner basis and construct a minimal resolution for the dioperad of triangular Lie bialgebras. (3) We perform explicit computations for the dioperad of ``algebraic string operations''. (4) We give a pictorial construction proving the existence of quadratic Gröbner bases and establishing the Koszul property for a broad class of dioperads arising from cyclic operads.

2026-02-23T17:25:49Z Many figures; v1: comments are very welcome; v2: introduction and some pictures were improved Anton Khoroshkin http://arxiv.org/abs/2603.22200v1 2026-03-23T16:58:56Z

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once faithful (co)flatness conditions are satisfied. This result unifies and generalizes the semi-abelianness of cocommutative Hopf algebras and of cocommutative color Hopf algebras known up to now. As a consequence of the semi-abelianness, the category of cocommutative Hopf monoids is also action representable. Finally, we prove that abelian objects in the category of cocommutative Hopf monoids coincide exactly with commutative and cocommutative Hopf monoids, which form so an abelian category.

2026-03-23T16:58:56Z 41 pages Andrea Sciandra Zhenbang Zuo http://arxiv.org/abs/2603.21893v1 2026-03-23T12:19:52Z

In this paper, we introduce the notion of super-immanants for supermatrices over a supercommutative algebra. Using the super Schur-Weyl duality we show that the super immanants play a significant role in covariant tensor representations of the general linear Lie superalgebra. Among various things, we obtain a supertrace formula for super-immanants, which generalizes Kostant's trace formula to the super setting. Furthermore, we show that the Littlewood correspondences between super-immanants and supersymmetric polynomials establish an isomorphism between their corresponding algebras.

2026-03-23T12:19:52Z 28 pp Naihuan Jing Yinlong Liu Jian Zhang http://arxiv.org/abs/2603.21868v1 2026-03-23T12:02:02Z

Let $\g$ be a simple complex Lie algebra of type $G_2$, $F_4$, or $E_8$, and let $G$ be the unique connected simply connected Lie group with $\mathrm{Lie}(G)=\g$ with compact real form $K$. We prove a triangular decomposition theorem for the lower crystal lattice $\OAztG$ of the quantized function algebra $\OtG$, establishing that $\OAztG = \RAzm \cdot \RAzp$. This extends the triangular decomposition recently obtained for types $A_n, B_n, C_n, D_n, E_6$, and $E_7$ in~\cite{DDPa} to all complex simple Lie algebras. As a consequence, we obtain: (i) the inclusion $\OAztG\subseteq\OAztK$ conjectured by Matassa-Yuncken and (ii) the crystal limit $\CpKo$ is a compact quantum semigroup for all connected, simply connected, compact simple Lie groups $K$.

2026-03-23T12:02:02Z 10 Pages. Preliminary version Ayan Dey http://arxiv.org/abs/2603.21759v1 2026-03-23T09:51:13Z

Progress on the conjecture of Banica and Bichon that the classical permutation group is a maximal quantum subgroup of the quantum permutation group remains limited to a handful of small-parameter results. By Tannaka--Krein duality, any counterexample to this Maximality Conjecture must arise from a category strictly intermediate between the category $\mathcal{NC}$ of non-crossing partitions and the category $\mathcal{P}$ of all partitions. Any such exotic category must therefore contain a linear combination of crossing-partition vectors. The categories generated by $\mathcal{NC}$ together with some such vectors are studied, with a number of generation results. It is shown that no exotic category can contain a linear combination of three crossing-partition vectors, and, at $N=6$, there is no exotic category containing a linear combination of 31 crossing-partition vectors that is distinguished from $\mathcal{NC}$ or $\mathcal{P}$ at moments of order six.

2026-03-23T09:51:13Z 33 pages; comments welcome via email; Maple files available on request J. P. McCarthy http://arxiv.org/abs/2603.21707v1 2026-03-23T08:49:04Z

We construct a vertex coproduct on the Kontsevich--Soibelman cohomological Hall algebra (CoHA) of a quiver with potential, following Joyce (2018). We show it forms a vertex bialgebra. By applying a vertex algebraic analogue of Majid--Radford bosonisation, we form an extension of the CoHA of quivers with potential which incorporates a Cartan part. In the case of ADE quivers our vertex coproduct recovers Drinfeld's deformed coproduct on the Yangian. We compare the vertex coproduct with a localised coproduct defined by Davison and with the construction of Dotsenko--Mozgovoy when the potential is trivial. Our construction gives a new proof of the cohomological integrality theorem for symmetric quivers with trivial potential.

2026-03-23T08:49:04Z 72 pages comments welcome Shivang Jindal Sarunas Kaubrys Alexei Latyntsev http://arxiv.org/abs/1205.2977v3 2026-03-23T06:22:14Z

Let $M$ be a Riemannian manifold. For $p\in M$, the tensor algebra of the negative part of the (complex) affinization of the tangent space of $M$ at $p$ has a natural structure of a meromorphic open-string vertex algebra. These meromorphic open-string vertex algebras form a vector bundle over $M$ with a connection. We construct a sheaf $\mathcal{V}$ of meromorphic open-string vertex algebras on the sheaf of parallel sections of this vector bundle. Using covariant derivatives, we construct representations on the spaces of complex smooth functions of the algebras of parallel tensor fields. These representations are used to construct a sheaf $\mathcal{W}$ of left $\mathcal{V}$-modules from the sheaf of smooth functions. In particular, we obtain a meromorphic open-string vertex algebra $V_{M}$ of the global sections on $M$ of the sheaf $\mathcal{V}$ and a left $V_{M}$-module $W_{M}$ of the global sections on $M$ of the sheaf $\mathcal{W}$. By the definitions of meromorphic open-string vertex algebra and left module, we obtain, among many other properties, operator product expansion for vertex operators. We also show that the Laplacian on $M$ is in fact a component of a vertex operator for the left $V_{M}$-module $W_{M}$ restricted to the space of smooth functions.

2012-05-14T10:19:03Z 25 pages. The published version (in a special issue of Chinese Annals of Mathematics, series B in memory of Hu Hesheng) was mistakenly revised based on an old version of the paper. Here is the correct final version of the paper Yi-Zhi Huang http://arxiv.org/abs/2603.21462v1 2026-03-23T00:47:37Z

We develop a perturbative algorithm for constructing formal flat $F$-manifold structures on the cohomologies of dGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebras associated with Landau-Ginzburg models. As an application, this approach provides a perturbative construction of formal flat $F$-manifold structures on two important objects: the Jacobian algebra of a homogeneous polynomial with an isolated singularity at the origin, and the primitive cohomology of smooth projective Calabi-Yau complete intersections.

2026-03-23T00:47:37Z 10 pages Jeehoon Park Jaewon Yoo