Lemma 92.3.4. Let $A_ i \to B_ i$ be a system of ring maps over a directed index set $I$. Then $\mathop{\mathrm{colim}}\nolimits L_{B_ i/A_ i} = L_{\mathop{\mathrm{colim}}\nolimits B_ i/\mathop{\mathrm{colim}}\nolimits A_ i}$.

Proof. This is true because the forgetful functor $V : A\textit{-Alg} \to \textit{Sets}$ and its adjoint $U : \textit{Sets} \to A\textit{-Alg}$ commute with filtered colimits. Moreover, the functor $B/A \mapsto \Omega _{B/A}$ does as well (Algebra, Lemma 10.131.5). $\square$

Comment #2354 by Anthony on

In the statement, should these be L_{B_i/A_i} instead of L_{A_i/B_i} (and similarly for the colimit)?

Comment #4353 by . on

Is there a similar result for the direct limit of schemes?

Comment #4354 by on

Yes, if the transition morphisms are affine then it just reduces to this lemma because we have the comparison in Lemma 92.24.2.

There are also:

• 2 comment(s) on Section 92.3: The cotangent complex of a ring map

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