Schur powers of the cokernel of a graded morphism

IF 0.8 2区 数学 Q2 MATHEMATICS Journal of Pure and Applied Algebra Pub Date : 2025-02-01 Epub Date: 2025-02-07 DOI:10.1016/j.jpaa.2025.107902
Jan O. Kleppe , Rosa M. Miró-Roig
{"title":"Schur powers of the cokernel of a graded morphism","authors":"Jan O. Kleppe ,&nbsp;Rosa M. Miró-Roig","doi":"10.1016/j.jpaa.2025.107902","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><mi>φ</mi><mo>:</mo><mi>F</mi><mo>⟶</mo><mi>G</mi></math></span> be a graded morphism between free <em>R</em>-modules of rank <em>t</em> and <span><math><mi>t</mi><mo>+</mo><mi>c</mi><mo>−</mo><mn>1</mn></math></span>, respectively, and let <span><math><msub><mrow><mi>I</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>(</mo><mi>φ</mi><mo>)</mo></math></span> be the ideal generated by the <span><math><mi>j</mi><mo>×</mo><mi>j</mi></math></span> minors of a matrix representing <em>φ</em>. In this paper: (1) We show that the canonical module of <span><math><mi>R</mi><mo>/</mo><msub><mrow><mi>I</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>(</mo><mi>φ</mi><mo>)</mo></math></span> is up to twist equal to a suitable Schur power <span><math><msup><mrow><mi>Σ</mi></mrow><mrow><mi>I</mi></mrow></msup><mi>M</mi></math></span> of <span><math><mi>M</mi><mo>=</mo><mi>coker</mi><mo>(</mo><msup><mrow><mi>φ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo></math></span>; thus equal to <span><math><msup><mrow><mo>∧</mo></mrow><mrow><mi>t</mi><mo>+</mo><mn>1</mn><mo>−</mo><mi>j</mi></mrow></msup><mi>M</mi></math></span> if <span><math><mi>c</mi><mo>=</mo><mn>2</mn></math></span> in which case we find a minimal free <em>R</em>-resolution of <span><math><msup><mrow><mo>∧</mo></mrow><mrow><mi>t</mi><mo>+</mo><mn>1</mn><mo>−</mo><mi>j</mi></mrow></msup><mi>M</mi></math></span> for any <em>j</em>, (2) For <span><math><mi>c</mi><mo>=</mo><mn>3</mn></math></span>, we construct a free <em>R</em>-resolution of <span><math><msup><mrow><mo>∧</mo></mrow><mrow><mn>2</mn></mrow></msup><mi>M</mi></math></span> which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For <span><math><mi>c</mi><mo>≥</mo><mn>4</mn></math></span>, we construct under a certain depth condition the first three terms of a free <em>R</em>-resolution of <span><math><msup><mrow><mo>∧</mo></mrow><mrow><mn>2</mn></mrow></msup><mi>M</mi></math></span> 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 in <span><span>[2, pg. 299]</span></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 2","pages":"Article 107902"},"PeriodicalIF":0.8000,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Pure and Applied Algebra","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022404925000416","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/2/7 0:00:00","PubModel":"Epub","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

Let φ:FG be a graded morphism between free R-modules of rank t and t+c1, respectively, and let Ij(φ) be the ideal generated by the j×j minors of a matrix representing φ. In this paper: (1) We show that the canonical module of R/Ij(φ) is up to twist equal to a suitable Schur power ΣIM of M=coker(φ); thus equal to t+1jM if c=2 in which case we find a minimal free R-resolution of t+1jM 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 c4, 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 in [2, pg. 299].
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
渐变态射核的Schur幂
设φ:F / G分别是秩为t和秩为t+c−1的自由r模之间的渐变态射,设Ij(φ)是由表示φ的矩阵的j×j次元生成的理想。(1)证明了R/Ij(φ)的正则模在扭曲前等于M=coker(φ φ)的一个合适的Schur幂ΣIM;因此,当c=2时,∧t+1−jM等于∧t+1−jM,在这种情况下,我们找到∧t+1−jM对任意j的最小自由r分辨率,(2)当c=3时,我们构造出∧2M的几乎最小自由r分辨率(即前三项最小到精确求和),以及(3)当c≥4时,我们在一定深度条件下构造出∧2M的自由r分辨率的前三项最小到精确求和。作为副产品,我们回答了Buchsbaum和Eisenbud在[2,第299页]中提出的问题的第一个公开案例。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
1.70
自引率
12.50%
发文量
225
审稿时长
17 days
期刊介绍: The Journal of Pure and Applied Algebra concentrates on that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications.
期刊最新文献
Translational hulls of semigroups of endomorphisms of an algebra Editorial Board Skew Symmetric Extended Affine Lie algebras Two invariant subalgebras of rational Cherednik algebras On the strong Sarkisov program
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1