5
$\begingroup$

Let $X$ be a variety over $k$, $x$ be a closed point on $X$ with residue field $k$, and $v: Spec(k[\epsilon]) \to X$ be a tangent vector of $X$ at $x$, where $k[\epsilon]$ is the dual number algebra.

Then how to find an affine smooth curve $C$ with a point $p$ on it, and a morphism $ \gamma :C\to X$, a tangent vector $u: Spec(k[\epsilon])\to C$, such that

  1. $u(0)=p$, $\gamma(p)=x$
  2. $v$ factors through u.

Thank you very much!

$\endgroup$

2 Answers 2

3
$\begingroup$

If $X$ is smooth, then this is possible. If $m$ is the maximal ideal of the local ring at $x$, then we know that $m/m^2 = k^n$, where $n$ is the dimension. Choose $n-1$ linearly independent vectors in the kernel of the natural map to $k$. Let $f_1,...,f_{n-1}$ be lifts of those vectors to the cooardinate ring of some affine neighborhood of $x$.

Then the vanishing set of $(f_1,...,f_{n-1})$ in that neighborhood is a curve smooth at $x$. This is clear because the completion of its local ring at $x$ is $k[[t]]$, which is the local ring of a smooth point on a curve. This curve may have singular points elsewhere, but if we remove those it will still be an affine curve. Alternately one could resolve those singularities, which will make $\gamma$ not an inclusion.

It is obvious that this curve satisfies the requirements of the question.

$\endgroup$
1
  • 1
    $\begingroup$ A note here: the "natural map to $k$" is induced by the map $\mathcal{O}_{X,x} \to k[\epsilon]$ corresponding to $v$; specifically, it is the map $\mathfrak m / \mathfrak m^2 \to k\cdot\epsilon$. This, in particular, explains how the answer above depends on $v$. $\endgroup$ Nov 4, 2012 at 18:39
4
$\begingroup$

This is not always possible. For example let $X = Spec (k[x,y]/xy)$ and consider the morphism $Spec k[\epsilon] \to X$ corresponding to the morphism $k[x,y]/xy \to k[\epsilon]$ which takes both $x$ and $y$ to $\epsilon$.

$\endgroup$
2
  • $\begingroup$ Thank you for your answer, then if I furthure requiring that $X$ is smooth, how to find such a curve? $\endgroup$ Nov 4, 2012 at 15:53
  • $\begingroup$ Sasha's perfect answer has the following intuitive/classical meaning: $X$ is the union of the $x$-axis and the $y$-axis in the plane $k^2$. He is describing a tangent vector to $X$ at the origin $O=(0,0)$, namely the vector $u=(1,1)\in T_O(X)=k^2$. It is indeed fairly intuitive that, given a smooth affine curve $C$, a point $p\in C$ and a morphism $f:C\to X$ sending $p$ to the origin, a tangent vector $t\in T_p(C)$ cannot be sent by $T_p(f)$ to $u\in T_O(X)$. $\endgroup$ Nov 22, 2021 at 20:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.