The (C,A)(C,A) inversion formula

Let p,q,tCp,q,t\in\mathbb C satisfy M<tn+1<1M<|t|^{n+1}<1. For fixed wTnw\in\mathbb T^n, let CwC_w be a contour inside the annulus

A={zCtϵ<z<t1+ϵ}\mathbb A=\{z\in\mathbb C\mid |t|-\epsilon<|z|<|t|^{-1}+\epsilon\}

for infinitesimally small positive ϵ\epsilon, with the points t1wjt^{-1}w_j for j{1,,n+1}j\in\{1,\ldots,n+1\} in its interior, and put Cwn=Cw××CwC_w^n=C_w\times\cdots\times C_w. Let ff be a CnC_n-symmetric function holomorphic on An\mathbb A^n, and let xCnx\in\mathbb C^n satisfy t<xj<t1|t|<|x_j|<|t|^{-1}. Here κA\kappa^{\mathscr A} and κC\kappa^{\mathscr C} are the normalization factors and Δ(C,A)\Delta^{(\mathscr C,\mathscr A)} is the kernel displayed in the source. (C,A)(C,A) inversion formula. One has

κAκCTn(CwnΔ(C,A)(z,w,x;t)f(z)dzz)dww=f(x),\kappa^{\mathscr A}\kappa^{\mathscr C}\int_{\mathbb T^n}\left(\int_{C_w^n}\Delta^{(\mathscr C,\mathscr A)}(z,w,x;t)f(z)\,\frac{\mathrm dz}{z}\right)\frac{\mathrm dw}{w}=f(x),

where

Δ(C,A)(z,w,x;t)=i=1nj=1n+1Γ(txi±wj1,t1zi±wj)i=1nΓ(zi±2)1i<jnΓ(zi±zj±)×11i<jn+1Γ(wiwj1,wi1wj,t2wiwj,t2wi1wj1).\Delta^{(\mathscr C,\mathscr A)}(z,w,x;t)=\frac{\prod_{i=1}^n\prod_{j=1}^{n+1}\Gamma(tx_i^{\pm}w_j^{-1},t^{-1}z_i^{\pm}w_j)}{\prod_{i=1}^n\Gamma(z_i^{\pm2})\prod_{1\leq i<j\leq n}\Gamma(z_i^{\pm}z_j^{\pm})} \times\frac{1}{\prod_{1\leq i<j\leq n+1}\Gamma(w_iw_j^{-1},w_i^{-1}w_j,t^{-2}w_iw_j,t^2w_i^{-1}w_j^{-1})}.

The formula is proposed as a companion to the preceding inversion theorem for elliptic beta integrals; its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Vyacheslav P. Spiridonov and S. Ole Warnaar, “Inversions of integral operators and elliptic beta integrals on root systems”, arXiv:math/0411044 (2004).

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.