Last time we did a bunch of stuff with fans and polytopes and made a lot of definitions. This time, we get to use that stuff to do some algebraic geometry. First up, we’ll need to define some lattice in some vector space, otherwise nothing we did last time is applicable. Now, Matt’s recently started talking about rational varieties, and I’m going to do him one better. I not only just care about the case where our field is , but I’m only going to care about rational varieties with special nice group actions.
So now, let . That is, -tuples of nonzero complex numbers. We’ll call objects of this type complex algebraic tori (Correction thanks to P. Clarke), or just tori, and a specific one is a torus. So, is actually an affine variety, and we can describe it as the zero set of in .
So we want to get some lattices out of this. We manage this by defining a character of to be a group homomorphism and a 1-parameter subgroup to be . We’re actually going to require that these not just be group homomorphisms, but also be morphisms of varieties. Call the group of characters and the group of 1-parameter subgroups . Now, both of these happen to be isomorphic to , because we can take to the character , and to the 1-parameter subgroup given by .
Even better, these two groups are naturally dual, because we get a map taking to , which is . So we define this to be , and in coordinates, it’s just dot product. Additionally, both of these are lattices in the vector spaces and . We’re going to make use of these dual lattices and dual vector spaces later.
Now, finally, our main definition. We’re going to actually restrict and not give the fully general definition, because the correspondences work better. A toric variety is a normal variety of dimension such that there is a Zariski open set isomorphic to such that the natural action of on itself (by left multiplication) extends to an action on all of .
First up, some examples: are both toric, as is , and products of toric varieties are toric. But that only begins to explain them.
We’ll first construct some affine toric varieties. Recall that, given a cone in , then the dual is . Now we look at . Note that this will satisfy we’ll have . So we look at the characters , and define multiplication on them by , and take complex linear combinations of them, and give them this multiplication. This has the structure of a commutative -algebra, and in fact will be finitely generated and reduced, and we’ll denote the ring by . Thus, we get a variety .
Now, is a subring of , and so the variety corresponding to is contained in . Now, consists of all characters, and as , this is isomorphic to , the coordinate ring of , so there’s an open subset of which is a torus, . I’ll leave it as an exercise to check that the action extends.
So, this will actually be every single affine toric variety, but there are certainly non-affine ones. In general, every toric variety (by our definition) comes from not a cone, but rather a fan (possibly incomplete). It requires the following observation: if are cones, then , so and is in fact an open subvariety. So now, in general, given a fan , we look at all the affine varieties for , and then we glue them all together by gluing and along . Now, THESE will be all the toric varieties.
Now we should do an example. Look at the fan pictured below:
We claim that it will give the toric variety . To see this, we first need to work out the affine opens. Now, . Now, consists of all ordered pairs of integers whose inner product with everything in the first quadrant is nonnegative. Thus, , and so we have . For , we get that the dual consists of integer linear combinations of , and so we get . Similary, for we get . This is the usual affine open cover of , and by working out the duals of the one-dimensional cones, we can compute the gluing maps, which are precisely the usual ones, so this fan gives .
We’ll stop here this time, and next time, we’ll talk about some properties of fans and cones and how we can use them to deduce properties of the toric varieties.