2 papers
math.NT2026
A log prismatic-crystalline comparison theorem
Heng Du, Yong Suk Moon, Koji Shimizu
We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a -adic formal scheme with semistable reduction. Combined with the prismatic-ét…
math.NT2026
On log crystalline higher direct image
Heng Du, Yong Suk Moon, Koji Shimizu
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 crystallin…