1
$\begingroup$

Let $R$ be a ring, let $\operatorname{Perf}(R)$ the category of perfect modules over $R$. Suppose we have $E$ an perfect $R$-module (concentrated in degree $0$) such that its class $[E]\in K_0(R)$ is null. Consider the pre-triangulated subcategory $C\subset \operatorname{Perf}(R)$ generated by $E$. It is true that $K_0(C)=0$ ?

$K_0$ is the algebraic K-theory ($0$-th)-group.

$\endgroup$
5
  • $\begingroup$ The class of $E=R\oplus R[1]$ vanishes, but $E$ generates everything, so this cannot be true. $\endgroup$
    – pbelmans
    Commented Mar 26 at 12:12
  • $\begingroup$ @pbelmans Thanks I forgot to mention that E is concentrated in degree 0. $\endgroup$
    – cellular
    Commented Mar 26 at 12:14
  • $\begingroup$ It depends what you mean by "generated". Do you allow retracts ? $\endgroup$ Commented Mar 26 at 12:40
  • $\begingroup$ @MaximeRamzi since you are rising the question, I'm open to all possibilities. What would the answer if we will (will not) allow retracts. $\endgroup$
    – cellular
    Commented Mar 26 at 12:50
  • $\begingroup$ Actually, I realized the answer is no either way. I thought it would be yes if you didn't allow retracts but that's only if the thick closure of $C$ is the whole of $Perf(R)$. $\endgroup$ Commented Mar 26 at 14:20

1 Answer 1

3
$\begingroup$

The answer is no in general: let $R= \mathbb Z$ and $E= \mathbb Z/p$. Then $[E] = 0$ because of the co/fiber sequence $\mathbb Z\to \mathbb Z\to \mathbb Z/p$.

However, by the theorem of the heart, $K_0(C)= K_0(\mathbb Z/p)$ (of course $C$ is not equivalent to $\operatorname{Perf}(\mathbb Z/p)$ but it is still true on $K$-theory) which is clearly nonzero.

Here is one situation where something like this holds: if $C$ is generated without retracts by $E$, and the thick closure of $C$ is the whole of $\operatorname{Perf}(R)$. In this case, $C$ is a so-called ''dense'' subcategory and Thomason proved that $K_0(C)$ injects into $K_0(\operatorname{Perf}(R))$ as the subgroup generated by $[E]=0$.

$\endgroup$
2
  • $\begingroup$ Nice!! What is a thick closure ? $\endgroup$
    – cellular
    Commented Mar 26 at 14:36
  • $\begingroup$ Closure under retracts of a triangulated subcategory ! $\endgroup$ Commented Mar 26 at 15:09

You must log in to answer this question.

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