Proposition 91.14.4. Let $A \to B$ be a local complete intersection map. Then $L_{B/A}$ is a perfect complex with tor amplitude in $[-1, 0]$.

Proof. Choose a surjection $P = A[x_1, \ldots , x_ n] \to B$ with kernel $J$. By Lemma 91.11.3 we see that $J/J^2 \to \bigoplus B\text{d}x_ i$ is quasi-isomorphic to $\tau _{\geq -1}L_{B/A}$. Note that $J/J^2$ is finite projective (More on Algebra, Lemma 15.32.3), hence $\tau _{\geq -1}L_{B/A}$ is a perfect complex with tor amplitude in $[-1, 0]$. Thus it suffices to show that $H^ i(L_{B/A}) = 0$ for $i \not\in [-1, 0]$. This follows from (91.7.0.1)

$L_{P/A} \otimes _ P^\mathbf {L} B \to L_{B/A} \to L_{B/P} \to L_{P/A} \otimes _ P^\mathbf {L} B[1]$

and Lemma 91.14.3 to see that $H^ i(L_{B/P})$ is zero unless $i \in \{ -1, 0\}$. (We also use Lemma 91.4.7 for the term on the left.) $\square$

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