[논문 리뷰] Segal-Bargmann transform on Hermitian symmetric spaces and Orthogonal Polynomials

Mark Davidson, Gestur Ólafsson외 1명|ArXiv.org|2002. 06. 26.

Advanced Algebra and Geometry참고 문헌 21인용 수 9

한 줄 요약

이 논문은 튜브 유형의 허미션 수형공간 위에서의 세갈-바르그만 변환과 직교 다항식 사이의 연결고리를 확립하며, 비유계 실현에서 제한 사상의 역이 라플라스 변환이라는 것을 보여준다. 구면 함수 전개의 계수들을 잭 대칭 다항식으로 식별하고, 하리시-찬드라 플랑커렐 측도와 베레진 변환 기호를 포함하는 측도에 대해 직교성을 증명하며, 리 대수 작용과 케일리 변환을 통해 차분 및 재귀 관계를 유도한다.

ABSTRACT

Let $\mathcal{D}=G/K$ be a complex bounded symmetric domain of tube type in a complex Jordan algebra $V$ and let $\mathcal{D}_{\mathbb{R}}=H/L\subset \mathcal{D}$ be its real form in a formally real Euclidean Jordan algebra $J\subset V$. We consider representations of $H$ that are gotten by the generalized Segal-Bargmann transform from a unitary $G$-space of holomorphic functions on $\mathcal{D}$ to an $L^2$-space on $\mathcal{D_{\mathbf{R}}}$. We prove that in the unbounded realization the inverse of the unitary part of the restriction map is actually the Laplace transform. We find the extension to $\mathcal{D}$ of the spherical functions on $\mathcal{D}_{\mathbb{R}}$ and find the expansion in terms of the $L$-spherical polynomials on $\mathcal{D}$, which are Jack symmetric polynomials. We prove that the coefficients are orthogonal polynomials in an $L^2$-space, the measure being the Harish-Chandra Plancherel measure multiplied by the symbol of the Berezin transform. We prove the difference equation and recurrence relation for those polynomials by considering the action of the Lie algebra and the Cayley transform on the polynomials on $\mathcal D$.

연구 동기 및 목표

• 유니터리 표현을 이용하여 튜브 유형의 허미션 수형공간으로의 세갈-바르그만 변환을 일반화한다.
• 유계 수형도메인 $ \mathcal{D} $ 위의 해석적 함수에서 그 실수 형태 $ \mathcal{D}_{\mathbb{R}} $ 위의 $ L^2 $ 로의 제한 사상의 역이 비유계 실현에서 라플라스 변환이라는 것을 밝힌다.
• 실수 형태 위의 구면 함수를 특성화하고, 복소 도메인 위의 $ L $-구면 다항식 전개로 표현한다.
• 이 전개 계수들이 하리시-찬드라 플랑커렐 측도와 베레진 변환 기호를 포함하는 가중치 $ L^2 $-측도에 대해 직교 다항식이라는 것을 증명한다.
• 리 대수 작용과 케일리 변환을 통해 이러한 다항식의 차분 및 재귀 관계를 도출한다.

제안 방법

• 해석적 이산 계열 표현을 유계 수형도메인 $ \mathcal{D} $ 에서 실수 형태 $ \mathcal{D}_{\mathbb{R}} $ 위의 $ L^2 $ 로의 유니터리 제한을 통해 제한 원리로 세갈-바르그만 변환을 정의한다.
• 유니터리 부분의 제한 사상의 역이 도메인의 비유계 실현에서 라플라스 변환이라는 것을 보인다.
• $ \mathcal{D}_{\mathbb{R}} $ 위의 구면 함수를 식별하고, 이를 복소 도메인 $ \mathcal{D} $ 로 해석적 계속으로 확장하여 $ L $-구면 다항식의 전개로 표현한다.
• $ L $-구면 다항식이 잭 대칭 다항식임을 인지하고, 하리시-찬드라 플랑커렐 측도와 베레진 변환 기호의 곱으로 형성된 측도에 대해 직교성을 증명한다.
• 무한소 리 대수 $ \mathfrak{h}^\gamma $ 의 작용과 $ \xi \in \mathfrak{h}^\gamma $ 가 다항식에 작용하는 방식을 분석하여 차분 및 재귀 관계를 도출한다.
• 케일리 변환을 사용하여 비유계 실현의 미분 연산자와 유계 도메인의 연산자 간의 관계를 설정하고, 라거르 함수에 대한 두 번째 차수 미분방정식을 도출한다.

실험 결과

연구 질문

• RQ1 허미션 수형공간 위의 세갈-바르그만 변환은 복소 도메인 위의 직교 다항식과 어떻게 관련이 있는가?
• RQ2 비유계 실현에서 유니터리 제한 사상의 역의 명시적 형태는 무엇인가?
• RQ3 실수 형태 위의 구면 함수는 어떻게 복소 도메인 위의 해석적 함수로 확장되며, 이들의 $ L $-구면 다항식 전개는 어떻게 이루어지는가?
• RQ4 이 전개의 계수에 대한 직교성 측도는 무엇이며, 베레진 변환 기호와 어떻게 관련이 있는가?
• RQ5 이 전개로부터 유도된 라거르 함수의 행동을 지배하는 미분방정식은 무엇이며, 리 대수 작용으로부터 어떻게 도출되는가?

주요 결과

• 복소 도메인 $ \mathcal{D} $ 위의 해석적 함수에서 $ L^2(\mathcal{D}_{\mathbb{R}}) $ 로의 제한 사상의 유니터리 부분의 역은 비유계 실현에서 라플라스 변환이다.
• $ \mathcal{D}_{\mathbb{R}} $ 위의 구면 함수는 복소 도메인 $ \mathcal{D} $ 로 해석적으로 계속되며, $ L $-구면 다항식의 전개로 표현되며, 이들은 잭 대칭 다항식으로 식별된다.
• 이 전개의 계수들은 하리시-찬드라 플랑커렐 측도와 베레진 변환 기호의 곱으로 형성된 측도 $ \mu = \text{Plancherel measure} \times \text{symbol of the Berezin transform} $ 에 대해 직교 다항식이다.
• 이 다항식의 차분 방정식은 $ Z_0 \in \mathfrak{h}^\gamma $ 의 작용으로부터 유도되며, 인덱스 집합 위의 상승 및 하강 연산자와 관련된 관계를 갖는다.
• 재귀 관계는 연산자 $ \pi_\nu(\xi) $ 를 포함하는 두 번째 차수 미분방정식으로 표현되며, 이 연산자는 라거르 함수 위의 반경 방향 미분 연산자로 작용한다.
• 연산자 $ \pi_\nu(\xi) $ 의 반경 부분은 상반평면의 경우 $ (tD^2 + \nu D - t)\ell_n^\nu = -( \nu + 2n)\ell_n^\nu $ 의 형태의 미분방정식을 이끌어내며, 이는 고계수 도메인으로 일반화된다.