Lattice Polygons in the Plane and the Number 12
TL;DRAbstract
A convex polygon P in R all of whose vertices have integer coordinates is called a convex lattice polygon. If the polygon has n lattice points on its boundary, represented by the vectors p1, . . . , pn (in anticlockwise order), then we say that the length l(P) is n. The dual (convex) lattice polygon P∨ is by definition the convex hull of the difference vectors qi = pi+1 − pi, where indices throughout the note are considered modulo n. In this note we will give a simple proof of the fact that if P be a convex lattice polygon in R whose only interior lattice point is the origin, then l(P) + l(P∨) = 12. This result has its origin in a correspondence between convex lattice polygons and certain toric varieties, and has several ingenious proofs (see [1] and [2]). These proofs use either Noether’s formula or modular forms to explain the occurrence of the number 12. Our proof observes that if l(P) increases by one then l(P∨) decreases by one, so that their sum is constant. The number 12 then ap
Chat with Paper
AI Agents for this Paper
A convex polygon P in R all of whose vertices have integer coordinates is called a convex lattice polygon. If the polygon has n lattice points on its boundary, represented by the vectors p1, . . . , pn (in anticlockwise order), then we say that the length l(P) is n. The dual (convex) lattice polygon P∨ is by definition the convex hull of the difference vectors qi = pi+1 − pi, where indices throughout the note are considered modulo n. In this note we will give a simple proof of the fact that if P be a convex lattice polygon in R whose only interior lattice point is the origin, then l(P) + l(P∨) = 12. This result has its origin in a correspondence between convex lattice polygons and certain toric varieties, and has several ingenious proofs (see [1] and [2]). These proofs use either Noether’s formula or modular forms to explain the occurrence of the number 12. Our proof observes that if l(P) increases by one then l(P∨) decreases by one, so that their sum is constant. The number 12 then ap
Keywords
Chat
Click to start Chat