7
$\begingroup$

The question is in the title.

I am trying to apply the Mitchell (Freyd-Mitchell?) embedding theorem, which states that for every small abelian category $A$, there exists a ring $R$ such that A embeds into the category $R$-mod. The derived category is not abelian, of course, but I have a particular subcategory that is abelian, and life would be easiest if the derived category was smal, so that the subcategory was small and abelian.

$\endgroup$
8
  • 1
    $\begingroup$ Of course it is, you can easily find a (transfinite) upper bound for the 'number' of objects $\endgroup$ Feb 13, 2012 at 20:18
  • 1
    $\begingroup$ Presumably small should be understood up to equivalence. I agree with Fernando, although writing down the details would entail some work: Choose a finite affine cover $\{Spec A_i\}$. Then a bounded complex of coherent sheaves is given by a collection of finitely presented $A_i$ modules $M_i^\bullet$ plus patching data. A morphism is ... $\endgroup$ Feb 14, 2012 at 0:03
  • 3
    $\begingroup$ The term you actually want is "essentially small" (equivalent to a small category). $\endgroup$ Feb 14, 2012 at 2:52
  • 1
    $\begingroup$ Another term for essential small is "svelte": ncatlab.org/nlab/show/svelte+category $\endgroup$
    – B. Bischof
    Feb 14, 2012 at 3:53
  • 1
    $\begingroup$ out of curiosity: how does the Freyd-Mitchell embedding make life much easier? $\endgroup$ Feb 14, 2012 at 11:59

1 Answer 1

5
$\begingroup$

The answer to your question really depends on what you mean by the word "the". An unhelpful answer is that the coherent sheaves over any variety form a proper class (hence "no"). A more useful answer is (as mentioned in the comments) that there exists a small category that is equivalent to any category that can be reasonably called the bounded derived category of coherent sheaves (hence "yes").

Furthermore, the construction of such a category can be accomplished without the use of replacement. In particular, the category lives in the same ZC universe (i.e., $V_\alpha$ for $\alpha$ a not-necessarily-inaccessible limit ordinal greater than $\omega$ - see e.g., Wikipedia or the set theory section of the Stacks project) as the defining field.

$\endgroup$
3
  • $\begingroup$ Thank you. Do you know of a reference for the proof? $\endgroup$ Feb 14, 2012 at 3:22
  • 1
    $\begingroup$ No, but it is straightforward. If you set $\kappa$ to be the smallest infinite cardinal containing your base field, then any variety is covered by finitely many spectra of finitely generated rings, also of cardinality $\kappa$. Each complex of coherent sheaves is then encoded by a finite collection of finitely generated modules and arrows describing gluing data and differentials. Up to isom. all modules can be realized by subquotients of a fixed infinite direct sum of copies of a ring (size $\kappa$), and the arrows are maps of such sets ($\leq 2^{2^\kappa}$ total choices). Done. $\endgroup$
    – S. Carnahan
    Feb 14, 2012 at 6:56
  • 1
    $\begingroup$ Oops, not quite done. For any pair of complexes of size bounded by $\kappa$, the set of ordinary homs is bounded by $2^\kappa$. Localization yields equiv. classes of finite zig-zags of maps, so the hom group between two objects in the derived category is also bounded in size by $2^\kappa$. Total maps in category is then bounded by $2^{2^\kappa}$. $\endgroup$
    – S. Carnahan
    Feb 14, 2012 at 8:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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