arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2502.03028

Rewriting modulo in diagrammatic algebras and application to categorification

Léo Schelstraete
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop a rewriting theory modulo suitable for higher linear structures. In particular, the theory is suited for diagrammatic algebras as they appear in categorification, representation theory and quantum topology. As an application, we use the theory to prove the basis conjecture of a certain super-2-category related to odd Khovanov homology. Our approach combines linear rewriting, higher rewriting and rewriting modulo. For diagrammatic algebras, the modulo rules typically capture a categorical property, such as pivotality. In the process, we revisit the foundations of these theories, including the notion of confluence. Other important tools include termination rules that depend on contexts, rewriting modulo invertible scalars, and a method to classify branchings modulo. This article includes an introduction to rewriting theory for non-experts.

Explore related subjects

math.RTmath.CTmath.GTmath.QA

Keep this discovery

BibTeXRIS

Léo Schelstraete. 2025-02-05. Rewriting modulo in diagrammatic algebras and application to categorification. https://doi.org/10.1016/j.aim.2026.111198

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT↗
arXiv2026

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT↗
arXiv2026

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT↗