[논문 리뷰] Olshanski spherical functions for infinite dimensional motion groups of fixed rank

Margit Rösler, Michael Voit|arXiv (Cornell University)|2012. 10. 08.

Advanced Algebra and Geometry참고 문헌 39인용 수 11

한 줄 요약

이 논문은 무한차원 운동군 (G₁, K₁)에 대한 올샤노프스키 구면 함수를 양의 준정부정 q×q 행렬의 원뿔 위의 함수로 분류하며, p→∞일 때 유한차원 쌍 (Gₚ, Kₚ)의 구면 함수들의 국소 균일한 극한으로 나타남을 보여준다. 이러한 극한을 베티지 유형 함수로 식별하고, 행렬 베티지 함수에 대한 양의 적분 표현을 수립하며, 덱스-베티지 함수를 통해 A형 및 B형에 해당하는 카르탕 운동군으로 결과를 확장한다.

ABSTRACT

Consider the Gelfand pairs (Gp,Kp) := (Mp,q ⋊ Up,Up) associ- ated with motion groups over the fields F = R,C,H with pq and fixed q as well as the inductive limit p ! 1, the Olshanski spherical pair (G1,K1). We classify all Olshanski spherical functions of (G1,K1) as functions on the coneq of positive semidefinite q × q-matrices and show that they appear as (locally) uniform limits of spherical functions of (Gp,Kp) as p ! 1. The latter are given by Bessel functions onq. Moreover, we determine all posi- tive definite Olshanski spherical functions and discuss related positive integral representations for matrix Bessel functions. We also extend the results to the pairs (Mp,q ⋊ (Up × Uq),(Up × Uq)) which are related to the Cartan motion groups of non-compact Grassmannians. Here Dunkl-Bessel functions of type B (for finite p) and of type A (for p ! 1) appear as spherical functions.

연구 동기 및 목표

• 고정된 질량 q에 대한 운동군과 관련된 귀납적 극한 쌍 (G₁, K₁)에 대한 모든 올샤노프스키 구면 함수를 분류하는 것.
• p→∞일 때, 유한차원 게르판트 쌍 (Gₚ, Kₚ)의 구면 함수가 (G₁, K₁)의 구면 함수로 수렴하는 것을 확립하는 것.
• 모든 양의 정부정 올샤노프스키 구면 함수를 특성화하고, 행렬 베티지 함수에 관련된 양의 적분 표현을 유도하는 것.
• 비콤팩트 그라스만다이어그램의 카르탕 운동군에 대응하는 쌍 (Mp,q ⋊ (Up × Uq), Up × Uq)으로 프레임워크를 확장하는 것.
• 유한차원 p에 대해 B형 덱스-베티지 함수와 p→∞일 때 A형 덱스-베티지 함수가 확장된 설정에서의 구면 함수로 나타남을 식별하는 것.

제안 방법

• p→∞일 때 유한차원 운동군 Mp,q ⋊ Up에서 무한차원 쌍 (G₁, K₁)으로의 귀납적 극한 구조를 활용하는 것.
• q×q 양의 준정부정 행렬 위의 베티지 함수를 통해 (Gₚ, Kₚ) 위의 구면 함수를 분석하고, 기존의 적분 표현을 활용하는 것.
• 콤��� 부분집합에서의 균일 수렴 논증을 적용하여 (Gₚ, Kₚ)의 구면 함수가 (G₁, K₁)의 구면 함수로 국소 균일하게 수렴함을 보이는 것.
• 보흐너 유형 정리들을 활용하여 양의 정부정 구면 함수를 특성화하고, 행렬 베티지 함수에 대한 양의 적분 표현을 도출하는 것.
• 유한차원의 B형 및 A형 덱스 이론에 맞게 구면 함수 프레임워크를 적응시켜, 더 큰 대칭 쌍 (Mp,q ⋊ (Up × Uq), Up × Uq)으로 분석을 확장하는 것.
• 대칭 공간 위의 조화 분석과 무한차원 리 군의 표현 이론을 기반으로 하여 구면 함수의 함수 형태를 도출하는 것.

실험 결과

연구 질문

• RQ1 무한차원 운동군 (G₁, K₁)에 대한 올샤노프스키 구면 함수의 완전한 분류는 무엇인가요?
• RQ2 p→∞일 때, 유한차원 쌍 (Gₚ, Kₚ)의 구면 함수는 어떻게 (G₁, K₁)의 구면 함수로 수렴합니까?
• RQ3 (G₁, K₁) 위의 어떤 구면 함수가 양의 정부정이며, 어떤 적분 표현을 갖는가요?
• RQ4 확장된 설정인 (Mp,q ⋊ (Up × Uq), Up × Uq)에서 B형 및 A형 덱스-베티지 함수는 어떻게 구면 함수로 나타납니까?
• RQ5 양의 준정부정 q×q 행렬의 원뿔은 어떻게 (G₁, K₁)의 구면 함수를 매개변수화하는 데 기여합니까?

주요 결과

• (G₁, K₁)에 대한 모든 올샤노프스키 구면 함수는 양의 준정부정 q×q 행렬의 원뿔에 의해 매개변수화된다.
• p→∞일 때, (Gₚ, Kₚ)의 구면 함수는 (G₁, K₁)의 구면 함수로 국소 균일하게 수렴하며, 극한은 행렬 베티지 함수이다.
• (G₁, K₁) 위의 모든 양의 정부정 구면 함수는 행렬 베티지 함수를 포함하는 양의 적분 표현을 갖는다.
• 확장된 쌍 (Mp,q ⋊ (Up × Uq), Up × Uq)에서는 유한한 p에 대해 구면 함수가 B형 덱스-베티지 함수로 주어진다.
• p→∞의 극한에서, 확장된 쌍의 구면 함수는 A형 덱스-베티지 함수로 식별된다.
• 결과는 극한 과정과 적분 표현을 통해 유한차원 및 무한차원 구면 함수 이론을 통합한다.