Let be a finite reflection group. For a given , the following assertion may or may not be satisfied: () The principal Bruhat order ideal of contains as many elements as there are regions in the inversion hyperplane arrangement of . We present a type independent combinatorial criterion which characterises the elements that satisfy (). A couple of immediate consequences are derived: (1) The criterion only involves the order ideal of as an abstract poset. In this sense, () is a poset-theoretic property. (2) For of type , another characterisation of (), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sj"ostrand. We obtain a short and simple proof of that result. (3) If is a Weyl group and the Schubert variety indexed by is rationally smooth, then satisfies (*).

生成讲解博客的中文版本

生成AI智能校验的中文版本