Equidimensionality of the Brauer loop scheme (Q976732)

Recently, \textit{A.~Knutson} and \textit{P.~Zinn-Justin} introduced a non-standard multiplication in \(M_n(\mathbb C)\), the space of all \(n\) by \(n\) matrices, denoted \(\bullet\) [see Adv. Math. 214, No. 1, 40--77 (2007; Zbl 1193.14068)]. By definition, the Brauer loop scheme is \(E:=\{M\in M_n({\mathbb C})\mid M\bullet M=0\}\). Knutson and Zinn-Justin have classified all the top dimensional irreducible components of \(E\). The main result of the article under review is that \(E\) is equidimensional, i.e., there are no other irreducible components. This was already conjectured in [loc. cit].