Related papers: Integral $p$-adic non-abelian Hodge theory for sma…
Let $\frakX$ be a smooth $p$-adic formal scheme over $\calO_K$ with adic generic fiber $X$. We obtain a global equivalence between the category $\Vect((\frakX)_{\Prism},\overline\calO_{\Prism}[\frac{1}{p}])$ of rational Hodge--Tate crystals…
Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic…
We generalize several known results on small Simpson correspondence for smooth formal schemes over $\calO_C$ to the case for semi-stable formal schemes. More precisely, for a liftable semi-stable formal scheme $\frakX$ over $\calO_C$ with…
For a smooth projective curve $X$ over $\mathbb C_p$ and any reductive group $G$, we show that the moduli stack of $G$-Higgs bundles on $X$ is a twist of the moduli stack of v-topological $G$-bundles on $X_v$ in a canonical way. We explain…
For any smooth proper rigid analytic space $X$ over a complete algebraically closed extension of $\mathbb Q_p$, we construct a $p$-adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze's pro-\'etale…
We propose a new moduli-theoretic approach to the $p$-adic Simpson correspondence for a smooth proper rigid space $X$ over $\mathbb C_p$ with coefficients in any rigid analytic group $G$, in terms of a comparison of moduli stacks. For its…
Let $C$ be an algebraically closed perfectoid field over $\mathbb{Q}_p$ with the ring of integer $\mathcal{O}_C$ and the infinitesimal thickening $\Ainf$. Let $\mathfrak X$ be a semi-stable formal scheme over $\mathcal{O}_C$ with a fixed…
For any smooth proper rigid space $X$ over a complete algebraically closed extension $K$ of $\mathbb Q_p$ we give a geometrisation of the $p$-adic Simpson correspondence of rank one in terms of analytic moduli spaces: The $p$-adic character…
We relate various approaches to coefficient systems in relative integral $p$-adic Hodge theory, working in the geometric context over the ring of integers of a perfectoid field. These include small generalised representations over…
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log…
Let $k$ be an algebraic closure of finite fields with odd characteristic $p$ and a smooth projective scheme $\mathbf{X}/W(k)$. Let $\mathbf{X}^0$ be its generic fiber and $X$ the closed fiber. For $\mathbf{X}^0$ a curve Faltings conjectured…
Let $k $ be the algebraic closure of a finite field of odd characteristic $p$ and $X$ a smooth projective scheme over the Witt ring $W(k)$ which is geometrically connected in characteristic zero. We introduce the notion of Higgs-de Rham…
Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois…
We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and…
Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic \'etale cohomology of its generic fibre is also…
Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…
We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained…
We place the representation variety in the broader context of abelian and nonabelian cohomology. We outline the equivalent constructions of the moduli spaces of flat bundles, of smooth integrable connections, and of holomorphic integrable…
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…
Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…