PROPs associated to Lawvere theories and their relation to polynomial functors

TL;DR

This paper constructs a natural linear PROP associated with a Lawvere theory, establishing an adjunction between functor categories that aligns with polynomial degree, unifying and extending previous examples in algebraic and categorical contexts.

Contribution

It introduces a new framework linking Lawvere theories to polynomial modules via a natural linear PROP, unifying known cases and providing explicit calculations for specific theories.

Findings

Constructs a natural linear PROP for Lawvere theories with zero objects.

Establishes an adjunction compatible with polynomial degree between functor categories.

Unifies and extends known examples, including modules over rings and free nilpotent groups.

Abstract

Several adjunctions between functor categories have been studied and applied previously. These include Powell's adjunction between functor categories on free groups and on the linear PROP associated with the Lie operad, as well as those implicit in the equivalence of Pirashvili between functors on projective modules and modules over wreath products. In this paper, for a Lawvere theory $\mathcal{C}$ with a zero object, we construct a natural linear PROP $\tilde{\Phi}_{\mathcal{C}}$, which carries a canonical adjunction between functor categories over $\mathcal{C}$ and $\tilde{\Phi}_{\mathcal{C}}$. The adjunction is compatible with polynomial degree, in the sense that it gives a correspondence between polynomial $\mathcal{C}$-modules and truncated $\tilde{\Phi}_{\mathcal{C}}$-modules. We suggest that this framework provides a useful step toward studying polynomial $\mathcal{C}$-modules. To support this perspective, a large part of this paper is devoted to explicit calculations of $\tilde{\Phi}_{\mathcal{C}}$ for a specific Lawvere theory $\mathcal{C}$. This construction unifies the previously known examples, and also yields new ones, including adjunctions for functor categories on modules over a ring, as well as on free nilpotent groups and, more generally, on free $\mathcal{R}$-semisimple groups, where $\mathcal{R}$ is a radical functor for groups.