Bruhat-Chevalley order in reductive monoids. (Q703036)

Let \(M\) be an irreducible algebraic monoid with zero. \(M\) is a reductive monoid if it is the Zariski closure in \(M_n(K)\) of a reductive group \(G\subseteq\text{GL}_n(K)\). The Bruhat-Chevalley order in \(G\) has a natural extension to \(M\). The Renner monoid \(R\) for \(M\) takes the place of the Weyl group \(W\) for \(G\). Associated with the Bruhat decomposition of a \(G\times G\)-orbit of \(M\) is a \(W\times W\)-orbit of \(R\) that is a graded poset and has been explicitly determined by the author [Trans. Am. Math. Soc. 354, No. 1, 413-426 (2002; Zbl 0988.20055)]. The ordering on \(R\) is more removed from the ordering on \(W\) and hence harder to understand. This article is a detailed study of the ordering on \(R\). Let \(\Lambda\) denote the idempotent cross-section of the \(G\times G\)-orbits on \(M\). For \(e,f\in\Lambda\) with \(e\leq f\), the author introduces a projection map \(WeW\to WfW\), and uses these projection maps to obtain a new description of the Bruhat-Chevalley order on \(R\). For the canonical compactification \(X\) of a semisimple group \(G_0\) with Borel subgroup \(B_0\) of \(G_0\) the author shows that the poset of \(B_0\times B_0\)-orbits of \(X\) (with respect to the Zariski closure inclusion) is Eulerian.