Two-sided homological properties of special and one-relator monoids (2507.04819v1)

Abstract: A monoid presentation is called special if the right-hand side of each defining relation is equal to 1. We prove results which relate the two-sided homological finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid enjoys the homological finiteness property bi-$\mathrm{FP}n$ if its group of units is of type $\mathrm{FP}_n$. We also obtain results which relate the Hochschild cohomological dimension of the monoid to the cohomological dimension of its group of units. In particular we show that the Hochschild cohomological dimension of the monoid is bounded above by the maximum of 2 and the cohomological dimension of its group of units. We apply these results to prove a Lyndon's Identity type theorem for the two-sided homology of one-relator monoids of the form $\langle A \mid r=1 \rangle$. In particular, we show that all such monoids are of type bi-$\mathrm{FP}\infty$. Moreover, we show that if $r$ is not a proper power then the one-relator monoid has Hochschild cohomological dimension at most $2$, while if $r$ is a proper power then it has infinite Hochschild cohomological dimension. For non-special one-relator monoids with defining relation $u=v$ we show that if there is no non-empty word $r$ such that $u,v \in A^*r \cap r A^*$ then $M$ is of type bi-$\mathrm{FP}_\infty$ and the Hochschild cohomological dimension at most $2$.