加载中…
Let be a complex cominuscule flag manifold of type . We prove that each characteristic cycle of the intersection homology (IH) complex of a Schubert variety in is irreducible. The proof utilizes an earlier algorithm by the same authors which calculates local Euler obstructions, then proceeds by direct computer calculation using Sage. This completes to the exceptional Lie types the characterization of irreducibility of IH sheaves of Schubert varieties in cominuscule obtained by Boe and Fu. As a by-product, we also obtain that the Mather classes, and the Chern-Schwartz-MacPherson classes of Schubert cells in cominuscule of type , are strongly positive.

生成讲解博客的中文版本

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