4
$\begingroup$

For any complexes of $R$-modules, $P$ and $M$, $\hom_{\mathcal{C}(R)}(P,M)$ is the complexe defined by, $$\forall n \in \mathbb{Z}\ \ \ \hom_{\mathcal{C}(R)}(P,M)_n = \prod_{i \in \mathbb{Z}} \hom_R(P_i, M_{i+n})$$

We say that a complexe $P$ is $\pi$-projective or K-projective, if for all quasi-isomorphisme $f: M \to M'$ $$\hom_{\mathcal{C}(R)}(P,f): \hom_{\mathcal{C}(R)}(P,M') \to \hom_{\mathcal{C}(R)}(P,M)$$ is a quasi-isomorphisme too. Equivalently we says that the complexe of $R$-modules $P$ is $\pi$-projective, if for all exacte complex $M$, $\hom_{\mathcal{C}(R)}(P,M)$ is also exacte.

My question is: Suppose $f:P \to P'$ is a quasi-isomorphism of $\pi$-projective complexes of $R$-modules. I want to show that for any complexe of $R$-module M, $\hom_{\mathcal{C}(R)}(f,M)$, which is at degrée $n$: \begin{align} \hom_{\mathcal{C}(R)}(f, M)_n :\hom_{\mathcal{C}(R)}(P', M)_n &\longmapsto \hom_{\mathcal{C}(R)}(P, M)_n\\ (\alpha_i : P'_i \to M_{i+n})_{i \in \mathbb{Z}} &\longmapsto (\alpha_i \circ f_i )_{i \in \mathbb{Z}} \end{align} is a quasi-isomorphism.

$\endgroup$
3
  • 3
    $\begingroup$ What is a $\pi$-projective complex? $\endgroup$
    – abx
    Commented Nov 23, 2020 at 12:59
  • $\begingroup$ I just made an edit, to include the definition of $\pi$-projective. $\endgroup$
    – M. Di
    Commented Nov 23, 2020 at 20:50
  • 1
    $\begingroup$ Without wanting to be impolite, where in the world did this notion come arise from? Some context might be helpful for understanding the question. $\endgroup$
    – Samantha Y
    Commented Nov 24, 2020 at 4:08

1 Answer 1

6
$\begingroup$

What you call $\pi$-projective is what Spaltenstein calls $K$-projective (and this is the only term I've heard). Spaltenstein shows in his original paper that a quasi-isomorphism between $K$-projective complexes is a chain homotopy equivalence, which implies the result you want.

$\endgroup$
9
  • $\begingroup$ I don't get it, how does it implies the result ? $\endgroup$
    – M. Di
    Commented Nov 24, 2020 at 7:38
  • 3
    $\begingroup$ The functor $\mathrm{hom}(-,M)$ takes chain homotopy equivalences to chain homotopy equivalences. And chain homotopy equivalences are quasi-isomorphisms. $\endgroup$ Commented Nov 24, 2020 at 7:40
  • $\begingroup$ Thanks. Do you have a link to the paper ? $\endgroup$
    – M. Di
    Commented Nov 24, 2020 at 9:38
  • 2
    $\begingroup$ It's called $\pi$-projective in Avramov and Foxby's "Homological dimensions of unbounded complexes". $\endgroup$ Commented Nov 24, 2020 at 22:29
  • 2
    $\begingroup$ See for example Tag 070I (apply criterion 2 to a quasi-isomorphism $I^\bullet \to J^\bullet$ of K-injectives, and dualise for K-projectives). $\endgroup$ Commented Nov 27, 2020 at 4:25

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .