The conjectural elliptic beta integral for the AnA_n root system

About 23 years old · traced to

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 z1z2⋯zn+1=1z_1z_2\cdots z_{n+1}=1, define

ΔI(z;An)=1(2πi)n∏k=1n+1(∏i=1n+1Γ(tizk−1)∏j=1n+2Γ(fjzk))∏i,j=1; i≠jn+1Γ(zizj−1)∏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)dz1z1⋯dznzn=(n+1)!(q;q)∞n(p;p)∞nΓ(A)∏j=1n+2Γ(fj−1B)∏k=1n+1∏j=1n+2Γ(tkfj)∏k=1n+1Γ(tkB)∏j=1n+2Γ(fj−1AB).\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.

References

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.