Toën's full-faithfulness conjecture for the functor from derived schemes to geometric stacks

Let kk be the base ring, let DGDG-SchSch denote the homotopy category of derived schemes, and let C(k)UC(k)_{\mathbb{U}}-Aff,ffqcAff^{\sim,\operatorname{ffqc}} denote the homotopy theory of geometric stacks over the model category of complexes. The construction in the preceding proposition gives a functor

Θ:Ho(DG-Sch)Ho(C(k)U-Aff,ffqc).\Theta: Ho(DG\text{-}Sch) \longrightarrow Ho(C(k)_{\mathbb{U}}\text{-}Aff^{\sim,\operatorname{ffqc}}).

Full-faithfulness conjecture. The functor Θ\Theta is fully faithful. This would embed the homotopy theory of DGDG-schemes into the homotopy theory of geometric stacks over the model category of complexes. The supplied text gives no evidence of a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Bertrand Toen and Gabriele Vezzosi, “Algebraic Geometry over model categories (a general approach to derived algebraic geometry)”, arXiv:math/0110109 (2001).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.