Ok, so I’m going to mostly be posting on toric geometry for the near future, and in particular, working out what we need to do some mirror symmetry with it. I’ll be following various things by David Cox, so check out his webpage for more info. Anyway, this post is mostly going to be background on fans, polytopes, and cones so that we can do toric geometry properly next time. In fact, varieties will not be mentioned.
Before getting to the math, a personal note. The stuff in this post is rather near to my heart, as Coxeter’s Regular Polytopes was my first real math book, and my interest in mathematics really traces back to Flatland and my high school geometry class. So all in all, I’m rather glad that I’ve found a way to take classical geometry and use it for algebraic geometry.
Anyway, a lattice is a finitely generated free abelian group. Take a lattice and its dual lattice . There is a pairing given by . We’ll denote by and the vector spaces obtained by tensoring with the real numbers.
So now, a rational polyhedral cone is just the linear combinations of a finite collection of elements of where all the coefficients are positive. That is, and are fixed. We say that is strongly convex if . What this means is that it doesn’t contain any complete lines. Without it, a rational polyhedral cone is still convex, but it could be as big as a half space. Strong convexity rules that out. We say .
Now, for any cone (we’ll often just forget the rational polyhedral part, because those are the only cones we really care about), a face is the intersection with the set of points , where is a linear form which is nonnegative on . Denote by the set of faces of dimension . Any face will, in fact, be a subcone. Call an element an edge, and the primitive element corresponding to the edge is the generator of . It’s fairly straightforward (even by just drawing a picture, though that’s not rigorous) to see that the generate , that is, they’re the elements appearing in the definition above, the ‘s. Now, that’s dimension one. In codimension one, we have facets. Even better, if has the same dimension as , then there’s a unique element of defined by being normal (If the pairing above is denoted , then for all in the facet) and having minimal length.
Now, given a strongly convex cone, we define the dual cone for all .
Now we get to the first properly important bit: fans. A fan is a finite collection of cones in such that they’re all strongly convex, if and is a face of , then as well, and the intersection of pairs of cones in is a face of each. These conditions will let us use fans to define toric varieties next time. We’ll define a bunch of properties of cones that will comes up:
A cone is smooth if it is generated by a subset of a basis for . It is simplicial if it is generated by a subset of a basis of . We’ll come back to all of these later.
Now, we move from cones and fans, and start discussing polytopes. A lattice polytope is just the convex hull in of a finite subset of . Now, for any facet, we have an inward normal vector of minimal length and integer , so that is given by the inequalities for all facets.
Given a lattice polytope, we can define a fan as follows: take any face , and set to be the cone generated by for the facets containing . Then is a face of is a fan.
Additionally, given a polytope , there exists a polytope which is called the dual polytope, given by for all .
Now, an -dimensional polytope in is called reflexive if all the facets of are supported by an affine hyperplane, that is, they’re the intersection of the polytope with for some and if the only interior lattice point is 0. It’s a theorem of Batyrev that is reflexive if and only if is.
So now, lastly, we devote a moment to thinking about the dual polytope geometrically. Take the cube with vertices in three space. Then, the inward normals are , and so it has dual with those vertices, and that’s the octahedron. Now, to get the fan corresponding to any polytope , you look at its dual , and then take the cones over the faces and put them all together. They’ll form a fan, and this is the fan you’d get from the definition above. So the fan corresponding to the cube is just the octants, and the fan corresponding to the octahedron is a collection of infinite pyramids. And finally, we call the fans arising from dual polytopes dual. So we can work on the level of fans or polytopes at our leisure, and will use them both.
Apologies on the lack of pictures, I’ve failed at creating any to put here.