Lemma 33.16.4. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. There is a canonical isomorphism
of vector spaces over $\kappa (x)$.
Lemma 33.16.4. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. There is a canonical isomorphism
of vector spaces over $\kappa (x)$.
Proof. Set $\kappa = \kappa (x)$. Given $\theta \in T_{X/S, x}$ we obtain a map
Taking sections we obtain an $\mathcal{O}_{X, x}$-linear map $\xi _\theta : \Omega _{X/S, x} \to \kappa \text{d}\epsilon $, i.e., an element of the right hand side of the formula of the lemma. To show that $\theta \mapsto \xi _\theta $ is an isomorphism we can replace $S$ by $s$ and $X$ by the scheme theoretic fibre $X_ s$. Indeed, both sides of the formula only depend on the scheme theoretic fibre; this is clear for $T_{X/S, x}$ and for the RHS see Morphisms, Lemma 29.32.10. We may also replace $X$ by the spectrum of $\mathcal{O}_{X, x}$ as this does not change $T_{X/S, x}$ (Schemes, Lemma 26.13.1) nor $\Omega _{X/S, x}$ (Modules, Lemma 17.28.7).
Let $(A, \mathfrak m, \kappa )$ be a local ring over a field $k$. To finish the proof we have to show that any $A$-linear map $\xi : \Omega _{A/k} \to \kappa $ comes from a unique $k$-algebra map $\varphi : A \to \kappa [\epsilon ]$ agreeing with the canonical map $c : A \to \kappa $ modulo $\epsilon $. Write $\varphi (a) = c(a) + D(a) \epsilon $ the reader sees that $a \mapsto D(a)$ is a $k$-derivation. Using the universal property of $\Omega _{A/k}$ we see that each $D$ corresponds to a unique $\xi $ and vice versa. This finishes the proof. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)