Lemma 33.16.2. The set of dotted arrows making (33.16.1.1) commute has a canonical $\kappa (x)$-vector space structure.
Proof. Set $\kappa = \kappa (x)$. Observe that we have a pushout in the category of schemes
where $\kappa [\epsilon _1, \epsilon _2]$ is the $\kappa $-algebra with basis $1, \epsilon _1, \epsilon _2$ and $\epsilon _1^2 = \epsilon _1\epsilon _2 = \epsilon _2^2 = 0$. This follows immediately from the corresponding result for rings and the description of morphisms from spectra of local rings to schemes in Schemes, Lemma 26.13.1. Given two arrows $\theta _1, \theta _2 : \mathop{\mathrm{Spec}}(\kappa [\epsilon ]) \to X$ we can consider the morphism
where the first arrow is given by $\epsilon _ i \mapsto \epsilon $. On the other hand, given $\lambda \in \kappa $ there is a self map of $\mathop{\mathrm{Spec}}(\kappa [\epsilon ])$ corresponding to the $\kappa $-algebra endomorphism of $\kappa [\epsilon ]$ which sends $\epsilon $ to $\lambda \epsilon $. Precomposing $\theta : \mathop{\mathrm{Spec}}(\kappa [\epsilon ]) \to X$ by this selfmap gives $\lambda \theta $. The reader can verify the axioms of a vector space by verifying the existence of suitable commutative diagrams of schemes. We omit the details. (An alternative proof would be to express everything in terms of local rings and then verify the vector space axioms on the level of ring maps.) $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)