Stacks of fiber functors and Tannaka's reconstruction

arXiv2010.12445MaRDI QIDQ6352091FDOQ6352091

Authors: Fabio Tonini 

Publication date: 22 October 2020

Abstract: Given a quasi-compact category fibered in groupoids $mathcalX$ and a monoidal subcategory $mathcalC$ of its category of locally free sheaves $extVect(mathcalX)$, we are going to introduce the stack of fiber functors $ext{Fib}_{mathcalX,mathcalC}$ with source $mathcalC$, which comes equipped with a map $mathcal{P}_{mathcalC}colonmathcalXoext{Fib}_{mathcalX,mathcalC}$ and a functor $mathcalGcolonmathcalCoextVect(ext{Fib}_{mathcalX,mathcalC})$. If $mathcalC$ generates $extQCoh(mathcalX)$ and $mathcalX$ is an fpqc stack with quasi-affine diagonal, we show that $mathcal{P}_{mathcalC}colonmathcalXoext{Fib}_{mathcalX,mathcalC}$ is an equivalence, as it happens by Tannaka's reconstruction when $mathcalX$ is an affine gerbe over a field. In general, under mild assumption on $mathcalC$, e.g. $mathcalC=extVect(mathcalX)$, we show that $ext{Fib}_{mathcalX,mathcalC}$ is a quasi-compact fpqc stack with affine diagonal and that the image $mathcalG(mathcalC)$ generates $extQCoh(ext{Fib}_{mathcalX,mathcalC})$.

This page was built for publication: Stacks of fiber functors and Tannaka's reconstruction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6352091)