Indexed Logarithmic Cartier Transform

@misc{fersi2026indexed,
  title = {{Indexed Logarithmic Cartier Transform}},
  author = {Sami Fersi},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.07543},
  eprint = {2610.07543},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.07543},
}

TY  - UNPB
TI  - Indexed Logarithmic Cartier Transform
AU  - Sami Fersi
PY  - 2026
DA  - 2026/10/06
PB  - arXiv
DO  - 10.48550/arxiv.2610.07543
UR  - https://arxiv.org/abs/2610.07543
AB  - This article is the third of a series of three articles whose goal is to generalize the Cartier transform of Ogus and Vologodsky to the logarithmic setting. In the second one, we generalized a topos-theoretic version of this transform, due to Oyama. Let W be the ring of Witt vectors of a perfect field of positive characteristic p and equip SpfW with the trivial log structure. Let S be an fs log p-adic formal scheme, locally of finite type and log flat over SpfW and denote its special fiber by S. For a log smooth morphism of logarithmic schemes X → S, we constructed crystalline-like ringed topoi ℰ' and underlineℰ and subcategories of crystals of quasi-coherent modules 𝒞' and underline𝒞, equivalent respectively, under some lifting assumption, to modules with Higgs fields and integrable connections, both satisfying certain nilpotence conditions, and a morphism of topoi underlineℰ → ℰ'. We proved that the pullback functor of this morphism of topoi preserves quasi-coherent crystals and induces a fully faithful functor 𝒞' → underline𝒞. Since the Frobenius morphism is not, in general, flat in the log smooth setting, it is not clear that this functor is essentially surjective. To address this issue, we refine the topoi and crystals mentioned above by endowing them with an indexed structure, inspired by Lorenzon's indexed extension of Cartier descent to smooth logarithmic schemes. Using the Azumaya property of the indexed algebra of logarithmic differential operators, we then obtain an equivalence between the corresponding categories of indexed crystals, thereby generalizing the Cartier transform.
ER  -