The short answer: yes.

Introduction

For the longer answer we should first say what a phantom category is. Recall that it is possible to define the Grothendieck group and Hochschild (co)homomology of (an enhancement of) a triangulated category, see for instance the introduction to Hochschild homology and semiorthogonal decompositions. Moreover, these agree with the more geometric definition that one can give of Hochschild (co)homology, so everything is as nice as one hopes. This way we get some computational tools to calculate these abstractly defined concepts.

Grothendieck groups and Hochschild homology are moreover additive with respect to admissible subcategories, hence a decomposition of our triangulated category yields a direct sum decomposition of the Grothendieck group and Hochschild homology. One could then expect or hope for a certain amount of non-pathological behaviour: if the Grothendieck group and Hochschild homology of a triangulated category is zero, the category itself is zero. In other words, these invariants are conservative.

The vanishing conjecture

This is the content of Kuznetsov's vanishing conjecture, proposed in Hochschild homology and semiorthogonal decompositions (the Grothendieck group aspect was apparently already proposed by Bondal in the 90s). The following is conjecture 9.1 in the article.

Conjecture Let $X$ be a smooth projective variety. If $\mathcal{A}\subseteq\mathbf{D}^{\mathrm{b}}(X)$ is an admissible subcategory, and $\mathrm{HH}_\bullet(\mathcal{A})=0$ then $\mathcal{A}=0$.

Recall that admissible means that the embedding functor has both a left and right adjoint. This is a situation first encountered in étale cohomology, in which we have gluing functors for a decomposition of a scheme into an open subscheme and its complement. So admissibility corresponds to knowing how the subcategory is glued to the bigger category.

If the conjecture were true, we would get some nice properties:

  • we can check whether a semiorthogonal collection of subcategories is a semiorthogonal decomposition by checking whether it covers the whole Hochschild homology of the triangulated category
  • information on the length of a full exceptional collection
  • the ascending chain property for admissible subcategories

Unfortunately, as the short answer might already suggest, this conjecture is false. The interesting way in which this conjecture fails is the subject of the next post, let us first introduce some terminology.

(Quasi-)phantoms

Definition An admissible subcategory $\mathcal{A}$ of $\mathbf{D}^{\mathrm{b}}(\mathrm{coh}/X)$, the bounded derived category of coherent sheaves on a smooth and projective variety $X$, is a quasi-phantom category if

  1. $\mathrm{HH}_\bullet(\mathcal{A})=0$,
  2. $\mathrm{K}_0(\mathcal{A})$ finite.

If the second condition is strengthened to

  1. $\mathrm{K}_0(\mathcal{A})=0$

$\mathcal{A}$ is called a phantom category.

So Kuznetsov's conjecture asserts the non-existence of (non-zero) (quasi-)phantom categories. And as the next post will show, phantoms exist, and they are even particularly interesting!

Noetherianity and Jordan-Hölder for admissible subcategories

If quasiphantoms did not exist, we would get noetherianity for admissible subcategories (of a derived category of sufficiently nice geometric origin). In other words, if we would have an ascending chain of subcategories it would necessarily stabilise (by finite-dimensionality of the Hochschild homology). This is still an open problem, as quasiphantoms do exist...

A stronger property (which is not implied by the vanishing conjecture, and which is false anyway) is the Jordan-Hölder property. This means that, whenever we have two semiorthogonal decompositions whose components are indecomposable, they are the same up to some permutation of the components. And this is false, even for derived categories of a geometric origin!

  1. The first counterexample was by considering an example that produces a quasiphantom: the classical Godeaux surface (see the next post for more on this one) has both a length 11 exceptional collection (which is the maximal length in this case), whose orthogonal is a quasiphantom category and a length 9 exceptional collection which cannot be extended any further, whose orthogonal is necessarily not a quasiphantom category.
  2. A less computation-heavy counterexample was found by considering a two-step blowup of projective 3-space in some curves. This realises a known counterexample which has a non-geometric origin (it is the path algebra of some quiver with relations) as an admissible subcategory inside a derived category of geometric origin.

This lack of a Jordan-Hölder property is annoying, as we could use it to prove nonrationality of cubic 4-folds. But I am getting off track here, and I'll leave a discussion of rationality problems for another time. In the second post of this two-post series I will discuss some (quasi)phantoms.