Timo Weiß | Searcharxiv

arXiv2025

The derived $\infty$-category of Frobenius modules

We prove that for $X$ a quasi-compact $\mathbb{F}_p$-scheme with affine diagonal (e.g.\ $X$ quasi-compact and separated) there is a t-exact equivalence $\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal D(\mathrm{QCoh}(X)),\mathcal D(F_*))$ of stable $\infty$-categories. Here, $\mathrm{Frob}(-,-)$ denotes the $\infty$-category of generalized Frobenius modules as introduced in arXiv:2410.17102. This generalizes our result from arXiv:2410.17102, where we proved the above for regular Noetherian $\mathbb{F}_p$-schemes. As a byproduct we prove that the derived $\infty$-category of Frobenius (and Cartier) modules satisfies Zariski descent.

math.AG↗

arXiv2024

The derived $\infty$-category of Cartier Modules

For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity. This generalizes the notion of Cartier modules on $\mathbb{F}_p$-schemes considered in the literature. We show that in favorable cases $\operatorname{Cart}(\mathcal{C},F)$ is monadic over $\mathcal{C}$. If $\mathcal{A}$ is a Grothendieck abelian category and $F\colon\mathcal{A}\to\mathcal{A}$ is an exact and colimit-preserving endofunctor, we use this fact to construct an equivalence $\mathcal{D}(\operatorname{Cart}(\mathcal{A},F)) \simeq \operatorname{Cart}(\mathcal{D}(\mathcal{A}),\mathcal{D}(F))$ of stable $\infty$-categories. We use this equivalence to construct a perverse t-structure on $\mathcal{D}(\operatorname{Cart}(\operatorname{Mod}(X), F_*))$ for any Noetherian $\mathbb{F}_p$-scheme $X$ with absolute Frobenius $F$. If $F$ is finite, this coincides with the perverse t-structure constructed by Baudin.

math.AG↗