Universality conjecture for stacks of fiber functors

About 6 years old · traced to

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 Fib⁡X,C\operatorname{Fib}_{\mathcal{X},\mathcal{C}} for the stack of fiber functors and let X→Fib⁡X,C\mathcal{X}\to\operatorname{Fib}_{\mathcal{X},\mathcal{C}} be the canonical morphism. Universality conjecture. The morphism X→Fib⁡X,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⁡(Fib⁡X,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}}\}.

References

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.