February 29, 2024.

Where is my mistake?

I was in Berkeley from January 20 to February 20 attending the Commutative Algebra Program at MSRI/SLMath. This is why the blog was neglected. Shout out to Parker (Glynn-Adey) who emailed me and asked what was up with the blog. I should also probably add an RSS thingy to this.

There is a big Berkeley Diaries post coming up. But for the meantime, I am going to share something, a mistake that cost me a day to figure out. Your mission, if you choose to accept it, to find where the mistake is. If you are a commutative algebra/algebraic geometry person, you should be able to. If not, you should still be able to follow the steps below and try to check each step without really knowing the terms, it is a fun game to chase things even if you can not find the mistake at the end.

Stable Trace Ideals and Applications.

I was reading the paper Stable trace ideals and applications by Hailong Dao and Haydee Lindo. Corollary 7.5. states that if $R$ is an Arf ring such that any regular ideal has a principal reduction, then any regular reflexive ideal is isomorphic to a trace ideal. I thought I found a counterexample to this Corollary and I was confused. Below is my ``counterexample".

  1. Firstly, assume that $R$ is a one-dimensional normal local domain with infinite residue field and further suppose that $R$ is not Gorenstein.
  2. Since $R$ is a one-dimensional domain, it is Cohen-Macaulay. See the examples in this Wikipedia page.
  3. Since $R$ is normal, it is semi-normal. See this Wikipedia page.
  4. Since $R$ is semi-normal, it is an Arf ring. See the introduction of this paper by Ryotaro Isobe.
  5. Since $R$ is a one-dimensional Cohen-Macaulay domain, the localisation at the unique minimal prime ideal is a field and therefore, $R$ is generically Gorenstein. (Generically Gorenstein means, the localisation at each minimal prime ideal is Gorenstein). In this case the canonical module (if it exists and let's assume it does exist) is isomorphic to a height 1 ideal. See Proposition 11.6 of this book by Graham Leuschke and Roger Wiegand.
  6. By the above book, Corollary A.14, and our local normal domain assumption, we see that every maximal Cohen-Macaulay module, in particular the canonical module, is reflexive.
  7. Since we assumed that $R$ has infinite residue field, every ideal has a principal reduction. See Remark 3.4 in this paper, for example.
  8. Since $R$ is a domain, the canonical ideal is a regular ideal. That is, it contains a nonzerodivisor.
  9. Now, we are satisfying the conditions of the theorem (Corollary 7.5 of Dao-Lindo.) Therefore, we must have that our canonical ideal is a trace ideal.
  10. By Theorem 11.5 of the above book of Leuschke-Wiegand, the endomorphism ring of the canonical module is free of rank 1. That is, it is isomorphic to $R$.
  11. By Proposition 2.8 of this paper, we see that the $R$-dual of our canonical module is $R$.
  12. Since we established that the canonical module is reflexive, its double dual is isomorphic to itself (by definition) and by the previous item, we established that the double dual should be isomorphic to the dual of a free module which is free. Therefore, we see that the canonical module must be free.
  13. By definition of a Gorenstein local ring, a Cohen-Macaulay local ring is Gorenstein if the canonical module is free. We assumed that our ring is not Gorenstein. This gives us a contradiction.

Note. I figured out the mistake. But if you read this and tried to find it yourself, send me an email and also say hi. My email address is available on my personal page which you can access from the top of this page.

Go back to the top of this page to return to Blog Home and buy me a coffee if you enjoyed this post.