The Stacks project

88.19 Rig-étale homomorphisms

In this section we prove some properties of rig-étale homomorphisms of adic Noetherian topological rings which are needed to introduce rig-étale morphisms of locally Noetherian algebraic spaces.

Lemma 88.19.1. Let $A \to B$ be a morphism in $\textit{WAdm}^{Noeth}$ (Formal Spaces, Section 87.21). The following are equivalent:

  1. $A \to B$ satisfies the equivalent conditions of Lemma 88.11.1 and there exists an ideal of definition $I \subset B$ such that $B$ is rig-étale over $(A, I)$, and

  2. $A \to B$ satisfies the equivalent conditions of Lemma 88.11.1 and for all ideals of definition $I \subset A$ the algebra $B$ is rig-étale over $(A, I)$.

Proof. Let $I$ and $I'$ be ideals of definitions of $A$. Then there exists an integer $c \geq 0$ such that $I^ c \subset I'$ and $(I')^ c \subset I$. Hence $B$ is rig-étale over $(A, I)$ if and only if $B$ is rig-étale over $(A, I')$. This follows from Definition 88.8.1, the inclusions $I^ c \subset I'$ and $(I')^ c \subset I$, and the fact that the naive cotangent complex $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is independent of the choice of ideal of definition of $A$ by Remark 88.11.2. $\square$

Definition 88.19.2. Let $\varphi : A \to B$ be a continuous ring homomorphism between adic Noetherian topological rings, i.e., $\varphi $ is an arrow of $\textit{WAdm}^{Noeth}$. We say $\varphi $ is rig-etale if the equivalent conditions of Lemma 88.19.1 hold.

This defines a local property.

Lemma 88.19.3. The property $P(\varphi )=$“$\varphi $ is rig-étale” on arrows of $\textit{WAdm}^{Noeth}$ is a local property as defined in Formal Spaces, Remark 87.21.5.

Proof. This proof is exactly the same as the proof of Lemma 88.17.3. Let us recall what the statement signifies. First, $\textit{WAdm}^{Noeth}$ is the category whose objects are adic Noetherian topological rings and whose morphisms are continuous ring homomorphisms. Consider a commutative diagram

\[ \xymatrix{ B \ar[r] & (B')^\wedge \\ A \ar[r] \ar[u]^\varphi & (A')^\wedge \ar[u]_{\varphi '} } \]

satisfying the following conditions: $A$ and $B$ are adic Noetherian topological rings, $A \to A'$ and $B \to B'$ are étale ring maps, $(A')^\wedge = \mathop{\mathrm{lim}}\nolimits A'/I^ nA'$ for some ideal of definition $I \subset A$, $(B')^\wedge = \mathop{\mathrm{lim}}\nolimits B'/J^ nB'$ for some ideal of definition $J \subset B$, and $\varphi : A \to B$ and $\varphi ' : (A')^\wedge \to (B')^\wedge $ are continuous. Note that $(A')^\wedge $ and $(B')^\wedge $ are adic Noetherian topological rings by Formal Spaces, Lemma 87.21.1. We have to show

  1. $\varphi $ is rig-étale $\Rightarrow \varphi '$ is rig-étale,

  2. if $B \to B'$ faithfully flat, then $\varphi '$ is rig-étale $\Rightarrow \varphi $ is rig-étale, and

  3. if $A \to B_ i$ is rig-étale for $i = 1, \ldots , n$, then $A \to \prod _{i = 1, \ldots , n} B_ i$ is rig-étale.

The equivalent conditions of Lemma 88.11.1 satisfy conditions (1), (2), and (3). Thus in verifying (1), (2), and (3) for the property “rig-étale” we may already assume our ring maps satisfy the equivalent conditions of Lemma 88.11.1 in each case.

Pick an ideal of definition $I \subset A$. By the remarks above the topology on each ring in the diagram is the $I$-adic topology and $B$, $(A')^\wedge $, and $(B')^\wedge $ are in the category (88.2.0.2) for $(A, I)$. Since $A \to A'$ and $B \to B'$ are étale the complexes $\mathop{N\! L}\nolimits _{A'/A}$ and $\mathop{N\! L}\nolimits _{B'/B}$ are zero and hence $\mathop{N\! L}\nolimits _{(A')^\wedge /A}^\wedge $ and $\mathop{N\! L}\nolimits _{(B')^\wedge /B}^\wedge $ are zero by Lemma 88.3.2. Applying Lemma 88.3.5 to $A \to (A')^\wedge \to (B')^\wedge $ we get isomorphisms

\[ H^ i(\mathop{N\! L}\nolimits _{(B')^\wedge /(A')^\wedge }^\wedge ) \to H^ i(\mathop{N\! L}\nolimits _{(B')^\wedge /A}^\wedge ) \]

Thus $\mathop{N\! L}\nolimits _{(B')^\wedge /A}^\wedge \to \mathop{N\! L}\nolimits _{(B')^\wedge /(A')^\wedge }$ is a quasi-isomorphism. The ring maps $B/I^ nB \to B'/I^ nB'$ are étale and hence are local complete intersections (Algebra, Lemma 10.143.2). Hence we may apply Lemmas 88.3.5 and 88.3.6 to $A \to B \to (B')^\wedge $ and we get isomorphisms

\[ H^ i(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B (B')^\wedge ) \to H^ i(\mathop{N\! L}\nolimits _{(B')^\wedge /A}^\wedge ) \]

We conclude that $\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B (B')^\wedge \to \mathop{N\! L}\nolimits _{(B')^\wedge /A}^\wedge $ is a quasi-isomorphism. Combining these two observations we obtain that

\[ \mathop{N\! L}\nolimits _{(B')^\wedge /(A')^\wedge }^\wedge \cong \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B (B')^\wedge \]

in $D((B')^\wedge )$. With these preparations out of the way we can start the actual proof.

Proof of (1). Assume $\varphi $ is rig-étale. Then there exists a $c \geq 0$ such that multiplication by $a \in I^ c$ is zero on $\mathop{N\! L}\nolimits _{B/A}^\wedge $ in $D(B)$. This property is preserved under base change by $B \to (B')^\wedge $, see More on Algebra, Lemmas 15.84.6. By the isomorphism above we find that $\varphi '$ is rig-étale. This proves (1).

To prove (2) assume $B \to B'$ is faithfully flat and that $\varphi '$ is rig-étale. Then there exists a $c \geq 0$ such that multiplication by $a \in I^ c$ is zero on $\mathop{N\! L}\nolimits _{(B')^\wedge /(A')^\wedge }^\wedge $ in $D((B')^\wedge )$. By the isomorphism above we see that $a^ c$ annihilates the cohomology modules of $\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B (B')^\wedge $. The composition $B \to (B')^\wedge $ is faithfully flat by our assumption that $B \to B'$ is faithfully flat, see Formal Spaces, Lemma 87.19.14. Hence the cohomology modules of $\mathop{N\! L}\nolimits _{B/A}^\wedge $ are annihilated by $I^ c$. It follows from Lemma 88.8.2 that $\varphi $ is rig-étale. This proves (2).

To prove (3), setting $B = \prod _{i = 1, \ldots , n} B_ i$ we just observe that $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is the direct sum of the complexes $\mathop{N\! L}\nolimits _{B_ i/A}^\wedge $ viewed as complexes of $B$-modules. $\square$

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$

Lemma 88.19.5. The property $P(\varphi )=$“$\varphi $ is rig-étale” on arrows of $\textit{WAdm}^{Noeth}$ is stable under composition as defined in Formal Spaces, Remark 87.21.14.

Proof. The statement makes sense by Lemma 88.19.1. To see that it is true assume we have rig-étale morphisms $A \to B$ and $B \to C$ in $\textit{WAdm}^{Noeth}$. Then we can choose an ideal of definition $I \subset A$ such that the topology on $C$ and $B$ is the $I$-adic topology. By Lemma 88.3.5 we obtain an exact sequence

\[ \xymatrix{ C \otimes _ B H^0(\mathop{N\! L}\nolimits _{B/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[r] & 0 \\ H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[llu] } \]

There exists a $c \geq 0$ such that for all $a \in I$ multiplication by $a^ c$ is zero on $\mathop{N\! L}\nolimits _{B/A}^\wedge $ in $D(B)$ and $\mathop{N\! L}\nolimits _{C/B}^\wedge $ in $D(C)$. Then of course multiplication by $a^ c$ is zero on $\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C$ in $D(C)$ too. Hence $H^0(\mathop{N\! L}\nolimits _{B/A}^\wedge ) \otimes _ A C$, $H^0(\mathop{N\! L}\nolimits _{C/B}^\wedge )$, $H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C)$, and $H^{-1}(\mathop{N\! L}\nolimits _{C/B}^\wedge )$ are annihilated by $a^ c$. From the exact sequence we obtain that multiplication by $a^{2c}$ is zero on $H^0(\mathop{N\! L}\nolimits _{C/A}^\wedge )$ and $H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge )$. It follows from Lemma 88.8.2 that $C$ is rig-étale over $(A, I)$ as desired. $\square$

Lemma 88.19.6. The property $P(\varphi )=$“$\varphi $ is rig-étale” on arrows of $\textit{WAdm}^{Noeth}$ has the cancellation property as defined in Formal Spaces, Remark 87.21.18.

Proof. The statement makes sense by Lemma 88.19.1. To see that it is true assume we have maps $A \to B$ and $B \to C$ in $\textit{WAdm}^{Noeth}$ with $A \to C$ and $A \to B$ rig-étale. We have to show that $B \to C$ is rig-étale. Then we can choose an ideal of definition $I \subset A$ such that the topology on $C$ and $B$ is the $I$-adic topology. By Lemma 88.3.5 we obtain an exact sequence

\[ \xymatrix{ C \otimes _ B H^0(\mathop{N\! L}\nolimits _{B/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[r] & 0 \\ H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[llu] } \]

There exists a $c \geq 0$ such that for all $a \in I$ multiplication by $a^ c$ is zero on $\mathop{N\! L}\nolimits _{B/A}^\wedge $ in $D(B)$ and $\mathop{N\! L}\nolimits _{C/A}^\wedge $ in $D(C)$. Hence $H^0(\mathop{N\! L}\nolimits _{B/A}^\wedge ) \otimes _ A C$, $H^0(\mathop{N\! L}\nolimits _{C/A}^\wedge )$, and $H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge )$ are annihilated by $a^ c$. From the exact sequence we obtain that multiplication by $a^{2c}$ is zero on $H^0(\mathop{N\! L}\nolimits _{C/B}^\wedge )$ and $H^{-1}(\mathop{N\! L}\nolimits _{C/B}^\wedge )$. It follows from Lemma 88.8.2 that $C$ is rig-étale over $(B, IB)$ as desired. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0GCT. Beware of the difference between the letter 'O' and the digit '0'.