# Existence of dg realization for 6 functors

Is there a way to lift 6 functors on constructable sheaves to the dg world?

-
Welcome to MO. Presumably the answer is "yes". Would you find that an informative answer? -- probably not. I would guess that you also want to learn something a bit more specific about the 6 functor formalism. If that is the indeed the case, then I encourage you to reformulate your question: give a bit more background about what you already know, and what are the things that you'd like to learn from an answer. –  André Henriques Jun 15 '12 at 10:34
Welcome to MO, dear David. Dear André, your comment reminded me of a mathematician friend, whose daughter was amazed to see that when she visits other people and in dinner somebody asks "Can you pass me the bread?" the response is passing the bread, and not just saying "yes". –  Gil Kalai Jun 16 '12 at 23:16
Ok. Point taken :-). I simply wanted to say that the question could be elaborated a bit, e.g., by mentioning which of the six functors are easy to make dg, and which ones look harder. Or it is maybe the interplay between those functors that is confusing in the dg world?... –  André Henriques Jun 17 '12 at 10:06
@Gil Kalai: DG stands for "differential graded". This is a reasonable question for the following reason: the "derived category" of a nice Abelian category, where the "6 functor formalism" lives, is essentially the homotopy-theoretic shadow of the DG-category associated to the Abelian category. But the DG-category itself allows us to make certain desirable constructions--e.g. gluing objects together, which are very difficult in the homotopy-theoretic world. So it would be good to have a lift of our useful functors to the DG world. –  Daniel Litt Jun 17 '12 at 15:13
Even formulating the problem for needs in representation theory is non-trivial, e.g. to see that constructible sheaves on $X\times X$ is monoidal under convolution. The problem is how to formulate (upper-*, lower-!) base-change in a homotopy-smart way. Fortunately, this problem has been solved: Francis-Gaitsgory suggest a solution in their paper on chiral algebras using categories of correspondences. The idea is obviously rich enough to carry over to any sheaf theoretic setting. But that format hasn't been published yet, though I understand there is forthcoming work of Gaitsgory-Rozenblyum. –  Moosbrugger Jul 11 '12 at 12:53

If I understand correctly your are looking for a dg enhancement of the six operation formalism.

There seem to be a paper that does something very close to it: Yifeng Liu and Weizhe Zheng, Enhanced six operations and base change theorem for sheaves on Artin stacks (available at http://math.columbia.edu/~liuyf/sixi.pdf).

They use the language of $(\infty,1)$-categories, but I think one can adapt it to dg-categories (assuming that one is working over a field of characteristic zero).

EDIT Nov. 27, 2012: the above preprint has been posted on the arXiv: http://arxiv.org/abs/1211.5948

-
Has anyone (using whatever language) spelled out the formalism of the four operations for $\mathcal{O}$-modules? Or better yet, for quasi-coherent sheaves? I'd be especially interested in coherence for base-change diagrams. (the only reference I could find is buried in one of Lurie's DAG's and for some reason there is a quasi-affineness condition which I still haven't figured out why appears) –  Yosemite Sam Jun 25 '12 at 9:55
Up to now I have only seen enhancements of pull-back and push-forward being discussed (see e.g. arxiv.org/abs/math/0604504 and references threrin, and also Lurie's DAG VIII for the specrtal setting). –  DamienC Jun 25 '12 at 14:10
@Sam - you might want to look at Gaitsgory's paper on ind-coherent sheaves.. not precisely what you ask perhaps but explains exactly the formal setting in which such a construction should fit. –  David Ben-Zvi Jun 25 '12 at 14:42
I'll have a look at the papers. I think I understand that by some Kan extension nonsense one can has a(n $\infty$) functor from derived stacks to stable categories which to $X$ associates the stable category of quasi-coherent modules (or maybe ind-coherent) and to $X \to Y$ associates the pullback. Again by general colimit nonsense it should follow that all these morphisms have adjoints (which in pathological (non qcqs) cases will be something like pushforward composed with the coherator). What I don't know is how to deal with cartesian diagrams, and given base-change, how to deal with two car –  Yosemite Sam Jun 25 '12 at 14:59
tesian diagrams one next to another. There should be some kind of "coherence" result. I have been told that this corresponds to a lift to the category of "correspondences". At this point my comment is getting to vague to make any sense. I think I'll have a look at the papers before yapping any longer. –  Yosemite Sam Jun 25 '12 at 15:01

Yes, not just presumably but definitively.

-
please do pass the bread :) –  Yosemite Sam Jun 25 '12 at 3:37