Complexes associated with trace and evaluation. Another approach to Lascoux's resolution (Q1074680)

Let \(R=K[X_{ij}]/I_ p\) be the coordinate ring of a determinantal variety. Here K is a field of characteristic zero, \(X_{ij}\) are the coordinate functions on the affine space \(M_{m\times n}(K)\) of all \(m\times n\) matrices over K and \(I_ p\) with \(1\leq p\leq \min (m,n)\) is the ideal generated by the \(p\times p\) minors of \(X=(X_{ij})\). The problem is to find explicitly a minimal free resolution of R over \(K[X_{ij}]\). The first approach to this question is due to Lascoux, who gave an explicit description of all components of a minimal resolution of R for any m, n, p. But his proofs seem to be incomplete. Here the authors present a somewhat different approach to this problem. Their methods are influenced by a construction of \textit{T. Gulliksen} and \textit{N. Negard} [C. R. Acad. Sci., Paris, Sér. A 274, 16-18 (1972; Zbl 0238.13015)], and they are mainly based on two papers of Akin, Buchsbaum and Weyman, using the technique of Schur complexes [see \textit{K. Akin}, \textit{D. A. Buchsbaum} and \textit{J. Weyman}, Adv. Math. 44, 207-278 (1982; Zbl 0497.15020) and 39, 1-30 (1981; Zbl 0474.14035)]. In a suitable generalization of the fundamental idea in the paper cited at last they can show that all modules of Lascoux's resolution can be obtained as the components of the homology complex coming from a certain double complex \({\mathcal L}^ k_{\bullet \bullet}\) of complexes (for \({\mathcal L}^ k_{\bullet \bullet}\) see theorem 1.8). The authors mention that the same procedure doesn't work in general, i.e for arbitrary characteristic.