English

Stacks of fiber functors and Tannaka's reconstruction

Algebraic Geometry 2020-10-26 v1

Abstract

Given a quasi-compact category fibered in groupoids X\mathcal{X} and a monoidal subcategory C\mathcal{C} of its category of locally free sheaves Vect(X)\text{Vect}(\mathcal{X}), we are going to introduce the stack of fiber functors FibX,C\text{Fib}_{\mathcal{X},\mathcal{C}} with source C\mathcal{C}, which comes equipped with a map PC ⁣:XFibX,C\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}} and a functor G ⁣:CVect(FibX,C)\mathcal{G}\colon\mathcal{C}\to\text{Vect}(\text{Fib}_{\mathcal{X},\mathcal{C}}). If C\mathcal{C} generates QCoh(X)\text{QCoh}(\mathcal{X}) and X\mathcal{X} is an fpqc stack with quasi-affine diagonal, we show that PC ⁣:XFibX,C\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}} is an equivalence, as it happens by Tannaka's reconstruction when X\mathcal{X} is an affine gerbe over a field. In general, under mild assumption on C\mathcal{C}, e.g. C=Vect(X)\mathcal{C}=\text{Vect}(\mathcal{X}), we show that FibX,C\text{Fib}_{\mathcal{X},\mathcal{C}} is a quasi-compact fpqc stack with affine diagonal and that the image G(C)\mathcal{G}(\mathcal{C}) generates QCoh(FibX,C)\text{QCoh}(\text{Fib}_{\mathcal{X},\mathcal{C}}).

Keywords

Cite

@article{arxiv.2010.12445,
  title  = {Stacks of fiber functors and Tannaka's reconstruction},
  author = {Fabio Tonini},
  journal= {arXiv preprint arXiv:2010.12445},
  year   = {2020}
}

Comments

28 pages. arXiv admin note: text overlap with arXiv:1409.4073