Definition 109.35.1. For any ring $R$ we denote $R[\epsilon ]$ the ring of *dual numbers*. As an $R$-module it is free with basis $1$, $\epsilon $. The ring structure comes from setting $\epsilon ^2 = 0$.

## 109.35 Tangent Spaces

Exercise 109.35.2. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$ be a point, let $s = f(x)$. Consider the solid commutative diagram

with the curved arrow being the canonical morphism of $\mathop{\mathrm{Spec}}(\kappa (x))$ into $X$. If $\kappa (x) = \kappa (s)$ show that the set of dotted arrows which make the diagram commute are in one to one correspondence with the set of linear maps

In other words: describe such a bijection. (This works more generally if $\kappa (x) \supset \kappa (s)$ is a separable algebraic extension.)

Definition 109.35.3. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. We dub the set of dotted arrows of Exercise 109.35.2 the *tangent space of $X$ over $S$* and we denote it $T_{X/S, x}$. An element of this space is called a *tangent vector* of $X/S$ at $x$.

Exercise 109.35.4. For any field $K$ prove that the diagram

is a pushout diagram in the category of schemes. (Here $\epsilon _ i^2 = 0$ as before.)

Exercise 109.35.5. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. Define addition of tangent vectors, using Exercise 109.35.4 and a suitable morphism

Similarly, define scalar multiplication of tangent vectors (this is easier). Show that $T_{X/S, x}$ becomes a $\kappa (x)$-vector space with your constructions.

Exercise 109.35.6. Let $k$ be a field. Consider the structure morphism $f : X = \mathbf{A}^1_ k \to \mathop{\mathrm{Spec}}(k) = S$.

Let $x \in X$ be a closed point. What is the dimension of $T_{X/S, x}$?

Let $\eta \in X$ be the generic point. What is the dimension of $T_{X/S, \eta }$?

Consider now $X$ as a scheme over $\mathop{\mathrm{Spec}}(\mathbf{Z})$. What are the dimensions of $T_{X/\mathbf{Z}, x}$ and $T_{X/\mathbf{Z}, \eta }$?

Remark 109.35.7. Exercise 109.35.6 explains why it is necessary to consider the tangent space of $X$ over $S$ to get a good notion.

Exercise 109.35.8. Consider the morphism of schemes

Compute the tangent space of $X/S$ at the unique point of $X$. Isn't that weird? What do you think happens if you take the morphism of schemes corresponding to $\mathbf{F}_ p[t^ p] \to \mathbf{F}_ p[t]$?

Exercise 109.35.9. Let $k$ be a field. Compute the tangent space of $X/k$ at the point $x = (0, 0)$ where $X = \mathop{\mathrm{Spec}}(k[x, y]/(x^2 - y^3))$.

Exercise 109.35.10. Let $f : X \to Y$ be a morphism of schemes over $S$. Let $x \in X$ be a point. Set $y = f(x)$. Assume that the natural map $\kappa (y) \to \kappa (x)$ is bijective. Show, using the definition, that $f$ induces a natural linear map

Match it with what happens on local rings via Exercise 109.35.2 in case $\kappa (x) = \kappa (s)$.

Exercise 109.35.11. Let $k$ be an algebraically closed field. Let

be a morphism of schemes over $k$. This is given by $m$ polynomials $f_1, \ldots , f_ m$ in $n$ variables. Consider the matrix

Let $x \in \mathbf{A}^ n_ k$ be a closed point. Set $y = f(x)$. Show that the map on tangent spaces $T_{\mathbf{A}^ n_ k/k, x} \to T_{\mathbf{A}^ m_ k/k, y}$ is given by the value of the matrix $A$ at the point $x$.

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

## Comments (3)

Comment #4094 by Benjamin Voulgaris Church on

Comment #4095 by Benjamin Voulgaris Church on

Comment #4152 by Johan on