Lemma 88.19.4. Consider the properties $P(\varphi )=$“$\varphi $ is rig-étale” and $Q(\varphi )$=“$\varphi $ is adic” on arrows of $\textit{WAdm}^{Noeth}$. Then $P$ is stable under base change by $Q$ as defined in Formal Spaces, Remark 87.21.10.
Proof. The statement makes sense by Lemma 88.19.1. To see that it is true assume we have morphisms $B \to A$ and $B \to C$ in $\textit{WAdm}^{Noeth}$ and that $B \to A$ is rig-étale and $B \to C$ is adic (Formal Spaces, Definition 87.6.1). Then we can choose an ideal of definition $I \subset B$ such that the topology on $A$ and $C$ is the $I$-adic topology. In this situation it follows immediately that $A \widehat{\otimes }_ B C$ is rig-étale over $(C, IC)$ by Lemma 88.8.6. $\square$
Comments (0)