The homogeneous-limit conjecture for eigenfunctions and generalized eigenfunctions

Let Δ={α1,,αn1}\Delta=\{\alpha_1,\ldots,\alpha_{n-1}\} be the simple roots of An1A_{n-1}, let Q+Q_+ be the positive cone of its root lattice, and let C(Δ)={x(x,αi)0, αiΔ}C(\Delta)=\{x\mid (x,\alpha_i)\geq0,\ \alpha_i\in\Delta\}. Let fαf_\alpha denote the eigenfunction of I(α)I(\alpha) or DD indexed by αQ+\alpha\in Q_+, with generalized eigenfunctions included when eigenvalues coalesce.

Homogeneous-limit conjecture. For αQ+\alpha\in Q_+, fαf_\alpha remains finite at s1==sn=1s_1=\cdots=s_n=1 if and only if αC(Δ)\alpha\in C(\Delta). Otherwise it diverges in this homogeneous limit and a generalized eigenfunction occurs. Moreover, in the homogeneous case every eigenspace is characterized by a Weyl-chamber element αQ+C(Δ)\alpha\in Q_+\cap C(\Delta) and

Vλα=σW(An1)σ(α)Q+Cfσ(α).V_{\lambda_\alpha}=\bigoplus_{\substack{\sigma\in W(A_{n-1})\sigma(\alpha)\in Q_+}}\mathbf{C}f_{\sigma(\alpha)}.

These statements describe the predicted Jordan-block and eigenspace structure when parameters specialize to the non-diagonalizable homogeneous point. They are inferred from explicit low-rank formulas and remain conjectural in general.

Sources & referencesView supporting material

Primary source

Jun'ichi Shiraishi, “A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions”, arXiv:math/0502228 (2005).

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.