Free inverse monoids are not ${\protect \rm FP}_2$

Abstract

We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$\mathrm{FP}_2$ nor right-$\mathrm{FP}_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.