{"id":"arxiv/2603.00559","url":"https://arxiv.org/abs/2603.00559","tags":["math.NT","math.AG"],"score":0,"title":"On log crystalline higher direct image","domain":"math.NT","source":"arxiv","authors":["Heng Du","Yong Suk Moon","Koji Shimizu"],"reviews":0,"subject":"math.NT","summary":"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 $F$-isocrystals.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-28","reactions":{}}