Analogue of the Bruhat-Chevalley order for reductive monoids (Q1372631)

The algebraic monoid \(M\) is an affine algebraic variety defined over the algebraically closed field \(k\), together with an associative morphism \(m\colon M\times M\to M\) and a two-sided unit \(1\in M\). The unit group \(G\) of \(M\) is an algebraic group. The theory of algebraic monoids was initiated by Mohan Putcha and developed in a series of papers by Mohan Putcha, Lex Renner, Louis Solomon. Special attention was paid to the reductive monoids, i.e. algebraic monoids with reductive unit group. A remarkable result of Putcha and Renner states that any reductive algebraic monoid is regular in the semigroup sense. Another result of Renner shows that, for such monoids, an analogue of the Bruhat decomposition may be defined. In the paper under review a new step is made: the authors extend the concept of the Bruhat-Chevalley order to reductive monoids. With any reductive monoid \(M\) an inverse monoid \(R\) (``the Renner monoid'') is associated. The unit group of \(R\) is exactly the Weyl group \(W\) of the unit group of \(M\). The monoid \(R\) is a tool that plays the same role as the Weyl group plays in the construction of the Bruhat-Chevalley order on an algebraic group. The authors characterize the Bruhat-Chevalley order on \(M\) by means of the same order on \(W\) and via the so-called \(j\)-order on \(M\): if \(x,y\in M\), then \(x\leq y\) with respect to the \(j\)-order if and only if \(MxM\subset MyM\).