The conjectural elliptic beta integral for the AnA_n root system

Let nn be a positive integer. Let ziz_i, i=1,,ni=1,\dots,n, tkt_k, k=1,,n+1k=1,\dots,n+1, and fjf_j, j=1,,n+2j=1,\dots,n+2, be independent complex variables, and set

A=k=1n+1tk,B=j=1n+2fj.A=\prod_{k=1}^{n+1}t_k,\qquad B=\prod_{j=1}^{n+2}f_j.

With z1z2zn+1=1z_1z_2\cdots z_{n+1}=1, define

ΔI(z;An)=1(2πi)nk=1n+1(i=1n+1Γ(tizk1)j=1n+2Γ(fjzk))i,j=1; ijn+1Γ(zizj1)k=1n+1Γ(ABzk).\Delta^I(\mathbf{z};A_n)=\frac{1}{(2\pi i)^n}\frac{\prod_{k=1}^{n+1}\left(\prod_{i=1}^{n+1}\Gamma(t_iz_k^{-1})\prod_{j=1}^{n+2}\Gamma(f_jz_k)\right)}{\prod_{i,j=1;\ i\neq j}^{n+1}\Gamma(z_iz_j^{-1})\prod_{k=1}^{n+1}\Gamma(ABz_k)}.

Suppose that tk,fj<1|t_k|,|f_j|<1 and pq<AB|pq|<|AB|. The AnA_n elliptic beta integral conjecture. The following integration formula should hold:

TnΔI(z;An)dz1z1dznzn=(n+1)!(q;q)n(p;p)nΓ(A)j=1n+2Γ(fj1B)k=1n+1j=1n+2Γ(tkfj)k=1n+1Γ(tkB)j=1n+2Γ(fj1AB).\int_{\mathbb{T}^n}\Delta^I(\mathbf{z};A_n)\frac{dz_1}{z_1}\cdots\frac{dz_n}{z_n}=\frac{(n+1)!}{(q;q)_\infty^n(p;p)_\infty^n}\frac{\Gamma(A)\prod_{j=1}^{n+2}\Gamma(f_j^{-1}B)\prod_{k=1}^{n+1}\prod_{j=1}^{n+2}\Gamma(t_kf_j)}{\prod_{k=1}^{n+1}\Gamma(t_kB)\prod_{j=1}^{n+2}\Gamma(f_j^{-1}AB)}.

This conjecture proposes an elliptic beta integral evaluation associated with the AnA_n root system and is intended as a tool for deriving further nontrivial AnA_n integrals. Its resolution status is not specified in the source.

Sources & referencesView supporting material

Primary source

V. P. Spiridonov, “Theta hypergeometric integrals”, arXiv:math/0303205 (2003).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.