2
$\begingroup$

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck groups $$ \bar{F}: K_0(\mathcal{A})\to K_0(\mathcal{B}). $$

Now assume $F$ is also fully-faithful, it is true that $\bar{F}$ is always an injection? If not, is their any counter-examples?

$\endgroup$
  • 4
    $\begingroup$ I believe the answer is no. Take $R$ a ring, and let $\mathcal{B}$ be the derived category of complexes of $R$-modules (no restriction whatsoever on ranks of modules or size of complexes). Then take $\mathcal{A}$ the full subcategory of bounded complexes of finite rank $R$-modules. For $R$ suitably complicated, the $K_0(\mathcal{A})$ is non-trivial, but $K_0(\mathcal{B})$ is trivial by Eilenberg swindle. The functor is also fully faithful. If I didn't miss something... $\endgroup$ – Matthias Wendt Apr 16 '15 at 17:19
  • 1
    $\begingroup$ @MatthiasWendt suitably complicated may be $R=\mathbb Z$ and, in this case, if you impose complexes in $\mathcal B$ to consist of countable abelian groups, then $\mathcal B$ is essentially small. This concerns Adeel's comment below. $\endgroup$ – Fernando Muro Apr 16 '15 at 18:27
3
$\begingroup$

One should really only talk about $K_0$ of small categories, otherwise one runs into the difficulty explained in Matthias's comment. Assuming $\mathcal{B}$ is small, let me identify $\mathcal{A}$ with its essential image by $F$, which will be a (strictly) full triangulated category of $\mathcal{B}$. For a positive answer to your question, it is reasonable to impose the condition that $\mathcal{A}$ is dense in $\mathcal{B}$, i.e. every object of $\mathcal{B}$ is a direct summand of an object of $\mathcal{A}$. Then the claim is indeed true and follows for example from Thomason's classification theorem, which says that there is a bijection between dense strictly full triangulated subcategories $\mathcal{A} \subset \mathcal{B}$ and subgroups of the Grothendieck group $K_0(\mathcal{B})$. See Corllary 2.3 in [Thomason, The classification of triangulated subcategories, Comp. Math. 105 (1997), pp. 1-27].

$\endgroup$
  • 4
    $\begingroup$ Density is a very strong assumption! $\endgroup$ – Sasha Apr 16 '15 at 18:36
  • 3
    $\begingroup$ A counterexamle in the general case (generalizing the one of Matthias Wendt): if you embedd your category $A$ into $B$ that is closed with respect to countable coproducts (or products) then you kill the whole $K_0(A)$ since $K_0(B)=0$. $\endgroup$ – Mikhail Bondarko Apr 16 '15 at 19:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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