Existence of dg realization for 6 functors - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T05:23:09Zhttp://mathoverflow.net/feeds/question/99689http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/99689/existence-of-dg-realization-for-6-functorsExistence of dg realization for 6 functorskazhdan david2012-06-15T10:20:56Z2012-11-27T07:53:39Z
<p>Is there a way to lift 6 functors on constructable sheaves to the dg world?</p>
http://mathoverflow.net/questions/99689/existence-of-dg-realization-for-6-functors/100560#100560Answer by Liz Wood for Existence of dg realization for 6 functorsLiz Wood2012-06-25T03:31:48Z2012-06-25T03:31:48Z<p>Yes, not just presumably but definitively.</p>
http://mathoverflow.net/questions/99689/existence-of-dg-realization-for-6-functors/100570#100570Answer by DamienC for Existence of dg realization for 6 functorsDamienC2012-06-25T07:45:08Z2012-11-27T07:53:39Z<p>If I understand correctly your are looking for a dg enhancement of the six operation formalism. </p>
<p>There seem to be a paper that does something very close to it: Yifeng Liu and Weizhe Zheng, <em>Enhanced six operations and base change theorem for sheaves on Artin stacks</em> (available at <a href="http://math.columbia.edu/~liuyf/sixi.pdf" rel="nofollow">http://math.columbia.edu/~liuyf/sixi.pdf</a>). </p>
<p>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). </p>
<p>EDIT Nov. 27, 2012: the above preprint has been posted on the arXiv: <a href="http://arxiv.org/abs/1211.5948" rel="nofollow">http://arxiv.org/abs/1211.5948</a></p>