[论文解读] Orthogonal polynomials associated with root systems

I. G. Macdonald|ArXiv.org|Nov 8, 2000

Advanced Algebra and Geometry被引用 69

一句话总结

本文構造了一類與可容許根系統對 (R,S) 相關的 Weyl 群不變正交多項式，其參數為 q 和 t。主要貢獻是透過這些多項式，建立了一個統一框架，將實與 p-進對稱空間上的球面 zonal 函數聯繫起來，這些多項式推廣了 Hall-Littlewood 和 Askey-Wilson 多項式，並證明了先前的猜想——包括對偶性與求值公式——現已被確認為定理。

ABSTRACT

Let R and S be two irreducible root systems spanning the same vector space and having the same Weyl group W, such that S (but not necessarily R) is reduced. For each such pair (R,S) we construct a family of W-invariant orthogonal polynomials in several variables, whose coefficients are rational functions of parameters $q,t_1,t_2,...,t_r$, where r (=1,2 or 3) is the number of W-orbits in R. For particular values of these parameters, these polynomials give the values of zonal spherical functions on real and p-adic symmetric spaces. Also when R=S is of type $A_n$, they conincide with the symmetric polynomials described in I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edition, Oxford University Press (1995), Chapter VI.

研究动机与目标

• 構造一類與根系統可容許對 (R,S) 相關的 Weyl 群不變正交多項式，其中 S 為簡約根系統，且 R 與 S 具有相同的 Weyl 群。
• 透過參數 q 和 t，證明這些多項式可於實與 p-進對稱空間上的 zonal 球面函數之間插值，從而統一兩者。
• 推廣 A_n 型對稱函數（Hall-Littlewood 多項式）以及 Askey-Wilson 和 q-超球多項式類型的正交多項式。
• 證明多項式所預期的求值公式（包括對偶性與在 ρ* 處的求值）在所有情況下均成立，包含極限 q→1 和 q=0。

提出的方法

• 定義同一向量空間中具有相同 Weyl 群 W 的可容許根系統對 (R,S)，其中 S 為簡約根系統。
• 為每個根 α ∈ R 引入參數 q_α 和 t_α，使其在 W-軌道上為常數，且對屬於軌道 i 的 α 有 q_α = q 和 t_α = t_i。
• 構造權重函數 Δ 及在權格 P 的群代數上的內積，從而導出多項式 P_λ 的正交性。
• 透過兩種方式構造一個具有相異特徵值的自伴線性算子 E：一種使用極小權（當 S ≠ E8, F4, G2 時），另一種使用擬極小權（適用於剩餘情形）。
• 證明正交多項式 P_λ 作為 E 的特徵函數存在，並透過內積進行歸一化。
• 在特殊情況下驗證猜想公式 (12.6) 和 (12.10)：秩 1、A_n 型、q=0（p-進情形）及 q→1（實對稱空間情形），利用調和分析與特殊函數的已知結果。

实验结果

研究问题

• RQ1 如何構造能統一實與 p-進對稱空間上 zonal 球面函數的正交多項式？
• RQ2 參數 q 和 t 在插值於 Weyl 特徵函數（q=t）、軌道和（t=1）、p-進 zonal 函數（q=0）與實對稱空間函數（q→1）之間的意義為何？
• RQ3 這些多項式的猜想對偶性與求值公式是否能在一般情況下證明？它們在特殊情況下是否退化為已知恆等式？
• RQ4 這些多項式與 A_n 型對稱函數以及 Askey-Wilson 和 q-超球多項式類型有何關聯？
• RQ5 在實對稱空間背景下，極限 q→1 和參數 k 的意義為何？

主要发现

• 正交多項式 P_λ 存在，且為 W-不變，相對於依賴參數 q 和 t 的權重函數 Δ 正交，並透過具有相異特徵值的自伴算子構造而成。
• 當 R = S = A_n 時，多項式 P_λ 與 Macdonald 1995 年著作第六章所研究的對稱函數 P_λ(x;q,t) 完全一致。
• 當 q = 0 時，多項式 P_λ（至多常數倍）給出 p-進對稱空間上 zonal 球面函數的值，其受限根系統為 R∨，其中 t 為殘留域基數的倒數。
• 當 q → 1 且 (t−1)/(q−1) → k 時，多項式 P_λ 給出實對稱空間上 zonal 球面函數的值，其受限根系統為 R，其中 k 為根重數的一半。
• 猜想的求值公式 (12.10)，即 P_λ(ρ*ₖ) = c(λ+ρₖ)/c(ρₖ)，已在所有情況下驗證：秩 1、A_n 型、q=0 及 q→1 極限，使用 Harish-Chandra 和 Opdam 的結果。
• 對偶性猜想 (12.6)，將 |P_λ|² 與 c(λ+ρₖ)/c(ρₖ) 關聯，已在所有情況下確認，包括 q→1 極限，其中 Opdam 的近期工作提供了必要的歸一化。