English

Schur powers of the cokernel of a graded morphism

Algebraic Geometry 2025-07-03 v2

Abstract

Let φ:FG\varphi: F\longrightarrow G be a graded morphism between free RR-modules of rank tt and t+c1t+c-1, respectively, and let Ij(φ)I_j(\varphi) be the ideal generated by the j×jj \times j minors of a matrix representing φ\varphi. In this short note: (1) We show that the canonical module of R/Ij(φ)R/I_j(\varphi) is up to twist equal to a suitable Schur power ΣIM\Sigma ^I M of M=\coker(φ)M=\coker (\varphi ^*); thus equal to t+1jM\wedge ^{t+1-j}M if c=2c=2 in which case we find a minimal free RR-resolution of t+1jM\wedge ^{t+1-j}M for any jj, (2) For c=3c = 3, we construct a free RR-resolution of 2M\wedge ^2M which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For c4c \ge 4, we construct under a certain depth condition the first three terms of a free RR-resolution of 2M\wedge ^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.

Keywords

Cite

@article{arxiv.2311.08008,
  title  = {Schur powers of the cokernel of a graded morphism},
  author = {Jan O. Kleppe and Rosa M. Miró-Roig},
  journal= {arXiv preprint arXiv:2311.08008},
  year   = {2025}
}

Comments

Published in JPAA