A transitivity result for ad-nilpotent ideals in type A

The paper considers subspaces of the strictly upper triangular matrices, which are stable under Lie bracket with any upper triangular matrix. These subspaces are called ad-nilpotent ideals and there are Catalan number of such subspaces. Each ad-nilpotent ideal I meets a unique largest nilpotent orbit O-I in the Lie algebra of all matrices. The main result of the paper is that under an equivalence relation on ad-nilpotent ideals studied by Mizuno and others, the equivalence classes are the ad-nilpotent ideals I such that O-I = O for a fixed nilpotent orbit O. We include two applications of the result, one to the higher vanishing of cohomology groups of vector bundles on the flag variety and another to the Kazhdan-Lusztig cells in the affine Weyl group of the symmetric group. Finally, some combinatorial results are discussed. (C) 2021 Royal Dutch Mathematical Society (KWG). Published by Elsevier B.V. All rights reserved.