The Stacks project

Lemma 93.14.2. Let $k$ be a field. Let $B$ be a finite type $k$-algebra. Let $J \subset B$ be an ideal such that $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(k)$ is smooth on the complement of $V(J)$. Let $N$ be a finite $B$-module. Then there is a canonical bijection

\[ \text{Exal}_ k(B, N) \to \text{Exal}_ k(B^ h, N^ h) \]

Here $(B^ h, J^ h)$ is the henselization of $(B, J)$ and $N^ h = N \otimes _ B B^ h$.

Proof. This proof is the same as the proof of Lemma 93.12.4 but easier. We suggest the reader to skip the proof. The map is given by henselization: given $0 \to N \to C \to B \to 0$ in $\text{Exal}_ k(B, N)$ we send it to the henselization $C^ h$ of $C$ with respect to the inverse image $J_ C \subset C$ of $J$. Compare with the proof of Lemma 93.8.8.

Since $k \to B$ is of finite presentation the complex $\mathop{N\! L}\nolimits _{B/k}$ can be represented by a complex $N^{-1} \to N^0$ where $N^ i$ is a finite $B$-module, see Algebra, Section 10.134 and in particular Algebra, Lemma 10.134.2. As $B$ is Noetherian, this means that $\mathop{N\! L}\nolimits _{B/k}$ is pseudo-coherent. For $g \in J$ the $k$-algebra $B_ g$ is smooth and hence $(\mathop{N\! L}\nolimits _{B/k})_ g = \mathop{N\! L}\nolimits _{B_ g/k}$ is quasi-isomorphic to a finite projective $B$-module sitting in degree $0$. Thus $\text{Ext}^ i_ B(\mathop{N\! L}\nolimits _{B/k}, N)_ g = 0$ for $i \geq 1$ and any $B$-module $N$. Finally, we have

\begin{align*} \text{Ext}^1_{B^ h}(\mathop{N\! L}\nolimits _{B^ h/k}, N^ h) & = \text{Ext}^1_{B^ h}(\mathop{N\! L}\nolimits _{B/k} \otimes _ B B^ h, N \otimes _ B B^ h) \\ & = \text{Ext}^1_ B(\mathop{N\! L}\nolimits _{B/k}, N) \otimes _ B B^ h \\ & = \text{Ext}^1_ B(\mathop{N\! L}\nolimits _{B/k}, N) \end{align*}

The first equality by More on Algebra, Lemma 15.33.8 (or rather its analogue for henselizations of pairs). The second by More on Algebra, Lemma 15.99.2. The third because $\text{Ext}^1_ B(\mathop{N\! L}\nolimits _{B/k}, N)$ is $J$-power torsion, the map $B \to B^ h$ is flat and induces an isomorphism $B/J \to B^ h/JB^ h$ (More on Algebra, Lemma 15.12.2), and More on Algebra, Lemma 15.89.3. This concludes the proof by the description of $\text{Exal}_ A(B, N)$ as $\text{Ext}^1_ B(\mathop{N\! L}\nolimits _{B/A}, N)$ given just above Lemma 93.12.4. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0DZC. Beware of the difference between the letter 'O' and the digit '0'.