Prefer a chat interface with context about you and your work?
K-orbit closures on G/B as universal degeneracy loci for flagged vector bundles splitting as direct sums