Liouville-Arnold integrability of the pentagram map on closed polygons
type: Item
instance of: scholarly article
title: Liouville-Arnold integrability of the pentagram map on closed polygons
zbMATH Open document ID: 1315.37035
DOI: 10.1215/00127094-2348219
author: Valentin Ovsienko
author: S. Tabachnikov
author: Richard Evan Schwartz
published in: Duke Mathematical Journal
publication date: 2013-10-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/1107.3633
full work available at URL: https://projecteuclid.org/euclid.dmj/1378729686
reviewed by: Angel Zhivkov
Mathematics Subject Classification ID: 37J35
Mathematics Subject Classification ID: 51A20
zbMATH DE Number: 6218376
zbMATH Keywords: pentagram map
zbMATH Keywords: complete integrability
MaRDI profile type: Publication
OpenAlex ID: W3099292260
arXiv ID: 1107.3633
cites work: Loop Groups, Clusters, Dimers and Integrable Systems
cites work: Cluster algebras. I: Foundations
cites work: Drinfeld-Sokolov reduction for difference operators and deformations of \({\mathcal W}\)-algebras. I: The case of Virasoro algebra
cites work: Higher pentagram maps, weighted directed networks, and cluster dynamics
cites work: Q3060326
cites work: The pentagram map and \(Y\)-patterns
cites work: The pentagram map in higher dimensions and KdV flows
cites work: Integrability of higher pentagram maps
cites work: Analytic theory of difference equations with rational and elliptic coefficients and the Riemann-Hilbert problem
cites work: Lagrangian multiform structure for the lattice Gel'fand–Dikii hierarchy
cites work: On generalizations of the pentagram map: discretizations of AGD flows
cites work: 2-frieze patterns and the cluster structure of the space of polygons
cites work: The pentagon in the projective plane, with a comment on Napier’s rule
cites work: Quasiperiodic motion for the pentagram map
cites work: The pentagram map: a discrete integrable system
cites work: Q3158584
cites work: Q4022709
cites work: The Pentagram Map is Recurrent
cites work: Discrete monodromy, pentagrams, and the method of condensation
cites work: Elementary surprises in projective geometry
cites work: The pentagram integrals on inscribed polygons
cites work: Integrability of the pentagram map
cites work: THE BOUSSINESQ INTEGRABLE SYSTEM: COMPATIBLE LATTICE AND CONTINUUM STRUCTURES
Recommended article: On Integrable Generalizations of the Pentagram Map
Recommended article: Integrability of the pentagram map
Recommended article: Integrability of higher pentagram maps
Recommended article: On the integrability of the shift map on twisted pentagram spirals
Recommended article: Non-integrability vs. integrability in pentagram maps
Recommended article: The pentagram map in higher dimensions and KdV flows
Recommended article: The pentagram integrals on inscribed polygons
Recommended article: The pentagram map: a discrete integrable system
Recommended article: Non-commutative integrability of the Grassmann pentagram map
Recommended article: Pentagram maps and refactorization in Poisson-Lie groups
review text: Let \(P=v_1v_2\dots v_n\) be a convex polygon (\(n\)-gon, \(n \geq 5\)) in \({\mathbb R}^2\), and let \(v_{k+n}=v_n\) for all integers \(k\). For any four consecutive points \(v_{i-1},v_{i},v_{i+1},v_{i+2}\), define the new point \(w_i=(v_{i-1},v_{i+1})\cap(v_{i},v_{i+2})\), where \((v_j,v_k)\) stands for the line through \(v_j\) and \(v_k\). Thus we obtain a new \(n\)-gon \(T(P)=w_1w_2\dots w_n\) and the so-called pentagram map \(T: {\mathcal E}_n \rightarrow {\mathcal E}_n\), where \({\mathcal E}_n\) is the moduli space of projective equivalence classes of \(n\)-gons in the projective plane \({\mathbb R}P^2\).NEWLINENEWLINEFor \(n=5\) or \(n=6\), the pentagram map is always periodic, more precisely \(T\) or \(T^2\) are equal to the identity map. It turns out that the orbit \(P,T(P),T^2(P),\dots\) of a general convex \(n\)-gon \(P\) undergoes quasi-periodic motion. The authors give a purely geometric proof of the following theorem.NEWLINENEWLINETheorem: Almost every point of \({\mathcal E}_n\) lies on a \(T\)-invariant submanifold \(M\) of dimension \(d=n-4\) for \(n\) odd or \(d=n-5\) for even \(n\). The submanifold \(M\) is defined by a locally free action of \(d\) commuting and independent at every point vector fields over \(M\).NEWLINENEWLINETo prove this discrete version of an Arnold-Liouville's type of theorem, some corner invariants \((x_{2i-1},x_{2i})\) for each point \(v_i\) have been introduced. These \(x_1,\dots, x_{2n}\) are the local coordinates in \({\mathcal E}_n\) to express \(T\) as certain rational functions, the Poisson brackets as \(\{ x_i, x_{i+2} \} = (-1)^i x_i x_{i+2}\) (otherwise vanishing), the commuting vector fields as polynomials, etc.
description: scientific article; zbMATH DE number 6218376