Syzygies of a certain family of generically imperfect modules (Q1330028)

Let \(\Phi : F \to G^*\) be a generic map of locally free modules of rank \(m = \text{rk} F \geq n = \text{rk} G\) over a scheme \(X\) of the form \(X = \text{Spec(Sym} (F_ 0 \otimes_{{\mathcal O}_{X_ 0}} G_ 0))\), where \(X_ 0\) is a scheme defined over \(\mathbb{Q}\). For any partition \(\lambda\) there is an induced map \(\Phi_ \lambda : L_ \lambda F \to L_ \lambda G^*\) of Schur functors. The author proves that if \(\lambda\) is a rectangular partition, the homological dimension of the module \(M_ \lambda = \text{coker} (\Phi_ \lambda)\) is \(D(\lambda) (m - n) + 1\), where \(D(\lambda)\) is the size of the Durfee square of \(\lambda\), i.e. the largest square partition contained in \(\lambda\). This generalizes results of \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Adv. Math. 18, 245-301 (1975; Zbl 0336.13007)] and of \textit{K. Akin}, \textit{D. A. Buchsbaum} and \textit{J. Weyman} [Adv. Math. 39, 1-30 (1981; Zbl 0474.14035)]. More precisely, the author determines the syzygy modules of \(M_ \lambda\) in the case \(\lambda = (r^ s)\) by pushing down a certain Schur complex on the Grassmannian \(Y = \text{Grass}_{n - r} (G)\) and by using the spectral sequences of hypercohomology and Bott's theorem to calculate the result.