Motivation behind the definition of Zariski tangent space

Question

Intuitively, I think of tangent space at a point as the set of all points lying in the tangent plane passing through that point.

Here is the definition of the Zariski tangent space:

Let X be an algebraic variety and $p \in X$. The tangent space of $X$ at point $p$ is defined as $$T_pX= \operatorname{Der}_k(O_{X,p}.k).$$

How does the above definition match with my intuition? Or more specifically, can someone give a one-one correspondence between $T_pX$ and the set of all points lying in the tangent plane passing through $p$?

Answer 1

The tangent space at $p$ is the space of all directions in which you can take a directional derivative at $p$. Whatever "directional derivative" means, it should only depend on the germ at $p$, so it's a function on $\mathcal{O}_{X, p}$. And it should be linear and obey the Leibniz rule, so it's a derivation. These conditions turn out to be enough to give a notion of tangent space that agrees with intuition (e.g. you can compute the Zariski tangent space to a variety cut out by various polynomials and it will be the thing you think it is).

Answer 2

First use GAGA to pass to complex manifolds. Then use base change to pass to a real manifold....Now, given any smooth embedding (use the Whitney embedding theorem) of your manifold in Euclidean space, assume that the tangent surface at p exists and does everything you want it to. The one-to-one correspondence you ask for, which was not given by the other answer, is:

Given a vector starting at p and lying in the tangent surface, consider the geodesic line lying in your manifold, passing through p, and whose tangent vector in the usual Euclidean sense is the given vector. Problem: to define a derivation of the space of germs of functions on your manifold at p. Hint: First extend your function to the entire ambient space, smoothly. Then use the ordinary directional derivative.
Remark: this is not canonical, but you didn't ask for a canonical isomorphism.

Second remark: you didn't specify whether the field has characteristic zero or not...I assume it does. Third remark: what you wrote down isn't actually the definition of the Zariski tangent space. The definition of the Zariski tangent space is $m_p/m_p^2$ where $m_p$ is the ideal of all algebraic functions which vanish at p.

Answer 3

There is a one-to-one correspondence, here is a simple example from elementary differential geometry :

let $\Gamma:\mathbb{R}\to \mathbb{R}^2$ be a curve in $\mathbb{R}^2$, the derivative $\frac{d\Gamma}{dt}|_p$ of $\Gamma$ at some point $p$ on the curve is a vector tangent to the curve at this point, so it can be the basis vector for the tangent space at $p$ by spanning it so : $$T_p\Gamma=\left\{ v\frac{d\Gamma}{dt}\Big{|}_p,~v\in\mathbb{R} \right\}$$
now we can forget about $\Gamma$ and define it using only the operator $\frac{d}{dt}|_p$ and nothing will be effected: $$T'_p\Gamma=\left\{ v\frac{d}{dt}\Big{|}_p,~v\in\mathbb{R} \right\} $$

you can see that the old and the new $T_p\Gamma$ are isomorphic so you can use any one of them as the tangent space