pipette
ESEspañol

A Topos-Theoretic Approach to the Logarithmic Cartier Transform

Sami Fersi

Preprint

In the authors' words

This article is the second of three articles whose goal is to generalize the Cartier transform of Ogus and Vologodsky to the logarithmic setting. We generalize a topos-theoretic version of this transform, due to Oyama. Let be a perfect field of positive characteristic and equip with the trivial log structure. For a log smooth morphism of logarithmic schemes we construct crystalline-like ringed topoi and and subcategories of crystals of quasi-coherent modules and equivalent respectively, under some lifting assumption, to modules with Higgs fields and integrable connections, both satisfying certain nilpotence conditions, and a morphism of topoi We then prove that the pullback functor of this morphism of topoi preserves quasi-coherent crystals and hence induces a functor generalizing the Cartier transform. We finally use a log flat descent theorem for morphisms, that we proved in the first article, to prove that this functor is fully faithful.

Main resultLimitation the authors admit

Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.

Authors' comment: 68 pages. This is the second part of my PhD thesis arXiv:2512.11660