11
$\begingroup$

A "nice" category $\mathcal{C}$ should be (for the purposes of this question) locally presentable at a minimum, and maybe a bit more. One might require $\mathcal{C}$ to be (in roughly order of increasing restrictiveness)

  • ABn for some $n$.

  • Grothendieck

  • locally finitely presentable

  • the category $\mathsf{QCoh}(X)$ of quasicoherent sheaves on a scheme $X$ (possibly with further adjectives)

  • etc.

In particular: if $\mathsf{QCoh}(X)$ has enough projectives, then is $X$ a disjoint union of affine varieties?

Clarification: Just to be clear, I'm well aware of the Freyd-Mitchell embedding theorem. This is not a question about how close abelian categories are to module categories -- it's a question about how restrictive it is for an abelian category to have enough projectives. The local presentability hypothesis rules out the duals of categories of sheaves for instance.

Motivation / Evidence: I'm thinking of things like this result: the category of sheaves on a locally connected topological space has enough projectives iff that space is an Alexandroff space -- a very restrictive condition. I suspect that the category of sheaves on an Alexandroff space is a module category additive presheaf category. Although on reflection, the category of sheaves on an Alexandroff space need not be an additive presheaf category -- in particular, it need not be locally finitely presentable. So perhaps one should assume that $\mathcal C$ is locally finitely presentable for the purposes of this question.

For another example in this direction, consider the fact that the category of quasicoherent sheaves on a smooth projective variety of dimension >0 over a field never has enough projectives. (See my CW answer below for a more general result).

Alternative formulation: If we assume that $\mathcal C$, in addition to being a "nice" abelian category with enough projectives, has a compact generator, then is $\mathcal C$ a module category? This would follow from the formulation above, since an additive presheaf category with a compact generator is a module category; but it could conceivably be easier to show. It would also settle a form of the question about categories $\mathsf{QCoh}(X)$.

$\endgroup$
12
  • 3
    $\begingroup$ Are you aware of Mitchell's embedding theorem? $\endgroup$
    – abx
    Jan 7, 2018 at 15:36
  • 2
    $\begingroup$ Yes. And I'm aware that any cocomplete abelian category with a compact projective generator is a module category. Am I missing something? $\endgroup$
    – Tim Campion
    Jan 7, 2018 at 15:49
  • 1
    $\begingroup$ I would say this is an obstruction "in a different direction". In any presheaf category, the family of indecomposable projectives generates, in particular, every projective is a coproduct of indecomposables. In $\mathsf{Ab}^{\mathbb N}$, these are $(0,...,0,0,\mathbb Z,0,0,...)$. An example of enough projectives without any indecomposables is given, I believe, by sheaves over an atomless complete Boolean algebra. $\endgroup$ Jan 8, 2018 at 17:29
  • 1
    $\begingroup$ @მამუკაჯიბლაძე Why do the indecomposable projectives generate in an additive presheaf category? For example, suppose I start with a representable $X$ (which is projective), and decompose it into successively smaller retracts. If this process terminates after finitely many steps, then I can reconstruct $X$ via a direct sum. But if it takes infinitely many steps, I don't see how to get $X$ as a sum of indecomposables. $\endgroup$
    – Tim Campion
    Jan 8, 2018 at 18:24
  • 2
    $\begingroup$ @მამუკა ჯიბლაძე: I'm also confused by your claim. Take the category of modules over $\mathbb{F}_2^{\mathbb{N}}$. I believe every projective is decomposable, but this is still a module category. $\endgroup$ Jan 9, 2018 at 6:41

2 Answers 2

14
$\begingroup$

The category $[C^{op}, \text{Ab}]$ of $\text{Ab}$-valued presheaves on any (small, for simplicity) $\text{Ab}$-enriched category is about as nice as it gets - locally finitely presentable, Grothendieck, etc. - and all coproducts of representables are projective (these are the "free" objects), but it won't be a module category in general if $C$ has infinitely many isomorphism classes of objects.

The simplest example is to take $C = \mathbb{N}$: $\text{Ab}^{\mathbb{N}}$ has the property that any generator must be supported at every element of $\mathbb{N}$, and no such presheaf can be compact. In fact the compact projectives are precisely the finitely supported sequences of finitely generated free abelian groups. Note that this is also the category of sheaves on an Alexandrov space, namely $\mathbb{N}$ with the discrete topology.

$\endgroup$
3
  • 3
    $\begingroup$ This is a module category if you are willing to loosen your definition of rings from unital rings to rings with local units. A ring R has local units if it is a direct limit of unital rings via homomorphisms that are not necessarily unit preserving. The category of unitary R-modules consists of those modules M with RM=M. If C is a category the category algebra ZC has local units ands its unitary modules are just the functors on C to Ab (up to equivalence of categories). $\endgroup$ Jan 7, 2018 at 22:07
  • 5
    $\begingroup$ I would rather just think about $\text{Ab}$-enriched categories directly as a generalization of rings (they are "rings with many objects," or "ringoids" if you really want). $\endgroup$ Jan 7, 2018 at 23:57
  • 2
    $\begingroup$ Darn, you're right. I suppose I asked the wrong question after all. $\endgroup$
    – Tim Campion
    Jan 8, 2018 at 0:49
0
$\begingroup$

Let $\mathcal C_0$ be a small additive category with countable coproducts, and let $\mathcal C$ be the category of additive functors $\mathcal C^{op}_0 \to \mathsf{Ab}$ preserving countable products. Then by Lemma 1.3 and Prop 2.5 here, $\mathcal C$ is a cocomplete abelian category which is easily seen to be locally $\aleph_1$-presentable. Moreover, cokernels are computed "levelwise", so that the representables are a generating set of projective objects; in particular, $\mathcal C$ has enough projectives. But $\mathcal C$ is pretty far from being an additive presheaf category.

Along with მამუკა ჯიბლაძე's example in the comments of sheaves on a complete boolean algebra, this makes it pretty clear that there are plenty of locally presentable abelian categories with enough projectives which are not additive presheaf categories. I'm still not sure about categories of quasicoherent sheaves, though.

$\endgroup$
7
  • 1
    $\begingroup$ I'm not sure I understand your proof. $\mathcal{C}$ having a compact projective generator is not saying anything about $X$ being affine. It is only saying that $\mathcal{C}$ is the module category for a (possibly noncommutative) ring. $\endgroup$ Jan 9, 2018 at 20:18
  • $\begingroup$ @DenisNardin Shoot -- you're right. I don't know much about noncommutative geometry -- what's an example of a noncommutative ring $R$ (not Morita equivalent to a commutative one) such that $Mod(R) = QCoh(X)$ for a scheme $X$? $\endgroup$
    – Tim Campion
    Jan 9, 2018 at 20:22
  • $\begingroup$ Unfortunately, I don't know any. In general, there aren't that many schemes with enough projectives, so it might very well be that the only such schemes are affines. $\endgroup$ Jan 10, 2018 at 8:19
  • $\begingroup$ How do you go from compact projective to locally free of finite rank? As far as I know the equivalence projective=locally free is not usually true for non-affine schemes $\endgroup$ Jan 18, 2018 at 8:45
  • 1
    $\begingroup$ Neeman's example in his famous paper is very interesting, but if I remember correctly, it is not a Grothendieck category (in Roos's article correcting the one for which Neeman found this counter-example, I think that it is proven that less than Grothendieck category is enough to make sure that all works). It would be interesting to have strange phenomena like the previous one, but for Grothendieck categories (or theorems saying that it is impossible...). For example, can one find a Grothendieck category with enough projectives, locally finitely generated, but beeing not a presheaf category? $\endgroup$ Jun 4, 2019 at 19:13

Your Answer

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