On log crystalline higher direct image
Number Theory
2026-03-03 v1 Algebraic Geometry
Abstract
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between fine log schemes. We also introduce the big absolute crystalline sites and discuss the Frobenius isogeny property of the crystalline higher direct image of -isocrystals.
Cite
@article{arxiv.2603.00559,
title = {On log crystalline higher direct image},
author = {Heng Du and Yong Suk Moon and Koji Shimizu},
journal= {arXiv preprint arXiv:2603.00559},
year = {2026}
}