Liouville Arnold integrability of the pentagram map on closed polygons

Valentin Ovsienko

Description

Liouville-Arnold integrability of the pentagram map on closed polygons Valentin Ovsienko Richard Evan Schwartz Serge Tabachnikov Abstract The pentagram map is a discrete dynamical system defined on the moduli space of poly- gons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geom- etry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conjectured in [16] and proved in [13] for a larger space of twisted polygons. In this paper, we prove the initial conjecture that the pentagram map is completely integrable on the moduli space of closed polygons. In the case of convex polygons in the real projective plane, this result implies the existence of a toric foliation on the moduli space. The leaves of the foliation carry affine structure and the dynamics of the pentagram map is quasi-periodic. Our proof is based on an invariant Poisson structure on the space of twisted polygons. We prove that the Hamiltonian vector fields corresponding to the monodoromy invariants preserve the space of closed polygons and define an invariant affine structure on the level surfaces of the monodromy invariants. Contents 1 Introduction 2 1.1 Integrability problem and known results . . . . . . . . . . . . . . . . . . .

• hamiltonian vector


• projective differential geometry


• pentagram map


• adler-gelfand-dickey flows


• map can


• integrability


• integrability problem


• fields corresponding

Sujets

• Schwartz
• Projective differential geometry
• Pentagram map
• Integrability

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 40
• Langue: English

Extrait

10 10 12

6 6 7 8

2 Integrability on the space of twistedn-gons 2.1 The spaceP n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . 2.2 The corner coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Rescaling and the spectral parameter . . . . . . . . . . . . . . . . . . . . . . . . . 2.4 The Poisson bracket . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5 The rank of the Poisson bracket and the Casimir functions . . . . . . . . . . . . . 2.6 Two constructions of the monodromy invariants . . . . . . . . . . . . . . . . . . . 2.7 The monodromy invariants Poisson commute . . . . . . . . . . . . . . . . . . . .

9

Introduction 1.1 Integrability problem and known results . . . . . . . . . . . . . . . . . . . . . . . 1.2 The main theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Related topics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 3 4 5

1

Contents

The pentagram map is a discrete dynamical system defined on the moduli space of poly- gons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geom- etry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conjectured in [16] and proved in [13] for a larger space of twisted polygons. In this paper, we prove the initial conjecture that the pentagram map is completely integrable on the moduli space of closed polygons. In the case of convex polygons in the real projective plane, this result implies the existence of a toric foliation on the moduli space. The leaves of the foliation carry affine structure and the dynamics of the pentagram map is quasi-periodic. Our proof is based on an invariant Poisson structure on the space of twisted polygons. We prove that the Hamiltonian vector fields corresponding to the monodoromy invariants preserve the space of closed polygons and define an invariant affine structure on the level surfaces of the monodromy invariants.

Valentin Ovsienko

Richard Evan Schwartz

Serge Tabachnikov

Liouville-Arnold integrability of the pentagram polygons

map on

closed

Abstract

3

4

Integrability onC n modulo a calculation 3.1 The Hamiltonian vector fields are tangent toC n . . . . . . . . . . . . . . . . . . . 3.2 Identities between the monodromy invariants . . . . . . . . . . . . . . . . . . . . 3.3 Reducing the proof to a one-point computation . . . . . . . . . . . . . . . . . . .

The linear independence calculation 4.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 The first calculation in broad terms . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 The second calculation in broad terms . . . . . . . . . . . . . . . . . . . . . . . . 4.4 The heft . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.5 Completion of the first calculation . . . . . . . . . . . . . . . . . . . . . . . . . . 4.6 Completion of the second calculation . . . . . . . . . . . . . . . . . . . . . . . . .

5 The polygon and its tangent space 5.1 Polygonal rays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 The reconstruction formulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 The polygon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.4 The tangent space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

Introduction

15 16 17 21

23 23 24

26 27 30 31

34 34 35

37 38

Thepentagram map an Givenis a geometric construction which carries one polygon to another. n-gonP, the vertices of the imageT(P) under the pentagram map are the intersection points of consecutive shortest diagonals ofP . Theleft side of Figure 1 shows the basic construction. The right hand side shows the second iterate of the pentagram map. The second iterate has the virtue that it acts in a canonical way on a labeled polygon, as indicated. The first iterate also acts on labeled polygons, but one must make a choice of labeling scheme; see Section 2.2. The simplest example of the pentagram map for pentagons was considered in [11]. In the case of arbitrarynmap was introduced in [15] and further studied in [16, 17]., the The pentagram map is defined on any polygon whose points are in general position, and also on some polygons whose points are not in general position. One sufficient condition for the pentagram map to be well defined is that every consecutive triple of points is not collinear. However, this last condition is not invariant under the pentagram map. The pentagram map commutes with projective transformations and thereby induces a (gener- ically defined) map T:C n → C n (1.1) whereC n is the moduli space of projective equivalence classes ofn-gons in the projective plane. Mainly we are interested in the subspaceC n 0 of projective classes convexn pentagram-gons. The map is entirely defined onC 0 n and preserves this subspace.

2

Figure 1: The

pentagram map and its second iterate defined on a convex 7-gon

Note that the pentagram map can be defined over an arbitrary field. Usually, we restrict our considerations to the geometrically natural real case of convexn-gons inRP 2  the. However, complex case represents a special interest since the moduli space ofn-gons inCP 2 is a higher analog of the moduli spaceM 0,n  specified, we will be using the general notation. UnlessP 2 for the projective plane and PGL 3 for the group of projective transformations.

1.1 Integrability problem and known results

Assuming that the labeling schemes have been chosen carefully, the mapT:C 5 → C 5 is the identity map and the mapT:C 6 → C 6  conjecture that the map The [15]. Seeis an involution. (1.1) is completely integrable was formulated roughly in [15] and then more precisely in [16]. This conjecture was inspired by computer experiments in the casen= 7. 2 presents (a Figure two-dimensional projection of) an orbit of a convex heptagon inRP 2 . The first results regarding the integrability of the pentagram map were proved for the pen- tagram map defined on a larger space,P n , oftwistedn series of-gons. AT-invariant functions (or first integrals) called themonodromy invariants, was constructed in [17]. In [13] (see also [12] for a short version), the complete integrability ofTonP n proved with the help of awas Tstructure, such that the monodromy invariants Poisson-commute.-invariant Poisson In [20], F. Soloviev found a Lax representation of the pentagram map and proved its algebraic- geometric integrability. The space of polygons (eitherP n orC n ) is parametrized in terms of a spectral curve with marked points and a divisor. The spectral curve is determined by the monodromy invariants, and the divisor corresponds to a point on a torus – the Jacobi variety of the spectral curve. These results allow one to construct explicit solutions formulas using Riemann theta functions (i.e., the variables that determine the polygon as explicit functions

3

Figure 2: An orbit of the pentagram map on a heptagon

of time). Soloviev also deduces the invariant Poisson bracket of [13] from the Krichever-Phong universal formula. Our result below has the same dynamical implications as that of Soloviev, in the case of real convex polygons. Soloviev’s approach is by way of algebraic integrability, and it has the advantage that it identifies the invariant tori explicitly as certain Jacobi varieties. Our proof is in the framework of Liuoville-Arnold integrability, and it is more direct and self-contained.

1.2 The main theorem

The main result of the present paper is to give a purely geometric proof of the following result.

Theorem 1.Almost every point ofC n lies on aT-invariant algebraic submanifold of dimension d=  n n − −4 5 ,n ,nven iosdd ise. (1.2)

that has aT-invariant affine structure.

Recall that an affine structure on ad-dimensional manifold is defined by a locally free ac- tion of thed-dimensional Abelian Lie algebra, that is, bydcommuting vector fields linearly independent at every point.

In the case of convexn-gons in the real projective plane, thanks to the compactness of the space established in [16], our result reads: Corollary 1.1.Almost every orbit inC 0 n lies on a finite union of smoothd-dimensional tori, wheredis as in equation (1.2). The union of these tori has aT-invariant affine structure.

4