General theory of elliptic hypergeometric series and integrals is outlined. Main attention is paid to the examples obeying properties of the "classical" special functions. In particular, an elliptic analogue of the Gauss hypergeometric function and some of its properties are described. Present review is based on author's habilitation thesis [Spi7] containing a more detailed account of the subject.
We give a brief review of the main results of the theory of elliptic hypergeometric functions -- a new class of special functions of mathematical physics. We prove the most general univariate exact integration formula generalizing Euler's beta integral, which is called the elliptic beta integral. An elliptic analogue of the Gauss hypergeometric function is constructed together with the elliptic hypergeometric equation for it. Biorthogonality relations for this function and its particular subcases are described. We list known elliptic beta integrals on root systems and consider symmetry transfo…
General elliptic hypergeometric functions are defined by elliptic hypergeometric integrals. They comprise the elliptic beta integral, elliptic analogues of the Euler-Gauss hypergeometric function and Selberg integral, as well as elliptic extensions of many other plain hypergeometric and $q$-hypergeometric constructions. In particular, the Bailey chain technique, used for proving Rogers-Ramanujan type identities, has been generalized to integrals. At the elliptic level it yields a solution of the Yang-Baxter equation as an integral operator with an elliptic hypergeometric kernel. We give a brie…
We prove a multivariable elliptic extension of Jackson's summation formula conjectured by Spiridonov. The trigonometric limit case of this result is due to Gustafson and Rakha. As applications, we obtain two further multivariable elliptic Jackson summations and two multivariable elliptic Bailey transformations. The latter four results are all new even in the trigonometric case.
In these lecture notes I give an elementary introduction to elliptic hypergeometric functions. I focus on motivating the main ideas and constructions, rather than giving a comprehensive survey. The lectures include a brief explanation of the historical origin of elliptic hypergeometric functions in the context of solvable lattice models. In particular, I give a new proof of the fact that fused Boltzmann weights for the elliptic solid-on-solid model can be expressed as elliptic hypergeometric sums.
We give a brief account of the key properties of elliptic hypergeometric integrals -- a relatively recently discovered top class of transcendental special functions of hypergeometric type. In particular, we describe an elliptic generalization of Euler's and Selberg's beta integrals, elliptic analogue of the Euler-Gauss hypergeometric function and some multivariable elliptic hypergeometric functions on root systems. The elliptic Fourier transformation and corresponding integral Bailey lemma technique is outlined together with a connection to the star-triangle relation and Coxeter relations for …
We show that the complex hypergeometric function describing $6j$-symbols for $SL(2,\mathbb{C})$ group is a special degeneration of the $V$-function -- an elliptic analogue of the Euler-Gauss $_2F_1$ hypergeometric function. For this function, we derive mixed difference-recurrence relations as limiting forms of the elliptic hypergeometric equation and some symmetry transformations. At the intermediate steps of computations, there emerge a function describing the $6j$-symbols for the Faddeev modular double and the corresponding difference equations and symmetry transformations.
We give a survey of elliptic hypergeometric functions associated with root systems, comprised of three main parts. The first two form in essence an annotated table of the main evaluation and transformation formulas for elliptic hypergeometric integeral and series on root systems. The third and final part gives an introduction to Rains' elliptic Macdonald-Koornwinder theory (in part also developed by Coskun and Gustafson).
This is author's Habilitation Thesis (Dr. Sci. dissertation) submitted at the beginning of September 2004. It is written in Russian and is posted due to the continuing requests for the manuscript. The content: 1. Introduction, 2. Nonlinear chains with the discrete time and their self-similar solutions, 3. General theory of theta hypergeometric series, 4. Theta hypergeometric integrals, 5. Biorthogonal functions, 6. Elliptic hypergeometric functions with |q|=1, 7. Conclusion, 8. References. It contains an outline of a general heuristic scheme for building univariate special functions through se…
Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.
Multidimensional matrix inversions provide a powerful tool for studying multiple hypergeometric series. In order to extend this technique to elliptic hypergeometric series, we present three new multidimensional matrix inversions. As applications, we obtain a new $A_r$ elliptic Jackson summation, as well as several quadratic, cubic and quartic summation formulas.
General structure of the multivariate plain and q-hypergeometric terms and univariate elliptic hypergeometric terms is described. Some explicit examples of the totally elliptic hypergeometric terms leading to multidimensional integrals on root systems, either computable or obeying non-trivial symmetry transformations, are presented.
General reduction of the elliptic hypergeometric equation to the level of complex hypergeometric functions is described. The derived equation is generalized to the Hamiltonian eigenvalue problem for new rational integrable $N$-body systems emerging from particular degenerations of the elliptic Ruijsenaars and van Diejen models.
We start from an interpretation of the $BC_2$-symmetric "Type I" (elliptic Dixon) elliptic hypergeometric integral evaluation as a formula for a Casoratian of the elliptic hypergeometric equation, and give an extension to higher-dimensional integrals and higher-order hypergeometric functions. This allows us to prove the corresponding elliptic beta integral and transformation formula in a new way, by proving both sides satisfy the same difference equations, and that the difference equations satisfy a Galois-theoretical condition that ensures uniqueness of simultaneous solution.
The paper classifies algebraic transformations of Gauss hypergeometric functions with the local exponent differences $(1/2,1/4,1/4)$, $(1/2,1/3,1/6)$ and $(1/3,1/3,1/3)$. These form a special class of algebraic transformations of Gauss hypergeometric functions, of arbitrary high degree. The Gauss hypergeometric functions can be identified as elliptic integrals on the genus 1 curves $y=x^3-x$ or $y=x^3-1$. Especially interesting are algebraic transformations of the hypergeometric functions into themselves; these transformations come from isogenies of the respective elliptic curves.
New duality transformation formulas are proposed for multiple elliptic hypergeometric series of type $BC$ and of type $C$. Various transformation and summation formulas are derived as special cases to recover some previously known results.
We describe a uniform way of obtaining basic hypergeometric functions as limits of the elliptic beta integral. This description gives rise to the construction of a polytope with a different basic hypergeometric function attached to each face of this polytope. We can subsequently obtain various relations, such as transformations and three-term relations, of these functions by considering geometrical properties of this polytope. The most general functions we describe in this way are sums of two very-well-poised ${}_{10}ϕ_9$'s and their Nassrallah-Rahman type integral representation.
It is shown how to define difference equations on particular lattices $\{x_n\}$, $n\in\mathbb{Z}$, made of values of an elliptic function at a sequence of arguments in arithmetic progression (elliptic lattice). Solutions to special difference equations have remarkable simple interpolatory expansions. Only linear difference equations of first order are considered here.
As a contribution to the Ramanujan theory of elliptic functions to alternative bases, Li-Chien Shen has shown how analogues of the Jacobian elliptic functions may be derived from incomplete hypergeometric integrals in signatures three and four. We determine precisely the signatures in which the Jacobian analogues or their squares are indeed elliptic.
In this article we prove a new elliptic hypergeometric integral identity. It previously appeared (as a conjecture) in articles by Rains, and Spiridonov and Vartanov. Moreover it gives a different proof of an identity in another article by Rains. We also give some basic hypergeometric and classical limits of this identity. The classical limit gives identities (some known, some new) between generalizations of the Selberg integral.
We introduce a generalization of elliptic 6j-symbols, which can be interpreted as matrix elements for intertwiners between corepresentations of Felder's elliptic quantum group. For special parameter values, they can be expressed in terms of multivariable elliptic hypergeometric series related to the root system A_n. As a consequence, we obtain new biorthogonality relations for such series.
In this article we give a new transformation between elliptic hypergeometric beta integrals, which gives rise to a Weyl group symmetry of type F_4. The transformation is a generalization of a series transformation discovered by Langer, Schlosser, and Warnaar. Moreover we consider various limits of this transformation to basic hypergeometric functions obtained by letting p tend to 0.
In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level.
We derive a number of summation and transformation formulas for elliptic hypergeometric series on the root systems A_n, C_n and D_n. In the special cases of classical and q-series, our approach leads to new elementary proofs of the corresponding identities.
We consider the Euler type integral associated to the configuration space of points on an elliptic curve, which is an analogue of the hypergeometric function associated to the configuration space of points on a projective line. We calculate the {\it twisted homology group}, with coefficients in the local system associated to a power function $g^α$ of an elliptic function $g$, and the intersection form. Applying these calculations, we describe the {\it connection matrices} representing the linear isomorphisms induced from analytic continuations of the functions defined by the integrations of $g…
A multiple generalization of elliptic hypergeometric series is investigated and a duality transformation for multiple hypergeometric series is proposed. Our duality transformation obtained from an identity arising from the Cauchy determinant formula for Weierstrass sigma functions, by spcialization of a particular form.
Using Krattenthaler's operator method, we give a new proof of Warnaar's recent elliptic extension of Krattenthaler's matrix inversion. Further, using a theta function identity closely related to Warnaar's inversion, we derive summation and transformation formulas for elliptic hypergeometric series of Karlsson-Minton-type. A special case yields a particular summation that was used by Warnaar to derive quadratic, cubic and quartic transformations for elliptic hypergeometric series. Starting from another theta function identity, we derive yet different summation and transformation formulas for el…
Two exact evaluation formulae for multiple rarefied elliptic beta integrals related to the simplest lens space are proved. They generalize evaluations of the type I and II elliptic beta integrals attached to the root system $C_n$. In a special $n=1$ case, the simplest $p\to 0$ limit is shown to lead to a new class of $q$-hypergeometric identities. Symmetries of a rarefied elliptic analogue of the Euler-Gauss hypergeometric function are described and the respective generalization of the hypergeometric equation is constructed. Some extensions of the latter function to $C_n$ and $A_n$ root system…
We construct a family of continuous biorthogonal functions related to an elliptic analogue of the Gauss hypergeometric function. The key tools used for that are the elliptic beta integral and the integral Bailey chain introduced earlier by the author. Relations to the Sklyanin algebra and elliptic analogues of the Faddeev modular double are discussed in detail.
Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system An, with different dimensions n. We give, with a new, elementary, proof, an elliptic analogue of this transformation. We also obtain further Bailey-type transformations as consequences of our result, some of which are new also in the case of basic and classical hypergeometric series.
We use elliptic Taylor series expansions and interpolation to deduce a number of summations for elliptic hypergeometric series. We extend to the well-poised elliptic case results that in the $q$-case have previously been obtained by Cooper and by Ismail and Stanton. We also provide identities involving S. Bhargava's cubic theta functions.
We investigate the elliptic umbilic canonical integral with an approach based on a series expansion of its initial distribution shifted to the caustic points. An absolutely convergent integral representation for the elliptic umbilic is obtained. Using it, we find the elliptic umbilic particular values in terms of 2F2 hypergeometric functions. We also derive an integral over the product of Gaussian and two Airy functions in terms of Bessel functions of fractional orders. Some other corollaries including 3F2 hypergeometric function special values and the Airy polynomials relations are also discu…
We construct a family of second-order linear difference equations parametrized by the hypergeometric solution of the elliptic Painlevé equation (or higher-order analogues), and admitting a large family of monodromy-preserving deformations. The solutions are certain semiclassical biorthogonal functions (and their Cauchy transforms), biorthogonal with respect to higher-order analogues of Spiridonov's elliptic beta integral.
We give a new theta-function identity, a special case of which is utilised to prove Kawanaka's Macdonald polynomial conjecture. The theta-function identity further yields a transformation formula for multivariable elliptic hypergeometric series which appears to be new even in the one-variable, basic case.
In this article we continue the work from arXiv:0902.0621. In that article Eric Rains and the present author considered the limits of the elliptic beta integral as p->0 while the parameters t_r have a p-dependence of the form t_r=u_rp^{α_r} (for fixed u_r and certain real numbers α_r). In this article we again consider such limits, but now we let p->0 along a geometric sequence p=xq^{sk} (for some integer s, while k -> \infty), and only allow α_r\in 2/s Z. These choices allow us to take many more limits. In particular we now also obtain bilateral basic hypergeometric series as possible limits,…
Using the technique of the elliptic Frobenius determinant, we construct new elliptic solutions of the $QD$-algorithm. These solutions can be interpreted as elliptic solutions of the discrete-time Toda chain as well. As a by-product, we obtain new explicit orthogonal and biorthogonal polynomials in terms of the elliptic hypergeometric function ${_3}E_2(z)$. Their recurrence coefficients are expressed in terms of the elliptic functions. In the degenerate case we obtain the Krall-Jacobi polynomials and their biorthogonal analogs.
Eric Rains conjectured several quadratic transformations between multivariate elliptic hypergeometric functions in "Elliptic Littlewood Identities", with the integrand multiplied by interpolation functions. In this article two of these conjectures are proven in the case where the interpolation functions are constant, and we obtain a third conjecture as a corollary. Two other equations for elliptic Selberg integrals with 10 parameters, two of which multiplying to pq/t, are given, as they are needed in the proof. The proofs consist essentially of a calculation which strings together many ellipti…
We prove a pair of transformation formulas for multivariate elliptic hypergeometric sum/integrals associated to the $A_n$ and $BC_n$ root systems, generalising the formulas previously obtained by Rains. The sum/integrals are expressed in terms of the lens elliptic gamma function, a generalisation of the elliptic gamma function that depends on an additional integer variable, as well as a complex variable and two elliptic nomes. As an application of our results, we prove an equality between $S^1\times S^3/\mathbb{Z}_r$ supersymmetric indices, for a pair of four-dimensional $\mathcal{N}=1$ supers…
The purpose of this article is to bring structure to (basic) hypergeometric biorthogonal systems, in particular to the q-Askey scheme of basic hypergeometric orthogonal polynomials. We aim to achieve this by looking at the limits as p->0 of the elliptic hypergeometric biorthogonal functions from Spiridonov, with parameters which depend in varying ways on p. As a result we get 38 systems of biorthogonal functions with for each system at least one explicit measure for the bilinear form. Amongst these we indeed recover the q-Askey scheme. Each system consists of (basic hypergeometric) rational fu…
This is a brief overview of the status of the theory of elliptic hypergeometric functions to the end of 2012 written as a complementary chapter to the Russian edition of the book by G.E. Andrews, R. Askey, and R. Roy, Special Functions, Encycl. of Math. Appl. 71, Cambridge Univ. Press, 1999.
We formulate general principles of building hypergeometric type series from the Jacobi theta functions that generalize the plain and basic hypergeometric series. Single and multivariable elliptic hypergeometric series are considered in detail. A characterization theorem for a single variable totally elliptic hypergeometric series is proved.
The GKZ system for the Hesse pencil of elliptic curves has more solutions than the period integrals. In this work we give different realizations and interpretations of the extra solution, in terms of oscillating integral, Eichler integral, chain integral on the elliptic curve, limit of a period of a certain compact Calabi-Yau threefold geometry, etc. We also highlight the role played by the orbifold singularity on the moduli space and its relation to the GKZ system.
The purpose of this article is to demonstrate that i) the framework of elliptic hypergeometric integrals (EHIs) can be extended by input from supersymmetric gauge theory, and ii) analyzing the hyperbolic limit of the EHIs in the extended framework leads to a rich structure containing sharp mathematical problems of interest to supersymmetric quantum field theorists. Both of the above items have already been discussed in the theoretical physics literature. Item i was demonstrated by Dolan and Osborn in 2008. Item ii was discussed in the present author's Ph.D. Thesis in 2016, wherein crucial elem…
Using multiple q-integrals and a determinant evaluation, we establish a multivariable extension of Bailey's nonterminating 10-phi-9 transformation. From this result, we deduce new multivariable terminating 10-phi-9 transformations, 8-phi-7 summations and other identities. We also use similar methods to derive new multivariable 1-psi-1 summations. Some of our results are extended to the case of elliptic hypergeometric series.
In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and i…
In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a coro…
Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level de…
The authors establish the necessary and sufficient conditions under which certain combinations of Gaussian hypergeometric function and elementary function are monotone in the parameter, which generalize the recent results of generalized elliptic integrals of the first and second kinds obtained by Qiu et al. Moreover, the authors also prove two monotonicity theorems of generalized elliptic integrals from another point of view.
We derive formulas for the construction of all inequivalent Jacobian elliptic fibrations on the Kummer surface of two non-isogeneous elliptic curves from extremal rational elliptic surfaces by rational base transformations and quadratic twists. We then show that each such decomposition yields a description of the Picard-Fuchs system satisfied by the periods of the holomorphic two-form as either a tensor product of two Gauss' hypergeometric differential equations, an Appell hypergeometric system, or a GKZ differential system. As the answer must be independent of the fibration used, identities r…
We propose a new bilinear Hirota equation for $τ$-functions associated with the $E_8$ root lattice, that provides a "lens" generalisation of the $τ$-functions for the elliptic discrete Painlevé equation. Our equations are characterized by a positive integer $r$ in addition to the usual elliptic parameters, and involve a mixture of continuous variables with additional discrete variables, the latter taking values on the $E_8$ root lattice. We construct explicit $W(E_7)$-invariant hypergeometric solutions of this bilinear Hirota equation, which are given in terms of elliptic hypergeometric sum/in…
We evaluate the determinant of a matrix whose entries are elliptic hypergeometric terms and whose form is reminiscent of Sylvester matrices. A hypergeometric determinant evaluation of a matrix of this type has appeared in the context of approximation theory, in the work of Feng, Krattenthaler and Xu. Our determinant evaluation is an elliptic extension of their evaluation, which has two additional parameters (in addition to the base $q$ and nome $p$ found in elliptic hypergeometric terms). We also extend the evaluation to a formula transforming an elliptic determinant into a multiple of another…
In this article we developed a special topic of our pure-mathematics papers concerning the hypergeometric theory. Based upon a Roberts's reduction approach of hyperelliptic integrals to elliptic ones and on the simultaneous multivariable hypergeometric series evaluation of them, several identities have been obtained expressing $π$ in terms of special values of elliptic, hypergeometric and Gamma functions. By them $π$ can be provided through either only one or two parameters and through the imaginary unit. In any case, such results, all unpublished and undoubtably new, will provide, beyond thei…
Motivated by our previous work on hypergeometric functions and the parbelos constant, we perform a deeper investigation on the interplay among generalized complete elliptic integrals, Fourier-Legendre (FL) series expansions, and ${}_p F_q$ series. We produce new hypergeometric transformations and closed-form evaluations for new series involving harmonic numbers, through the use of the integration method outlined as follows: Letting $K$ denote the complete elliptic integral of the first kind, for a suitable function $g$ we evaluate integrals such as $$ \int_{0}^{1} K\left( \sqrt{x} \right) g(x)…
We define a general class of (multiple) integrals of hypergeometric type associated with the Jacobi theta functions. These integrals are related to theta hypergeometric series through the residue calculus. In the one variable case, we get theta function extensions of the Meijer function. A number of multiple generalizations of the elliptic beta integral [S2] associated with the root systems $A_n$ and $C_n$ is described. Some of the $C_n$-examples were proposed earlier by van Diejen and the author, but other integrals are new. An example of the biorthogonality relations associated with the elli…
For zero-balanced Gaussian hypergeometric functions $ F(a,b;a+b;x),$ $a,b>0,$ we determine maximal regions of $ab$ plane where well-known Landen identities for the complete elliptic integral of the first kind turn on respective inequalities valid for each $x\in (0,1)$. Thereby an exhausting answer is given to an open problem.
