The $6\frac{1}{2}$-functor formalism of Cartier modules
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.40200
curl -X POST /api/v1/records/arxiv/2610.40200/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.40200/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'