## 108.42 A ring map which identifies local rings which is not ind-étale

Note that the ring map $R \to B(R)$ constructed in Section 108.41 is a colimit of finite products of copies of $R$. Hence $R \to B(R)$ is ind-Zariski, see Pro-étale Cohomology, Definition 60.4.1. Next, consider the ring map $A \to B^{twist}(A)$ constructed in Section 108.41. Since this ring map is Zariski locally on $\mathop{\mathrm{Spec}}(A)$ isomorphic to an ind-Zariski ring map $R \to B(R)$ we conclude that it identifies local rings (see Pro-étale Cohomology, Lemma 60.4.6). The discussion in Section 108.41 shows there is a section $B^{twist}(A) \to A$ whose kernel is not generated by idempotents. Now, if $A \to B^{twist}(A)$ were ind-étale, i.e., $B^{twist}(A) = \mathop{\mathrm{colim}}\nolimits A_ i$ with $A \to A_ i$ étale, then the kernel of $A_ i \to A$ would be generated by an idempotent (Algebra, Lemmas 10.142.8 and 10.142.9). This would contradict the result mentioned above.

Lemma 108.42.1. There is a ring map $A \to B$ which identifies local rings but which is not ind-étale. A fortiori it is not ind-Zariski.

Proof. See discussion above. $\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).