[논문 리뷰] Lectures on Dunkl operators

Eric Opdam|ArXiv.org|1998. 12. 01.

Advanced Algebra and Geometry참고 문헌 26인용 수 15

한 줄 요약

이 논문은 루트 시스템과 관련된 대칭 공간에서 조화 해석학에서 삼각 함수 덱루 연산자의 역할을 종합적으로 다룬다. 초월함수를 이용하여 덱루 변환에 대한 플랑카렐 정리를 수립하며, 상호연결 연산자, 잔여 근사 계산, 단위 파arabolic 유도를 사용하여 변환이 대칭 공간 위의 $ L^2 $-공간과 잔여 부분공간 위의 $ L^2 $-공간들의 직합 사이의 등거리 동형사상으로 확장됨을 보인다. 이 직합은 양의 측도를 지닌다.

ABSTRACT

These are the lecture notes of a series of lectures on Dunkl operators. We discuss the underlying algebraic structure of the degenerate double affine Hecke algebra, intertwiners and shift operators. We apply this to Macdonald theory. We also discuss the ``compact'' and ``noncompact'' spectral decomposition of these operators. In the attractive noncompact situation we classify the discrete eigenfunctions and compute their square norms.

연구 동기 및 목표

• 루트 시스템과 관련된 초월함수를 삼각 함수 덱루 연산자를 사용하여 조화 해석학적으로 발전시키기.
• 잔여 부분공간을 통한 스펙트럼 분해를 분석하여 덱루 변환에 대한 플랑카렐 정리를 수립하기.
• 비퇴화된 이중 아핀 히브라 대수와 상호연결 연산자가 초월함수를 구성하는 데서 수행하는 역할를 명확히 하기.
• 매개수 $ \theta $ 에 대한 특정 조건 하에서 초월함수 $ F(\theta,k;a) $ 가 온화하거나 커피드럴임을 증명하기.
• 단위 파라보릭 유도를 사용하여 온화한 잔여 부분공간에서 상대 플랑카렐 측도가 양이며 실해석적임을 보여주기.

제안 방법

• W-불변성을 유지하는 가환 미분-차분 연산자로서 삼각 함수 덱루 연산자의 사용.
• 상호연결 연산자 $ \tau $ 와 이동 원리에 의한 초월함수 $ \tilde{\theta} \to \tilde{\theta} $ 의 구성.
• 크니즈니크-자몰로치코프(Knizhnik-Zamolodchikov) 연결을 적용하여 비대칭 초월함수와 모노드로미 표현을 연결하기.
• 잔여 근사 평면의 배열과 잔여 계산을 활용하여 스펙트럼 측도의 지지 및 구조를 분석하기.
• 비퇴화된 이중 아핀 히브라 대수를 사용하여 상호연결 요소를 도출하고 맥도널드의 추측을 증명하기.
• 특징점과 고정자군 작용을 사용하여 잔여 부분공간 위의 양의 플랑카렐 측도를 귀납적으로 구성하기.

실험 결과

연구 질문

• RQ1 덱루 연산자와 상호연결 연산자를 사용하여 루트 시스템에 대한 초월함수를 어떻게 구성할 수 있는가?
• RQ2 초월함수 $ F(\theta,k;a) $ 가 온화하거나 커피드럴이 되도록 보장하는 조건은 무엇인가?
• RQ3 플랑카렐 측도는 잔여 부분공간에서 어떻게 분해되며, 왜 양이며 실해석적인가?
• RQ4 KZ 연결은 덱루 연산자의 스펙트럼 이론이 모노드로미와 초월함수와 연결되는 데서 어떤 역할을 하는가?
• RQ5 잔여 부분공간을 통한 단위 파라보릭 유도를 통해 플랑카렐 측도를 귀납적으로 구성하는 데 어떻게 기여하는가?

주요 결과

• 매개수 $ \theta \notin \text{supp}(Y_c) $ 일 때 초월함수 $ F(\theta,k;a) $ 는 $ A $ 에서 온화하며, $ \theta = c $ 이고 $ Y_c \neq 0 $ 일 때는 커피드럴(지수적으로 감쇠)이다.
• 플랑카렐 측도 $ \nu_L(\theta,k) $ 는 $ L^{\text{temp}} $ 에서 양이며 실해석적 측도이며, $ \nu_L(\theta,k) = (c''(\theta,k)c''(-\theta,k))^{-1} \nu_L'(\theta,k) $ 로 주어진다. 이때 $ \text{codim}(L) = \text{number of } \theta(\beta^\flat) = k_\beta - \text{number of } \theta(\beta^\flat) = 0 $ 이다.
• 덱루 변환의 스펙트럼 분해는 등거리 동형사상이다: $ \tilde{\theta}: L^2(A, \theta_k da)^W \to \bigoplus_{L \text{ spherically tempered}} L^2(L^{\text{temp}}, \nu_L(k))^W $, 그 역은 $ \tilde{\theta}^{-1} = \tilde{\theta} $ 이다.
• $(c''(\theta,k)c''(-\theta,k))^{-1} $ 은 $ c_L + i\frak{a}^{*L} $ 에서 양이며 유계이고 실해석적임을 보장하여 플랑카렐 측도의 양성을 확보한다.
• 잔여 부분공간 $ L $ 은 부등식 $ \text{number of } \theta(\beta^\flat) = k_\beta \text{ equals } \text{number of } \theta(\beta^\flat) = 0 + \text{codim}(L) $ 에서 등호가 성립함으로써 특징지어지며, 이는 국소 스펙트럼 분포가 0차 측도임을 보장한다.
• 잔여 부분공간의 중심 $ c_L $ 은 파라보릭 부분계 $ R_L $ 의 특징점이며, $ -c_L \notin W(R_L)c_L $ 이다. 이는 플랑카렐 측도의 양성을 확보하는 데 필수적이다.