{"id":"arxiv/2609.00707","url":"https://arxiv.org/abs/2609.00707","tags":["math.AC"],"score":0,"title":"Trace ideals of syzygies","domain":"math.AC","source":"arxiv","authors":["Haydee Lindo","Justin Lyle","Sarasij Maitra"],"reviews":0,"subject":"math.AC","summary":"We study the behavior of trace ideals under taking syzygies. In particular, when $R$ is numerical semigroup ring and $I$ is a homogeneous ideal in $R$, we obtain an upper estimate for $\\operatorname{tr}_R(Ω^1_R(I))$, and we show this estimate is sharp when $I$ is the conductor ideal $\\mathfrak{c}_R$ of $R$. Using this result, we characterize the numerical semigroup rings for which $\\operatorname{tr}_R(M) \\subseteq \\operatorname{tr}_R(Ω^1_R(M))$ holds for every finitely generated $R$-module $M$. In a similar vein, we characterize numerical semigroup rings for which…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}