Lemma 23.11.5. Let $A \to B$ be a flat ring map of finite presentation. Then the following are equivalent

1. $\mathop{N\! L}\nolimits _{B/A}$ has tor-amplitude in $[-1, 0]$,

2. $\mathop{N\! L}\nolimits _{B/A}$ is a perfect object of $D(B)$ with tor-amplitude in $[-1, 0]$,

3. $A \to B$ is syntomic (Algebra, Definition 10.135.1), and

4. $A \to B$ is a local complete intersection (More on Algebra, Definition 15.32.2).

Proof. The equivalence of (3) and (4) is More on Algebra, Lemma 15.32.5.

If $A \to B$ is syntomic, then we can find a cocartesian diagram

$\xymatrix{ B_0 \ar[r] & B \\ A_0 \ar[r] \ar[u] & A \ar[u] }$

such that $A_0 \to B_0$ is syntomic and $A_0$ is Noetherian, see Algebra, Lemmas 10.126.18 and 10.163.9. By Lemma 23.11.4 we see that $\mathop{N\! L}\nolimits _{B_0/A_0}$ is perfect of tor-amplitude in $[-1, 0]$. By More on Algebra, Lemma 15.78.3 we conclude the same thing is true for $\mathop{N\! L}\nolimits _{B/A} = \mathop{N\! L}\nolimits _{B_0/A_0} \otimes _{B_0}^\mathbf {L} B$ (see also More on Algebra, Lemmas 15.63.13 and 15.70.9). This proves that (3) implies (2).

Assume (1). By More on Algebra, Lemma 15.78.3 for every ring map $A \to k$ where $k$ is a field, we see that $\mathop{N\! L}\nolimits _{B \otimes _ A k/k}$ has tor-amplitude in $[-1, 0]$ (see More on Algebra, Lemma 15.63.13). Hence by Lemma 23.11.4 we see that $k \to B \otimes _ A k$ is a local complete intersection homomorphism. Thus $A \to B$ is syntomic by definition. This proves (1) implies (3) and finishes the proof. $\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).