Geoffrey Powell - Filtering the linearization of the category of surjections

cm:16066 - Communications in Mathematics, December 16, 2025, Volume 34 (2026), Issue 1 - https://doi.org/10.46298/cm.16066
Filtering the linearization of the category of surjectionsArticle

Authors: Geoffrey Powell

    A filtration of the morphisms of the $k$-linearization $k \mathbf{FS}$ of the category $\mathbf{FS}$ of finite sets and surjections is constructed using a natural $k \mathbf{FI}^{op}$-module structure induced by restriction, where $\mathbf{FI}$ is the category of finite sets and injections. In particular, this yields the `primitive' subcategory $ k \mathbf{FS}^0 \subset k \mathbf{FS}$ that is of independent interest; for example, the category of $k \mathbf{FS}^0$-modules is closely related to the category of $k \mathbf{FA}$-modules, where $\mathbf{FA}$ is the category of finite sets and all maps.
    Working over a field of characteristic zero, the subquotients of this filtration are identified as bimodules over $k \mathbf{FB}$, where $\mathbf{FB}$ is the category of finite sets and bijections, also exhibiting and exploiting additional structure. In particular, this describes the underlying $k \mathbf{FB}$-bimodule of $k \mathbf{FS}^0$.


    Volume: Volume 34 (2026), Issue 1
    Published on: December 16, 2025
    Accepted on: November 13, 2025
    Submitted on: July 17, 2025
    Keywords: Representation Theory, 18A25