{"id":"arxiv/2610.40200","url":"https://arxiv.org/abs/2610.40200","tags":["math.AG","math.CT"],"score":0,"title":"The $6\\frac{1}{2}$-functor formalism of Cartier modules","domain":"math.AG","source":"arxiv","authors":["Klaus Mattis","Timo Weiß"],"reviews":0,"subject":"math.AG","summary":"Let $p$ be a prime. We construct a coherent formalism of geometric operations on Cartier modules with coefficients in ind-coherent sheaves on noetherian derived $\\mathbb F_p$-schemes. For such a scheme $X$, we consider the stable presentable category $\\mathrm{Cart}(X)$ of ind-coherent sheaves $M$ equipped with a structural morphism $F_{*,X}M \\to M$, where $F_X$ denotes the Frobenius endomorphism. We construct pushforward functors for arbitrary morphisms and exceptional pullback functors for separated morphisms almost of finite type, together with coherent composition and base-change…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}