The semester is starting up again now, so my schedule is a bit irregular. Sadly, I won’t be able to keep up the pace I set over break. However, I should still be putting out a couple of posts a week. So without further ado, tangent spaces. We’ve looked at tangent spaces before, and used them to define what it means for a point to be smooth versus singular. Today, we’re going to start back at the beginning of this stuff and justify the definitions a little.
Back when we talked about Elliptic curves, we defined the formal derivative of a polynomial. We’ll be using this notion, and specifically we’ll need to think about the geometry of a derivative. In calculus, the derivative measures rate of change of one quantity with respect to another. We’ll return to the meaning of derivatives after giving the classical definition of tangent space.
Let be a point on an affine variety defined by . Then we define the tangent space at to be , the common zeroes of the polynomials . With a bit of linear algebra, it can be checked that . The matrix whose rank we are taking is called the Jacobian Matrix of .
Geometrically, is a plane which passes through and is the “closest approximation” of near . A property that the tangent plane will have is that it has intersection multiplicity greater than 1 at . One common trick in the subject of differential geometry is to pass to the tangent space to get a nice linear problem rather than the ones normally encountered directly. We’ll use that trick here too, in the future.
We can call a point smooth or regular if . The algebraic analogue of a smooth point is a regular local ring. That is, let be a noetherian ring with only a single maximal ideal (we call such rings local) and denote the ideal by . Then is a regular local ring if , where the dimension of a ring is just the length of the largest chain of prime ideals (and if there is no largest one, take it to be infinity). So, for instance, in , we have is a chain of length three. This notion corresponds to defining the dimension of a variety in terms of the longest chain of proper subvarieties.
Oscar Zariski showed that these two notions are the same for us, that is, that for an affine variety and a point , we have that is a nonsingular point if and only if is a regular local ring. This is precisely the original definition we gave for a point to be nonsingular. It’s also true that the dimension of the tangent space we defined above, as a subvariety of , is the same as the dimension of the Zariski tangent space discussed earlier. So we’ll take as our definition of nonsingularity that , and think of as the Zariski tangent space (in general, I’ll make it clear if we’re using the geometric tangent space) and say that a point is singular if . It turns out that the dimension of the tangent space can’t be smaller than that of the variety, and though this would only take us on a slight detour into commutative algebra, we won’t bother.
Later on, when we talk about vector bundles we’ll eventually get to an object called the Tangent Bundle. Basically, what this is is that if we’re given a nonsingular variety, there’s a nice way to take the tangent spaces at each point and put them together to create a new variety of twice the dimension, and in fact the spaces that we earlier referred to as cotangent spaces can also be glued together to make a Cotangent Bundle. In general in the future, smoothness will be a valuable hypothesis to place on varieties to make them easier to work with.