3 papers
math.NT2026
Log prismatic -crystals and purity
Heng Du, Tong Liu, Yong Suk Moon +1
Our goal is to study -adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its rest…
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…