Local Logarithmic Cartier Transform
Abstract
This article is the first of three articles whose goal is to generalize the Cartier transform of Ogus and Vologodsky to the logarithmic setting. In this article, we generalize a local version, due to Shiho, of the Cartier transform to log smooth schemes. More precisely, let k be a perfect field of positive characteristic and equip Speck with the trivial logarithmic structure. For a log smooth morphism of logarithmic schemes X → S, where S is log flat and locally of finite type over Speck, we obtain, under the assumption that the exact relative Frobenius lifts over the Witt vectors of k to a morphism between log smooth schemes over S, a fully faithful functor from the category of quasi-coherent modules on the base change X'=X×S,FSS of X by the Frobenius FS of S, equipped with a quasi-nilpotent Higgs field, to the category of quasi-coherent modules on X equipped with a quasi-nilpotent integrable connection. For this, we prove a log flat descent theorem for morphisms, based on previous work by Kato.
Related
BibTeX
@misc{fersi2026local,
title = {{Local Logarithmic Cartier Transform}},
author = {Sami Fersi},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.25172},
eprint = {2609.25172},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.25172},
}
RIS
TY - UNPB
TI - Local Logarithmic Cartier Transform
AU - Sami Fersi
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.25172
UR - https://arxiv.org/abs/2609.25172
AB - This article is the first of three articles whose goal is to generalize the Cartier transform of Ogus and Vologodsky to the logarithmic setting. In this article, we generalize a local version, due to Shiho, of the Cartier transform to log smooth schemes. More precisely, let k be a perfect field of positive characteristic and equip Speck with the trivial logarithmic structure. For a log smooth morphism of logarithmic schemes X → S, where S is log flat and locally of finite type over Speck, we obtain, under the assumption that the exact relative Frobenius lifts over the Witt vectors of k to a morphism between log smooth schemes over S, a fully faithful functor from the category of quasi-coherent modules on the base change X'=X×_S,F_SS of X by the Frobenius F_S of S, equipped with a quasi-nilpotent Higgs field, to the category of quasi-coherent modules on X equipped with a quasi-nilpotent integrable connection. For this, we prove a log flat descent theorem for morphisms, based on previous work by Kato.
ER -