A partial order on bipartitions from the generalized Springer correspondence (Q1790656)

Summary: In [Represent. Theory 8, 72--124 (2004; Zbl 1073.20036)], \textit{G. Lusztig} gives an explicit formula for the bijection between the set of bipartitions and the set \(\mathcal{N}\) of unipotent classes in a spin group which carry irreducible local systems equivariant for the spin group but not equivariant for the special orthogonal group. The set \(\mathcal{N}\) has a natural partial order and therefore induces a partial order on bipartitions. We use the explicit formula given in [Lusztig, loc. cit.] to prove that this partial order on bipartitions is the same as the dominance order appeared in \textit{R. Dipper} et al.'s work [Proc. Lond. Math. Soc. (3) 70, No. 3, 505--528 (1995; Zbl 0829.20021)].