A Topos-Theoretic Approach to the Logarithmic Cartier Transform
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.
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