1
$\begingroup$

Let $R$ be a commutative Noetherian ring. An acyclic complex $P$ of projective $R$-modules is called totally acyclic if for every projective $R$-module $Q$, the complex Hom$_R(P, Q)$ is also acyclic.

My question is: If $P$ is a totally acyclic complex of projective $R$-modules, $\mathfrak p$ is a prime ideal of $R$, then is the acyclic complex $P_{\mathfrak p}$ of projective $R_{\mathfrak p}$-modules also totally acyclic ?

I can see this if $P$ is a complex of finitely generated projective $R$-modules, but otherwise, I have no idea ...

$\endgroup$
1
  • $\begingroup$ If $R$ has a dualizing complex (iff it is a quotient of a Gorenstein ring of finite Krull dimension), I think this follows from Lemma 1.7 of ems.press/journals/jems/articles/861 $\endgroup$
    – the L
    Commented Jun 28 at 20:01

0

You must log in to answer this question.