Representation theory of monoids consisting of order-preserving functions and order-reversing functions on an n-set

Abstract: Let $\operatorname{OD}{n}$ be the monoid of all order-preserving functions and order-reversing functions on the set ${1,\ldots,n}$. We describe a quiver presentation for the monoid algebra $\Bbbk\operatorname{OD}{n}$ where $\Bbbk$ is a field whose characteristic is not 2. We show that the quiver consists of two straightline paths, one with $n-1$ vertices and one with $n$ vertices, and that all compositions of consecutive arrows are equal to $0$. As part of the proof we obtain a complete description of all homomorphisms between induced left Sch\"utzenberger modules of $\Bbbk\operatorname{OD}{n}$. We also define $\operatorname{COD}{n}$ to be a covering of $\operatorname{OD}{n}$ with an artificial distinction between order-preserving and order-reversing constant functions. We show that $\operatorname{COD}{n}\simeq\operatorname{O}{n}\rtimes\mathbb{Z}{2}$ where $\operatorname{O}{n}$ is the monoid of all order-preserving functions on the set ${1,\ldots,n}$. Moreover, if $\Bbbk$ is a field whose characteristic is not $2$ we prove that $\Bbbk\operatorname{COD}{n}\simeq\Bbbk\operatorname{O}{n}\times\Bbbk\operatorname{O}{n}$. As a corollary, we deduce that the quiver of $\Bbbk\operatorname{COD}_{n}$ consists of two straightline paths with n vertices, and that all compositions of consecutive arrows are equal to $0$.