Complexes associated with trace and evaluation. Another approach to Lascoux's resolution (Q1074680): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0001-8708(85)90052-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2070610719 / rank | |||
Normal rank |
Revision as of 14:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexes associated with trace and evaluation. Another approach to Lascoux's resolution |
scientific article |
Statements
Complexes associated with trace and evaluation. Another approach to Lascoux's resolution (English)
0 references
1985
0 references
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.
0 references
determinantal variety
0 references
minimal free resolution
0 references