Skip to main content
2 of 10
added 789 characters in body
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384

Here is an example of the kind of result I have in mind:

Proposition: Let $X$ be a Noetherian scheme and $\mathcal C = \mathrm{QCoh}(X)$ its category of quasicoherent sheaves. Then $\mathcal C$ has enough projectives (if and) only if $X$ is "noncommutatively affine", i.e iff there is a (possibly noncommutative) ring $R$ such that $\mathcal C = Mod_R$.

The proof will use the following facts (which derive from $X$ being Noetherian):

  • $\mathcal C$ is a locally finitely presentable category (with a compact generator)

  • The compact objects of $\mathcal C$ are the coherent sheaves.

  • Any quasicoherent subsheaf of a coherent sheaf is coherent.

So we in fact have the following more general result:

If $\mathcal C$ is a locally finitely presentable abelian category which is "Noetherian" in the sense that any subobject of a compact object is compact, then $\mathcal C$ has enough projectives iff it is an additive presheaf category; if in addition $\mathcal C$ has a compact generator, then $\mathcal C$ is a module category.

Proof: "If": in this case $\mathcal C$ is a module category.

"Only if": Let $G$ be a compact generator of $\mathcal C$, and choose (the zeroth step of) a projective resolution $P \twoheadrightarrow G$. Present $P$ as a filtered colimit of coherent sheaves $P = \varinjlim_i C_i$. Because $X$ is Noetherian and $G$ is coherent, there must be a $C = C_i$ such that the composite $C \to P \to G$ is an epimorphism. Because $P$ is projective, we may choose a map $P \to C$ which commutes with the epimorphisms to $G$. By composition, we obtain endomorphisms $e_C,e_P$ of $C,P$ which lie over the epimorphisms to $G$, with commuting maps between them. For each $n \in \mathbb{N}$, the image $C^{(n)}$ of $e_C^n$ likewise maps epimorphically to $G$ and hence is a generator. Because $X$ is Noetherian and $C$ is coherent, the $C^{(n)}$'s are coherent, and there is an $N$ such that $e_C$ restricts to an automorphism of $C^{(N)}$. Using the maps between $P$ and $C$, one can show that $C^{(N)} = P^{(N+1)}$ is a retract of $P$. So $C^{(N)}$ is a compact projective generator, so $\mathcal C$ is a module category, i.e. $X$ is "noncommutatively affine".


But ideally I would like a statement with looser hypotheses.

And incidentally, what's an example of a scheme (in the standard, "commutative" sense) which is "noncommutatively affine" but not actually affine, i.e. $\mathrm{QCoh}(X) = \mathrm{Mod}_R$ for $R$ which is not commutative (even up to Morita equivalence)? Since $\mathrm{QCoh}(X)$ has a nice symmetric monoidal structure, such rings $R$ must be very special.

Tim Campion
  • 63.9k
  • 13
  • 143
  • 384