Let $K/\mathbb Q_p$ be a discretely valued non-archemedean field, let $X$ be a smooth scheme over $\mathcal O_K$. To $X$ one can associate two rigid-analytic spaces over $K$:

1) the analytification $X_K^{\mathrm{an}} $ of the generic fiber,

2) the generic fiber $\mathfrak X^{\mathrm{rig}}$ of the corresponding formal scheme $\mathfrak X$.

One has a natural map $i_X:\mathfrak X^{\mathrm{rig}}\rightarrow X_K^{\mathrm{an}}$ which is an open immersion and an isomorphism in the case of proper $X$. For any $X$ one also has a comparison isomorphism between etale cohomology groups of $X_{\overline K}$ and $X_{K}^{\mathrm{an}}$ for torsion coefficients. So in the proper case one also has an isomorphism $H^i(({X_K})_{et},\mathbb Z/n\mathbb Z)\simeq H^i(\mathfrak X^{\mathrm{rig}}_{et},\mathbb Z/n\mathbb Z)$. Does one have this isomorphism in general or it holds only for $X$ proper? If not what could be a counterexample?

  • 2
    $\begingroup$ Have you thought about even the most basic case of the affine line over $O_K$ with $i=1$ and $n=p$ (connected cyclic finite etale covers of $p$-power degree over the analytic closed unit ball and the affine line) for $K \supset \mathbf{Q}_p(\zeta_p)$? $\endgroup$
    – nfdc23
    Aug 26, 2017 at 0:40
  • 2
    $\begingroup$ Ah, I see. For rigidification I can lift the Artin-Schreier covers of the reduction. $\endgroup$
    – user42024
    Aug 26, 2017 at 7:53
  • 1
    $\begingroup$ @nfdc23 Oh. Or I could take something like $\mathbb Q_p(\mu_p)\langle x\rangle[t]/(t^p-px-1)$ which if it were $\mathbb Z_p(\mu_p)\langle x \rangle$ would give an inseperable extension of $\mathbb F_p[x]$ on the reduction modulo the maximal ideal of $\mathbb Z_p(\mu_p)$ $\endgroup$
    – user42024
    Aug 26, 2017 at 8:29
  • $\begingroup$ Consider the case where the closed fiber is empty (but $X$ isn't). $\endgroup$ Aug 28, 2017 at 7:02


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.