Lemma 92.22.2 (08V0)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

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.2 (cite)

previous definition
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 92.22.2. 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. Then $H^0(L_ f) = \Omega _ f$.

Proof. Special case of Lemma 92.18.6. $\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