Posting is slowing down a bit, I’ve got a paper I’m trying to get out, and a couple of projects that are hitting some preliminary results, plus, I’m getting ready for holiday travel, and then two months at Humboldt. Trying out an experiment with more rigid personal scheduling, and hopefully I’ll post more often. Also, I’m reviewing Atiyah-Macdonald, Eisenbud, and Schenck so that perhaps in March I can begin a “Commutative Algebra from the Beginning” series, or perhaps just a series on geometric interpretation of commutative algebra theorems.

However, for today, we’re going to take something most of us first saw in differential geometry (I first met this map in do Carmo‘s book) and translate it into algebraic geometry.

We will start in the absolute least general way possible, following do Carmo. Let be a surface. Then there’s a map to the unit sphere taking each point to its unit normal vector. This is the Gauss map, and it’s a REALLY useful tool, as anyone who has gone through this book can attest. For instance, if you want to define the curvature of a surface in , the Gauss map is essential. For instance, the Gaussian curvature is the determinant of the derivative of , and in fact it would be redundant to go through everything about the Gauss map for surfaces in because there’s a whole chapter in do Carmo titled “The Geometry of the Gauss Map!”

We’re going to generalize and then algebraize. First, let’s just drop the orientation on our surface. To forget that, we can replace the normal vector with the normal line. So then instead of getting a point in we get a pair of antipodal points, or just a point of from our surface. Then we can see that the map is really given by taking the inclusion, then we have , and then taking the line perpendicular to the image plane. Taking the union of these maps, we just have the map . Then, using the Riemannian metric on , we can make this a map , and follow it up with the fact that , and project down, to get the map , and then we can rewrite it by taking each point to the line in , which gives us a map , giving the usual Gauss map.

So how can we simplify and generalize this? Step 1 is to replace the normal vector with the tangent space, which gives a point in the dual projective space. Then we want to generalize dimension. It’s easy to handle hypersurfaces in , we just get a map to (or rather, to its dual). In general, if we allow non-hypersurfaces, we get maps to Grassmannians, so gives us a Gauss map .

Now, we’re going to let the target space vary. We just need a space such that where is the tangent space at some specific point. If we have trivial tangent bundle, we can identify all the fibers and then the derivative of our map actually gives us a map from the domain to a Grassmannian. What are some spaces that have this property? Lie groups! It’s important that we have Lie groups, not just homogeneous spaces, because of the *unique* way that we can identify fibers.

Now, if we try to algebraize, the first thing we get is a Gauss map for affine varieties . We can even get rid of and replace it with an algebraic group , but most of the algebraic groups that immediately come to mind are affine, things like etc, the classical groups. Plus and and products of these. But that still only gives us affine varieties, nothing projective or complete. Fortunately, there’s one remaining option that are commonly studied: abelian varieties. Though we can’t do much with rational varieties (as there are no maps from them into abelian varieties other than constant maps), we can get a lot of mileage out of the Gauss map on abelian varieties, as we’ll see in the next post.

yay! I am really excited about the ‘Commutative algebra from the beginning’ series.

Godspeed, Charles!

Invaluable writing . I loved the info . Does someone know if my assistant might grab a template a form version to type on ?