In mathematics, the pentagram map is a discrete dynamical system acting on polygons in the projective plane. It defines a new polygon whose vertices are obtained as the intersection points of the shortest diagonals of the initial polygon. This is a projectively equivariant procedure, hence it descends to the moduli space of polygons and defines another dynamical system (which is also referred to as the pentagram map). It was first introduced by Richard Schwartz in 1992. The pentagram map on the moduli space is famous for its complete integrability and its link with cluster algebras. It admits many generalizations in projective spaces and other settings.
Introduction
Informal definition
On polygons
Initially, the pentagram map was defined for convex polygons (with at least five sides) on the Euclidean plane. Given such a polygon P {\displaystyle P} with n {\displaystyle n} sides, one can draw the "shortest diagonals", meaning the segments whose endpoints are a vertex and one of its second neighbors (as in the figure). The intersections of the shortest diagonals are then taken as the vertices of a new n {\displaystyle n} -gon T ( P ) {\displaystyle T(P)} ; this new polygon is the output of the pentagram map. The same construction can be done on non-convex polygons, but there are several complications. First, some consecutive short diagonals may not intersect, so one must extend the segments to lines. Second, the image T ( P ) {\displaystyle T(P)} can fail to be a new n {\displaystyle n} -gon because some consecutive vertices could coincide. However, this generically doesn't happen. Finally, it is possible that two diagonals are parallel and don't intersect on the Euclidean plane. This is resolved by extending the Euclidean plane to the real projective plane by the addition of a line at infinity, where the intersection point lies (see the figure in the next section). Hence, the pentagram map is defined for generic polygons in the real projective plane. More generally, the construction of the pentagram map is well defined whenever the concepts of lines and their intersections make sense. This is encompassed by the notion of a general projective plane, of which the real projective plane is one example; but the pentagram map can also be considered over other fields, for instance the complex numbers, which give the complex projective plane.
On the moduli space of polygons Since the pentagram map is constructed by drawing lines and marking their intersections, it commutes with any transformation that sends lines to lines. Such maps are called projective transformations. Hence, polygons can be identified up to projective transformations. This identification gives the quotient space (technically called a moduli space) of classes of polygons. The pentagram map on polygons induces another dynamical system on the moduli space, whose behavior differs quite a lot from the initial one. The dynamic is trivial for the classes of pentagons and hexagons, but this is no longer the case for polygons with more vertices.
Historical elements The pentagram map for general polygons was introduced in (Schwartz 1992), but the simplest case is the one of pentagons, hence the name "pentagram". Their study goes back to (Clebsch 1871), (Kasner 1928) and (Motzkin 1945). The pentagram map interacts with some classical configuration theorems of projective geometry. It provides results analogous to the ones of Pascal's theorem and Brianchon's theorem. Some specific configurations make Desargues's theorem and Poncelet's porism appear.
Definitions and first properties
Definition of the map
Let n ≥ 5 {\displaystyle n\geq 5} be an integer. A polygon P {\displaystyle P} with n {\displaystyle n} sides, or n {\displaystyle n} -gon, is a tuple of vertices ( v 1 , … , v n ) {\displaystyle (v_{1},\dots ,v_{n})} lying in some projective plane P 2 {\displaystyle \mathbb {P} ^{2}} , where the indices are understood modulo n {\displaystyle n} . The dimension of the space of n {\displaystyle n} -gons is 2 n {\displaystyle 2n} . Suppose that the vertices are in sufficiently general position, meaning that no consecutive triple of points are collinear. Taking the intersection of two consecutive "shortest" diagonals defines a new point w k := v k − 1 v k + 1 ¯ ∩ v k v k + 2 ¯ . {\displaystyle w_{k}:={\overline {v_{k-1}v_{k+1}}}\cap {\overline {v_{k}v_{k+2}}}.} This procedure defines a new n {\displaystyle n} -gon T ( P ) = ( w 1 , … , w n ) {\displaystyle T(P)=(w_{1},\dots ,w_{n})} . The labeling of the indices of T ( P ) {\displaystyle T(P)} is not canonical. In most papers, a choice is made at the beginning of the paper and the formulas are tuned accordingly. The pentagram map on polygons is a birational map T : ( P 2 ) n {\displaystyle T:(\mathbb {P} ^{2})^{n}} ⇢ ( P 2 ) n {\displaystyle (\mathbb {P} ^{2})^{n}} . Indeed, each coordinate of w k {\displaystyle w_{k}} is given as a rational function of the coordinates of v k − 1 , … , v k + 2 {\displaystyle v_{k-1},\dots ,v_{k+2}} , since it is defined as the intersection of lines passing by them. Moreover, the inverse map is given by taking the intersections w k − 2 w k − 1 ¯ ∩ w k w k + 1 ¯ {\displaystyle {\overline {w_{k-2}w_{k-1}}}\cap {\overline {w_{k}w_{k+1}}}} , which is rational for the same reason.
Moduli space The pentagram map is defined by taking lines and intersections of them. The biggest group which maps lines to lines is the one of projective transformations, denoted by P G L 3 {\displaystyle \mathbb {P} \mathrm {GL} _{3}} . Such a transformation M {\displaystyle M} acts on a polygon P {\displaystyle P} by sending it to M ⋅ P := ( M v 1 , … , M v n ) {\displaystyle M\cdot P:=(Mv_{1},\dots ,Mv_{n})} . The pentagram map commutes with this action, and thereby induces another dynamical system on the moduli space of projective equivalence classes of polygons, whose dimension is 2 n − 8 {\displaystyle 2n-8} .
Twisted polygons
The pentagram map naturally generalizes to the larger space of twisted polygons (see the example of heptagon in the figure). For any integer n ≥ 5 {\displaystyle n\geq 5} , a twisted n {\displaystyle n} -gon P {\displaystyle P} is the data of:
a bi-infinite sequence of points ( v k ) k ∈ Z {\displaystyle (v_{k})_{k\in \mathbb {Z} }} in the projective plane (called the vertices), a projective transformation M ∈ P G L 3 {\displaystyle M\in \mathbb {P} \mathrm {GL} _{3}} (called the monodromy), such that for any k ∈ Z {\displaystyle k\in \mathbb {Z} } , the property v k + n = M v k {\displaystyle v_{k+n}=Mv_{k}} is satisfied. The dimension of the space of twisted n {\displaystyle n} -gons is 2 n + 8 {\displaystyle 2n+8} . When M {\displaystyle M} is the identity, this gives back the initial definition of polygons (which are said to be closed). The space of closed n {\displaystyle n} -gons is of codimension 8 {\displaystyle 8} in the space of twisted ones. The action of projective transformations over the space of closed polygons generalizes to the space of twisted ones (the monodromy is changed by conjugation). This provides again a moduli space, of dimension 2 n {\displaystyle 2n} .
Collapsing of convex polygons
Exponential shrinking
Let P {\displaystyle P} be a closed strictly convex polygon lying on the real plane. One of the first results proved by Richard Schwartz it that its iterates under the pentagram map shrink exponentially fast to a point, as illustrated in the figure. This follows from two facts.
The image of a strictly convex polygon is contained in its interior, and is also strictly convex. There exists a constant 0 < η P < 1 {\displaystyle 0<\eta _{P}<1} , depending on P {\displaystyle P} , such that for any N ∈ N {\displaystyle N\in \mathbb {N} } , the diameters of the iterates verify the inequality diam ( T N ( P ) ) ≤ η P N diam ( P ) . {\textstyle \operatorname {diam} (T^{N}(P))\leq \eta _{P}^{N}\operatorname {diam} (P).}
Hence, by Cantor's intersection theorem, the sequence of polygons collapses toward a point. The behavior on the moduli space is very different, since the dynamics is recurrent. It is even a quasiperiodic motion, as discussed in the section about integrability.
Coordinates of the limit point The limit point coordinates were given in (Glick 2020). They satisfy some degree 3 polynomial equations, whose coefficients are rational functions in the coordinates of the vertices of the starting polygon. The proof relies on the fact that the limit point must be an eigenline of a certain linear operator of R 3 {\displaystyle \mathbb {R} ^{3}} . This operator was reinterpreted in (Aboud & Izosimov 2022) as the infinitesimal monodromy of the polygon. The scaling symmetry is used to deform a closed polygon P {\displaystyle P} into a family of twisted ones ( P z ) z ∈ C ∗ {\displaystyle (P_{z})_{z\in \mathbb {C} ^{*}}} with monodromy M z {\displaystyle M_{z}} . The infinitesimal monodromy is defined to be: d M z d z | z = 1 . {\displaystyle \left.{\frac {dM_{z}}{dz}}\right|_{z=1}.}
Generalization The collapsing of polygons may also happen in some generalization of the pentagram map, when considering some specific configurations of polygons in the real plane. The coordinates of the collapse point are given by a formula analogous to the one for the original pentagram map.
Periodic orbits on the moduli space For some configurations of closed polygons, the iterate of the pentagram map will send P {\displaystyle P} to a projectively equivalent polygon (up to some shift of the indices). This means that, on the moduli space, the orbit of the class of P {\displaystyle P} is periodic.
Pentagons and hexagons
The following two facts are proved by checking cross-ratio equalities, so they are true for polygons in any projective plane (not just the real one). The pentagram map T {\displaystyle T} is the identity on the moduli space of pentagons. The second iterate T 2 {\displaystyle T^{2}} is the identity on the space of labeled hexagons, up to a shift of labeling (see the figure). This phenomenon doesn't generalize to generic polygons with at least seven sides, for which the motion is quasiperiodic.
Generalization The result about pentagons and hexagons generalizes to some higher pentagram maps in P k {\displaystyle \mathbb {P} ^{k}} , for polygons with k + 3 {\displaystyle k+3} or 2 k + 2 {\displaystyle 2k+2} sides. The proof uses a generalization of the Gale transform.
Poncelet polygons A polygon is said to be Poncelet if it is inscribed in a conic and circumscribed about another one. For a convex Poncelet n {\displaystyle n} -gon P {\displaystyle P} lying on the real projective plane, the polygon T 2 ( P ) {\displaystyle T^{2}(P)} is projectively equivalent to P {\displaystyle P} . In fact, when n {\displaystyle n} is odd, the converse is also true. However, this converse statement is no longer true when the polygons are considered over the complex projective plane since there are explicit counterexamples.
Coordinates for the moduli space The moduli space can be described by different coordinate systems. The following ones give simple expressions for the dynamics, as presented in the next section.
Corner coordinates
Define the cross-ratio of four collinear points to be
[ a , b , c , d ] = ( a − b ) ( c − d ) ( a − c ) ( b − d ) . {\displaystyle [a,b,c,d]={\frac {(a-b)(c-d)}{(a-c)(b-d)}}.}
The corner invariants are a system of coordinates on the space of twisted polygons, constructed by taking intersections as in the figure. The left and right invariants are respectively defined as the following cross-ratios:
x k := [ v k − 2 , v k − 1 , v k − 2 v k − 1 ¯ ∩ v k v k + 1 ¯ , v k − 2 v k − 1 ¯ ∩ v k + 1 v k + 2 ¯ ] , {\displaystyle x_{k}:=[v_{k-2},v_{k-1},{\overline {v_{k-2}v_{k-1}}}\cap {\overline {v_{k}v_{k+1}}},{\overline {v_{k-2}v_{k-1}}}\cap {\overline {v_{k+1}v_{k+2}}}],}
y k := [ v k + 1 v k + 2 ¯ ∩ v k − 2 v k − 1 ¯ , v k + 1 v k + 2 ¯ ∩ v k − 1 v k ¯ , v k + 1 , v k + 2 ] . {\displaystyle y_{k}:=[{\overline {v_{k+1}v_{k+2}}}\cap {\overline {v_{k-2}v_{k-1}}},{\overline {v_{k+1}v_{k+2}}}\cap {\overline {v_{k-1}v_{k}}},v_{k+1},v_{k+2}].}
Since the cross-ratio is projective invariant, the sequences ( x k ) k ∈ Z {\displaystyle (x_{k})_{k\in \mathbb {Z} }} and ( y k ) k ∈ Z {\displaystyle (y_{k})_{k\in \mathbb {Z} }} associated to a twisted n {\displaystyle n} -gon are n {\displaystyle n} -periodic. The corner invariants are elements of P 1 ∖ { 0 , 1 , ∞ } {\displaystyle \mathbb {P} ^{1}\smallsetminus \{0,1,\infty \}} , and they realize an isomorphism of varieties between the moduli space of twisted n {\displaystyle n} -gons and ( P 1 ∖ { 0 , 1 , ∞ } ) 2 n {\displaystyle (\mathbb {P} ^{1}\smallsetminus \{0,1,\infty \})^{2n}} .
ab-coordinates There is a second set of coordinates for the moduli space of twisted n {\displaystyle n} -gons defined over any field F {\displaystyle F} satisfying S L 3 ( F ) ≅ P G L 3 ( F ) {\displaystyle \mathrm {SL} _{3}(F)\cong \mathbb {P} \mathrm {GL} _{3}(F)} , and such that n {\displaystyle n} is not divisible by 3 {\displaystyle 3} . The vertices v k {\displaystyle v_{k}} in the projective plane P 2 ( F ) {\displaystyle \mathbb {P} ^{2}(F)} can be lifted to vectors V k {\displaystyle V_{k}} in the affine space F 3 {\displaystyle F^{3}} so that each consecutive triple of vectors spans a parallelepiped having determinant equal to 1 {\displaystyle 1} . This leads to the relation defining the a b {\displaystyle ab} -coordinates:
V k + 3 = a k V k + 2 + b k V k + 1 + V k . {\displaystyle V_{k+3}=a_{k}V_{k+2}+b_{k}V_{k+1}+V_{k}.}
This bring out an analogy between twisted polygons and solutions of third order linear ordinary differential equations, normalized to have unit Wronskian. They are linked to the corner coordinates by:
x k = a k − 2 b k − 2 b k − 1 , {\displaystyle x_{k}={\frac {a_{k-2}}{b_{k-2}b_{k-1}}},}
y k = − b k − 1 a k − 2 a k − 1 . {\displaystyle y_{k}=-{\frac {b_{k-1}}{a_{k-2}a_{k-1}}}.}
Formulas on the moduli space
As a birational map The pentagram map is a birational map on the moduli space, because it can be decomposed as the composition of two birational involutions. The corner invariants change in the following way:
x k ′ = x k 1 − x k − 1 y k − 1 1 − x k + 1 y k + 1 , {\displaystyle x_{k}'=x_{k}{\frac {1-x_{k-1}y_{k-1}}{1-x_{k+1}y_{k+1}}},}
y k ′ = y k + 1 1 − x k + 2 y k + 2 1 − x k y k . {\displaystyle y_{k}'=y_{k+1}{\frac {1-x_{k+2}y_{k+2}}{1-x_{k}y_{k}}}.}
The scaling symmetry The multiplicative group F ∖ { 0 } {\displaystyle F\smallsetminus \{0\}} acts on the moduli space in the following way:
R s ⋅ ( x 1 , … , x n , y 1 , … , y n ) = ( s x 1 , … , s x n , s − 1 y 1 , … , s − 1 y n ) , {\displaystyle R_{s}\cdot (x_{1},\dots ,x_{n},y_{1},\dots ,y_{n})=(sx_{1},\dots ,sx_{n},s^{-1}y_{1},\dots ,s^{-1}y_{n}),}
where R {\displaystyle R} is called the scaling action and s {\displaystyle s} is the scaling parameter. This action commutes with the pentagram map on the moduli space (as presented in the previous formulas). This property is called the scaling symmetry, and is instrumental in proving the complete integrability of the dynamics.
Invariant structures
Monodromy invariants The monodromy invariants, introduced in (Schwartz 2008), are a collection of functions on the moduli space that are invariant under the pentagram map. The simplest examples of them are
O n = x 1 x 2 ⋯ x n , E n = y 1 y 2 ⋯ y n . {\displaystyle O_{n}=x_{1}x_{2}\cdots x_{n},\quad E_{n}=y_{1}y_{2}\cdots y_{n}.}
The other monodromy invariants can be retrieved through different points of view: through the scaling symmetry, as combinatorial objects, or as some determinants. The one involving scaling symmetry is presented here. Let M ∈ G L 3 {\displaystyle M\in \mathrm {GL} _{3}} be a lift of the monodromy of a twisted n {\displaystyle n} -gon. The quantities
Ω 1 = trace 3 ( M ) det ( M ) , Ω 2 = trace 3 ( M − 1 ) det ( M − 1 ) , {\displaystyle \Omega _{1}={\frac {\operatorname {trace} ^{3}(M)}{\det(M)}},\quad \Omega _{2}={\frac {\operatorname {trace} ^{3}(M^{-1})}{\det(M^{-1})}},}
are independent of the choice of lift and are invariant under conjugation, so they are well defined for the projective class of the polygon. They are invariant under the pentagram map, since the monodromy matrix doesn't change. Now, the quantities
Ω ~ 1 = O n 2 E n Ω 1 , Ω ~ 2 = O n E n 2 Ω 2 , {\displaystyle {\tilde {\Omega }}_{1}=O_{n}^{2}E_{n}\Omega _{1},\quad {\tilde {\Omega }}_{2}=O_{n}E_{n}^{2}\Omega _{2},}
have the same properties, but turn out to be polynomials in the corner invariants. They can be written as
Ω ~ 1 = ( ∑ k = 0 ⌊ n / 2 ⌋ O k ) 3 , Ω ~ 2 = ( ∑ k = 0 ⌊ n / 2 ⌋ E k ) 3 , {\displaystyle {\tilde {\Omega }}_{1}={\biggl (}\sum _{k=0}^{\lfloor n/2\rfloor }O_{k}{\biggr )}^{3},\quad {\tilde {\Omega }}_{2}={\biggl (}\sum _{k=0}^{\lfloor n/2\rfloor }E_{k}{\biggr )}^{3},}
where each O k {\displaystyle O_{k}} and E k {\displaystyle E_{k}} are homogeneous polynomials respectively of weight k {\displaystyle k} and − k {\displaystyle -k} , meaning they change under the rescaling action on variables by
R s ( O k ) = s k O k , R s ( E k ) = s − k E k . {\displaystyle R_{s}(O_{k})=s^{k}O_{k},\quad R_{s}(E_{k})=s^{-k}E_{k}.}
The quantities