Toën's characterization conjecture for Tannakian Segal categories
Toën's characterization conjecture for Tannakian Segal categories
Let be a commutative ring spectrum, let be an -tensor Segal category, and let be its stack of fiber functors. For an -Tannakian Segal category, the source considers the natural morphism . Write for the Segal category of Ind-objects and let be a fiber functor after an covering . Toën's characterization conjecture. (i) For any -Tannakian Segal category , the natural morphism
is an equivalence of -tensor Segal categories. (ii) A rigid -tensor Segal category is Tannakian precisely when the structural morphism induces and there is an covering and an -tensor morphism whose Ind-extension is conservative and satisfies the stated orthogonality characterization of by . This is the main conjectural duality criterion in the source; the source does not establish the equivalence in general.
Sources & referencesView supporting material
Primary source
Betrand Toen, “Homotopical and Higher Categorical Structures in Algebraic Geometry”, arXiv:math/0312262 (2003).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.