Faithful linear and relational representations of diagram categories and monoids
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911652353409024 |
|---|---|
| author | East, James Johnson, Marianne Kambites, Mark |
| author_facet | East, James Johnson, Marianne Kambites, Mark |
| contents | We study representations of diagram categories by binary relations and matrices over rings and semirings. Our main result is a faithful involutive tensor representation of the partition category $P$ (and consequently of each partition monoid $P_n$) by zero-one matrices over an arbitrary (additively) idempotent semiring. The dimensions of the matrices involved are powers of $2$, and we show that these are minimal with respect to faithful involutive tensor representations by matrices over any semiring. Intriguingly, these matrices encode the number of floating components formed when composing partitions, and can therefore be used to construct faithful representations of ($d$-)twisted partition categories $P^Φ$ and $P^{Φ,d}$ (and the respective twisted partition monoids $P_n^Φ$ and $P_n^{Φ, d}$) over rings of appropriate characteristic. We also give lower-dimensional involutive representations of the Brauer and Temperley--Lieb categories $B$ and $TL$. In the case of $TL$, the dimensions are given by Fibonacci numbers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_04630 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Faithful linear and relational representations of diagram categories and monoids East, James Johnson, Marianne Kambites, Mark Rings and Algebras Category Theory Representation Theory We study representations of diagram categories by binary relations and matrices over rings and semirings. Our main result is a faithful involutive tensor representation of the partition category $P$ (and consequently of each partition monoid $P_n$) by zero-one matrices over an arbitrary (additively) idempotent semiring. The dimensions of the matrices involved are powers of $2$, and we show that these are minimal with respect to faithful involutive tensor representations by matrices over any semiring. Intriguingly, these matrices encode the number of floating components formed when composing partitions, and can therefore be used to construct faithful representations of ($d$-)twisted partition categories $P^Φ$ and $P^{Φ,d}$ (and the respective twisted partition monoids $P_n^Φ$ and $P_n^{Φ, d}$) over rings of appropriate characteristic. We also give lower-dimensional involutive representations of the Brauer and Temperley--Lieb categories $B$ and $TL$. In the case of $TL$, the dimensions are given by Fibonacci numbers. |
| title | Faithful linear and relational representations of diagram categories and monoids |
| topic | Rings and Algebras Category Theory Representation Theory |
| url | https://arxiv.org/abs/2605.04630 |