arxiv: v2 [math-ph] 24 Feb 2016

Transcription

1 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS MATTEO PETRERA AND YURI B. SURIS Institut für Mathemat MA 7-2 Technische Universität Berlin Str. des 17. Juni Berlin Germany arxiv: v2 [math-ph] 24 Feb 2016 ABSTRACT. We classify multidimensionally consistent maps given by (formal or convergent) series of the following kind: T k x = x + m=2 A (m) (x x x ) where A (m) are homogeneous polynomials of degree m of their respective arguments. The result of our classification is that the only non-trivial multidimensionally consistent map in this class is given by the well known symmetric discrete Darboux system x + x x T k x =. 1 x 2 1 x 2 1. INTRODUCTION The goal of this paper is to contribute to the problem of classification of discrete threedimensional (3D) integrable systems. The notion of integrability we adhere to is the multidimensional consistency. It originates in the development of integrable structures of Discrete Differential Geometry see [4] for details and for historical remarks. Multidimensional consistency of a given discrete d- dimensional system means that it can be imposed in a consistent way on all d-dimensional sublattices of a (d + 1)-dimensionl lattice. In retrospect this property can be understood as a discrete analog of the existence of commuting hierarchies of integrable systems. It has been shown that this property guarantees the existence of such integrability attributes as the discrete zero curvature representation and Bäcklund transformations enjoying Bianchi-type permutability. Moreover these attributes are encoded in the system itself and can be found in a straightforward and algorithmic way. Thus multidimensional consistency can be accepted as a rather general and powerful definition of integrability of discrete systems. In Ref. [1] a classification of 2D systems on quad-graphs with scalar (complex) fields at vertices integrable in the sense of 3D consistency was performed. As a result of this classification a rather short but exhaustive list of integrable systems of this kind was produced known nowadays as the ABS list. Moreover one class of multidimensionally consistent 3D systems has been classified namely those of the octahedron type [2]. It was demonstrated that the relevant combinatorial structure in this case is a multidimensional root lattice of type A. The most string feature is that the number of integrable systems petrera@math.tu-berlin.de suris@math.tu-berlin.de. 1

2 2 MATTEO PETRERA AND YURI B. SURIS drops dramatically with increasing dimension: only half a dozen of discrete 3D systems with the property of 4D consistency are known almost all of them are of a geometric origin. In the present paper we classify 3D maps within certain general Ansatz which are 4D consistent. The main result of our classification is that within the considered class the only non-trivial 4D consistent map is the symmetric discrete Darboux system (equation (3) below). Note that this system appeared in the study of multi-dimensional circular nets [5] see also [3] and enjoys several distinct geometric interpretations for which one can consult [4] and [6]. 2. THE 4D CONSISTENCY PROPERTY Consider a 3D map Φ(x y z) = ( x ỹ z). A possible definition of integrability of such maps is their 4D consistency [4] which we describe now. Combinatorially assign the quantities x = x 23 y = x 13 z = x 12 to the three faces of a 3D cube parallel to the coordinate planes respectively. Let T k stand for the unit shift in the k-th coordinate direction. We assign the quantities x = T k x to the three opposite faces. Therefore we view the map Φ as Φ 123 (x 12 x 13 x 23 ) = (T 3 x 12 T 2 x 13 T 1 x 23 ) (1) INTEGRABLE MAPS FROM SPHERICAL GEOMETRY where the indices 123 of Φ represent the 3D space where the map acts. More generally we assume that in any 3D sublattice of Z N spanned by the directions i j k (i < j < k) there acts a map Φ k. 1. SPHERICAL TRIANGLES x 23 T 3 x 12 x 13 Φ 123 T 2 x 13 T 1 x 23 x 12 FIGURE 1. A map on an elementary 3D cube with fields assigned to 2-faces. Now consider the initial value problem with data x i j = i < j prescribed at Φ s (Φ t (x)) = Φ t+s (x) six squares adjacent to one common vertex of the 4D cube. Then the application of a 3D map le (1) to the four 3D cubes adjacent to this vertex allows us to determine all T s k x : Φ 123 (x 12 x 13 Φx 23 t (x) ) = (T 3 x 12 T 2 x 13 T 1 x 23 ) Φ 124 (x 12 x t 14 x 24 ) = (T 4 x 12 T 2 x 14 T 1 x 24 ) Φ 134 (x 13 x 14 x 34 ) = (T 4 x 13 T 3 x 14 T 1 x 34 ) Φ 234 x(x 23 x 24 x 34 ) = (T M 4 x 23 T 3 x 24 T 2 x 34 ).

3 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS 3 At the second stage the map is applied to the other four 3D cubes of the 4D cube: Φ 123 (T 4 x 12 T 4 x 13 T 4 x 23 ) = (T 4 (T 3 x 12 ) T 4 (T 2 x 13 ) T 4 (T 1 x 23 )) Φ 124 (T 3 x 12 T 3 x 14 T 3 x 24 ) = (T 3 (T 4 x 12 ) T 3 (T 2 x 14 ) T 3 (T 1 x 24 )) Φ 134 (T 2 x 13 T 2 x 14 T 2 x 34 ) = (T 2 (T 4 x 13 ) T 2 (T 3 x 14 ) T 2 (T 1 x 34 )) Φ 234 (T 1 x 23 T 1 x 24 T 1 x 34 ) = (T 1 (T 4 x 23 ) T 1 (T 3 x 24 ) T 1 (T 2 x 34 )). Now 4D consistency of Φ k means that the following six equations are identically satisfied for arbitrary initial data: T l (T k x ) = T k (T l x ) i < j {i j k l} = { }. (2) In this setting the two most celebrated 4D consistent maps are the symmetric discrete Darboux system x + x x T k x = (3) 1 x 2 1 x 2 (where one assumes that x = x ji ) and the star-triangle map (where one assumes that x = x ji ). x T k x = (4) x x + x x ki + x ki x 3. STATEMENT OF THE CLASSIFICATION PROBLEM We consider maps (1) given by (formal or convergent) series of the following kind: T k x = x + A (m) (x x x ) (5) m=2 where A (m) are homogeneous polynomials of degree m of their respective arguments. Each time when the double indices are associated with a 2D coordinate plane (i.e. in notations le x A (m) ) we assume that the two indices are permutable that is x = x ji A (m) = A(m) ji; k etc. Note that the Darboux system (3) belongs to this class while the startriangle map (4) does not for two reasons: first the skew-symmetry assumption x = x ji is enforced and second it is not close to identity. We will classify 4D consistent maps of type (5). We perform the classification modulo the group of admissible transformations generated by the point (coordinate-wise) transformations x x + b (m) x m (6) m=2 given by (formal or convergent) series and by the scaling transformations x c x. (7) Here b (m) and c are arbitrary constants. Indeed transformations from the group generated by (6) and (7) leave the form of Φ k invariant.

4 4 MATTEO PETRERA AND YURI B. SURIS Our first aim is to determine quadratic polynomials which can appear as leading terms in 4D consistent maps satisfying (2). All lemmas in the present section are devoted to such a characterization. Lemma 1. Polynomials (i j k { }) of 4D consistent maps (5) satisfy the following system of six nonlinear partial differential equations (in which {i j k l} = { }): ; l + A(2) ; l + A(2) ; l = A(2) ; l + A(2) ; l il + A(2) ; l. (8) jl Here and below if the arguments of A (m) (x x x ). are not written explicitly they are supposed to be Proof. We compare the terms of degree 3 in T l (T k x ) = T k (T l x ). We have: T k x = x + (x x x ) + A (3) (x x x ) +... T l x = x + ; l (x x il x jl ) + A (3) ; l (x x il x jl ) +... so that taking into account only terms relevant for the expansion up to degree 3 and similarly T l (T k x ) = x + ; l + A(3) ; l + (... ) + x + ; l +... x + ; l +... x + ; l A (3) ( x +... x +... x +... ) +... = x + ; l + A(2) + A(3) ; l + A(3) + A(2) ; l + A(2) ; l + A(2) ; l +... T l (T k x ) = x + + A(3) + (... ) + ; l x x il x jl A (3) ( ; l x +... x il +... x jl +... ) +... = x + + A(2) ; l + A(3) + A(3) ; l + A(2) ; l + A(2) ; l il + A(2) ; l jl Now equations (8) follow directly by comparing the terms of degree 3 in T l (T k x ) and T l (T k x ).

5 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS 5 Next we analyze the system (8) for polynomials. We use the following notation for their coefficients: (x x x ) = α x x + β (i) x x + β (j) x x + λ x 2 + µ(i) x2 + µ(j) x2. (9) Lemma 2. For polynomials (i j k { }) of the form (9) satisfying system (8) we have α ; l λ = 0 (10) for all {i j k l} = { }. Proof. We substitute (9) into the set of differential equations (8) thus obtaining a system of cubic polynomial equations which must be identically satisfied. The monomial x x il x jl can only come from the first term on the left-hand side and the vanishing of its coefficient results in condition (10). We now deliberately choose to consider only the main two branches of conditions (10) namely (I) α = 0 and λ = 0 for all i j k { }. (II) α = 0 and λ = 0 for all i j k { }. Accordingly we have the claims contained in Lemmas 3 and 4. Lemma 3. In case (I) polynomials (i j k { }) of the form (9) satisfy system (8) if and only if β (i) = 0 µ(i) = 0 α = c c c (11) for all i j k { } where c are arbitrary constants. Modulo gauge transformations we can assume = x x for all i j k { } Proof. Assume α = 0 and λ = 0 for all i j k { } and substitute (9) into the set of differential equations (8). Collecting coefficients of monomials x il x jl x we find α ; l (β (i) β(i) ) = 0 which gives β (i) = β(i) (12) for all {i j k l} = { }. Similarly collecting coefficients of monomials x il x jl x kl we find α ; l (β (l) + β(l) ) = 0 which gives β (l) = β(l) (13) for all {i j k l} = { }. Combining conditions (12) and (13) gives β (i) = 0 for all i j k { }. Collecting coefficients of monomials x 2 il x we find µ (i) ; l α = 0 which gives the remaining conditions µ (i) = 0 for all i j k { }. We are now left with = α x x. (14)

6 6 MATTEO PETRERA AND YURI B. SURIS Substituting this into (8) we find the following conditions for the coefficients α : α ; l α = α α ; l α ; l α = α α ; l. (15) To solve conditions (15) we re-write them as The second equality here implies: α ; l α = α ; l α = α ; l α. α ; l α = α ; l α =: c 2 kl since this quantity does not depend on i j. As a consequence we find: α 2 = α α ; i α α ; j α ; i α ; j = c2 c2 c 2 which coincides with α = c c /c from (11). It is immediately verified that this necessary condition is also sufficient for (15). The gauge transformation (7) brings a map with the quadratic terms (14) with α = c c /c to a similar map with α = 1. Lemma 4. In case (II) polynomials of the form (9) satisfy system (8) if and only if so that for all i j k { }. β (i) = 0 µ(i) = 0 = λ x 2 Proof. Assume α = 0 and λ = 0 for all i j k { } and substitute (9) into the set of differential equations (8). Collecting coefficients of monomials x 2 x we find λ ; l β (i) = 0 which gives β(i) = 0 for all i j k { }. Next collecting coefficients of monomials xil 2 x we find λ µ (i) ; l = 0 which gives the remaining conditions µ(i) = 0 for all i j k { }. We are left with = λ x 2 which satisfy (8) without any further conditions on the coefficients λ. 4. CLASSIFICATION FOR CASE (I) The main result of our paper is contained in the following Theorem. Theorem 1. Any 4D consistent system of map Φ k (i j k { }) of type (5) with = x x is equivalent to the symmetric Darboux system (3) modulo admissible transformations of type (6).

7 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS 7 Proof. For any m 2 the terms of degree m + 2 in the 4D consistency condition (2) yield the following recursive system of equations for the polynomials A : x A ; l x il A + x A ; l x jl A + x il x jl ; l x x A + x il x kl A; l x x kl il A + x jl x kl (16) A ( ) ; l x x kl = F A (s) αβ; γ jl where F is a polynomial function of the A (s) αβ; γ s with s m. This is a system of six partial differential equations for twelve unknown polynomials A which can be reformulated as a system of linear algebraic equations for the coefficients of these polynomials. We know that (16) admits at least one particular solution (corresponding to the symmetric Darboux map) and we are going to study the general solution. It is obtained by adding an arbitrary solution of the corresponding homogeneous system: x A ; l x il A + x A ; l x jl A + x il x jl ; l x x A + x il x kl A; l x x kl il A + x jl x kl (17) A; l x x kl = 0. jl Lemma 5. The general solution of the homogeneous system (17) is given by ( ) A = x x mb x m 1 b x m 1 b x m 1 (18) where b are arbitrary constants. It turns out that this freedom is exactly compensated by means of admissible gauge transformations: Lemma 6. Given maps Φ k (i j k { }) of type (5) a change of variables x x + b x m with m 2 does not change the polynomials A (s) with s m while the polynomials A get shifted by x x ( mb x m 1 + b x m 1 ) + b x m 1. Theorem 1 is an immediate consequence of Lemmas 5 and 6. It remains to prove Lemmas 5 and 6. The second one is proved by a straightforward computation. Proof (of Lemma 5). We consider in (17) terms of a low multidegree with respect to x il x jl x kl belonging to three distinct classes: (a) Terms of multidegree (1 1 0) with respect to x il x jl x kl and of degree m 1 with respect to x x x.

8 8 MATTEO PETRERA AND YURI B. SURIS (b) Terms of multidegree (1 0 1) with respect to x il x jl x kl and of degree m 1 with respect to x x x. (c) Terms of multidegree (0 1 1) with respect to x il x jl x kl and of degree m 1 with respect to x x x. Terms belonging to the class (a) can come from the following part of (17): x il x jl x il A x jl A which upon cancelation of the common factor x il x jl leads to ; l x x = p 1 x m + p 2x m + p 3x x x m 2 (19) where p 1 is the coefficient by x jl x m in A p 2 is the coefficient by x il x m in A p 3 is the coefficient by x il x jl x m 2 in ; l /. Terms belonging to the class (b) can come from the following part of (17): x A ; l + x il x kl x il A ; l x x kl il which upon cancelation of the common factor x il x kl leads to = p 4 x x m 1 p 6 is the coefficient by x il x m 1 p 7 is the coefficient by x il x m 1 + p 5 x m + p 6x x m 1 where p 4 is the coefficient by x il x kl x m 1 in A ; l p 5 is the coefficient by x kl x m in A in ; l / il A; l x x kl jl + p 7 x x m 1 (20) in ; l / jl. Finally terms belonging to the class (c) can come from the following part of (17): x A ; l + x jl x kl x jl A ; l x x kl il which upon cancelation of the common factor x jl x kl leads to = p 8 x x m 1 + p 9 x m + p 10x x m 1 where p 8 is the coefficient by x jl x kl x m 1 in A ; l A; l x x kl jl + p 11 x x m 1 (21)

9 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS 9 p 9 is the coefficient by x kl x m p 10 is the coefficient by x jl x m 1 p 11 is the coefficient by x jl x m 1 in A in ; l / il in ; l / jl. Cross-differentiation of expressions in (19) (20) (21) leads to: Thus we find the conditions 2 A = mp 2 x m 1 + p 3 x x m 2 = (m 1)p 6 x x m 2 2 A = mp 1 x m 1 + p 3 x x m 2 = (m 1)p 10 x x m 2 + (m 1)p 7 x x m 2 + (m 1)p 11 x x m 2 2 A = p 4 x m 1 + mp 5 x m 1 + p 7 x m 1 = p 8 x m 1 + mp 9 x m 1 p 1 = p 2 = p 6 = p 11 = 0 + p 10 x m 1. p 3 = (m 1)p 7 = (m 1)p 10 p 4 = mp 9 p 8 = mp 5. Taking into account the above conditions we can write our preliminary results as follows: where = (m 1)p 10 x x x m 2 (22) = mp 9 x x m 1 + p 5 x m + p 10x x m 1 (23) = mp 5 x x m 1 + p 9 x m + p 10x x m 1 (24) (m 1)p 10 is the coefficient by x il x jl x m 2 p 10 is the coefficient by x il x m 1 in ; l / jl and at the same time the coefficient by x jl x m 1 in ; l / il p 5 is the coefficient by x kl x m mp 5 is the coefficient by x jl x kl x m 1 p 9 is the coefficient by x kl x m in ; l / in A in A in A ; l

10 10 MATTEO PETRERA AND YURI B. SURIS mp 9 is the coefficient by x il x kl x m 1 Now from equations (22) (24) we find: A in A ; l. where p 10 is the coefficient by x il x jl x m 1 in A ; l mp 5 is the coefficient by x jl x kl x m 1 in A ; l mp 9 is the coefficient by x il x kl x m 1 = p 5 x x m + p 9x x m + p 10x x x m 1 (25) in A ; l. From the characterization of p 10 it follows that this coefficient depends on i j only being independent of k l. Thus we can set p 10 = mb. Then the characterizations of mp 5 and mp 9 yield that p 5 = b p 9 = b. This allows us to finally re-write (25) in the form (18) which proves Lemma CLASSIFICATION FOR CASE (II) In the case (II) we only have trivial 4D consistent maps. Theorem 2. Any 4D consistent system of map Φ k (i j k { }) of type (5) with = λ x 2 (26) λ = 0 is equivalent to T k x = f (x ) (27) where f are univariate functions such that for all i j k l { }. f f ; l = f ; l f (28) Proof. We prove by induction that in the expression (5) for T k x each polynomial A (m) of degree m is in fact a monomial λ (m) xm depending on x only. By assumption this is true for m = 2. We fix m 3 assume the said property is fulfilled for all degrees less than m and derive the same property for degree m. One computes that the terms of degree m + 1 in T l (T k x ) T k (T l x ) are given by 2λ x A (m) ; l + A(m) 2λ ; l x A (m) A(m) ; l where the term px m+1 λ ; l x 2 + A (m) λ x 2 A (m) ; l il λ ; l x 2 + A (m) λ xil 2 A (m) ; l jl λ ; l x 2 λ x 2 jl + pxm+1 (29) comes from A (s) A(s) ; l with s < m. Now it is easy to show that A (m) does not depend on x x. Indeed if the degree of A (m) with respect to x would be d [1 m] (with a non-vanishing leading coefficient) then the degree of the expression (29) with respect to x would be d + 1 (also with a non-vanishing leading coefficient) so this expression could not vanish identically.

11 ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS 11 We conclude that any 4D consistent system of maps Φ k (i j k { }) of type (5) with (26) is equivalent to (27) for some functions f. The 4D consistency condition is then nothing but that the requirement that the functions f commute as in (28). 6. CONCLUSIONS The present paper has been devoted to the classification of 3D maps of type (5) which are 4D consistent. The results of our classification problem are contained in Theorems 1 and 2. The most interesting finding is that the symmetric discrete Darboux system (3) is the only 4D consistent map belonging to our Ansatz. Future research will be devoted to the classification of 4D consistent 3D maps which are not a perturbation of the identity (thus including the star-triangle map (4)) as well as to extension into higher dimensions. Let us mention that no 4D map which would be 5D consistent is presently known. ACKNOWLEDGMENT This research is supported by the DFG Collaborative Research Center TRR 109 Discretization in Geometry and Dynamics. REFERENCES [1] V.E. Adler A.I. Bobenko Yu.B. Suris Classification of integrable equations on quad-graphs. The consistency approach Comm. Math. Phys. 223 (2003) [2] V.E. Adler A.I. Bobenko Yu.B. Suris Classification of integrable discrete equations of octahedron type Int. Math. Res. Notices 8 (2012) [3] V.V. Bazhanov V.V. Mangazeev S.M. Smirnov Quantum geometry of three-dimensional lattices J. Stat. Mech.: Theor. Exp. 7 (2008) P pp. [4] A.I. Bobenko Yu.B. Suris Discrete differential geometry. Integrable structure Graduate Studies in Mathematics Vol. 98. AMS [5] B.G. Konopelchenko W.K. Schief Three-dimensional integrable lattices in Euclidean spaces: conjugacy and orthogonality Proc. Royal Soc. Ser. A 454 (1998) [6] M. Petrera Yu.B. Suris. Spherical geometry and integrable systems Geometriae Dedicata 169 (2014)