arXiv subjects
Publications and source records attributed to Kensuke Aoki.
For Shimura varieties of Hodge type, we show that there are natural isomorphisms between locally analytic complete cohomology groups and cohomology groups for flag varieties with coefficient which is given by their perfectoid covers. This result is a generalization of that of Pan for the modular curve and Qiu-Su for unitary Shimura curves.
For a finite extension $K/\mathbb{Q}_p$ and a split reductive group $G$ over $\mathcal{O}_K$, let $\overline{\rho} \colon \mathrm{Gal}_K \to G(\overline{\mathbb{F}}_p)$ be a continuous quasi-semisimple mod $p$ $G$-valued representation of the absolute Galois group $\mathrm{Gal}_K$. Let $\overline{\rho}^{\mathrm{ab}}$ be the abelianization of $\overline{\rho}$ and fix a crystalline lift $\psi$ of $\overline{\rho}^{\mathrm{ab}}$. We show the existence of a crystalline lift $\rho$ of $\overline{\rho}$ with regular Hodge-Tate weights such that the abelianization of $\rho$ coincides with $\psi$. We also show analogous results in the case that $G$ is a quasi-split tame group and $\overline{\rho} \colon \mathrm{Gal}_K \to {^L}G(\overline{\mathbb{F}}_p)$ is a semisimple mod $p$ $L$-parameter. These theorems are generalizations of those of Lin and B\"ockle-Iyengar-Pa\v{s}k\={u}nas.
We introduce trianguline deformation spaces $X_{\tri} (\overline{\rho})$ for a $\GSp_{2n}$-valued residual representation $\overline{\rho} \colon {\mathcal{G}}_K \to \GSp_{2n} (k)$, where $k$ is a finite field of characteristic $p > 0$ and ${\mathcal{G}}_K$ is the absolute Galois group of a finite extension $K / {\mathbb{Q}}_p$, and study their properties. We show Zariski density of the crystalline points on the rigid generic fiber ${\mathfrak{X}}_{\overline{\rho}}$ of the framed deformation space of $\overline{\rho}$ under some conditions.
\v{C}esnavi\v{c}ius-Koshikawa constructed the A_inf-cohomology theory for semistable formal schemes over the ring of integers of C_p. We prove the p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes, extending the result of Bhatt-Morrow-Scholze in the smooth case.