Tangent space in Algebraic geometry and Differential geometry

Question

We know in differential geometry, given a $C^k$ manifold for $k>1$, the tangent space at a point in this manifold is parametrized by curves passing through this point modulo certain equivalence relation. The tangent space is given by the velocity vectors to these curves at this point.

Intuitively, I would think this should be true even for Zariski topology in the case $X$ is a smooth projective variety. In particular, we could take a tangent vector $t$ and associate to this the subscheme $Y_t$ of $X$ obtained by intersecting all some subschemes of $X$ which has $t$ as an element in its tangent space. The question is whether we can somehow ensure that $Y_t$ is $1$-dimensional?

Answer 1

If p is a nonsingular point, then we can define a tangent vector as an equivalence class of (nonsingular) curves, just as in the differentiable case. In fact, being nonsingular is equivalent to every tangent vector being tangent to a curve. In this case, the intersection of all curves in the equivalence class is a zero-dimensional closed subscheme with a one-dimensional tangent space, isomorphic to the spectrum of the dual numbers described above by Martin Brandenburg.

Warning: I'm thinking of schemes of finite type over an algebraically closed field K, and by point I mean a K-valued point.

Answer 2

One nice way to say this in the language of schemes is that the tangent space of a (say complex) variety $X$ at a point $p$ is the set of morphisms from the scheme $Spec(\mathbb{C}[\epsilon]/(\epsilon^2))$ to $X$ which send the closed point to $p$. In other words, we are looking at paths in $X$, passing through $p$, but we only consider the paths up to 1st order near $p$.

Chapter 12.1 of Vakil's notes http://math.stanford.edu/~vakil/216blog/FOAGmar2313public.pdf gives a detailed discussion of the Zariski tangent space. The above fact appears as exercise 12.1.I

Answer 3

I would say that it is easier to view the things the other way round and to transport in differential geometry the algebraic-geometry definition of differentials. This is the one which is alluded to by Martin Brandenburg when he writes the tangent space $T_xX$ as the dual of $\mathfrak m_x/\mathfrak m_x^2$.

What the Taylor expansion of $f$ says is that a function $f$ is equal to its value at $x$ plus its differential plus something which has order $2$. Moreover, a function which has order $2$ at $x$ can be written as a linear combination of products of two functions vanishing at $x$.

This leads to the definition: the space of differentials at $x$ is the quotient of the ideal $\mathfrak m_x$ of the ring of $C^\infty$-functions vanishing at $x$ modulo its square. Then the differential of $f$ (satisfying $f(x)=0$) is just `$f$ up to second order terms''.

Answer 4

$T_xX$ as the dual of $\mathfrak m_x/\mathfrak m_x^2$ corresponds to tangent vectors acting as derivations over the point evaluation at $x$ on the function algebra. $T_xX$ as equivence classes of curves through $x$ correspond to velocity vectors at $x$, so they help kinematic visualization. On (at least $C^1$-) finite dimensional manifolds (including smooth points of varieties) both notions coincide. In singular points there are many more "operational" than "kinematic" tangent vectors.

• But even on an infinite dimensional Hilbert space the same is true: see 28.3 and 28.4 of here.

Answer 5

When the variety $X$ is affine $n$-space and you take the curves to be maps from $\mathbb{A}^1$ to $X$, then the differential geometry description of the tangent space works. In the general case there is a map from an open neighbourhood of the point $P$ in $X$ to affine space sending $P$ to $0$ and inducing an isomorphism from tangent space at $P$ to that at $0$ (this just says that $X$ is locally isomorphic to affine space in the etale topology). Unfortunately, the maps from $\mathbb{A}^1$ to $\mathbb{A}^n$ need not lift to $X$, so you need to allow maps from smooth curves into $X$ (pull-backs of the covering $X\to \mathbb{A}^n$ by the maps from $\mathbb{A}^1$ into $\mathbb{A}^n$). So the tangent space at $P$ can be identified with certain equivalence classes of maps from smooth curves into $X$.

Answer 6

If you want to see that every tangent line to an r dimensional projective variety is the tangent space to a curve through a smooth point p, just take r-1 functions in the local ring whose differentials cut out precisely the tangent line. Then the basic implicit function theorem type results on pages 7-9 of Mumford's "yellow book", Complex projective varieties, show that these functions define a curve through p with the given tangent line as tangent space. So the tangent space at a smooth point p, is the union of the tangent spaces of all curves through p and smooth at p.

So you get almost your point of view but replacing viewing the tangent vectors as velocity vectors to parametrized curves, by viewing the tangent lines as tangent spaces to implicitly given curves.