The pentagram map and discrete integrable systems
Joint work with Valentin Ovsienko and Serge Tabachnikov
Start with a convex polygon. Draw diagonals between vertices at distance 2, they form a smaller polygon inside. Call this the pentagram map, although the number of sides is arbitrary.
The case of pentagons has been studied for centuries. Gauss’ Pentagrammon magnificum. Motzlan 1947.
In the non convex case, it becomes a projective construction (it is only generically defined). Hence it commutes with projective transformations. The space of -gons up to projective transformation has dimension . The subset of convex polygons is homeomorphic to a ball (in fact, is a triangle bundle over , as is seen by adding an extra vertex).
Let denote the pentagram map.
Theorem 1 (Classical) If , is periodic.
Let . To a vertex, associate the cross-ratio of the sides and diagonals emanating from it. These numbers determine the polygon up to projective transformations. The cross-ratio of a vertex of equals the cross-ratio of the 4 points along a diagonal, i.e. the cross-ratio of a vertex of . Hence .
For , I checked it using Mathematica.
For , no periodicity. Numerical experiments suggest that is foliated by -tori, each with a natural flat structure. Whence the title. I will explain the origin of these tori.
Fact. The product of vertex cross-ratios is -invariant. Indeed, its log is the Hilbert length of as a subset of . View it as function of a point on a side. Complexify. Get a bounded holomorphic function on , it is constant. Checking on the regular polygon shows that .
It implies that the diameter of tends to 0.
Theorem 2 (Max Glick 2018) The shrink point is algebraic in the coordinates of the vertices.
Indeed, lift vertices to vectors in . Define an endomorphim of by
A Poncelet polygon is a polygon which is inscribed in a conic and superscribed about a conic.
Poncelet polygons are fixed points of .
2. Integrable systems
2.1. 4 dimensions
Let b a smooth closed 4-manifold, with a symplectic form . To a smooth function on , associate the Hamiltonian vector field such that . The flow of is tangent to the level sets of .
Definition 3 Define the Poisson bracket by
Hence vanishing Poisson bracket means that the corresponding Hamiltonian flow commute. In non-degenerate cases, this implies that joint level curves are smooth surfaces with a natural map to . If the orbit of this action of is closed, it must be a torus.
2.2. Higher dimensions
If, in dimension , functions Poisson-commute, one gets a map to whose level sets are unions of orbits of an action.
More generally, a Poisson bracket is a skew-symmetric map on vector fields, which is a derivation of the algebra of smooth functions and satisfies Jacobi identity.
I intend to turn into a symplectic manifold (in fact, merely indicate the Poisson bracket), in such a way that is symplectic. Then I will find Poisson-commuting functions.
F. Soloviev goes farther: he relates the dynamics of to Riemann surfaces, and so on.
3. Coordinates on
Assign a cross-ratio to a flag, i.e. a vertex and an adjacent edge, where is previous vertex, and are intersections of side with two next edges. This gives a map , this is too much for coordinates.
Define a twisted -gon as a map such that for all , for some projective transformation . is called the monodromy. ‘s define coordinates on this enlarged space.
In terms of cross-ratio coordinates, and are rational functions, almost polynomials (only products of cross-ratios appear in the denominator).
3.1. Poisson structure
and all other Poissons brackets vanish. This defines a Poisson structure on twisted -gons.