Lemma 92.22.4 (08V2)—The Stacks project

Processing math: 100%

Table of contents
Part 6: Deformation Theory
Chapter 92: The Cotangent Complex
Section 92.22: The cotangent complex of a morphism of ringed topoi
Lemma 92.22.4 (cite)

previous lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 92.22.4. Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{B}), \mathcal{O}_\mathcal {B})$ be a morphism of ringed topoi. There is a canonical map $L_ f \to \mathop{N\! L}\nolimits _ f$ which identifies the naive cotangent complex with the truncation $\tau _{\geq -1}L_ f$ .

Proof. Special case of Lemma 92.18.10. $\square$

Comments (0)

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

Comments (0)

Post a comment