[논문 리뷰] A geometric quantization of the Kostant-Sekiguchi correpondence for scalar type unitary highest weight representations

Jan Möllers|arXiv (Cornell University)|2012. 05. 23.

Advanced Algebra and Geometry참고 문헌 46인용 수 8

한 줄 요약

이 논문은 테이블 유형의 허미션 수반 리 군의 스칼라 유형 유니터리 최고 무게 표현에 대해 코스타ント–세키구치 대응의 기하적 양자화를 구축한다. 각 표현은 $\mathfrak{p}_{\mathbb{C}}^*$ 내에 있는 $K_{\mathbb{C}}$-노말리티 오비트의 폐쇄 위에서 제곱-integrable 헬름홀로픽 함수로 구성된 포크 공간 위에 실현된다. 주요 기여는 다변수 $I$-, $K$-, 및 $J$-베셀 함수를 적분 핵과 재생 핵으로 사용하여, $L^2(\mathcal{O})$ 위의 슈뢰딩거 모델과 새로운 포크 모델 사이의 상호작용 연산자로 작용하는 일반화된 세갈–바르그만 변환을 명시적으로 구성한 것이다.

ABSTRACT

For any Hermitian Lie group $G$ of tube type we give a geometric quantization procedure of certain $K_{\mathbb{C}}$-orbits in $\mathfrak{p}_{\mathbb{C}}^*$ to obtain all scalar type highest weight representations. Here $K_{\mathbb{C}}$ is the complexification of a maximal compact subgroup $K\subseteq G$ with corresponding Cartan decomposition $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ of the Lie algebra of $G$. We explicitly realize every such representation $π$ on a Fock space consisting of square integrable holomorphic functions on its associated variety $Ass(π)\subseteq\mathfrak{p}_{\mathbb{C}}^*$. The associated variety $Ass(π)$ is the closure of a single nilpotent $K_{\mathbb{C}}$-orbit $\mathcal{O}^{K_{\mathbb{C}}}\subseteq\mathfrak{p}_{\mathbb{C}}^*$ which corresponds by the Kostant-Sekiguchi correspondence to a nilpotent coadjoint $G$-orbit $\mathcal{O}^G\subseteq\mathfrak{g}^*$. The known Schrödinger model of $π$ is a realization on $L^2(\mathcal{O})$, where $\mathcal{O}\subseteq\mathcal{O}^G$ is a Lagrangian submanifold. We construct an intertwining operator from the Schrödinger model to the new Fock model, the generalized Segal-Bargmann transform, which gives a geometric quantization of the Kostant-Sekiguchi correspondence (a notion invented by Hilgert, Kobayashi, Ørsted and the author). The main tool in our construction are multivariable $I$- and $K$-Bessel functions on Jordan algebras which appear in the measure of $\mathcal{O}^{K_{\mathbb{C}}}$, as reproducing kernel of the Fock space and as integral kernel of the Segal-Bargmann transform. As a corollary to our construction we also obtain the integral kernel of the unitary inversion operator in the Schrödinger model in terms of a multivariable $J$-Bessel function as well as explicit Whittaker vectors.

연구 동기 및 목표

• 테이블 유형의 허미션 수반 리 군에 대한 스칼라 유형 유니터리 최고 무게 표현의 기하적이고 해석적인 구성 제공
• 이 표현들을 관련 다양체 $\operatorname{Ass}(\pi) \subseteq \mathfrak{p}_{\mathbb{C}}^*$ 위의 헬름홀로픽 함수로 구성된 포크 공간에 실현
• 슈뢰딩거 모델 $L^2(\mathcal{O})$와 새로운 포크 모델 사이의 명시적 상호작용 연산자(일반화된 세갈–바르그만 변환)를 구성함으로써 코스타ント–세키구치 대응을 기하적으로 양자화
• 다변수 조르단 대수에서의 베셀 함수를 사용하여 유니터리 역행 연산자의 적분 핵과 명시적 위타커 벡터 유도

제안 방법

• 포크 공간은 $\operatorname{Ass}(\pi) \subseteq \mathfrak{p}_{\mathbb{C}}^*$ 위에서 제곱-integrable 헬름홀로픽 함수의 공간으로 구성되며, $K_{\mathbb{C}}$-오비트의 측도로부터 유도된 베셀–피셔 내적을 갖는다.
• 군의 유니터리 작용은 리 대수에 관련된 미분 연산자를 통해 포크 공간 위에 실현되며, 재생 핵은 조르단 대수 위의 $K$-베셀 함수로 표현된다.
• 일반화된 세갈–바르그만 변환은 $I$-베셀 함수로 구성된 핵을 가진 적분 연산자로서, $L^2(\mathcal{O})$ 에서 포크 공간으로의 사상으로서, 슈뢰딩거 모델과 포크 모델 사이의 상호작용을 보장한다.
• 이 구성은 다변수 $I$-, $K$-, 및 $J$-베셀 함수를 기반으로 하며, 이들은 $\mathcal{O}^{K_{\mathbb{C}}}$ 위의 측도 밀도, 포크 공간의 재생 핵, 그리고 변환의 적분 핵으로 자연스럽게 나타난다.
• 메소드는 코스타ント–세키구치 대응을 사용하여 $\mathfrak{g}^*$ 내의 노말리티 $G$-오비트와 $\mathfrak{p}_{\mathbb{C}}^*$ 내의 노말리티 $K_{\mathbb{C}}$-오비트 사이의 관계를 설정하며, $\operatorname{Ass}(\pi)$ 는 이러한 오비트의 폐쇄이다.
• $\mathfrak{so}(2,n)$ 의 분해법칙은 표현 공간을 $\mathfrak{so}(n-m)$-불변 부분공간으로 분해함으로써 분석되며, 각 부분공간은 $\mathbb{C}[Z_1,\ldots,Z_m] \otimes \mathcal{H}^k(\mathbb{C}^{n-m})$ 와 동형이며, 작용이 $\mathrm{d}\pi_{\lambda+k}^{\mathfrak{so}(2,m)}$ 를 통해 인코딩됨을 보여준다.

실험 결과

연구 질문

• RQ1 스칼라 유형 유니터리 최고 무게 표현에 대해 코스타ント–세키구치 대응을 어떻게 기하적으로 양자화할 수 있는가?
• RQ2 이 표현들에 대해 슈뢰딩거 모델과 새로운 포크 모델 사이의 상호작용 연산자(일반화된 세갈–바르그만 변환)의 명시적 형태는 무엇인가?
• RQ3 다변수 조르단 대수에서의 베셀 함수는 측도, 재생 핵, 그리고 변환의 적분 핵에서 어떻게 자연스럽게 나타나는가?
• RQ4 $\mathfrak{so}(2,n)$ 의 분해법칙은 $\mathfrak{so}(2,m) \times \mathfrak{so}(n-m)$ 에 제한되었을 때 어떻게 되며, 어떤 성분들이 헬름홀로픽离산 시리즈인가?
• RQ5 슈뢰딩거 모델에서의 유니터리 역행 연산자의 적분 핵은 무엇이며, 베셀 함수와 어떻게 관련되어 있는가?

주요 결과

• 논문은 테이블 유형의 허미션 수반 리 군의 모든 스칼라 유형 유니터리 최고 무게 표현에 대해 포크 모델을 구성한다. 이는 $\operatorname{Ass}(\pi) \subseteq \mathfrak{p}_{\mathbb{C}}^*$ 위의 제곱-integrable 헬름홀로픽 함수 공간 위에서 실현되며, 이는 $K_{\mathbb{C}}$-노말리티 오비트의 폐쇄이다.
• 일반화된 세갈–바르그만 변환은 조르단 대수 위의 $I$-베셀 함수로 주어진 핵을 가진 적분 연산자로서 명시적으로 실현되며, 슈뢰딩거 모델에서 포크 모델로의 유니터리 상호작용 사상이 된다.
• 슈뢰딩거 모델에서의 유니터리 역행 연산자의 적분 핵은 조르단 대수 위의 다변수 $J$-베셀 함수로 표현 가능하다는 것이 입증되었다.
• 명시적인 위타커 벡터는 $K$-베셀 함수를 사용하여 구성되었으며, 표현 공간 내의 특수 벡터의 해석적 실현을 제공한다.
• $\mathfrak{so}(2,n)$ 에서 $\mathfrak{so}(2,m) \times \mathfrak{so}(n-m)$ 에 제한했을 때 분해법칙은 $\bigoplus_{k=0}^\infty \mathrm{d}\pi_{\lambda+k}^{\mathfrak{so}(2,m)} \boxtimes \mathcal{H}^k(\mathbb{R}^{n-m})$ 로 표현되며, $\lambda = \frac{n-2}{2}$ 이고, $k$ 에 따라 연속 월라치 집합 또는 헬름홀로픽 이산 시리즈 성분이 된다.
• $\mathrm{d}\pi_{\lambda}^{\mathfrak{so}(2,n)}$ 는 $2m < n$ 일 때 비-헬름홀로픽 이산 시리즈 성분을 포함하며, 이는 분해법칙이 헬름홀로픽 및 비-헬름홀로픽 표현을 모두 포함함을 보여준다.