Definition 91.3.2. The cotangent complex $L_{B/A}$ of a ring map $A \to B$ is the complex of $B$-modules associated to the simplicial $B$-module

$\Omega _{P_\bullet /A} \otimes _{P_\bullet , \epsilon } B$

where $\epsilon : P_\bullet \to B$ is the standard resolution of $B$ over $A$.

There are also:

• 2 comment(s) on Section 91.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).