Y. Moon

activity

20162026

p

-divisible groups and Barsotti-Tate deformation ring in the relative case

5 citations · 8 across the 12 of their papers we have counts for

collaborators

12 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 $p$ -adic formal scheme with semistable reduction. Combined with the prismatic-éta…

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…

math.NT2024

Log prismatic $F$ -crystals and purity

Heng Du, Tong Liu, Yong Suk Moon +1

Our goal is to study $p$ -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.NT2023

On Fontaine's conjecture for torsion crystalline local systems

Yong Suk Moon

Let $X$ be a smooth connected $p$ -adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for…

math.NT2022

A note on purity of crystalline local systems

Yong Suk Moon

In this short note, we prove a purity result for crystalline local systems on a smooth $p$ -adic affine formal scheme. Our method is based on the prismatic description of crystallin…

math.NT2022

Completed prismatic $F$ -crystals and crystalline $Z_{p}$ -local systems

Heng Du, Tong Liu, Yong Suk Moon +1

We introduce the notion of completed $F$ -crystals on the absolute prismatic site of a smooth $p$ -adic formal scheme. We define a functor from the category of completed prismatic $F…

math.NT2021

Strongly divisible lattices and crystalline cohomology in the imperfect residue field case

Yong Suk Moon

Let $k$ be a perfect field of characteristic $p \geq 3$ , and let $K$ be a finite totally ramified extension of $K_{0} = W (k) [p^{- 1}]$ . Let $L_{0}$ be a complete discrete valuation fiel…

math.NT2020

Relative Fontaine-Messing theory over power series rings

Tong Liu, Yong Suk Moon, Deepam Patel

Let $k$ be a perfect field of characteristic $p > 2$ , $R := W (k) [[t_{1}, \dots, t_{d}]]$ be the power series ring over the Witt vectors, and $X$ be a smooth proper scheme over $R$ . T…

math.NT2019★ 1 cited

Relative crystalline representations and $p$ -divisible groups in the small ramification case

Tong Liu, Yong Suk Moon

Let $k$ be a perfect field of characteristic $p > 2$ , and let $K$ be a finite totally ramified extension over $W (k) [\frac{1}{p}]$ of ramification degree $e$ . Let $R_{0}$ be a relativ…

math.NT2018★ 5 cited

Extending $p$ -divisible groups and Barsotti-Tate deformation ring in the relative case

Yong Suk Moon

Let $k$ be a perfect field of characteristic $p > 2$ , and let $K$ be a finite totally ramified extension of $W (k) [\frac{1}{p}]$ of ramification degree $e$ . We consider an unramifie…

math.NT2018★ 2 cited

Relative crystalline representations and weakly admissible modules

Yong Suk Moon

Let $k$ be a perfect field of characteristic $p > 2$ , and let $K$ be a finite totally ramified extension over $W (k) [\frac{1}{p}]$ . Let $R_{0}$ be an unramified relative base ring ove…

math.NT2016

Potentially semi-stable deformations of specified Hodge-Tate type and Galois type

Yong Suk Moon

Let $k$ be a perfect field of characteristic $p > 2$ , and let $K$ be a finite totally ramified extension of $W (k) [\frac{1}{p}]$ . We prove that the locus of potentially semi-stable…

A log prismatic-crystalline comparison theorem

On log crystalline higher direct image

Log prismatic F-crystals and purity

On Fontaine's conjecture for torsion crystalline local systems

A note on purity of crystalline local systems

Completed prismatic F-crystals and crystalline Zp​-local systems

Strongly divisible lattices and crystalline cohomology in the imperfect residue field case

Relative Fontaine-Messing theory over power series rings

Relative crystalline representations and p-divisible groups in the small ramification case

Extending p-divisible groups and Barsotti-Tate deformation ring in the relative case

Relative crystalline representations and weakly admissible modules

Potentially semi-stable deformations of specified Hodge-Tate type and Galois type

Log prismatic $F$ -crystals and purity

Completed prismatic $F$ -crystals and crystalline $Z_{p}$ -local systems

Relative crystalline representations and $p$ -divisible groups in the small ramification case

Extending $p$ -divisible groups and Barsotti-Tate deformation ring in the relative case