4
$\begingroup$

There are many people asking about exercises on this book. I've tried to check existing similar questions as many as I can, but I can't promise to have read everything. Sorry if this is duplicated.

Let $X$ be a scheme. For any point $x \in X$, we define the Zariski tangent space $T_x$ to $X$ at $x$ to be the dual of the $k(x)$-vector space $\mathfrak m_x/\mathfrak m_x^2$. Now assume that $X$ is a scheme over a field $k$, and let $k[\varepsilon]/\varepsilon^2$ be the ring of dual numbers over $k$. Show that to give a $k$-morphism of $\text{Spec} k[\varepsilon]/\varepsilon^2$ to $X$ is equivalent to giving a point $x \in X$, rational over $k$ (i.e., such that $k(x) =k$), and an element of $T_x$.

My Attempts: Suppose that $x \in X$ and $\alpha \in T_x$ is given. I think of determining the map of underlying topological spaces $f: \text{Spec} k[\varepsilon]/\varepsilon^2 \rightarrow X$. $k[\varepsilon]$ is a PID, so is $k[\varepsilon]/\varepsilon^2$. The nonzero ideals of $k[\varepsilon]/\varepsilon^2$ are of the form $(\varepsilon+a)$ for $a \in k$. (Right?) Some $(\varepsilon+a) = f^{-1}(x)$. Then $$f^{\sharp}: \mathcal O_x \rightarrow (k[\varepsilon]/\varepsilon^2)_{(\varepsilon+a)}.$$ Also $$\mathfrak m_x \rightarrow (\varepsilon+a)\text{ (in } k[\varepsilon]/\varepsilon^2 \text{)}$$ $$\mathfrak m_x/\mathfrak m_x^2 \rightarrow (\varepsilon+a)/(\varepsilon+a)^2 \text{ (in } k[\varepsilon]/\varepsilon^2 \text{)}.$$ Even if this map is given by $\alpha \in T_x$, how can we get the whole $f$? In the other direction, when the $k$-morphism $f: \text{Spec}k[\varepsilon]/\varepsilon^2 \rightarrow X$ is given, how can it determine $x \in X$ and some $\alpha \in T_x$?

$\endgroup$
  • 1
    $\begingroup$ $(\epsilon + a)$ cannot be an ideal in the quotient because it doesn't even contain $(\epsilon^2)$ (unless $a = 0$). The ring of dual numbers defined above is local and hence only one prime ideal. $\endgroup$ – user38268 Oct 27 '13 at 15:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.