A review of elliptic difference Painlev\'e equations
Nalini Joshi, Nobutaka Nakazono

TL;DR
This paper reviews the development of elliptic difference Painlevé equations, emphasizing recent advances in their construction on the $E_8$ lattice, highlighting their mathematical structure and classification.
Contribution
It provides a comprehensive review of elliptic discrete Painlevé equations, including recent constructions and examples on the $E_8$ lattice, expanding understanding of their diversity.
Findings
New examples of elliptic discrete Painlevé equations
Enhanced understanding of their construction on the $E_8$ lattice
Summarization of recent developments in the field
Abstract
Discrete Painlev\'e equations are nonlinear, nonautonomous difference equations of second-order. They have coefficients that are explicit functions of the independent variable and there are three different types of equations according to whether the coefficient functions are linear, exponential or elliptic functions of . In this paper, we focus on the elliptic type and give a review of the construction of such equations on the lattice. The first such construction was given by Sakai \cite{SakaiH2001:MR1882403}. We focus on recent developments giving rise to more examples of elliptic discrete Painlev\'e equations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNonlinear Waves and Solitons · Polynomial and algebraic computation · Advanced Differential Equations and Dynamical Systems
A review of elliptic difference Painlevé equations
Nalini Joshi
School of Mathematics and Statistics, The University of Sydney, New South Wales 2006, Australia.
and
Nobutaka Nakazono
Department of Physics and Mathematics, Aoyama Gakuin University, Sagamihara, Kanagawa 252-5258, Japan.
Abstract.
Discrete Painlevé equations are nonlinear, nonautonomous difference equations of second-order. They have coefficients that are explicit functions of the independent variable and there are three different types of equations according to whether the coefficient functions are linear, exponential or elliptic functions of . In this paper, we focus on the elliptic type and give a review of the construction of such equations on the lattice. The first such construction was given by Sakai [38]. We focus on recent developments giving rise to more examples of elliptic discrete Painlevé equations.
1. Introduction
Discrete Painlevé equations are nonlinear integrable ordinary difference equations of second order. They have a long history (see §1.1), but it is only in the past two decades that striking developments have led to their recognition as one of the most important classes of equations in the theory of integrable systems [15, 25, 18].
Almost all of the currently known collection of discrete Painlevé equations were derived by Grammaticos, Ramani and collaborators [15], and recognized as having fundamental properties that parallel those of the Painlevé equations, such as Lax pairs, Bäcklund transformations and special solutions. Sakai [38] unified these discrete Painlevé equations and also discovered a new equation whose coefficients are iterated on elliptic curves. Sakai’s equation is an elliptic difference Painlevé equation.
Sakai’s unification is based on a deep geometric theory shared by all the discrete Painlevé equations, first described by Okamoto [33] for the classical Painlevé equations (see §1.1). The fundamental unifying property is based on the fact that the initial-value (or phase) space of the Painlevé equations can be compactified and regularized by a minimum of eight blow-ups on a Hirzebruch surface. This beautiful observation also leads to symmetries of the equation, arising from an isomorphism between the intersection diagram of the resulting space and affine root systems.
This led Sakai to describe discrete Painlevé equations as the result of translations on lattices defined by affine Weyl groups [19]. In particular, Sakai’s elliptic difference equation [38] is iterated on the lattice generated by the affine exceptional Lie group (see also [30, 32]). More recently, other elliptic difference equations of Painlevé type have been discovered [36, 4, 21, 6] through other approaches. This review concentrates on describing the construction of such elliptic difference Painlevé equations by using Sakai’s geometric way.
To describe the construction that underlies and explains all of these examples, we rely on the following mathematical description. Fix a point in the lattice [7]. Then there are 240 nearest neighbors of this point in the lattice, lying at a distance whose squared length is equal to 2. We refer to the 120 vectors between the initial fixed point and its possible nearest neighbors as nearest-neighbor-connecting vectors (NVs). Similarly, there are 2160 next-nearest neighbors, lying at a distance whose squared length is 4. The 1080 vectors between the fixed point and such next-nearest neighbors will be referred to as next-nearest-neighbor-connecting vectors (NNVs). Sakai’s elliptic difference equation is constructed in terms of translations expressed in terms of NVs. However, more recently deduced examples are obtained from NNVs.
The example that led us to this key observation is the following elliptic difference Painlevé equation, originally found by Ramani, Carstea and Grammaticos[36]:
[TABLE]
where
[TABLE]
and . We will refer to this equation as the RCG equation. Here, , and are Jacobi elliptic functions and is the modulus of the elliptic sine. For more information about Jacobian elliptic functions and notations, see [9, Chapter 22] and [40].
It turns out that the RCG equation (1.1) is a projective reduction of an NNV, i.e., the iterative step is not a translation on the lattice, but its square is a translation corresponding to a NNV. In general, we can derive various discrete Painlevé equations from elements of infinite order in the affine Weyl group that are not necessarily translations by taking a projection on a certain subspace of the parameters. Kajiwara et al studied such procedures [24, 23] to obtain non-translation type discrete Painlevé equations and named these “projective reductions”. The RCG equation (1.1) is the first known case of an elliptic difference Painlevé equation obtained from such a reduction.
We constructed a discrete Painlevé equation, which has the RCG equation as a projective reduction, by using NNVs on the lattice in [21]. Most of discrete Painlevé equations admit the special solutions expressible in terms of solutions of linear equations when some of the parameters take special values (see, for example, [25] and references therein). It is known that projectively-reduced equations have different type of such solutions from translation-type discrete Painlevé equations on the same lattice[24, 23]. In this paper, we will also show the special solutions of Equation (1.1), which is quite different from those of a translation-type elliptic difference Painlevé equation reported in [25, 22].
1.1. Background
Shohat studied polynomials indexed by degree , defined in an interval , with a weight function such that
[TABLE]
Shohat obtained the 3-term recurrence relation (see Equation (39) of [39])
[TABLE]
where , , where is independent of , and deduced the following difference equation for :
[TABLE]
We now know that this equation is intimately related to one of the six classical Painlevé equations, universal classes of second-order ordinary differential equations (ODEs) studied by Painlevé [34], Fuchs [13] and Gambier [14]. Fokas et al [12] showed that the solutions of Equation (1.5) are solutions of the fourth Painlevé equation:
[TABLE]
Actually, solutions of : , , satisfy a more general version of Shohat’s equation given by
[TABLE]
where , , , are constants (see [11]). This equation is an integrable equation in its own right, with fundamental properties such as a Lax pair [8].
Equation (1.6) is one of many equations now known as discrete Painlevé equations. In general, there exist three types of discrete Painlevé equations. They are distinguished by the types of function appearing in the coefficient of each equation.
- (i)
If there exists such that is a constant, then the equation is said to be of additive-type. 2. (ii)
If there exists such that is a constant, denoted , then the equation is said to be of multiplicative-type or -difference-type. 3. (iii)
If can be expressed by the elliptic function of , then the equation is said to be of elliptic-type.
We list a few discrete Painlevé equations here.
[TABLE]
where , and are constants. Here, is a constant for Equations (1.7) and (1.9) and is a constant for Equations (1.8) and (1.10), that is, Equations (1.7) and (1.9) are additive-type, while Equations (1.8) and (1.10) are multiplicative-type. Note that the notation for each equation originates from their discrete types and continuum limits. Moreover, an example of elliptic-type is given by Equation (1.1).
Okamoto [33] described a geometric framework for studying the Painlevé equations. He showed that the initial-value (or phase) space of the Painlevé equations, which is a foliated vector bundle [28], can be compactified and regularised by a minimum of eight blow-ups on a Hirzebruch surface (or nine in ).
This geometric theory also leads to a description of their symmetry groups, described in terms of affine Weyl groups [31]. Such symmetries lead to transformations of the Painlevé equations called Bäcklund transformations.
Sakai’s geometric description of discrete Painlevé equations, based on types of space of initial values, is well known[38]. This picture relies on compactifying and regularizing space of initial values. The spaces of initial values are constructed by blow up of at base points (see §3) and are classified into 22 types according to the configuration of the base points as follows:
[TABLE]
In each case, the root system characterizing the surface forms a subgroup of the 10-dimensional Picard lattice. The symmetry group of each equation, formed by Cremona isometries, arises from the orthogonal complement of this root system inside the Picard lattice.
1.2. Periodic reduction of the Q4-equation
In this section, we recall how to obtain Equation (1.1) from the lattice Krichever-Novikov system[2, 17] (or, Q4 in the terminology of Adler-Bobenko-Suris[3]):
[TABLE]
where and are parameters, is the dependent variable, and are independent variables (often taken to be integer) and is the modulus of the elliptic function . Taking a periodic reduction of Equation (1.2), and identifying , leads to an autonomous second order ordinary difference equation [20]:
[TABLE]
Ramani et al [36] deautonomised Equation (1.2) by the method of singularity confinement after a change of variables , . The resulting equation then becomes Equation (1.1) with and .
1.3. Outline of the paper
In §2, we recall the basic definitions of reflection group theory and define translations, for the interested reader. The initial-value space of the RCG equation (1.1) is constructed in §3, where we also introduce related algebro-geometric concepts. In §4, we construct Cremona isometries on this initial value space, which roughly speaking, are mappings that preserve its geometric structure. In §5, we give the resulting birational actions on the coordinates and parameters of the initial value space. We show that by using these birational actions, we arived at the RCG equation. Some explicit special solutions of the RCG equation are described in §6. In Appendix A we illustrate the geometric ideas for the case of , and in Appendix B we describe the generic known examples of elliptic difference Painlevé equations.
2. -lattice
To understand how to construct discrete Painlevé equations from symmetry groups, we need the theory of finite and affine reflection groups. In this section, we recall the basic definitions of reflection group theory before defining the transformation group and describing its translations operators.
Consider two -dimensional real vector spaces and , spanned by the basis sets \Delta=\bigl{\{}\alpha_{1},\ldots,\alpha_{n}\bigr{\}} and \Delta^{\vee}=\bigl{\{}\alpha_{1}^{\vee},\ldots,\alpha_{n}^{\vee}\bigr{\}} respectively. The elements of are called simple roots, while those of are simple coroots. To define reflections, we use a bilinear pairing given by the entries of an Cartan matrix (see the definition of Cartan matrices in [5]):
[TABLE]
for all . If and are Euclidean spaces, this bilinear pairing is the usual inner product.
It is also important to define the fundamental weights , , which are given by
[TABLE]
Correspondingly, the integer linear combinations (or -modules)
[TABLE]
are called the root lattice, coroot lattice and weight lattice respectively. We are now in a position to define reflections. For each , the linear operator defined by
[TABLE]
for every is a reflection operator. That is, it has the following properties:
- (i)
, . 2. (ii)
. 3. (iii)
.
The group generated by , , is called a Weyl group. The root system of is defined to be the subset of given by . A root system is said to be irreducible if it is not a combination of mutually orthogonal root systems. Each irreducible root system contains a unique root given by
[TABLE]
whose height (i.e., the sum of coefficients in the expansion) is maximal, which is called the highest root.
For our case, , and the starting point is the Cartan matrix of type
[TABLE]
The astute reader might notice that this is not the standard one given in Bourbaki [5], but it is equivalent to it (under conjugate transforms of the bases). We make this choice because it corresponds to the identification of simple roots made in Section 4. Moreover, the highest root and coroot are given respectively by
[TABLE]
We now expand the root system by defining by . The corresponding extension of the coroot system is defined by and (called the null coroot): . To construct the corresponding affine Weyl group, we now extend the Cartan matrix by adding a row and column given respectively by
[TABLE]
along with . The extended Cartan matrix and corresponding root systems and groups are now denoted with a superscript containing to denote this extension.
The extended Cartan matrix of type is given by
[TABLE]
The reflections have the form
[TABLE]
In particular, this gives . On the other hand, each root can be expressed in terms of weights by using the relationship
[TABLE]
Therefore, we obtain the reflections on the fundamental weights as follows:
[TABLE]
It is useful to express the actions of the reflections on the roots, and we obtain
[TABLE]
Note that fundamental weights and simple roots which are not explicitly shown in Equation (2.11) and (2.12) remain unchanged under the action of the corresponding reflections.
Under the linear actions on the weight lattice (2.10), forms an affine Weyl group of type . Indeed, the following fundamental relations hold:
[TABLE]
Note that representing the simple reflections by nodes and connecting -th and -th nodes by lines, we obtain the Dynkin diagram of type shown in Figure 1.
Remark 2.1**.**
We can also define the action of on the coroot lattice by replacing with in the actions (2.12). Note that is invariant under the action of . Then, the transformations in preserve the form , that is, the following holds:
[TABLE]
for arbitrary , and .
For each root , we define the Kac translation on the weight lattice by
[TABLE]
and on the coroot lattice by
[TABLE]
We can easily verify that under the linear actions above the translation have the following properties.
- (i)
For any , . 2. (ii)
For any and ,
[TABLE] 3. (iii)
For any , .
For any , we define the squared length of by
[TABLE]
where . Then, from (2.14) and (2.17), we obtain the following lemma.
Lemma 2.2**.**
For any , if and are conjugate to each other in , then the squared lengths of and are equal.
Proof.
Assume that and , where , are conjugate to each other in . Let , where . Since of (2.17), we obtain , which gives
[TABLE]
Since of (2.14) and (2.18), the statement follows from
[TABLE]
∎
In [30] Murata et al consider the following translation as the time evolution of the Sakai’s elliptic difference equation:
[TABLE]
whose action on the coroot lattice is given by
[TABLE]
while in [4, 21] Joshi et al showed that the squared time evolution of the RCG equation corresponds to the following translation:
[TABLE]
whose action on the coroot lattice is given by
[TABLE]
Note that for convenience we use the following notations for the composition of the reflections :
[TABLE]
where . Comparing (2.16) and (2.22) and comparing (2.16) and (2.24), we can respectively express the translations and by the Kac translations as the following:
[TABLE]
where
[TABLE]
Therefore, the translations and are not conjugate to each other in and respectively correspond to a NV and a NNV.
Remark 2.3**.**
As another example, we will show the lattice and transformation group of type in §A.
3. The initial value space of the RCG equation
Consider the RCG equation (1.1) as a discrete dynamical system. It is reversible and so the system maps to at each forward time step or to at each backward step. Because the coefficients of or may vanish, the iterates may become unbounded and we compactify this system by embedding it in the projective space .
Compactification is not enough to avoid all problems. Let and be respectively the forward and backward time evolution of Equation (1.1). We denote the action of these mappings by
[TABLE]
(We obtain Equation (1.1) by writing , , .) Then there exist points where the image values of or approach . We refer to such points as base points because they are equivalent to the usual definition used in the case of algebraic curves [16]. Below, we describe the base points of the RCG equation explicitly.
In general, the process of blowing up a finite sequence of points , possibly infinitely near each other, in , leads to a variety , called the initial value space. Assuming there are 8 blow-ups, then let the sequence of blow-ups be of in , with . Each blow-up replaces by an exceptional line . We refer to the total sequence of blow ups by , and moreover, denote the linear equivalence classes of the total transform of vertical and horizontal lines in respectively by and .
To find base points of Equation (1.1), we need to find simultaneous zeroes of pairs of polynomials. For example, base points arising from the component in the action of lie at the simultaneous solutions of
[TABLE]
where the dependence on has been suppressed. These polynomial equations can be solved explicitly. For example, the first equation in the above pair can be solved for in terms of , and substituting into the second equation leads to a quartic equation for . The four solutions of this equation can be expressed explicitly in terms of the coefficient elliptic functions by using elliptic function identities. A similar argument gives us four more base points arising from the remaining equations; for in the mapping and for and in the mapping .
These lead us to the eight base points listed below:
[TABLE]
where and are complete elliptic integrals and
[TABLE]
which lie on the elliptic curve
[TABLE]
The base points (3.2) can be generalized to
[TABLE]
where , , and are non-zero complex parameters. These points lie on the elliptic curve
[TABLE]
The generalized base points (3.5) and elliptic curve (3.6) can be respectively reduced to the points (3.2) and curve (3.4) by taking
[TABLE]
Note that the two biquadratic curves (3.4) and (3.6) are non-singular, for . It follows that each curve is parametrized by elliptic functions. The resulting initial value space obtained after resolution is of type as shown in the following section.
4. Cremona isometries
As explained in §3, we now investigate a variety , obtained after a sequence of blow-ups. We focus on surfaces defined by blowing up base points on biquadratic curves, such as Equations (3.5) and (3.6). The resulting structure contains equivalence classes of lines and information about their intersections. In this section, we construct Cremona isometries, which are roughly speaking, mappings of that preserve this structure. As a result, they provide symmetries of the dynamical system iterated on .
An important object in this framework is given by the Picard lattice of , or , which is defined by
[TABLE]
where , , are exceptional divisors obtained from blow-up of the base points (3.5). We define a symmetric bilinear form, called the intersection form, on by
[TABLE]
where , if , or , if . The anti-canonical divisor of is given by
[TABLE]
For later convenience, let . The anti-canonical divisor corresponds to the curve of bi-degree passing through the base points , , with multiplicity , that is, the curve (3.6). Since this curve is non-singular, for , the anti-canonical divisor cannot be decomposed. Therefore, we can identify the surface as being of type in Sakai’s classification[38].
We define the root lattice
[TABLE]
in Pic(X) that are orthogonal to the anti-canonical divisor . The simple roots , , are given by
[TABLE]
where
[TABLE]
We can easily verify that
[TABLE]
Representing intersecting and by a line between nodes and , we obtain the Dynkin diagram of shown in Figure 1.
Remark 4.1**.**
From Pic we can obtain the coroot lattice, weight lattice and root lattice in §2. Indeed, the coroot lattice is given from Pic by
[TABLE]
the weight lattice is given from Pic by
[TABLE]
and the root lattice is given from Pic by
[TABLE]
Note that in this case we define the bilinear pairing for arbitrary and by
[TABLE]
Therefore, in a similar manner as in §2, we can define the transformation group as follows.
Definition 4.2** ([10]).**
An automorphism of Pic(X) is called a Cremona isometry if it preserves
- (i)
the intersection form on Pic(X); 2. (ii)
the canonical divisor ; 3. (iii)
effectiveness of each effective divisor of Pic(X).
It is well-known that the reflections are Cremona isometries. In this case we define the reflections , , by the following linear actions:
[TABLE]
for all . They collectively form an affine Weyl group of type , denoted by W\big{(}E_{8}^{(1)}\big{)}. Namely, we can easily verify that under the actions (4.12) the fundamental relations (2.13) hold. Moreover, for each root , we can define the Kac translation on the Picard lattice by
[TABLE]
5. Birational actions of the Cremona isometries for the Jacobi’s setting
In this section, we give the birational actions of the Cremona isometries on the coordinates and parameters of the base points (3.5). By using these birational actions, we reconstruct Equation (1.1).
We focus on a particular example first to explain how to deduce such birational actions. Recall and are given by the linear equivalence classes of vertical lines and horizontal lines , respectively. Applying the reflection operator given by (4.12) to , we find , which means that can be described by the curve of bi-degree passing through base points and with multiplicity . (See [25] for for more detail.) This result leads us to the birational action given below in Equation (5.1b). Similarly, from the linear actions of , , we obtain their birational actions on the coordinates and parameters of the base points (3.5) as follows. The actions of the generators of W\big{(}E_{8}^{(1)}\big{)} on the coordinates are given by
[TABLE]
Note that is invariant under the action of W\big{(}E_{8}^{(1)}\big{)}.
For Jacobi’s elliptic function it is well known that shifts by half periods give the following relations:
[TABLE]
These identities motivate our search for the transformations that are identity mappings on the . Indeed, we define such transformations , , by the following actions:
[TABLE]
Adding the transformations , we extend W\big{(}E_{8}^{(1)}\big{)} to
[TABLE]
In general, for a function , we let an element w\in\widetilde{W}\big{(}E_{8}^{(1)}\big{)} act as , that is, acts on the arguments from the left. Under the birational actions (5.1) and (5.3), the generators of \widetilde{W}\big{(}E_{8}^{(1)}\big{)} satisfy the fundamental relations of type (2.13) and the following relations:
[TABLE]
where
[TABLE]
Now we are in a position to derive Equation (1.1) from the Cremona transformations. Note that for convenience we use the notation (2.25) for the composition of the reflections and the notation
[TABLE]
for the summation of the parameters . Let
[TABLE]
The action of on the root lattice :
[TABLE]
is not translational, and that on the parameter space:
[TABLE]
where is defined by (3.3), is also not translational. However, when the parameters take special values (3.7), the action of becomes the translational motion in the parameter subspace:
[TABLE]
and then the action on the coordinates with , , , gives the time evolution of Equation (1.1), that is, . Note that we can without loss of generality ignore “” in
[TABLE]
since of the form of Equation (1.1) and the following relations:
[TABLE]
6. Special solutions of the RCG equation
In this section, we show the special solutions of the RCG equation.
Let us consider Equation (1.1) under the following condition:
[TABLE]
which gives
[TABLE]
Then, the base points , , in (3.2) can be expressed by
[TABLE]
This means that there exist the bi-degree curve , passing through and , and the bi-degree curve , passing through and , which correspond to and , respectively. Moreover, the action
[TABLE]
implies that there exist the special solutions when
[TABLE]
Therefore, we obtain the following lemma.
Lemma 6.1**.**
The following are special solutions of Equation (1.1)
[TABLE]
and
[TABLE]
where and is the solution of the following linear equation:
[TABLE]
Proof.
Under the condition
[TABLE]
Equation (1.1) are reduced to the following discrete Riccati equation:
[TABLE]
where is given by
[TABLE]
Note that under the condition
[TABLE]
Equation (1.1) can be reduced to
[TABLE]
which can be rewritten as the discrete Riccati equation (6.10) by the transformation . Therefore, it is enough for us to just consider the case (6.9).
Let us consider the solutions of the discrete Riccati equation (6.10). If
[TABLE]
then we obtain
[TABLE]
Therefore, we obtain
[TABLE]
which gives the special solutions (6.6). In the following we assume
[TABLE]
Then, the discrete Riccati equation (6.10) can be rewritten as the following:
[TABLE]
By letting
[TABLE]
and using the tangent addition formula, the discrete Riccati equation (6.18) can be rewritten as
[TABLE]
which gives the linear equation (6.8). Therefore, we have completed the proof. ∎
Acknowledgments
This research was supported by an Australian Laureate Fellowship # FL120100094 and grant # DP160101728 from the Australian Research Council and JSPS KAKENHI Grant Number JP17J00092.
Appendix A -lattice
In this section, we give a more detailed description of the weight lattice and affine Weyl group by using the lattice of type as an example.
We consider the following -modules:
[TABLE]
with the bilinear pairing defined by
[TABLE]
We also define the submodule of by , where , , are defined by
[TABLE]
and satisfy
[TABLE]
Here, is the Generalized Cartan matrix of type :
[TABLE]
Then, the generators , and are identified with simple coroots, fundamental weights and simple roots of type , respectively. We note that the following relation holds:
[TABLE]
and we call the corresponding coroot as null-coroot denoted by :
[TABLE]
In the following subsections, we consider the transformation group acting on theses lattices.
A.1. Affine Weyl group of type
In this section, we consider the transformations which collectively form an affine Weyl group of type .
We define the transformations , , by the reflections for the roots :
[TABLE]
which give
[TABLE]
From definitions (A.2), (A.3), (A.4) and (A.8), we can compute actions on the simple roots , , as the following:
[TABLE]
Under the linear actions on the weight lattice (A.9), forms an affine Weyl group of type , that is, the following fundamental relations hold:
[TABLE]
Note that representing the simple reflections by nodes and connecting -th and -th nodes by lines, we obtain the Dynkin diagram of type shown in Figure 2.
Remark A.1**.**
We can also define the action of on the coroot lattice by replacing with in the actions (A.10). Note that is invariant under the action of . Then, the transformations in preserve the form .
Let , , be the orbits of , , defined by
[TABLE]
and , , be the transformations defined by
[TABLE]
whose actions on the fundamental weights and simple roots are given by
[TABLE]
Note that . Then, the following lemma holds.
Lemma A.2**.**
The following hold:
[TABLE]
Proof.
The relation is obvious from the definition (A.8), and the relation follows from
[TABLE]
where . Therefore, the case holds. In a similar manner, we can also prove the statements for . Therefore, we have completed the proof. ∎
Since of Lemma A.2, we can express the lattices by
[TABLE]
In general, the translations on the orbits , , are given by the Kac translations defined on the weight lattice :
[TABLE]
The translations , , can be expressed by the Kac translations as the following:
[TABLE]
Note that the translations , , are called the fundamental translations on the weight lattice or in affine Weyl group . Indeed, since of the following property of the Kac translations:
[TABLE]
where , all Kac translations in can be expressed by the compositions of , .
In this case we do not have translations moving a fundamental weight to another fundamental weight . However, by extending with the automorphisms of the Dynkin diagram, we can define such translations as shown in the following subsection.
A.2. Extended affine Weyl group of type
In this section, we consider the extended affine Weyl group of type .
We define the transformations and by
[TABLE]
whose actions on the root lattice are given by
[TABLE]
Moreover, we also define their actions on the coroot lattice by replacing with in the actions (A.22). Then, the transformations and satisfy
[TABLE]
and the relations with are given by
[TABLE]
that is, the transformations and are automorphisms of the Dynkin diagram of type (see Figure 2). Therefore, we call
[TABLE]
as the extended affine Weyl group of type .
Remark A.3**.**
We can easily verify that is also invariant under the action of , and the transformations in preserve the form .
Let be the orbits of defined by
[TABLE]
Moreover, we also define the following transformations:
[TABLE]
whose actions on the fundamental weights are translational as the following:
[TABLE]
where
[TABLE]
Note that
[TABLE]
In a similar manner as the proof of Lemma A.2, by using the translations we can prove the following:
[TABLE]
where . Note that since , the following hold:
[TABLE]
The translations on the weight lattice spanned by is given by
[TABLE]
In this case, the translations , , can be expressed by
[TABLE]
and are called the fundamental translations in , that is, all translations in can be expressed as the compositions of these translations. Note that the fundamental translations in can be expressed as the compositions of the fundamental translations in as the following:
[TABLE]
For any , where , we define the squared length of by
[TABLE]
where . Note that we here extended the domain of the bilinear pairing from to , where . We can easily verify that the squared length of fundamental translations in : is , while the squared length of fundamental translations in : is .
Appendix B General Elliptic Difference Equations
In this section, we provide two generic elliptic difference equations. The first is Sakai’s -surface equation. This was re-expressed by Murata [29] as follows:
[TABLE]
where and are given by
[TABLE]
Here,
[TABLE]
for i=1,…,8,c, and
[TABLE]
Moreover, and are given by
[TABLE]
where is the Weierstrass sigma function; see [9, Chapter 23]. Note that . The above system was obtained by deducing translations on the lattice of type . We note that this translation corresponds to NVs in the lattice.
The second case of an elliptic difference equation was found by Joshi and Nakazono [21]. It has a projective reduction to the RCG equation (1.1). The generic equation is given by
[TABLE]
where and are given by
[TABLE]
Here, , is defined by (3.3), is the summation of the parameters (see (5.7)), and the functions , and are given by
[TABLE]
where
[TABLE]
Similarly to the earlier case of Sakai, this equation also arises from a translation on the lattice of type . We note that this translation corresponds to NNVs in the lattice.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Abramowitz M and Stegun I. Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables . Dover Books on Mathematics. Dover Publications, 2012.
- 2[2] Adler V E. Bäcklund transformation for the Krichever-Novikov equation. Internat. Math. Res. Notices , (1):1–4, 1998.
- 3[3] Adler V E, Bobenko A I, and Suris Y B. Classification of integrable equations on quad-graphs. The consistency approach. Comm. Math. Phys. , 233(3):513–543, 2003.
- 4[4] Atkinson J, Howes P, Joshi N, and Nakazono N. Geometry of an elliptic difference equation related to Q 4. J. Lond. Math. Soc. (2) , 93(3):763–784, 2016.
- 5[5] Bourbaki, N. Groupes et algèbres de Lie: Chapitres 4, 5 et 6 . Bourbaki, Nicolas. Springer Berlin Heidelberg, 2007.
- 6[6] Carstea A S, Dzhamay A, and Takenawa T. Fiber-dependent deautonomization of integrable 2D mappings and discrete Painlevé equations. J. Phys. A , 50(40):405202, 41, 2017.
- 7[7] Conway J, Sloane N, Bannai E, Borcherds R, Leech J, Norton S, Odlyzko A, Parker R, Queen L, and Venkov B. Sphere Packings, Lattices and Groups . Grundlehren der mathematischen Wissenschaften. Springer New York, 2013.
- 8[8] Cresswell C, and Joshi N. The discrete first, second and thirty-fourth Painlevé hierarchies. Journal of Physics A: Mathematical and General , 32(4):655, 1999.
