Resolutions of determinantal ideals: \(t\)-minors of \((t+2)\times{} n\) matrices (Q1178932): Difference between revisions

Let \(R\) be a commutative Noetherian ring. For positive integers \(m,n\) let \(S=R[x_{ij}]_{1\leq i\leq m,1\leq j\leq n}\) be the polynomial ring in \(mn\) variables over \(R\). Then \(I_ t\) denotes the ideal generated by the \(t\times t\) minors of \(X=(x_{ij})\), where \(1\leq t\leq\min\{m,n\}\). By \textit{M. Hochster} and \textit{J. A. Eagon} [see Am. J. Math. 93, 1020-1058 (1971; Zbl 0244.13012)] it is known that \(I_ t\) is a perfect ideal, i.e., \(\text{pd}_ R S/I_ t=\hbox{grade}(I_ t)\). In order to find the explicit finite free resolution of \(S/I_ t\) over \(R[x_{ij}]\) it would be enough to solve the generic case \(R=\mathbb{Z}\). This is known for \(t=1\) (Koszul complex), \(t=\min \{ m,n\}\) (Eagon-Northcott complex), \(t=\min \{m,n\} -1\) (Akin-Buchsbaum-Weyman complex), and \(m=n=t+2\) [see the author and \textit{K. Kurano}, Adv. Math. (to appear)]. While in the case \(2\leq t\leq\min\{m,n\}-3\) there is no minimal free resolution of \(S/I_ t\) over \(\mathbb{Z}\) [see the author in Nagoya J. Math. 118, 203-216 (1990; Zbl 0707.13005)], there is an affirmative answer in the rested case \(t=\min\{m,n\} -2\). \textit{A. Lascoux} [see Adv. Math. 30, 202-237 (1981; Zbl 0394.14022)] has constructed a minimal free resolution of \(S/I_ t\) for \(R\) a field of characteristic zero by representations of the general linear groups. In contrast to that the author used methods from characteristic free representation theory developed by \textit{K. Akin}, \textit{D. A. Buchsbaum} and \textit{J. Weyman} [see Adv. Math. 39, 1-30 (1981; Zbl 0474.14035)]. The proof consists in the calculation of the Betti numbers of the resolution, in fact in the proof of their independence upon the characteristic, and it does not give an explicit construction of the resolution.