The Stacks project

91.8 Localization and étale ring maps

In this section we study what happens if we localize our rings. Let $A \to A' \to B$ be ring maps such that $B = B \otimes _ A^\mathbf {L} A'$. This happens for example if $A' = S^{-1}A$ is the localization of $A$ at a multiplicative subset $S \subset A$. In this case for an abelian sheaf $\mathcal{F}'$ on $\mathcal{C}_{B/A'}$ the homology of $g^{-1}\mathcal{F}'$ over $\mathcal{C}_{B/A}$ agrees with the homology of $\mathcal{F}'$ over $\mathcal{C}_{B/A'}$, see Lemma 91.6.1 for a precise statement.

Lemma 91.8.1. Let $A \to A' \to B$ be ring maps such that $B = B \otimes _ A^\mathbf {L} A'$. Then $L_{B/A} = L_{B/A'}$ in $D(B)$.

Proof. According to the discussion above (i.e., using Lemma 91.6.1) and Lemma 91.4.3 we have to show that the sheaf given by the rule $(P \to B) \mapsto \Omega _{P/A} \otimes _ P B$ on $\mathcal{C}_{B/A}$ is the pullback of the sheaf given by the rule $(P \to B) \mapsto \Omega _{P/A'} \otimes _ P B$. The pullback functor $g^{-1}$ is given by precomposing with the functor $u : \mathcal{C}_{B/A} \to \mathcal{C}_{B/A'}$, $(P \to B) \mapsto (P \otimes _ A A' \to B)$. Thus we have to show that

\[ \Omega _{P/A} \otimes _ P B = \Omega _{P \otimes _ A A'/A'} \otimes _{(P \otimes _ A A')} B \]

By Algebra, Lemma 10.131.12 the right hand side is equal to

\[ (\Omega _{P/A} \otimes _ A A') \otimes _{(P \otimes _ A A')} B \]

Since $P$ is a polynomial algebra over $A$ the module $\Omega _{P/A}$ is free and the equality is obvious. $\square$

Lemma 91.8.2. Let $A \to B$ be a ring map such that $B = B \otimes _ A^\mathbf {L} B$. Then $L_{B/A} = 0$ in $D(B)$.

Proof. This is true because $L_{B/A} = L_{B/B} = 0$ by Lemmas 91.8.1 and 91.4.7. $\square$

Lemma 91.8.3. Let $A \to B$ be a ring map such that $\text{Tor}^ A_ i(B, B) = 0$ for $i > 0$ and such that $L_{B/B \otimes _ A B} = 0$. Then $L_{B/A} = 0$ in $D(B)$.

Proof. By Lemma 91.6.2 we see that $L_{B/A} \otimes _ B^\mathbf {L} (B \otimes _ A B) = L_{B \otimes _ A B/B}$. Now we use the distinguished triangle (

\[ L_{B \otimes _ A B/B} \otimes ^\mathbf {L}_{(B \otimes _ A B)} B \to L_{B/B} \to L_{B/B \otimes _ A B} \to L_{B \otimes _ A B/B} \otimes ^\mathbf {L}_{(B \otimes _ A B)} B[1] \]

associated to the ring maps $B \to B \otimes _ A B \to B$ and the vanishing of $L_{B/B}$ (Lemma 91.4.7) and $L_{B/B \otimes _ A B}$ (assumed) to see that

\[ 0 = L_{B \otimes _ A B/B} \otimes ^\mathbf {L}_{(B \otimes _ A B)} B = L_{B/A} \otimes _ B^\mathbf {L} (B \otimes _ A B) \otimes ^\mathbf {L}_{(B \otimes _ A B)} B = L_{B/A} \]

as desired. $\square$

Lemma 91.8.4. The cotangent complex $L_{B/A}$ is zero in each of the following cases:

  1. $A \to B$ and $B \otimes _ A B \to B$ are flat, i.e., $A \to B$ is weakly étale (More on Algebra, Definition 15.104.1),

  2. $A \to B$ is a flat epimorphism of rings,

  3. $B = S^{-1}A$ for some multiplicative subset $S \subset A$,

  4. $A \to B$ is unramified and flat,

  5. $A \to B$ is étale,

  6. $A \to B$ is a filtered colimit of ring maps for which the cotangent complex vanishes,

  7. $B$ is a henselization of a local ring of $A$,

  8. $B$ is a strict henselization of a local ring of $A$, and

  9. add more here.

Proof. In case (1) we may apply Lemma 91.8.2 to the surjective flat ring map $B \otimes _ A B \to B$ to conclude that $L_{B/B \otimes _ A B} = 0$ and then we use Lemma 91.8.3 to conclude. The cases (2) – (5) are each special cases of (1). Part (6) follows from Lemma 91.3.4. Parts (7) and (8) follows from the fact that (strict) henselizations are filtered colimits of étale ring extensions of $A$, see Algebra, Lemmas 10.155.7 and 10.155.11. $\square$

Lemma 91.8.5. Let $A \to B \to C$ be ring maps such that $L_{C/B} = 0$. Then $L_{C/A} = L_{B/A} \otimes _ B^\mathbf {L} C$.

Proof. This is a trivial consequence of the distinguished triangle ( $\square$

Lemma 91.8.6. Let $A \to B$ be ring maps and $S \subset A$, $T \subset B$ multiplicative subsets such that $S$ maps into $T$. Then $L_{T^{-1}B/S^{-1}A} = L_{B/A} \otimes _ B T^{-1}B$ in $D(T^{-1}B)$.

Proof. Lemma 91.8.5 shows that $L_{T^{-1}B/A} = L_{B/A} \otimes _ B T^{-1}B$ and Lemma 91.8.1 shows that $L_{T^{-1}B/A} = L_{T^{-1}B/S^{-1}A}$. $\square$

Lemma 91.8.7. Let $A \to B$ be a local ring homomorphism of local rings. Let $A^ h \to B^ h$, resp. $A^{sh} \to B^{sh}$ be the induced maps of henselizations, resp. strict henselizations. Then

\[ L_{B^ h/A^ h} = L_{B^ h/A} = L_{B/A} \otimes _ B^\mathbf {L} B^ h \quad \text{resp.}\quad L_{B^{sh}/A^{sh}} = L_{B^{sh}/A} = L_{B/A} \otimes _ B^\mathbf {L} B^{sh} \]

in $D(B^ h)$, resp. $D(B^{sh})$.

Proof. The complexes $L_{A^ h/A}$, $L_{A^{sh}/A}$, $L_{B^ h/B}$, and $L_{B^{sh}/B}$ are all zero by Lemma 91.8.4. Using the fundamental distinguished triangle ( for $A \to B \to B^ h$ we obtain $L_{B^ h/A} = L_{B/A} \otimes _ B^\mathbf {L} B^ h$. Using the fundamental triangle for $A \to A^ h \to B^ h$ we obtain $L_{B^ h/A^ h} = L_{B^ h/A}$. Similarly for strict henselizations. $\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 08QY. Beware of the difference between the letter 'O' and the digit '0'.