2
$\begingroup$

I know that if $R$ is Noetherian local with a finite module of finite injective dimension, then $R$ is Cohen-Macaulay.

Can one add assumptions on $M$, so that $R$ be Gorenstein or Complete intersection or Regular?

thank you.

$\endgroup$
5
  • $\begingroup$ Could you be more precise (I suppose you do not allow to add conditions like $M$ free). $\endgroup$
    – Vinteuil
    Feb 26, 2015 at 12:20
  • $\begingroup$ i mean nontrivial assumptions. $\endgroup$
    – user 1
    Feb 26, 2015 at 12:22
  • $\begingroup$ I mean that I do not know in what kind of conditions are you thinking. For instance, the change from $M$ free to pd$M$ finite (Foxby) may seem a standard improvement, I do not know if you are interested in classes of modules as "test modules" (there is not a standard definition of test module, but see for instance arXiv:1405.5188), etc. $\endgroup$
    – Vinteuil
    Feb 27, 2015 at 8:43
  • $\begingroup$ @Vinteuil your answer is good but i can not read french. if the proof is short can you please write it here (in english)? $\endgroup$
    – user 1
    Feb 27, 2015 at 8:46
  • $\begingroup$ If $R$ has dimension $1$ and $M$ is reflexive, then $R$ is Gorenstein. $\endgroup$ Aug 12, 2021 at 22:56

2 Answers 2

4
$\begingroup$

If you admit $M$ cyclic as additional assumtion, then $R$ is Gorenstein by a theorem in Peskine-Szpiro paper "Dimension projective finie et cohomologie locale", Theorem II.5.5.

$\endgroup$
2
  • $\begingroup$ thank you. do you have a link? (in english) $\endgroup$
    – user 1
    Feb 26, 2015 at 12:27
  • $\begingroup$ No. You can find the original (in french) in numdam.org. $\endgroup$
    – Vinteuil
    Feb 27, 2015 at 8:44
2
$\begingroup$

To complete Vinteuil's answer:
You can find translation of "Local cohomology and finite projective dimension", by C. Peskine and L. Szpiro, here. (Translator is Srikanth B. Iyengar).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.