The seminormality property of circular complexes (Q1185396)

Let \(R\) be a Cohen-Macaulay normal domain. Let \(n_ 0\), \(n_ 1\) be two positive integers. Let \(X\) and \(Y\) be two generic matrices of sizes \(n_ 0\times n_ 1\) and \(n_ 1\times n_ 0\), respectively. For any integer \(r\) we denote by \(I_ r(X)\), resp. \(I_ r(Y)\), the ideal of \(R[X,Y]\) generated by the \((r+ 1)\times (r+ 1)\) minors of \(X\), resp. \(Y\). Let \(I_ r\) be the ideal generated by the elements of \(XY\), \(YX\), \(I_ r(X)\), and \(I_{n_ 1-r}(Y)\), \(0\leq r\leq n_ 1\). \textit{E. Strickland} [J. Algebra 75, 523-537 (1982; Zbl 0493.14030)] proved that \(R[X,Y]/I_ r\) is a Cohen-Macaulay normal domain. Using this result and the fact that \((XY,YX)= I_ 0\cap\cdots\cap I_{n_ 1}\), the author shows that the ring of circular complexes \(R[X,Y]/(XY,YX)\) is seminormal.