Let be a simply connected, almost simple group over an algebraically closed field , and a maximal parabolic subgroup corresponding to omitting a cominuscule root. We construct a compactification , where is a Schubert variety corresponding to the loop group . Let be the conormal variety of some Schubert variety in ; hence we obtain that the closure of in is a -stable compactification of . We further show that this compactification is a Schubert subvariety of if and only if is smooth, where is the longest element in the Weyl group of . This result is applied to compute the conormal fibre at the zero matrix in any determinantal variety.

生成讲解博客的中文版本

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