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

About 23 years old · traced to

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 A→BA\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Σ))⟶TensSeCat‾A↦L(A-Mod)(A→B)↦−∧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.

References

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.