2 problems

Let $\mathcal S$ be a henselian trait with perfect residue field of characteristic $p>0$, with closed point $s$, generic point $\eta$, and geometric generic point $\overline\eta$.…

Small $p$-adic Simpson comparison conjecture. The canonical morphism induces a quasi-isomorphism