Rewriting modulo in diagrammatic algebras and application to categorification
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916598012444672 |
|---|---|
| author | Schelstraete, Léo |
| author_facet | Schelstraete, Léo |
| contents | We develop a rewriting theory suitable for diagrammatic algebras and lay down the foundations of a systematic study of their higher structures. In this paper, we focus on the question of finding bases. As an application, we give the first proof of a basis theorem for graded $\mathfrak{gl}_2$-foams, a certain diagrammatic algebra appearing in categorification and quantum topology. Our approach is algorithmic, combining linear rewriting, higher rewriting and rewriting modulo another set of rules -- for diagrammatic algebras, the modulo rules typically capture a categorical property, such as pivotality. In the process, we give novel approaches to the foundations of these theories, including to the notion of confluence. Other important tools include termination rules that depend on contexts, rewriting modulo invertible scalars, and a practical guide to classifying branchings modulo. This article is written to be accessible to experts on diagrammatic algebras with no prior knowledge on rewriting theory, and vice-versa. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_03028 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Rewriting modulo in diagrammatic algebras and application to categorification Schelstraete, Léo Representation Theory Category Theory Geometric Topology Quantum Algebra 18M30, 57K18, 18N25, 17B37, 68Q42 We develop a rewriting theory suitable for diagrammatic algebras and lay down the foundations of a systematic study of their higher structures. In this paper, we focus on the question of finding bases. As an application, we give the first proof of a basis theorem for graded $\mathfrak{gl}_2$-foams, a certain diagrammatic algebra appearing in categorification and quantum topology. Our approach is algorithmic, combining linear rewriting, higher rewriting and rewriting modulo another set of rules -- for diagrammatic algebras, the modulo rules typically capture a categorical property, such as pivotality. In the process, we give novel approaches to the foundations of these theories, including to the notion of confluence. Other important tools include termination rules that depend on contexts, rewriting modulo invertible scalars, and a practical guide to classifying branchings modulo. This article is written to be accessible to experts on diagrammatic algebras with no prior knowledge on rewriting theory, and vice-versa. |
| title | Rewriting modulo in diagrammatic algebras and application to categorification |
| topic | Representation Theory Category Theory Geometric Topology Quantum Algebra 18M30, 57K18, 18N25, 17B37, 68Q42 |
| url | https://arxiv.org/abs/2502.03028 |