Universality conjecture for stacks of fiber functors

Let X\mathcal{X} be a quasi-compact fibered category over RR, and let C\mathcal{C} be as in the resolution-property hypothesis of the paper. Write FibX,C\operatorname{Fib}_{\mathcal{X},\mathcal{C}} for the stack of fiber functors and let XFibX,C\mathcal{X}\to\operatorname{Fib}_{\mathcal{X},\mathcal{C}} be the canonical morphism. Universality conjecture. The morphism XFibX,C\mathcal{X}\to\operatorname{Fib}_{\mathcal{X},\mathcal{C}} is universal among maps from X\mathcal{X} to quasi-compact fpqc stacks with quasi-affine diagonal and the resolution property: for every such stack Y\mathcal{Y}, the induced map

Hom(FibX,Vect(X),Y)Hom(X,Y)\operatorname{Hom}(\operatorname{Fib}_{\mathcal{X},\operatorname{Vect}(\mathcal{X})},\mathcal{Y})\to\operatorname{Hom}(\mathcal{X},\mathcal{Y})

is an equivalence. The conjecture is verified in two special cases described in the paper: when X\mathcal{X} is quasi-compact with quasi-affine diagonal and C\mathcal{C} generates QCoh(X)\operatorname{QCoh}(\mathcal{X}), and when X\mathcal{X} is quasi-compact and quasi-separated with C={OX}\mathcal{C}=\{\mathcal{O}_{\mathcal{X}}\}.

Sources & referencesView supporting material

Primary source

Fabio Tonini, “Stacks of fiber functors and Tannaka's reconstruction”, arXiv:2010.12445 (2020).

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.