Lemma 10.134.8 (Flat base change). Let $R \to S$ be a ring map. Let $\alpha : P \to S$ be a presentation. Let $R \to R'$ be a flat ring map. Let $\alpha ' : P \otimes _ R R' \to S' = S \otimes _ R R'$ be the induced presentation. Then $\mathop{N\! L}\nolimits (\alpha ) \otimes _ R R' = \mathop{N\! L}\nolimits (\alpha ) \otimes _ S S' = \mathop{N\! L}\nolimits (\alpha ')$. In particular, the canonical map

$\mathop{N\! L}\nolimits _{S/R} \otimes _ S S' \longrightarrow \mathop{N\! L}\nolimits _{S \otimes _ R R'/R'}$

is a homotopy equivalence if $R \to R'$ is flat.

Proof. This is true because $\mathop{\mathrm{Ker}}(\alpha ') = R' \otimes _ R \mathop{\mathrm{Ker}}(\alpha )$ since $R \to R'$ is flat. $\square$

There are also:

• 9 comment(s) on Section 10.134: The naive cotangent complex

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