Toën's full faithfulness conjecture for commutative ring spectra

Let SpΣSp^{\Sigma} be the category of symmetric spectra with its positive model structure, and let Comm(SpΣ)Comm(Sp^{\Sigma}) be the model category of commutative ring spectra. Write L(Comm(SpΣ))L(Comm(Sp^{\Sigma})) for its simplicial localization and let TensSeCat\underline{TensSeCat} denote the 22-Segal category of tensor Segal categories. A commutative ring spectrum AA is sent to the tensor Segal category L(A-Mod)L(A\text{-}Mod), and a morphism ABA\to B is sent to the base-change functor ALB-\wedge_A^{\mathbb{L}}B. Toën's full faithfulness conjecture. The morphism of 22-Segal categories

L(Comm(SpΣ))TensSeCatAL(A-Mod)(AB)ALB\begin{array}{ccc} L(Comm(Sp^{\Sigma})) & \longrightarrow & \underline{TensSeCat} \\ A & \mapsto & L(A\text{-}Mod) \\ (A\rightarrow B) & \mapsto & -\wedge^{\mathbb{L}}_{A}B \end{array}

is fully faithful. This asserts that commutative ring spectra can be recovered from their tensor Segal categories of modules; the source presents it as the first fundamental conjecture and notes that the analogous statement for tensor triangulated homotopy categories is expected to fail.

Sources & referencesView supporting material

Primary source

Betrand Toen, “Homotopical and Higher Categorical Structures in Algebraic Geometry”, arXiv:math/0312262 (2003).

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.