[논문 리뷰] Invariant Differential Operators on Siegel-Jacobi Space

Jae-Hyun Yang|arXiv (Cornell University)|2011. 07. 04.

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

한 줄 요약

이 논문은 임의의 $n=1$, $m$에 대해, $G^J = Sp(n,\mathbb{R}) \ltimes H_\mathbb{R}^{(n,m)}$ 작용 하에서 시겔-자비 공간 $\Sigma_{n,m} = \mathbb{H}_n \times \mathbb{C}^{(m,n)}$ 위의 불변 미분 연산자들을 조사한다. $T_{n,m}$ 위의 $U(n)$-불변 다항식과 $G^J$-불변 미분 연산자 대수 $\mathbb{D}(\mathbb{H}_{n,m})$ 사이에 자연스러운 선형 단사 사상이 존재하며, 이는 $n=1$, $m$이 임의일 때 차수 3의 카시미르 유형 연산자인 구조를 제공한다. 이 연산자는 벡터 값 형식의 미분 연산자 대수의 중심을 생성한다.

ABSTRACT

For two positive integers $m$ and $n$, we let ${\mathbb H}_n$ be the Siegel upper half plane of degree $n$ and let ${\mathbb C}^{(m,n)}$ be the set of all $m imes n$ complex matrices. In this article, we study differential operators on the Siegel-Jacobi space ${\mathbb H}_n imes {\mathbb C}^{(m,n)}$ that are invariant under the natural action of the Jacobi group $Sp(n,{\mathbb R}\ltimes H_{\mathbb R}^{(n,m)}$ on ${\mathbb H}_n imes {\mathbb C}^{(m,n)}$, where $H_{\mathbb R}^{(n,m)}$ denotes the Heisenberg group. We give some explicit invariant differential operators. We present important problems which are natural. We give some partial solutions for these natural problems.

연구 동기 및 목표

• 시겔-자비 공간 $\mathbb{H}_n \times \mathbb{C}^{(m,n)}$ 위의 미분 연산자들 중 자연스러운 자비 군 $G^J = Sp(n,\mathbb{R}) \ltimes H_\mathbb{R}^{(n,m)}$ 작용에 대해 불변인 것을 연구한다.
• 다항식 대수 $\mathrm{Pol}(T_{n,m})$ 위의 $U(n)$-불변 다항식 대수 $\mathrm{Pol}(T_{n,m})^{U(n)}$와 $G^J$-불변 미분 연산자 대수 $\mathbb{D}(\mathbb{H}_{n,m})$ 사이에 자연스러운 선형 단사 사상을 확립한다.
• 대수 $\mathbb{D}(\mathbb{H}_{n,m})$의 명시적 생성자를 규명하고, 특히 $n=1$일 경우 이 대수의 구조에 관한 자연스러운 문제들을 해결한다.
• 미분 연산자 대수 $\mathbb{D}_{\rho,\mathcal{M}}$의 중심을 다루는 $|_{\rho,\mathcal{M}}$-슬래시 불변 연산자에 대해 정의하고, Maass-Jacobi 형식을 이 중심의 고유함수로 정의한다.

제안 방법

• 자비 군의 쌍대 작용을 통해 다항식 대수 $\mathrm{Pol}(T_{n,m})$ 위에 $U(n)$의 표현 $\tau$를 유도하고, 이에 따라 $U(n)$-불변 다항식의 부분대수 $\mathrm{Pol}(T_{n,m})^{U(n)}$를 구성한다.
• $\mathrm{Pol}(T_{n,m})^{U(n)}$에서 $\mathbb{D}(\mathbb{H}_{n,m})$로의 자연스러운 선형 단사 사상을 구성하지만, 이 사상은 곱셈을 보존하지 않기 때문에 $\mathbb{D}(\mathbb{H}_{n,m})$는 비가환임을 의미한다.
• $G^J$가 $\mathbb{H}_{n,m}$ 위의 스무딩 $V_\rho$-값 함수에 작용하는 $|_{\rho,\mathcal{M}}$-슬래시 작용을 도입하여, 자동형 변환 법칙을 일반화한다.
• $|_{\rho,\mathcal{M}}$-슬래시 작용과 교환하는 미분 연산자 대수 $\mathbb{D}_{\rho,\mathcal{M}}$를 정의하고, 그 중심 $\mathcal{Z}_{\rho,\mathcal{M}}$을 연구한다.
• 구체적인 불변 미분 연산자 예시를 구성하며, $n=1$, $m$이 임의일 때 차수 3의 카시미르 연산자 $\mathcal{C}^{k,\mathcal{M}}$를 포함한다. 이는 중심 $\mathcal{Z}_{\det^k,\mathcal{M}}$를 생성한다.
• 이 이론을 적용하여, 특정 성장 조건과 변환 성질을 만족하는 고유함수로서 Maass-Jacobi 형식을 정의하고 분석한다.

실험 결과

연구 질문

• RQ1 시겔-자비 공간 $\mathbb{H}_n \times \mathbb{C}^{(m,n)}$ 위의 $G^J$-불변 미분 연산자 대수 $\mathbb{D}(\mathbb{H}_{n,m})$의 명시적 생성자는 무엇인가?
• RQ2 $\mathbb{D}(\mathbb{H}_{n,m})$의 구조는 $T_{n,m}$ 위의 $U(n)$-불변 다항식 대수와 어떻게 관련이 있는가?
• RQ3 주어진 표현 $\rho$와 인덱스 $\mathcal{M}$에 대해, $|_{\rho,\mathcal{M}}$-슬래시 불변 미분 연산자 대수 $\mathbb{D}_{\rho,\mathcal{M}}$의 중심 $\mathcal{Z}_{\rho,\mathcal{M}}$는 무엇인가?
• RQ4 $n=1$이고 $m$이 임의일 때, 차수 3의 카시미르 유형 미분 연산자를 명시적으로 구성할 수 있는가? 그리고 이 연산자가 중심 $\mathcal{Z}_{\det^k,\mathcal{M}}$를 생성하는가?
• RQ5 이러한 불변 미분 연산자의 고유함수는 무엇이며, Maass-Jacobi 형식과 어떻게 관련이 있는가?

주요 결과

• $n=1$이고 $m$이 임의일 때, 대수 $\mathbb{D}_{\det^k,\mathcal{M}}$의 중심 $\mathcal{Z}_{\det^k,\mathcal{M}}$는 차수 3의 단일 카시미르 연산자 $\mathcal{C}^{k,\mathcal{M}}$에 의해 생성된다.
• $\mathcal{C}^{k,\mathcal{M}}$는 $|_{\det^k,\mathcal{M}}$-슬래시 불변인 미분 연산자이며, $\mathbb{H}_{1,m}$ 위의 스무딩 함수에 대해 차수 3의 미분 연산자로 작용한다.
• Poincaré 급수 $\mathcal{P}_{k,\mathcal{M}}$는 조화 마스-자비 형식이므로, $\mathcal{C}^{k,\mathcal{M}}\mathcal{P}_{k,\mathcal{M}} = 0$을 만족한다. 즉, 고유값 0을 가진 고유함수이다.
• 라플라스 연산자 $\Delta_{1,1;1,1}$의 명시적 고유함수로는 고유값 $s(s-1)$을 가진 $y^{1/2}K_{s-1/2}(2\pi|a|y)e^{2\pi i a x}$와 같은 형태와 $y^s$, $y^s x$, $y^s u$ 같은 단항식들이 있다.
• $\mathbb{D}(\mathbb{H}_{n,m})$는 자연스러운 단사 사상이 곱셈을 보존하지 않기 때문에 비가환 대수이다.
• Maass-Jacobi 형식 이론은 $\mathcal{Z}_{\rho,\mathcal{M}}$의 고유함수로서 정의되며, $\Gamma_{n,m}$에 대한 변환 법칙, 고유값 조건, 그리고 무한대에서의 특정 성장 조건을 만족한다.