The computability conjecture for normalized phase-function integrals

Let g\mathfrak{g} be a simple Lie algebra with simple roots αi\alpha_i, let V1,V2V_1,V_2 be representations of g\mathfrak{g} with highest weights λ1,λ2\lambda_1,\lambda_2, and let lil_i be nonnegative integers with l=i=1nlil=\sum_{i=1}^n l_i. Let Φ(λ1,λ2,κ)\Phi(\lambda_1,\lambda_2,\kappa) be the normalized phase function

Φ(λ1,λ2,κ)=j=1ltj(λ1,αtj)/κ(1tj)(λ2,αtj)/κ1i<jl(titj)(αti,αtj)/κ.\Phi(\lambda_1,\lambda_2,\kappa)=\prod_{j=1}^l t_j^{-(\lambda_1,\alpha_{t_j})/\kappa}(1-t_j)^{-(\lambda_2,\alpha_{t_j})/\kappa}\prod_{1\leq i<j\leq l}(t_i-t_j)^{(\alpha_{t_i},\alpha_{t_j})/\kappa}.

If the space of singular vectors of weight λ1+λ2i=1nliαi\lambda_1+\lambda_2-\sum_{i=1}^n l_i\alpha_i is one-dimensional, then there is a region Δ={tRl0<tσl<<tσ1<1}\Delta=\{t\in\mathbb{R}^l\mid 0<t_{\sigma_l}<\dots<t_{\sigma_1}<1\} for some permutation σ\sigma, such that the integral ΔΦdt\int_\Delta\Phi\,dt can be computed explicitly and is equal to an alternating product of Euler Γ\Gamma-functions up to a rational number independent of λ1,λ2,κ\lambda_1,\lambda_2,\kappa. This is verified for g=sl(2)\mathfrak{g}=sl(2) by the Selberg formula; the general assertion concerns explicit evaluations of these phase-function integrals.

Sources & referencesView supporting material

Primary source

Evgeny Mukhin and Alexander Varchenko, “Remarks on critical points of phase functions and norms of Bethe vectors”, arXiv:math/9810087 (1998).

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.