Schur powers of the cokernel of a graded morphism
Abstract
Let : F G be a graded morphism between free R-modules of rank t and t+c-1, respectively, and let Ij() be the ideal generated by the j × j minors of a matrix representing . In this short note: (1) We show that the canonical module of R/Ij() is up to twist equal to a suitable Schur power I M of M= ( *); thus equal to t+1-jM if c=2 in which case we find a minimal free R-resolution of t+1-jM for any j, (2) For c = 3, we construct a free R-resolution of 2M which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For c 4, we construct under a certain depth condition the first three terms of a free R-resolution of 2M which are minimal up to a precise summand. As a byproduct we answer the first open case of a question posed by Buchsbaum and Eisenbud.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.