[논문 리뷰] Orthogonal polynomials associated with root systems

I. G. Macdonald|ArXiv.org|2000. 11. 08.

Advanced Algebra and Geometry인용 수 69

한 줄 요약

이 논문은 q와 t에 의해 매개화된 적절한 근계 쌍 (R,S) 에 대해 Weyl 군에 대한 불변성을 갖는 다변수 정규직교 다항식의 가족을 구성한다. 주요 기여는 이러한 다항식을 통해 실수 및 p진 대칭 공간 위의 구형 캐릭터를 통합하는 프레임워크를 제공한 것으로, 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진 대칭 공간 위의 구형 캐릭터를 해석적으로 연결함으로써, 실수 및 p진 대칭 공간 위의 구형 캐릭터를 통합하는 것.
• 대형 A_n 유형의 대칭 함수( Hall-Littlewood 다항식)와 Askey-Wilson 및 q-초구형 다항식을 일반화하는 것.
• 다항식에 대한 추측된 평가 공식(다양성 및 ρ*에 대한 평가 포함)이 q→1 및 q=0의 극한을 포함한 모든 경우에 유효함을 증명하는 것.

제안 방법

• 동일한 벡터 공간 내에서 동일한 Weyl 군 W를 가진 근계 쌍 (R,S) 에 대해 적절한 쌍을 정의하며, S는 단순이다.
• 각 근 α ∈ R 에 대해 q_α 와 t_α 를 도입하며, 이들은 W-오빗 상에서 일정하다. 여기서 q_α = q 이고 t_α = t_i 는 오빗 i에 속하는 α에 대해 성립한다.
• 무게 함수 Δ 와 무게 격자 P 위의 군 대수상의 스칼라곱을 정의하여, 다항식 P_λ 의 직교성을 이끌어내는 것.
• 두 가지 방법으로 고유값이 서로 다른 자기수반 선형 연산자 E 를 구성한다. 하나는 최소무게를 이용한 방법( S ≠ E8, F4, G2 인 경우), 다른 하나는 준최소무게를 이용한 방법(나머지 경우).
• E 의 고유함수로서 정규직교 다항식 P_λ 가 존재함을 증명하며, 스칼라곱을 통해 정규화한다.
• 기존의 조화해석학 및 특수함수 이론에서 알려진 결과를 이용하여 특수한 경우(순서 1, A_n 유형, q=0 (p진), q→1 (실수 대칭 공간))에서 추측된 공식 (12.6) 과 (12.10) 이 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 실수 및 p진 대칭 공간 위의 구형 캐릭터를 통합할 수 있는 정규직교 다항식은 어떻게 구성할 수 있는가?
• RQ2 매개변수 q와 t 는 Weyl 문자( q=t), 궤도 합( t=1), p진 구형 함수( q=0), 실수 대칭 공간 함수( q→1) 사이를 해석적으로 연결하는 데 어떤 역할을 하는가?
• RQ3 이러한 다항식에 대한 추측된 쌍대성 및 평가 공식은 일반적으로 증명될 수 있으며, 특수한 경우에서는 기존의 항등식으로 줄어드는가?
• RQ4 다항식은 대형 A_n 유형의 대칭 함수 및 Askey-Wilson 및 q-초구형 다항식과 어떻게 관련이 있는가?
• RQ5 실수 대칭 공간의 맥락에서 q→1 극한과 매개변수 k 는 어떤 의미를 갖는가?

주요 결과

• 정규직교 다항식 P_λ 는 존재하며, 매개변수 q와 t 에 따라 달라지는 무게 함수 Δ 와 함께 W-불변이며, 고유값이 서로 다른 자기수반 연산자를 통해 구성된다.
• R = S = A_n 인 경우, 다항식 P_λ 는 Macdonald의 1995년 책 제6장에서 다룬 대칭 함수 P_λ(x;q,t) 와 일치한다.
• q = 0 인 경우, 다항식 P_λ 는 상수배를 제외하고 p진 대칭 공간 위의 구형 캐릭터의 값을 주며, 여기서 t 는 잔여체의 원소 수의 역수이다.
• q → 1 이고 (t−1)/(q−1) → k 인 경우, 다항식 P_λ 는 제한된 근계 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 의 최근 연구가 필요한 정규화를 제공하였다.