Frobenius fixed objects of moduli

MaRDI QIDQ6357046zbMATH OpenFDO

Authors Valentina Di Proietto, Fabio Tonini, Lei Zhang

Publication date 27 December 2020

Abstract: Let $mathcalX$ be a category fibered in groupoids over a finite field $mathbb{F}_q$, and let $k$ be an algebraically closed field containing $mathbb{F}_q$. Denote by $ph{i}_{k}colon{mathcalX}_{k}o{mathcalX}_k$ the arithmetic Frobenius of ${mathcalX}_k/k$ and suppose that $mathcalM$ is a stack over $mathbb{F}_q$ (not necessarily in groupoids). Then there is a natural functor $alph{a}_{mathcalM,mathcalX}colonmathcalM(mathcalX)omathcalM(mathbf{D}_k(mathcalX))$, where $mathcalM(mathbf{D}_k(mathcalX))$ is the category of $ph{i}_k$-invariant maps ${mathcalX}_{k}omathcalM$. A version of Drinfeld's lemma states that if $mathcalX$ is a projective scheme and $mathcalM$ is the stack of quasi-coherent sheaves of finite presentation, then $alph{a}_{mathcalM,mathcalX}$ is an equivalence. We extend this result in several directions. For proper algebraic stacks or affine gerbes $mathcalX$, we prove Drinfeld's lemma and deduce that $alph{a}_{mathcalM,mathcalX}$ is an equivalence for very general algebraic stacks $mathcalM$. For arbitrary $mathcalX$, we show that $alph{a}_{mathcalM,mathcalX}$ is an equivalence when $mathcalM$ is the stack of immersions, the stack of quasi-compact separated 'etale morphisms or any quasi-separated Deligne-Mumford stack with separated diagonal.

This page was built for publication: Frobenius fixed objects of moduli

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