Stable trace ideals and applications

Abstract

We study stable trace ideals in one dimensional local Cohen–Macaulay rings and give numerous applications.

Introduction

Let R be a one dimensional Cohen–Macaulay local ring. Let I be an ideal of height one in R. Recall that I is called stable if $I\cong {\text{End}}_R(I)$ as R-modules. Recall that the trace of a module M is $\text{tr}M={\sum }_{f\in {\text{Hom}}_R(M,R)}\text{Im}(f)$. I is called a trace ideal if it is $\text{tr}M$ for some module M, equivalently, if $I=\text{tr}I$. Stable ideals can be thought of as ideals with simplest blow-ups, and Lipman exploited their nice properties in his seminal work on Arf rings, see [15, Sections 1 and 2] for details. Trace ideals have long been useful technical tools in commutative algebra, but recently they have attracted new attention as interesting objects in their own right, see [6–8, 14].

In this paper, we study stable trace ideals in detail. Our motivation comes from many sources. First, via endomorphism rings, they are in a one-to-one correspondence with the set of finite birational extensions of R that are self-dual as R-modules. Throughout the paper, a self-dual module M means ${\text{Hom}}_R(M,R)\cong M$. These birational extensions play a key role in studying reflexive modules over R, see [3]. If the integral closure of R is finite, then its conductor is always a stable trace ideal. Second, a key result in [14] on modules whose endomorphism ring has Gorenstein center can be viewed as a statement about modules whose trace ideal is stable, and our collaboration started from this insight.

We soon realize that stable trace ideals satisfy even more delightful properties in general, and they seem to hold the key to understand reflexive modules, trace ideals and integrally closed ideals in general. We hope that our work will serve as a starting point for more studies in these directions.

We now describe the key results and organization of our paper. After a preliminary section, we focus on basic properties of stable and stable trace ideals in Sect. 3. We shall focus on regular ideals, those that contain a regular element. We prove that if either I or the trace of I, $\text{tr}I$ is stable, then $\text{tr}I$ is isomorphic to $I^{\ast }={\text{Hom}}_R(I,R)$, the R-dual of I.

In Sect. 4, we point out the connections between stable ideals and reflexive ideals. For instance, if $\text{tr}I$ is stable, then I is reflexive if and only $I\cong I^{\ast }$ if and only if $I\cong \text{tr}I$. We also give a characterization for when $\text{tr}I\cong I^{\ast }$ using the conductor of the birational blow-up ring of I.

Next we establish two key theorems in Sect. 5. The first one says that if M is a module whose trace $I=\text{tr}M$ is stable and regular, then I is a direct summand of a direct sum of the dual $M^{\ast }$. Thus, if Krull-Schmidt holds, then I is a direct summand of $M^{\ast }$. If furthermore M is reflexive, then I must be a summand of M. The second theorem says that if I, J and $I\cap J$ are stable trace ideals, then ${\text{Hom}}_R(I,J)\cong {\text{Hom}}_R(J,I)\cong I\cap J\cong \text{tr}(IJ)$. This result generalizes the well-known fact that if I is a stable trace ideal, then ${\text{Hom}}_R(I,I)\cong I\cong I^2\cong I^{\ast }$.

In Sect. 6 we study the connections between stable trace ideals and integrally closed ideals. Fix a regular integrally closed ideal J and consider the set T(J) of ideals I whose integral closure is J. The key result here states that among T(J), the stable ones must be minimal with respect to inclusion. The concept of T(J) seems to be interesting in its own right, and it clearly plays in important role in understand the abundance (or lack thereof) of trace ideals. We are able to compute it in several examples.

The last two sections give some brief applications of the theory in some currently active topics. For instance, in Sect. 7 we give a new characterization of Arf rings: they are the ones where any regular trace ideal is stable. Furthermore, over a complete reduced Arf ring, any reflexive modules with a rank decompose into direct sum of stable trace ideals. Finally, Sect. 8 focuses on classes rings defined by the trace of canonical ideals. For instance, we give an alternative proof of a result in [8] that when R has minimal multiplicity, the properties of being almost Gorenstein and nearly Gorenstein are equivalent. We also recover a result in [9] that characterizes canonical ideals whose trace equals the conductor.

Preliminaries

In this section we recall some basic notions and results needed for subsequent sections.

Throughout R is a commutative Noetherian ring. We write Q(R) for the total quotient ring of R. Given an R-module M and an ideal I we write $M^{\ast }$ for ${\text{Hom}}_R(M,R)$, $I^{-1}$ for the set $\{x\in Q(R)|xI\subseteq R\}$ and $\overline{I}$ for the integral closure of I.

Definition 2.1

The trace map on M is the homomorphism ${\tau }_M:M\otimes M^{\ast }⟶R$ given by $m\otimes \alpha \mapsto \alpha (m)$. The trace ideal of M, denoted $\text{tr}(M)$, is the image of ${\tau }_M$ in R. We say an ideal I of R is trace (or is a trace ideal) provided there exists an R-module M such that $I=\text{tr}(M)$.

Remark 2.2

Note that if $M\cong N$ as R-modules then $\text{tr}M=\text{tr}N.$

Lemma 2.3

If I is a trace ideal then the following hold true

1. $\text{tr}(I)=I$

2. The inclusion $I\subseteq R$ induces the identification $I^{\ast }={\text{End}}_R(I)$.

Proof

c.f. [14, Proposition 2.8].$\square$

The following lemma is well-known; see, for example, [13, Proposition 4.14] for a similar result to Lemma 2.4 in slightly different language. We provide proofs for the sake of completion.

Lemma 2.4

Let S be a ring such that $R\subseteq S\subset Q(R)$. Suppose M and N are S-modules. If N is torsionfree S-module, then

$$\begin{array}{c}\hfill {\text{Hom}}_R(M,N)={\text{Hom}}_S(M,N).\end{array}$$

Proof

Since $R\subseteq S$ all S-linear homomorphisms are R-linear and ${\text{Hom}}_S(M,N)\subseteq {\text{Hom}}_R(M,N)$. Given any $\alpha \in {\text{Hom}}_R(M,N)$, $m\in$M, and ${\displaystyle \frac{a}{b}}\in S$ note that

$$\begin{array}{c}\hfill b\left[{\displaystyle \frac{a}{b}},\alpha ,(m),-,\alpha ,\left({\displaystyle \frac{a}{b}},m\right)\right]=0.\end{array}$$

Since b is a nonzerdivisor and N is torsionfree we conclude that ${\displaystyle \frac{a}{b}}\alpha (m)-\alpha \left({\displaystyle \frac{a}{b}},m\right)=0$ and therefore $\alpha$ is S-linear.$\square$

Stable trace ideals in dimension one

Throughout this section we assume $(R,\mathfrak{m})$ is a local Cohen–Macaulay ring of dimension one. Recall that an ideal I is regular if it contains a nonzerodivisor. The blow-up ring of I in R is defined as $B_R(I):={\cup }_{n>0}{I}^n{:}_{Q(R)}{I}^n$. Such a regular ideal I is called stable if $B_R(I)=I{:}_{Q(R)}I$ ([15, Definition 1.3]). Let b(I) denote the trace of $B_R(I)$.

In what follows we write $\text{Z}({\text{End}}_R(I))$ for the center of the endomorphism ring of an ideal I. For a regular ideal I, we identify the modules $I^{\ast }:={\text{Hom}}_R(I,R)$ and $I^{-1}:=\{x\in Q(R)|xI\subseteq R\}$ as subsets of Q(R).

Lemma 3.1

Let I and J be regular ideals in R. If $J\cong I$ then ${\text{End}}_R(I)={\text{End}}_R(J)$ in Q(R).

Proof

Because these ideals are regular, $J\cong I$ implies $J=xI$ for some $x\in Q(R)$. For any $y\in {\text{End}}_R(I)$,

$$\begin{array}{c}\hfill yJ=yxI=xyI\subseteq xI=J.\end{array}$$

We have shown that ${\text{End}}_R(I)\subseteq {\text{End}}_R(J)$. A symmetric argument proves the other containment. $\square$

The following is largely known, but for lack of convenient references we provide proofs.

Proposition 3.2

Let I be a regular ideal. The following are equivalent:

1. I is stable.

2. $I\cong {\text{End}}_R(I)$.

3. $I^2=xI$ for some regular $x\in I$.

4. $I\cong I^2$.

Proof

Let $S=I{:}_{Q(R)}I$. Clearly $S\cong {\text{End}}_R(I)$. Since I is an ideal of S and S-isomorphisms are R-isomorphisms between the two (Lemma 2.4), (2) is equivalent to $I=xS$ for some $x\in S$. Note that such x must be in I and regular. If $I=xS$, then $I^2=x^2{S}^2=x^{2}S=xI$, so (2) implies (3). Assume (3), then $\frac{I^2}{x}=I$, thus $\frac{I}{x}\subset S$. But clearly $S\subset \frac{I}{x}$, hence $S=\frac{I}{x}\cong I$, and we established the equivalence of (2) and (3). Finally (3) implies (4), and if (4) holds then $I^n\cong I$ for any n, thus $B_R(I)=S$ by Lemma 3.1. The equivalence of (1) and (3) is [15, Lemma 1.11].$\square$

The next result collects the main characterizations of stable trace ideals.

Proposition 3.3

Let I be a regular trace ideal. The following are equivalent:

1. $I^2=xI$ for some regular element $x\in I$.

2. $I^2\subset (x)$ for some regular element $x\in I$.

3. $I=(x):I$ for some regular element $x\in I$.

4. $I\cong I^{\ast }$.

5. $I\cong {\text{End}}_R(I)$.

6. $I\cong I^2$.

7. I is stable.

Proof

The equivalence of (1), (5), (6), (7) is Proposition 3.2. $(1)\Rightarrow (2)$ is clear.

$(2)\Rightarrow (3)$: if $I^2\subseteq (x)$, note that

$$\begin{array}{c}\hfill I\subset (x):I=x{I}^{-1}\subseteq I{I}^{-1}=\text{tr}(I)=I.\end{array}$$

The claim follows.

$(3)\Rightarrow (4)$: Note $I=(x):I=x{I}^{-1}=x{I}^{\ast }\cong I^{\ast }$.

$(4)\Rightarrow (5)$: This follows from the assumption that I is regular and trace which implies an equality in Q(R) between $I^{\ast }$ and ${\text{End}}_R(I)$. $\square$

Remark 3.4

If I in Proposition 3.3 has a principal reduction, by [5, Proposition 4.5] we may take (x) in the proposition to be that reduction. The assumption that an ideal has a principal reduction is a mild one. For example, it is true for all ideals whenever R has an infinite residue field; see [10, 8.3.7, 5.1.6].

Lemma 3.5

If $A\subseteq J$ is a reduction of a regular ideal J then $A{J}^{\ast }$ is a reduction of $\text{tr}(J)$ and there exists an n such that $A\text{tr}{(J)}^n=J\text{tr}{(J)}^n$.

Proof

Note, $A{J}^{\ast }\subseteq J{J}^{\ast }=\text{tr}(J).$ As a reduction, there exists some n such that $A{J}^n=J^{n+1}$. Then in Q(R)

$$\begin{array}{c}\hfill A{J}^{\ast }\text{tr}{(J)}^n=A{J}^{\ast }{J}^n{(J^{\ast })}^n=J^{n+1}{(J^{\ast })}^{n+1}=\text{tr}{(J)}^{n+1}.\end{array}$$

Also,

$$\begin{array}{c}\hfill A\text{tr}{(J)}^n=A{J}^n{(J^{\ast })}^n=J^{n+1}{(J^{\ast })}^n=J\text{tr}{(J)}^n.\end{array}$$

$\square$

Remark 3.6

By this lemma, when J has a principal reduction, we have $J^{\ast }\text{tr}{(J)}^n\cong \text{tr}{(J)}^{n+1}$ for some n. Proposition 3.8 below is concerned with the case $n=0$. It considers results of the kind obtained in Proposition 3.3 in the case where an ideal I is stable but not necessarily a trace ideal.

Lemma 3.7

([5, Lemma 3.6]) Suppose that I is a regular ideal and $x\in I$ be a non zero divisor. Then $\text{tr}(I)=I((x){:}_{R}I){:}_{R}x$. $\square$

Proposition 3.8

Let J be an regular ideal with a principal reduction (x) and let $I=\text{tr}(J)$. Consider the following:

1. $I\cong I^2$.

2. $I=(x):J$.

3. $I\cong (x):J$.

4. $I\cong J^{\ast }$.

Then $(1)\Rightarrow (2)⟺(3)⟺(4)$.

Proof

Clearly (3) and (4) are equivalent and (2) implies both. Assume (4). Let $J^{\prime }=(x):J\cong J^{\ast }$. Then by Lemma 3.7$J{J}^{\prime }=xI\cong I\cong J^{\prime }$. Since J has a principal reduction and $J^{\prime }$ is MCM (since it is a dual over a one-dimensional ring), by [5, Prop 4.5] and Lemma 3.7, $xI=J{J}^{\prime }=x{J}^{\prime }$, thus $I=J^{\prime }$. Thus (4) implies (2).

$(1)\Rightarrow (2)$: by Lemma 3.5 there is n such that $x{I}^n=J{I}^n$. Since I is stable, it follows that $\frac{J}{x}\subset I^n{:}_{Q(R)}{I}^n=I{:}_{Q(R)}I$. Thus $JI=xI$, hence $I\subset x:J$. But $I\supset x:J$ by Lemma 3.7, so (2) holds. $\square$

Example 3.9

The implication $(4)\Rightarrow (1)$ does not hold even if R is a hypersurface. Let $R=k[[x,y]]/(x^5-y^3)$ and $J=(y,x^4)$. Then $(y):J=\mathfrak{m}=\text{tr}(J)$ but $\mathfrak{m}\ncong {\mathfrak{m}}^2$.

Proposition 3.10

Suppose I is a stable ideal. Then $\text{tr}I\cong I^{\ast }$ and $\text{tr}I=x:I$ for any principal reduction x of I.

Proof

Let $S=I{:}_{Q(R)}I$. Then $I\cong S$, so $\text{tr}I=\text{tr}S\cong S^{\ast }\cong I^{\ast }$. The last assertion follows from Proposition 3.8.$\square$

Stable trace ideals and reflexive ideals

In this section we investigate the relationship between stable trace and reflexive ideals. Continue to assume $(R,\mathfrak{m})$ is a local Cohen–Macaulay ring of dimension one. An R-module M is called self-dual if $M\cong M^{\ast }$. Evidently a self-dual module is reflexive. We start by recalling a couple of results and definitions from [5].

Proposition 4.1

Any regular stable trace ideal is reflexive. There is a one-to-one correspondence between the set of regular stable trace ideals of R and the set of birational extensions S of R that are self-dual.

Proof

A regular stable trace ideal is self-dual by Proposition 3.3. The second statement is a combination of [5, Lemma 2.8] and Proposition 3.3. $\square$

Definition 4.2

Assume I is a regular (fractional) ideal of R. Let b(I) denote the conductor of $B_R(I)$.

Definition 4.3

Let M and N be R-modules. We say M generates N is there exists a surjection

$$\begin{array}{c}\hfill M^{(\mathrm{\Lambda })}\twoheadrightarrow N\end{array}$$

for some index set $\mathrm{\Lambda }$.

Lemma 4.4

Let I and J be ideals. Then I generates IJ.

Proof

For each element $j\in J$ we may construct a family of homomorphisms ${\alpha }_j:I⟶IJ$ given by $i\mapsto ij$. The product of these homomorphisms is a surjective map

$$\begin{array}{c}\hfill \prod _{j\in J}{\alpha }_j:\prod _{j\in J}I⟶IJ.\end{array}$$

$\square$

Remark 4.5

It follows from Lemma 4.4 that I generates $I^n$ for all $n>0$. Note, when J is finitely generated by elements $j_i,\dots ,j_n$ then ${\prod }_{j\in J}{\alpha }_j$ may be replaced by ${\prod }_{k=1}^n{\alpha }_{j_k}$ in the proof of Lemma 4.4.

Proposition 4.6

Let I, J be regular ideals. We have:

1. It always holds that $b(I)\subseteq \text{tr}I$.

2. If $J\cong IJ$ then $\text{tr}J\subseteq b(I)$. The converse holds if J is reflexive.

Proof

We have $b(I)=\text{tr}{B}_R(I)=\text{tr}{I}^n$ for some large enough n (as $I^n$ is eventually stable and so $B_R(I)\cong I^n$). But as I generates $I^n$ by Proposition 4.5, $\text{tr}I\supseteq \text{tr}{I}^n$. For (2), $IJ\cong J$ means J is I-Ulrich in the sense of [5], and the assertions follows from [5, Corollary 4.11].$\square$

Proposition 4.7

Let I be a regular ideal. The following are equivalent:

1. $b(I)=\text{tr}I$.

2. $\text{tr}I\cong I^{\ast }$.

Proof

Assume (1), to prove (2) we can make a faithfully flat extension of R to assume that I has a principal reduction x. Then as we always have $b(I)\subset x:I\subset \text{tr}I$, see [5, 4.20], (1) forces $\text{tr}I=x:I\cong I^{\ast }$. Assume (2). Then as $\text{tr}I\cong I{I}^{\ast }$ we have $\text{tr}I\cong I\text{tr}I$, so $\text{tr}I\subset b(I)$, and thus equality holds by Proposition 4.6.$\square$

Proposition 4.8

Assume that I is a regular reflexive ideal. The following are equivalent:

1. I is stable.

2. $b(I)=\text{tr}I$.

3. $\text{tr}I\cong I^{\ast }$.

Proof

I is stable is the same as $I\cong I^2$, which since I is reflexive, is equivalent to $\text{tr}I=b(I)$ by Proposition 4.6.$\square$

The next results identify reflexive ideals whose trace ideals are stable.

Proposition 4.9

Assume that $\text{tr}I$ is stable. The following are equivalent:

1. I is reflexive.

2. $I\cong \text{tr}I$.

3. $I\cong I^{\ast }$.

In particular, if I is reflexive and $\text{tr}I$ is stable than so is I.

Proof

Since $\text{tr}I$ is stable we have $\text{tr}I\cong I^{\ast }$ by Proposition 3.8, so $(2)\Rightarrow (3)$ immediately. If I is reflexive, then as $\text{tr}I=b(\text{tr}I)$, by Proposition 4.6 we get that $I\cong I\text{tr}I\cong I{I}^{\ast }\cong \text{tr}I$. Thus $(1)\Rightarrow (2)$. Finally, $(3)\Rightarrow (1)$ is clear.$\square$

Corollary 4.10

Let I a regular reflexive ideal. The following are equivalent:

1. $\text{tr}I$ is stable.

2. I is stable and self-dual.

Proof

If $\text{tr}I$ is stable, then I is stable and self-dual by Proposition 4.9. If I is stable, then $\text{tr}I\cong I^{\ast }\cong I$ by Proposition 3.10, thus $\text{tr}I$ is stable.$\square$

Two theorems on stable trace ideals

The following extends our findings for stable trace ideals. It plays a crucial role for classifying reflexive modules over Arf rings later.

Theorem 5.1

Let M be an R-module and suppose $\text{tr}(M)=I$ is regular and stable. Then $I=\text{tr}Z(\text{End}(M^{\ast }))$, $I=\text{tr}(M^{\ast })$ and $I\in \text{add}(M^{\ast })$, that is, I is a summand of a direct sum of copies of $M^{\ast }$.

Proof

Let $S=Z(\text{End}(M^{\ast }))$. Then $S=\text{End}(I)=I^{\ast }$ as a subset of Q(R); see [14, Proposition 2.8, Corollary 3.24].

Since $M^{\ast }$ generates $M{\otimes }_R{M}^{\ast }$ which generates $\text{tr}(M)$ we have $I=\text{tr}(M)\subset \text{tr}(M^{\ast })$. Also, since $M^{\ast }$ is an S-module, S generates $M^{\ast }$ and $\text{tr}(M^{\ast })\subset \text{tr}(S)$. By assumption I is stable and trace, that is $I\cong I^{\ast }=S$, thus $\text{tr}(S)=\text{tr}(I^{\ast })=\text{tr}I=I$. Altogether

$$\begin{array}{c}\hfill I\subseteq \text{tr}(M^{\ast })\subseteq \text{tr}(S)=I.\end{array}$$

From this we know $M^{\ast }$ generates I. Because I is stable, $I\cong S$, and it follows that a direct sum of copies of the S-module $M^{\ast }$ surjects onto S. Since S is a torsionfree R-module, this surjection is also S-linear. It follows that $I\cong S\in \text{add}(M^{\ast })$. $\square$

Next, we study homomorphism modules of stable trace ideals. We start with some preparatory results.

Lemma 5.2

Let I, J be ideals. Then ${\text{Hom}}_R(I,J)={\text{Hom}}_R(I,\text{tr}(I)\cap J)$.

Proof

Any map from I to R must have its image in $\text{tr}(I)$. If follows that any map from I to J must land in $\text{tr}(I)\cap J$.$\square$

Proposition 5.3

Suppose that I, J are stable ideals. Then

$$\begin{array}{c}\hfill \text{tr}(IJ)\cong {\text{Hom}}_R(I,\text{tr}J)\end{array}$$

Proof

The natural surjection $I\otimes J\to IJ$, given by $i\otimes j\mapsto ij$, is an isomorphism at minimal primes and therefore has a kernel of finite length. Applying $\text{Hom}(-,R)$ and then using hom-tensor adjointness and the fact that $\text{tr}J\cong J^{\ast }$ (see Proposition 3.10) we get that

$$\begin{array}{c}\hfill {(IJ)}^{\ast }\cong {\text{Hom}}_R(I\otimes J,R)\cong {\text{Hom}}_R(I,J^{\ast })\cong {\text{Hom}}_R(I,\text{tr}J).\end{array}$$

Since I and J are stable, their product $IJ\cong I^2{J}^2={(IJ)}^2$ is also stable, thus we are done.$\square$

Theorem 5.4

Suppose that I, J,  are stable trace ideals. Then

$$\begin{array}{c}\hfill {\text{Hom}}_R(I,J)\cong {\text{Hom}}_R(J,I)\cong \text{tr}(IJ)\end{array}$$

If $I\cap J$ is also a stable trace ideal then

$$\begin{array}{c}\hfill \text{tr}(IJ)\cong I\cap J.\end{array}$$

Proof

The first assertion follows from Proposition 5.3. For the second one, let $L=I\cap J$, then applying Lemma 5.2 and Proposition 5.3 we get:

$$\begin{array}{c}\hfill \text{tr}(IJ)\cong \text{Hom}(I,J)\cong \text{Hom}(I,L)\cong \text{Hom}(L,I)\cong \text{Hom}(L,L\cap I)=\text{Hom}(L,L)\cong L\end{array}$$

$\square$

The set of regular trace ideals with the same integral closure

In this section we explore the interaction between trace ideals and their integral closures.

Lemma 6.1

Let J be an ideal and $\varphi \in J^{\ast }$. Then ${\varphi }^n$ is defined on $J^n$. In particular, for $x\in J$

$$\begin{array}{c}\hfill {\varphi }^n(x^n)={(\varphi (x))}^n.\end{array}$$

Proof

Let $J\subseteq R$ be any ideal with $\varphi \in J^{\ast }$. For $a_i\in J$ by R-linearlity

$$\begin{array}{c}\hfill \varphi (a_1)·\varphi (a_2)=\varphi (\varphi (a_1)·a_2)=\varphi (\varphi (a_1·a_2))={\varphi }^2(a_1{a}_2).\end{array}$$

By induction $\varphi (a_1)\cdots \varphi (a_n)={\varphi }^n(a_1\cdots a_n)$ for all $n\ge 1$. Indeed,

$$\begin{array}{cc}\hfill \varphi (a_1)\cdots \varphi (a_k)& ={\varphi }^{k-1}(a_1\cdots a_{k-1})·\varphi (a_k)\hfill \\ \hfill & ={\varphi }^{k-1}(\varphi (a_k)a_1\cdots a_{k-1})\hfill \\ \hfill & ={\varphi }^{k-1}(\varphi (a_1\cdots a_{k-1}{a}_k))\hfill \\ \hfill & ={\varphi }^k(a_1\cdots a_k).\hfill \end{array}$$

It follows that ${\varphi }^n(x^n)={(\varphi (x))}^n$ for any $x\in J$ and $n\ge 1$. $\square$

Theorem 6.2

If I is a trace ideal then so is $\overline{I}$.

Proof

Suppose I is a trace ideal and $x\in \overline{I}$ such that

$$\begin{array}{c}\hfill x^n+a_1{x}^{n-1}+\cdots +a_{n-1}x+a_n=0\end{array}$$

for some $n\ge 0$ and $a_i\in I^i$. Let $\psi \in {(\overline{I})}^{\ast }$. Note that since $x^{n-j}$ is in the domain of ${\psi }^{n-j}$ by Lemma 6.1 and $a_j$ is in the domain of ${\psi }^n\in {\text{End}}_R(I)$ for all $n\ge 0$ because I is trace and so ${(\psi {|}_I)}^n\in I^{\ast }={\text{End}}_R(I)$. For any $n\ge 1$ we have

$$\begin{array}{cc}\hfill {\psi }^n(a_j{x}^{n-j})& ={\psi }^j({\psi }^{n-j}(a_j{x}^{n-j}))\hfill \\ \hfill & ={\psi }^j(a_j·{\psi }^{n-j}(x^{n-j}))\hfill \\ \hfill & ={\psi }^j(a_j){\psi }^{n-j}(x^{n-j})\hfill \\ \hfill & ={\psi }^j(a_j)·{(\psi (x))}^{n-j}\hfill \end{array}$$

where the final equality follows from Lemma 6.1. We may write $a_j=b_1\cdots b_j$ with $b_i\in I$ and observe that

$$\begin{array}{c}\hfill {\psi }^j(a_j)={\psi }^j(b_1\cdots b_j)=b_1\cdots b_{j-1}{\psi }^j(b_j)\in I^j.\end{array}$$

By the above

$$\begin{array}{cc}\hfill {(\psi (x))}^n=& {\psi }^n(x^n)\hfill \\ \hfill =& {\psi }^n(-(a_1{x}^{n-1}+\cdots +a_{n-1}x+a_n))\hfill \\ \hfill =& -\sum _{j=1}^n{\psi }^j(a_j)·{(\psi (x))}^{n-j}\hfill \end{array}$$

It follows that $\psi (x)\in \overline{I}$ and $\overline{I}$ is a trace ideal.$\square$

Lemma 6.3

If I is a regular trace ideal with a principal reduction (x) and J is another trace ideal with $I\subset J\subset \overline{I}$. If J is stable, then $I=J$.

Proof

Let (x) be a principal reduction of I. Then (x) is also a principal reduction of J which is stable by assumption and therefore $xJ=J^2$; see [5, Proposition 4.5] .

It follows that $I^2\subseteq J^2\subseteq (x)$, so by Proposition Lemma 3.3$I^2=xI$. Now again by Lemma 3.3, $I=(x):I\supset (x):J=J$, so $I=J$.$\square$

Corollary 6.4

If I is a regular trace ideal with a principal reduction (x) and $\overline{I}$ is stable, then $I=\overline{I}$.

Next, we make the key definition of this section.

Definition 6.5

Let J be a regular integrally closed ideal. Let T(J) denote the set of trace ideals I such that $\overline{I}=J$.

To keep things simple we assume:

Setup 6.6

Let R be a Cohen–Macaulay local ring of dimension one with the following properties: any regular ideal has a principal reduction and the integral closure $\overline{R}$ of R is a finite R-module. Let $\mathfrak{c}$ be the conductor of $\overline{R}$ in R. For instance, if R is a analytically unramified ring with inifinite residue field then R satisfies these conditions.

Proposition 6.7

Let R as in Setup 6.6. Let J be a regular integrally closed ideal. We have:

1. T(J) is non-empty if and only if J contains $\mathfrak{c}$.

2. $T(J)=\{J\}$ if J is stable and contains $\mathfrak{c}$.

3. Any stable ideal in T(J) is minimal with respect to inclusion.

4. The set of regular trace ideals of R is finite if and only if T(J) is finite for each regular integrally closed ideal J.

Proof

Any regular trace ideal contains $\mathfrak{c}$, and if $J\supset \mathfrak{c}$, then J is a trace ideal, see [5, 3.5, 3.11]. Thus (1) follows. For (2) if J contains $\mathfrak{c}$ then $J\in T(J)$ and $T(J)=\{J\}$ by Corollary 6.4. (3) is just another way to state Lemma 6.3.

Lastly, T(J) is non-empty only if J contains the conductor, but the set of integrally closed ideals containing the conductor is finite, [5, 6.4], thus (4) follows.$\square$

Proposition 6.7 motivates the:

Question 6.8

When is T(J) finite? When is $T(J)=\{J\}$?

The following examples elucidate the concept of T(J) and indicate why the answers to Question 6.8 might not be simple.

Example 6.9

Let $R=\mathbb{C}[[x,y]]/(xy(x-y))$ with $\mathfrak{m}=(x,y)$. The conductor is ${\mathfrak{m}}^2$. Then $T(\mathfrak{m})=\{\mathfrak{m}\}$. Indeed any regular trace ideal I must contain the conductor ${\mathfrak{m}}^2$, and if it is not $\mathfrak{m}$ then $I=({\mathfrak{m}}^2,l)$ with some reduction l of $\mathfrak{m}$. As ${\mathfrak{m}}^3\subset (l)$, we have that $l:I=\mathfrak{m}$. Thus the trace of I contains $\mathfrak{m}$, see Lemma 3.7, so I is not a trace ideal. Note that $\mathfrak{m}$ is not stable, hence $T(J)=\{J\}$ does not necessarily imply J is stable.

Example 6.10

Let $R=\mathbb{C}[[x,y]]/(x^n-y^n)$. Let $l=x-ay$, where $a\in \mathbb{C}$ such that $a^n\ne 1$. Then l is a reduction of $\mathfrak{m}=(x,y)$. Any ideal containing l must be $I_s=(l,y^s)$ for some $s\le n$. Clearly $l:I_s=I_{n-s}$ and $I_s$ is a trace ideal if and only if $s\le n/2$. The smallest such ideal is $I_{\lfloor n/2\rfloor }$. It is stable if and only if n is even. Thus the minimal elements in T(J) can be infinite, and they might or might not be stable. When $n\ge 4$ is even, this example also gives a ring with infinitely many stable trace ideals.

Example 6.11

Let $R=\mathbb{C}[[t^4,t^5,t^6]]$ with $I_a=(t^4-a{t}^5,t^6)$ for $a\in \mathbb{C}$ and $\mathfrak{m}=(t^4,t^5,t^6)$. Then $T(\mathfrak{m})=\{\mathfrak{m}\}\cup {\{I_a\}}_{a\in \mathbb{C}}$, see [7, Example 3.4]. The minimal elements are $I_a$, each of them is stable. Indeed, $x=t^4-a{t}^5$ is a minimal reduction of $I_a$. We just need to check $t^{12}\in xI$. But $t^{12}/x=\frac{t^8}{1-at}=t^8(1+at+a^2{t}^2+...)\in I$ because for any $s\ge 8$, $t^s\in {\mathfrak{m}}^2\subset I$, as ${\mathfrak{m}}^2$ is the conductor.

Applications to Arf rings

In [12], Kobayashi and Takahashi describe the rings for which every ideal is isomorphic to a trace ideal. If R is a commutative Noetherian ring of depth one, for example, every ideal is isomorphic to a trace ideal if and only if R is a hypersurface of Krull dimension one and multiplicity at most two; see [12, Theorem 1.2]. Such a ring is an Arf ring; see definition below. In this section we study regular trace ideals over Arf rings in general with repercussions for candidates for test ideals for projective dimension and the structure of reflexive modules over these rings. For instance, over Arf rings with infinite residue field any reflexive ideal is isomorphic to it’s own trace, and this can be viewed an extension of the aforementioned result of Kobayashi and Takahashi. We also point out several applications to rigidity of $\text{Tor}$ and structure of reflexive modules over Arf rings.

Definition 7.1

Let R be a 1-dimensional Cohen–Macaulay ring. R is called an Arf ring provided every integrally closed regular ideal is stable.

Example 7.2

Indeed, any hypersurface ring of multiplicity less than or equal to 2 is an example of an Arf ring. Such rings are two-generated rings, over which all ideals are stable; see [16, Theorem 3.4]. For example, $k[[x,y]]/(y^2-x^3)$ is an Arf Ring.

Example 7.3

Let k be a field. Fix integers $e\ge 2,n\ge 1$. Let H be the numerical semigroup generated by $\{e,ne+1,ne+2,...,ne+e-1\}$. Then $R_{e,n}=k[[t^a,a\in H]]$ is an Arf local domain with multiplicity e and embedding dimension n (see [3, Example 4.2]).

Theorem 7.4

Let R be a Cohen–Macaulay local ring of dimension one such that any regular ideal has a principal reduction. The following are equivalent:

1. R is Arf.

2. Any regular trace ideal is stable.

Proof

Assume R is Arf, and let I be a regular trace ideal. Then $\overline{I}$ is stable, which forces $I=\overline{I}$ by Corollary 6.4. Thus I is stable.

Assume (2). Let J be a regular integrally closed ideal and let $I=\text{tr}(J)$. Then I is stable, so $I\cong J^{\ast }$ by Proposition 3.8. Then as J is reflexive ([5, 3.11]), $J\cong I^{\ast }\cong I$ by Proposition 3.3. As I is stable, so is J. Thus R is Arf by definition.$\square$

Corollary 7.5

Let R be an Arf ring such that any regular ideal has a principal reduction. Then any regular reflexive ideal is isomorphic to a trace ideal (necessarily it’s own trace).

Proof

The result follows from Proposition 4.9 and Theorem 7.4.$\square$

Proposition 7.6

Let R be an Arf ring such that any regular ideal has a principal reduction. Then the set of regular trace ideals and integrally closed ideals containing the conductor coincide. If $\overline{R}$ is finite then the set of regular trace ideals is finite.

Proof

If an ideal is integrally closed and contains the conductor it is a regular trace ideal; see [5, 3.11]. By assumption, each regular trace ideal I has a principal reduction and since R is an Arf ring, $\overline{I}$ is stable. By Lemma 6.3, $I=\overline{I}$. $\square$

Remark 7.7

The following gives an alternative proof to the key results in [3, 11].

Proposition 7.8

Let R be a complete Arf ring such that any regular ideal has a principal reduction. Then any reflexive module is isomorphic to a direct sum of integrally closed ideals.

Proof

Any reflexive module M is the direct sum of indecomposable reflexive summands, each of which is the R-dual of some other module. By Proposition 3.5 and Krull–Remak–Schmidt, M is therefore a direct sum of trace ideals. Because R is an Arf ring, Proposition 7.6 implies these trace ideal summands are also stable and integrally closed.$\square$

Corollary 7.9

Let R be an Arf ring such that any regular ideal has a principal reduction. Then if M is reflexive and ${\text{Tor}}_t^R(M,N)=0$ then $p{d}_R(N)\le t$.

Proof

The result follows directly from Corollary 7.8 and [1, Theorem 2.10]; see also [2, Corollary 3.3].$\square$

Corollary 7.10

For complete Arf domains there are only finitely many classes of indecomposable reflexive modules.

Proof

The result follows from Proposition 7.8 and [5, 6.4].$\square$

Corollary 7.11

Let R be an Arf ring and I, J are integrally closed ideals containing the conductor. Then

$$\begin{array}{c}\hfill {\text{Hom}}_R(I,J)\cong {\text{Hom}}_R(J,I)\cong {(IJ)}^{\ast }\cong \text{tr}(IJ)\cong I\cap J.\end{array}$$

Proof

By Proposition 7.6, the integrally closed ideals containing the conductors are precisely the regular trace ideals of R. Since the intersection of integrally closed ideals is also integrally closed, the ideals I, J and $I\cap J$ are all stable trace ideals. Thus we are done by Theorem 5.4.$\square$

Applications to rings defined by trace of the canonical module

Recently, there have been a lot of activities around classes of rings defined by trace of the canonical module, see [4, 8, 9]. We point out that many of the properties of such rings can be recovered by our results. For instance, we recover a result in [8] showing when the classes of almost Gorenstein rings and nearly Gorenstein rings coincide. We also prove a generalization of the fact in [9] that the trace of a canonical ideal $\omega$ is equal to the conductor if and only if ${\omega }^2$ is isomorphic to the conductor.

Corollary 8.1

$(R,\mathfrak{m})$ be a Cohen–Macaulay local ring of minimal multiplicity with $dimR=1$. Let J is a regular ideal with principal reduction x. Then $(x):J\supset \mathfrak{m}$ if and only if $\text{tr}(J)\supset \mathfrak{m}$.

Proof

Assume $(x):J\supseteq \mathfrak{m}$. Since $x\in J$, note that

$$\begin{array}{c}\hfill \mathfrak{m}\subseteq (x):J=(x)J^{\ast }\subseteq J{J}^{\ast }=\text{tr}J.\end{array}$$

On the other hand, if $\text{tr}(J)\supseteq \mathfrak{m}$ then $\text{tr}(J)\in \{\mathfrak{m},R\}$. In either case $\text{tr}(J)\cong \text{tr}{(J)}^2$ because either $R=R^2$ or, since R has minimal multiplicity and dimension 1, $\mathfrak{m}\cong {\mathfrak{m}}^2$. By Proposition 3.8 it follows that $(x):J=\text{tr}(J)\supseteq \mathfrak{m}$.$\square$

Definition 8.2

Let R be a local Cohen–Macaulay rings with maximal ideal $\mathfrak{m}$ and canonical module ${\omega }_R$. We say R is almost Gorenstein if

$$\begin{array}{c}\hfill (x):{\omega }_R\supseteq \mathfrak{m},\end{array}$$

for some principal reduction (x) of ${\omega }_R$. We say R is nearly Gorenstein provided $\text{tr}{\omega }_R\supset \mathfrak{m}.$

Remark 8.3

If J is a canonical ideal, Corollary 8.1 says that being almost Gorenstein and nearly Gorenstein are equivalent. Thus we recover [8, Theorem 6.6]:

Corollary 8.4

Let $(R,\mathfrak{m})$ be a Cohen–Macaulay local ring of minimal multiplicity with $dimR=1$ and infinite residue field. Assume that R possesses the canonical module ${\omega }_R$. If R is nearly Gorenstein, then it is almost Gorenstein.

Proof

Since R has an infinite residue field, each ideal has a principal reduction; see [10, 8.3.7, 5.1.6]. The result follows by applying Corollary 8.1 in the case $J={\omega }_R$.$\square$

Finally, we study ideals whose trace is the conductor.

Lemma 8.5

Assume Setup 6.6. Let $\omega$ be a canonical ideal of R and I a regular ideal. The following are equivalent:

1. $\text{tr}I=\mathfrak{c}$.

2. $I^{\ast }\cong \mathfrak{c}$.

3. $I\omega \cong \mathfrak{c}$.

Proof

Note that $\mathfrak{c}$ is a stable trace ideal, so $(1)\Rightarrow (2)$ by Proposition 3.8. Assume (2), then $\text{tr}(I)\cong I{I}^{\ast }\cong I\mathfrak{c}\cong \mathfrak{c}$ (see Proposition 4.6), so $\text{tr}(I)=\mathfrak{c}$ as they are both trace ideals.

The map $I\otimes \omega \to I\omega$ is surjective with finite length kernel (as I is regular and hence locally free on the minimal primes). Take ${\text{Hom}}_R(-,\omega )$ and use Hom-tensor adjointness we get that

$$\begin{array}{c}\hfill {\text{Hom}}_R(I\omega ,\omega )\cong I^{\ast }.\end{array}$$

So (2) is equivalent to ${\text{Hom}}_R(I\omega ,\omega )\cong \mathfrak{c}$, which is equivalent to $I\omega \cong {\text{Hom}}_R(\mathfrak{c},\omega )$. But as:

$$\begin{array}{c}\hfill {\text{Hom}}_R(\mathfrak{c},\omega )\cong {\text{Hom}}_R(\overline{R},\omega )\cong \overline{R}\cong \mathfrak{c}\end{array}$$

we are done.$\square$

The following is immediate from Lemma 8.5, and recover part of [9, Theorem 2.5].

Corollary 8.6

Assume Setup 6.6. Let $\omega$ be a canonical ideal of R. Then $\text{tr}(\omega )=\mathfrak{c}$ if and only if ${\omega }^2\cong \mathfrak{c}$.

Funding Information

Open access funding provided by SCELC, Statewide California Electronic Library Consortium