Year: 2026
Type: preprint
Abstract: 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 $\operatorname{tr}_R(Ω^1_R(\mathfrak{c}_R))=\mathfrak{c}_R$.
Source: arXiv (Cornell University)
Authors: Lindo, Haydee, Lyle, Justin, Maitra, Sarasij
Institutions: Villanova University, Auburn University
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7206172824