Lemma 87.30.1. Let $A \to B$ be a ring homomorphism of Noetherian rings inducing an isomorphism on $I$-adic completions for some ideal $I \subset A$ (for example if $B$ is the $I$-adic completion of $A$). Then base change defines an equivalence of categories between the category (87.30.0.1) for $(A, I)$ with the category (87.30.0.1) for $(B, IB)$.

Proof. Set $X = \mathop{\mathrm{Spec}}(A)$ and $T = V(I)$. Set $X_1 = \mathop{\mathrm{Spec}}(B)$ and $T_1 = V(IB)$. By Theorem 87.27.4 (in fact we only need the affine case treated in Lemma 87.27.3) the category (87.30.0.1) for $X$ and $T$ is equivalent to the the category of rig-étale morphisms $W \to X_{/T}$ of locally Noetherian formal algebraic spaces. Similarly, the the category (87.30.0.1) for $X_1$ and $T_1$ is equivalent to the category of rig-étale morphisms $W_1 \to X_{1, /T_1}$ of locally Noetherian formal algebraic spaces. Since $X_{/T} = \text{Spf}(A^\wedge )$ and $X_{1, /T_1} = \text{Spf}(B^\wedge )$ (Formal Spaces, Lemma 86.14.6) we see that these categories are equivalent by our assumption that $A^\wedge \to B^\wedge$ is an isomorphism. We omit the verification that this equivalence is given by base change. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).