Convex spaces, affine spaces, and commutants for algebraic theories

Certain axiomatic notions of $\mathit{\text{affine}}\mathit{\text{space}}$ over a ring and $\mathit{\text{convex}}\mathit{\text{space}}$ over a preordered ring are examples of the notion of $\mathcal{T}$-algebra for an algebraic theory $\mathcal{T}$ in the sense of Lawvere. Herein we study the notion of $\mathit{\text{commutant}}$ for Lawvere theories that was defined by Wraith and generalizes the notion of $\mathit{\text{centralizer}}\mathit{\text{clone}}$. We focus on the Lawvere theory of \textit{leftR-affine spaces} for a ring or rig $R$, proving that this theory can be described as a commutant of the theory of pointed right $R$-modules. Further, we show that for a wide class of rigs $R$ that includes all rings, these theories are commutants of one another in the full finitary theory of $R$ in the category of sets. We define \textit{leftR-convex spaces} for a preordered ring $R$ as left affine spaces over the positive part $R_{+}$ of $R$. We show that for any $\mathit{\text{firmly}}\mathit{\text{archimedean}}$ preordered algebra $R$ over the dyadic rationals, the theories of left $R$-convex spaces and pointed right $R_{+}$-modules are commutants of one another within the full finitary theory of $R_{+}$ in the category of sets. Applied to the ring of real numbers $\mathbb{R}$, this result shows that the connection between convex spaces and pointed ${\mathbb{R}}_{+}$-modules that is implicit in the integral representation of probability measures is a perfect `duality’ of algebraic theories.