Pith. sign in

REVIEW 2 cited by

Cartier Crystals have finite global dimension

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2211.11466 v1 pith:TDZWVXOX submitted 2022-11-21 math.AC

Manuel Blickle , Daniel Fink This is my paper · ORCID
classification math.AC
keywords cartierfinitecategorydimensionglobalcrystalsequivalentf-finite
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every quasi-coherent Cartier crystal has a finite injective resolution. The length of the resolution is uniformly bounded by a bound only depending on R. Our result should be viewed as a generalization of a result of Ma showing that the category of unit R[F]-modules over a F-finite regular ring R has finite global dimension dim R + 1.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Duality between $W_n$-Cartier crystals and $\mathbb{Z}/p^n\mathbb{Z}$-perverse sheaves

    math.AG 2025-06 conditional novelty 6.0 of 10

    For Noetherian F-finite semi-separated F_q-schemes, W_n-Cartier crystals are dual to constructible perverse sheaves with W_n(F_q) coefficients.

  2. On the injective dimension of unit Cartier and Frobenius modules

    math.AC 2024-12 conditional novelty 6.0 of 10

    Every unit Cartier module over a noetherian F-finite ring of prime characteristic p has injective dimension at most the dimension of its support plus one; the same holds for unit Frobenius modules over regular rings.

Pith tools