Lens Generalisation of -functions for the Elliptic Discrete Painlevé Equation
We propose a new bilinear Hirota equation for -functions associated with the root lattice, that provides a “lens” generalisation of the -functions for the elliptic discrete Painlevé equation. Our equations are characterized by a positive integer in addition to the usual elliptic parameters, and involve a mixture of continuous variables with additional discrete variables, the latter taking values on the root lattice. We construct explicit -invariant hypergeometric solutions of this bilinear Hirota equation, which are given in terms of elliptic hypergeometric sum/integrals.
- 1 Introduction
- 2 Lens Theta Functions and Lens Elliptic Gamma Function
- 3 Elliptic Hypergeometric Sum/Integral and
- 4 -function
- 5 Decomposition into -Orbits
- 6 Hypergeometric -Function
- 7 Proof of Theorem 1
- A Derivation of Sum/Integral Transformation
- B Multiple Bernoulli Polynomials
In the literature many variations of the differential and discrete (difference) Painlevé equations has been found. These equations have been classified into rational, trigonometric and elliptic equations. At the top level of the hierarchy is the elliptic discrete Painlevé equation with affine Weyl group symmetry of type . This equation has been obtained from geometric considerations , and as a discrete system on the root lattice  (see [3, 4] for relation between the two approaches, and  for a comprehensive survey).
The goal of this paper is to propose a generalization of the ORG -function [2, 6] for the elliptic discrete Painlevé equation. The construction of this -function involves two copies of the root lattice and a positive integer parameter , and the resulting equations depend on the usual continuous variables, as well additional discrete variables on the root lattice. We propose a bilinear Hirota-type equation for the -function, and construct explicit solutions of the bilinear equation in terms of an elliptic hypergeometric sum/integral  for a general value of the integer parameter , which is fixed throughout the paper. The hypergeometric -functions of this paper are expected to provide a solution for a generalisation of the elliptic discrete Painlevé equation.
The results of this paper open up many future research directions. For example, it would be be interesting to find an explicit Hamiltonian form of the discrete Painlevé equation associated to the -function of this paper, and to explore the various degenerations of the equations. It would also be interesting to explore the geometric aspects of these equations along the lines of . In another direction, the lens elliptic gamma function, which is a central function for this paper, first appeared in the study of four-dimensional supersymmetric gauge theories on a circle times the lens space . This connection suggests that there exists an interpretation of the results of this paper in terms of supersymmetric gauge theories and associated integrable lattice models [9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19].
The results of this paper were inspired by the work of Noumi , which gave details of the construction of the -function for the regular elliptic discrete Painlevé equation. However, it is rather non-trivial to generalise Noumi’s results to the case of , where additional discrete variables on the root lattice must be taken into consideration. For example, -invariance of the hypergeometric solution for the -function, required the derivation of a specific elliptic hypergeometric sum/integral transformation formula, that acts on both the continuous and discrete variables as an reflection. Moreover, even for the special case of , the bilinear equations and hypergeometric -function of this paper retain the dependence on the discrete variables, and hence are different from the corresponding equations of .
The rest of this paper is organized as follows. In Section 2, we provide definitions of the “lens” set of special functions, which generalise the special functions that appear in the theory of elliptic hypergeometric integrals. In Section 3, we define an elliptic hypergeometric sum/integral for constructing the hypergeometric -function, and present the relevant identities that it satisfies. In Section 4, we formulate the Hirota identities for the -function on the lattice, which are then decomposed into the -orbits in Section 5. In Section 6, we state the main theorem of this paper (Theorem 1), which provides an explicit -invariant, lens elliptic hypergeometric solution of the -function. The proof of the main theorem is provided in Section 7. In the Appendices, we respectively present the derivation of the sum/integral transformation, and provide a brief overview of the multiple Bernoulli polynomials.
Acknowledgements: The authors thank Yasuhiko Yamada for stimulation discussions, many useful suggestions and encouragement. APK also thanks Yang Shi for helpful discussions. APK is an overseas researcher under Postdoctoral Fellowship of Japan Society for the Promotion of Science (JSPS). MY was supported in part by World Premier International Research Center Initiative (WPI), MEXT, Japan, and by the JSPS Grant-in-Aid for Scientific Research No. 17KK0087.
2. Lens Theta Functions and Lens Elliptic Gamma Function
In this section, the definitions of the special functions are given that play a central role in this paper. Namely, these are the lens theta function, the lens elliptic gamma function, and the lens triple gamma function.
In this paper we use the two complex parameters , that satisfy
Our equations will also depend on an additional integer parameter
In this paper, pairs , of continuous and discrete variables, are distinguished with the notation , and , respectively.
2.1. Lens Theta Functions
where for , is the regular theta function
and the normalization factors are given by
For , the lens theta functions (3) reduce to regular theta functions
For brevity, the lens theta functions (3) will typically be denoted by
with implicit dependence on the two parameters and .
Furthermore, a shorthand notation will be used throughout this paper, where in the argument of a function denotes that both the and factors should be taken as a product, e.g.
The lens theta functions satisfy ( indicates that an identity holds for either or ):
(1) (periodicity) For ,
(3) (recurrence relation) For ,
(4) (quasi-periodicity) For ,
(5) (three-term relation) For , and , or ,
2.2. Lens Elliptic Gamma Function
where and , are the following infinite products
Similarly to the lens theta functions, the lens elliptic gamma function (14) will typically be denoted as
with implicit dependence on the two parameters , and .
The lens elliptic gamma function (14) satisfies
(1) (periodicity) For ,
(3) (recurrence relation) For ,
These identities can be verified by direct computation. A proof of the -periodicity in (25) previously appeared in Appendix C of . For (27), (28), the normalisation of the lens theta functions (5) are in fact chosen to satisfy
Due to the relations (18), only the factor of on the left hand side of (27), contributes to the infinite product part of the theta function , while only the factor of on the left hand side of (28), contributes to the infinite product part of the theta function . ∎
2.3. Lens Triple Gamma Functions
The lens triple gamma functions and , are defined here by
The normalisation function is defined by (c.f. the expression (19) for in terms of )
The functions , , defined in (31), satisfy
(1) (shift symmetry)
(3) (recurrence relation)
These relations essentially follow from the definitions given in (31). ∎
The lens triple gamma functions (30) satisfy
Note that unlike the lens theta and elliptic gamma functions, the lens triple gamma functions (30) are not -periodic in , and even for there remains a dependence on the integer variable .
3. Elliptic Hypergeometric Sum/Integral and
3.1. Elliptic Hypergeometric Sum/Integral
A central role in this paper is played by the following sum/integral, defined in terms of the lens elliptic gamma function (14), by
where , , and . Notice that in contrast to the previous section, here we allow to have either integer, or half-integer components. The discrete summation variable is chosen so that the second argument of each factor of the lens elliptic gamma functions appearing in (42) is an integer, and is defined by
The prefactor in (42) is given by
For , the elliptic hypergeometric sum/integral (42) previously appeared as part of a key identity (star-star relation) for the integrability of multi-spin lattice models [14, 7], and is a 2-parameter extension of the left hand side of the elliptic beta sum/integral formula that was proven in . It has also previously been studied with respect to , and transformations proven by the authors  (where the transformation was previously proven by Spiridonov , and the cases of the transformations were previously proven by Rains ).
3.2. Contiguity Relation
Define the shift operator (), that acts on the continuous variables , and discrete variables , as
The elliptic hypergeometric sum/integral (42) satisfies the three-term relation
for any triple .
For , , and with the restriction
the sum/integral (42) satisfies
where the transformed variables and are given by
The special case of Proposition 5 for , and with the additional restrictions that , and are even integers, is due to Spiridonov . Proposition 5 is proven with the use of a variation of the elliptic beta sum/integral formula  in Appendix A.
In this section we will consider the properties of the root lattice of which are used to define our -function. Many of the properties and definitions are essentially based on the case of Noumi .
4.1. Root Lattice
We denote the root lattice of by , and the Weyl group by . The root lattice is more explicitly given as a -span of the vectors
where , is the orthonormal basis with respect to the canonical symmetric bilinear form on the root lattice , namely . Note also that , for .
A set of vectors in
is called a -frame if the following two conditions are satisfied:
Notice that this definition implies that the set of vectors
is contained in the root lattice and forms a root lattice of type . In the following sections we will mostly work with the -frame for .
For a pair , where , and , we define
where is the lens theta function defined in (3).