[Math] Quiver representations and coherent sheaves

ag.algebraic-geometryalgebraic-stacksquiversrt.representation-theory

I've heard that under certain assumptions on an algebraic variety $X$ there exist a quiver $Q$ for which there is an equivalence $$D^b(\mathsf{Coh}(X))\simeq D^b(\mathsf{Rep}(Q))$$ between the corresponding bounded derived categories. My (naive) questions about this fact are the following:

1) Is there any intuitive reason for the existence on this relation between the geometry of $X$ and the combinatorics of $Q$? For instance, given some variety, is there a way to make a guess of what quiver could realize this equivalence?

2) Is there a generalization for this result when $X$ is a Deligne–Mumford stack? If this is the case, how is the structure of the stabilizers reflected in the quiver?

Best Answer

This is more or less a longer version of Phil's comment. Unfortunately I don't know definitive references, so there might be some technical errors below. A possible reference is Keller's paper.

Here's the most high level statement: for any (pretriangulated, which just means formally add all cones, shifts, and sums) dg-category $C$ (there is a natural way to enrich $\mathsf{Coh}(X)$ as a dg-category) with a chosen set of compact generators $E_\alpha$ (in the sense of a weak triangulated generator of the category of compact objects), letting $Q$ be the associated full dg-category with these generators as objects, we have that the dg derived category of $Q$-modules is dg-equivalent to $C$. The functor $C \rightarrow Q\text{-mod}$ is $\operatorname{Hom}(E_\alpha,-)$. Note all $\operatorname{Hom}$ I write are derived.

Fixing this choice of generators $E_\alpha$, we get something "like" a quiver (a category "is like" a quiver, and a module over a category "is like" a representation) but is not a quiver in the classical sense. In particular (warning -- the further down on this list you go, the further out of my depth I go):

  • How small do you want the set of nodes to be? Each node of the quiver corresponds to a generator (i.e. one of the $E_\alpha$), so you might want finitely many (compact) generators. For example, the category $\mathsf{Rep}(G)$ for $G$ semisimple does not have finitely many compact generators (something like the direct sum of all irreducibles is not compact).
  • Do you want finiteness on the arrows? Then you might ask that the $\operatorname{Hom}$ spaces between generators $\text{Hom}(E_\alpha, E_\beta)$ be finite-dimensional. For example, for $A$ an infinite-dimensional algebra, $A$ itself is a compact generator for the category of $A$-modules, but its self-$\operatorname{Homs}$ will be infinite-dimensional. I'm not sure about precise statements, but examples where this actually happens tend to be proper varieties.
  • If by representations of a quiver $Q$ you want a dg derived category of some abelian catagory of representations, you want the dg $\operatorname{Hom}$ between your generators to be cohomologically concentrated in degree zero. In general, the dg derived category of modules over a dg-algebra $A$ might not be equivalent to the dg derived category of modules over any classical algebra. You can achieve this by insisting that the generators are projective or flat objects, for example.
  • Do you want the category of coherent sheaves, or the category of perfect complexes? The "large" versions of these are respectively, ind-coherent sheaves and the more familiar quasicoherent sheaves. For example, if $R = k[x]/x^2$, $R$ is a generator for perfect complexes, but $R/x \simeq k$ is a generator for the coherent category. If $X$ is smooth, these two categories coincide. On the right hand side, you always get $Q\text{-perf}$ as the compact objects.
  • Note that a given category might be equivalent to different quivers. It depends on your choice of generators.
  • For $X = \mathbb{P}^1$, you can check that $\mathcal{O}$ and $\mathcal{O}(-1)$ generate the category (i.e. that derived $\operatorname{Hom}(\mathcal{O} \oplus \mathcal{O}(-1), \mathcal{F}) \simeq 0$ if and only if $\mathcal{F} \simeq 0$), and then compute the derived $\operatorname{Homs}$ between these.
  • If you can define your category on a DM stack, then the same formalism should go through.
  • Also note that this equivalence is generally not monoidal (with the usual monoidal structure on quiver representations) nor $t$-exact. Reconstruction theorems from the derived category (e.g. Bondal-Orlov) that I know tend to require the monoidal (edit: or some other extra) structure, so I'm not sure how much geometry you can recover without it. See, for example, this MO question.
  • For example, the category of coherent sheaves on $BG$ is equivalent to the category of $G$-representations. If $G$ is semisimple (and the field is characteristic zero?) the resulting quiver is a bunch of nodes corresponding to each irreducible representation with no interesting arrows. You can't reconstruct $BG$ or $G$ from this not-very-interesting dg category without some extra structure.
  • There are probably results which say that certain geometric properties of $X$ will imply that such a quiver exists (e.g. see Andrea's comment), but I don't know them.
Related Question