Source author record

Wansu Kim

Wansu Kim appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.AG

Catalog footprint

What is connected

4works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Local Shtukas, Hodge-Pink Structures and Galois Representations

We review the analog of Fontaine's theory of crystalline $p$-adic Galois representations and their classification by weakly admissible filtered isocrystals in the arithmetic of function fields over a finite field. There crystalline Galois representations are replaced by the Tate modules of so-called local shtukas. We prove that the Tate module functor is fully faithful. In addition to this étale realization of a local shtuka we discuss also the de Rham and the crystalline cohomology realizations and construct comparison isomorphisms between these realizations. We explain how local shtukas and these cohomology realizations arise from Drinfeld modules and Anderson's $t$-motives. As an application we construct equi-characteristic crystalline deformation rings, establish their rigid-analytic smoothness and compute their dimension.

preprint2015arXiv

2-adic integral canonical models and the Tate conjecture in characteristic 2

We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.

preprint2013arXiv

The relative Breuil-Kisin classification of $p$-divisible groups and finite flat group schemes

Assume that $p>2$, and let $\mathscr{O}_K$ be a $p$-adic discrete valuation ring with residue field admitting a finite $p$-basis, and let $R$ be a formally smooth formally finite-type $\mathscr{O}_K$-algebra. (Indeed, we allow slightly more general rings $R$.) We construct an anti-equivalence of categories between the categories of $p$-divisible groups over $R$ and certain semi-linear algebra objects which generalise $(φ,\mathfrak{S})$-modules of height $\leqslant1$ (or Kisin modules). A similar classification result for $p$-power order finite flat group schemes is deduced from the classification of $p$-divisible groups. We also show compatibility of various construction of ($\mathbb{Z}_p$-lattice or torsion) Galois representations, including the relative version of Faltings' integral comparison theorem for $p$-divisible groups. We obtain partial results when $p=2$.

preprint2010arXiv

Galois deformation theory for norm fields and flat deformation rings

Let $K$ be a finite extension of $\mathbb{Q}_p$, and choose a uniformizer $π\in K$, and put $K_\infty:=K(\sqrt[p^\infty]π)$. We introduce a new technique using restriction to $\Gal(\ol K/K_\infty)$ to study flat deformation rings. We show the existence of deformation rings for $\Gal(\ol K/K_\infty)$-representations ``of height $\leqslant h$'' for any positive integer $h$, and we use them to give a variant of Kisin's proof of connected component analysis of a certain flat deformation rings, which was used to prove Kisin's modularity lifting theorem for potentially Barsotti-Tate representations. Our proof does not use the classification of finite flat group schemes, so it avoids Zink's theory of windows and displays when $p=2$. This $\Gal(\ol K/K_\infty)$-deformation theory has a good analogue in positive characteristics analogue of crystalline representations in the sense of Genestier-Lafforgue. In particular, we obtain a positive characteristic analogue of crystalline deformation rings, and can analyze their local structure.