We have discussed the notion of a **tangent space** in Differentiable Manifolds Revisited in the context of differential geometry. In this post we take on the same topic, but this time in the context of algebraic geometry, where it is also known as the **Zariski tangent space** (when no confusion arises, however, it is often simply referred to as the tangent space).

This will present us with challenges, since the concept of the tangent space is perhaps best tackled using the methods of calculus, but in algebraic geometry, we want to have a notion of tangent spaces in cases where we would not usually think of calculus as being applicable, for instance in the case of varieties over finite fields. In other words, we want our treatment to be algebraic. Nevertheless, we will use the methods of calculus as an inspiration.

We don’t want to be too dependent on the parts of calculus that make use of properties of the real and complex numbers that will not carry over to the more general cases. Fortunately, if we are dealing with polynomials, we can just “borrow” the “power rule” of calculus, since that “rule” only makes use of algebraic procedures, and we need not make use of sequences, limits, and so on. Namely, if we have a polynomial given by

We set

We recall the rules for partial derivatives – in the case that we are differentiating over some variable , we simply treat all the other variables as constants, and follow the usual rules of differential calculus. With these rules, we can now make the definition of the **tangent space** at the point with coordinates as the algebraic set which satisfies the equation

For example, consider the parabola given by the equation . Let us take the tangent space at the point with coordinates , . The procedure above gives us

Since

We then have

The parabola is graphed (its real part, at least, using the Desmos graphing calculator) in the diagram below in red, with its tangent space, a line, in blue:

In case the reader is not convinced by our “borrowing” of concepts from calculus and claiming that they are “algebraic” in the specific case we are dealing with, another way to look at things without making reference to calculus is the following procedure, which comes from basic high school-level “analytic geometry”. First we translate the coordinate system so that the origin is at the point where we want to take the tangent space. Then we simply take the “linear part” of the polynomial equation, then translate again so that the origin is where it used to be originally. This gives the same results as the earlier procedure (the technical justification is given by the theory of Taylor series). More explicitly we have:

Translating the origin of coordinates to the point , , we have

We take only the linear part, which is

And then we translate the origin of coordinates back to the original one:

which is the same result we had earlier.

But it may happen that the polynomial has no “linear part”. In this case the tangent space is the entirety of the ambient space. However, there is another related concept which may be useful in these cases, called the **tangent cone**. The tangent cone is the algebraic set which satisfies the equations we get by extracting the *lowest* degree part of the polynomial, which may or may not be the linear part. In the case that the lowest degree part is the linear part, the tangent space and the tangent cone coincide, and if this holds for all points of a variety, we say that the variety is **nonsingular**.

To give an explicit example, consider the curve , as seen in the diagram below in red (its real part graphed once again using the Desmos graphing calculator):

The equation that defines this curve has no linear part. Therefore the tangent space at the origin consists of all and which satisfy the trivial equation ; but then, all values of and satisfy this equation, and therefore the tangent space is the “affine plane” . However, the lowest order part is , which is satisfied by all points which also satisfy either of the two equations or . These points form the blue and orange diagonal lines in the diagram. Since the tangent space and the tangent cone do not agree, the curve is **singular** at the origin.

We can also define the tangent space in a more abstract manner, using the concepts we have discussed in Localization. Let be the unique maximal ideal of the local ring , and let be the product ideal whose elements are the sums of products of elements of . The quotient is then a vector space over the residue field . The **tangent space** of at is then defined as the dual of this vector space (the vector space of linear transformations from to ). The vector space itself is called the **cotangent space** of at . We can think of its elements as linear polynomial functions on the tangent space. There is an analogous abstract definition of the **tangent cone**, namely as the spectrum of the graded ring .

References:

Zariski Tangent Space on Wikipedia

Algebraic Geometry by J.S. Milne

Algebraic Geometry by Andreas Gathmann

Algebraic Geometry by Robin Hartshorne