A is a Noetherian ring, B is an f.g. algebra over A, I is an ideal of A. let $\hat B$ be B's I-adic completion. Prove that $\Omega^1_{\hat B/A}$'s I-adic completion is isomorphic to $\Omega^1_{B/A}$'s I-adic completion.
This is an exercise from Liu's "Algebraic geometry and arithmetic curves", Exercise VI.1.3. It seems strange because according to Part(a) of that problem, there is an exact sequence involving these two objects. And if this is true, we must prove the first term in that exact sequence is actually zero under only Noetherian condition! I feel a bit puzzled, can anyone help me? Thanks!
Best Answer
Yes $K_n=0$ in this situation ($A$ noetherian and $B$ essentially of finite type over $A$).
Hints: You need to know that $\Omega_{B/A}$ is a finitely generated $B$-module and you can use the canonical bijection 6.1.5 for both $B$ and $\hat{B}$ and with $M=\Omega_{B/A}\otimes_B \hat{B}$ to get a canonical map $\Omega_{\hat{B}/A}\to \Omega_{B/A}\otimes_B \hat{B}$...
EDIT: Let me detail a little more. Recall $\hat{B}$ is the formal completion of $B$ with respect to the $I$-adic topology for some ideal $I$ of $B$, and $B$ is essentially of finite type over $A$ (localization of a finitely generated $A$-algebra).
Let $M$ be a finitely generated $\hat{B}$-module. Any $A$-derivation $B\to M$ induces a $A$-derivation $B/I^n \to M/I^nM$ for all $n\ge 1$. Passing to the limit, we get an $A$-derivation $\hat{B}\to \hat{M}=M$ whose restricton to $B$ is just the $A$-derviation we start with. Theorefore the natural (restriction) map ${\rm Der}_A(\hat{B}, M)\to {\rm Der}_A(B, M)$ has a section (it is therefore surjective).
Applying the above result to $M= \Omega_{B/A}\otimes_B \hat{B}$, the canonical map $$Hom_{\hat{B}}(\Omega_{\hat{B}/A}, M)\to Hom_A(\Omega_{B/A}, M)$$ has a section $\sigma$. Consider $\psi: \Omega_{B/A}\to M$, $\omega\mapsto \omega\otimes 1$ and $\psi=\sigma(\phi) : \Omega_{\hat{B}/A}\to \Omega_{B/A}\otimes_B \hat{B}$. Now tensoring by $B/I^n=\hat{B}/I^n\hat{B}$, we see that the natural map $$\Omega_{B/A}\otimes_B B/I^n \to \Omega_{\hat{B}/A}\otimes_{\hat{B}} \hat{B}/I^n\hat{B}$$ is injective. This is an isomorphism by Part (a) of the exercise.