Toën's characterization conjecture for Tannakian Segal categories

Let AA be a commutative ring spectrum, let TT be an AA-tensor Segal category, and let FIBA(T)FIB_A(T) be its stack of fiber functors. For an AA-Tannakian Segal category, the source considers the natural morphism TLParfA(FIBA(T))T\to LParf_A(FIB_A(T)). Write Ind(T)Ind(T) for the Segal category of Ind-objects and let ω:TLParf(A)\omega:T\to LParf(A') be a fiber functor after an sffqcsffqc covering AAA\to A'. Toën's characterization conjecture. (i) For any AA-Tannakian Segal category TT, the natural morphism

TLParfA(FIBA(T))T\longrightarrow LParf_A(FIB_A(T))

is an equivalence of AA-tensor Segal categories. (ii) A rigid AA-tensor Segal category is Tannakian precisely when the structural morphism induces LParf(A)(1,1)T(1,1)LParf(A)_{(1,1)}\simeq T_{(1,1)} and there is an sffqcsffqc covering AAA\to A' and an AA-tensor morphism ω:TLParf(A)\omega:T\to LParf(A') whose Ind-extension is conservative and satisfies the stated orthogonality characterization of Ind(T)0Ind(T)_{\geq 0} by Ind(T)<0Ind(T)_{<0}. 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

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.