[논문 리뷰] Multiplicity one theorems for Fourier-Jacobi models

Binyong Sun|arXiv (Cornell University)|2009. 03. 08.

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

한 줄 요약

이 논문은 p진 수체 위의 메타플렉틱 군에서 푸리에-자비 모델에 대한 다중성 일의 정리를 확립하며, 메타플렉틱 군 $\widetilde{\mathrm{Sp}}(2n)$의 진실성 있는 기약 적응 가능한 스무스 표현과 스무스 옥시레이터 표현 $\omega_\psi$의 텐서곱이 $\mathrm{Sp}(2n)$의 스무스 표현으로서 다중성이 없는 것을 증명한다. 이 결과는 일반선형군과 유니타리 군으로까지 확장되며, 프라사드의 추측을 확인하고, 랭킨-셀버그 방법을 통한 L함수 연구에 핵심이 되는 푸리에-자비 모델의 유일성에 기초가 되는 결과를 제공한다.

ABSTRACT

For every genuine irreducible admissible smooth representation $π$ of the metaplectic group $\widetilde{\Sp}(2n)$ over a p-adic field, and every smooth oscillator representation $ω_ψ$ of $\widetilde{\Sp}(2n)$, we prove that the tensor product $π\otimes ω_ψ$ is multiplicity free as a smooth representation of the symplectic group $\Sp(2n)$. Similar results are proved for general linear groups and unitary groups.

연구 동기 및 목표

• p진 수체 위의 메타플렉틱 군에서 푸리에-자비 모델에 대한 다중성 일의 정리를 확립하고, 그로스-프라사드 추측을 비어르미트형의 경우로 확장한다.
• 진실성 있는 기약 적응 가능한 스무스 표현의 $\widetilde{\mathrm{Sp}}(2n)$와 스무스 옥시레이터 표현 $\omega_\psi$의 텐서곱이 $\mathrm{Sp}(2n)$의 표현으로서 다중성이 없는 것을 증명한다.
• 결과를 일반선형군과 유니타리 군으로 일반화하여, 심플렉틱 군에 대해 오랫동안 남아있던 프라사드의 추측을 확인한다.
• 비어르미트형의 경우를 다루기 위해 공통의 대수기하학적 프레임워크를 제공하기 위해 교환 법칙을 갖는 대수와 $\epsilon$-비어르미트 모듈을 사용하는 통일된 접근법을 제시한다.

제안 방법

• p진 수체 $\mathrm{k}$ 위의 교환 법칙을 갖는 대수와 그에 대한 인벌루션 $\tau$를 갖춘 일반적인 프레임워크를 도입하여, 비어르미트형 설정을 매개변수화한다.
• 그러한 대수 위에서 $\epsilon$-비어르미트 모듈 $E$를 정의하고, $\mathrm{H}(E)$가 헤이젠베르크 유형의 불가약한 근을 갖는 반직접곱 $\mathrm{U}(E) \ltimes \mathrm{H}(E)$로서 자비 군 $\mathrm{J}(E)$를 구성한다.
• 분포의 지지집합과 스무스성 성질을 분석하기 위해 파동 전면 집합 이론과 분포의 푸리에 분석을 적용한다.
• 파동 전면 집합 기준을 적용: 분포 $T$가 닫힌 집합 $X$에 지지되어 있고, $x \in X$가 정상점이라면 $\mathrm{WF}_x(T)$ 는 쌍대법선 공간 $\mathrm{N}_x^*(X)$ 에 따른 이동에 관하여 불변이다.
• 핵심 보조정리 활용: 만약 $T$의 푸리에 변환이 영점 집합 $Z_f$ 에 지지되어 있고, $f_d$ 가 이웃 영역 $V$ 에서 영점을 갖지 않는다면, 충분히 큰 $|\lambda|$ 에 대해 $Z_f + V_1$ 이 $\lambda V$ 와 만남을 피하게 되며, 이는 스무스성을 의미한다.
• 파동 전면 집합의 불변성과 지지집합 분석을 적용하여 $\dim \mathrm{Hom}_{G}(\pi' \otimes \omega_\psi \otimes \pi, \mathbb{C}) \leq 1$ 을 증명함으로써 다중성 일의를 확립한다.

실험 결과

연구 질문

• RQ1 진실성 있는 기약 적응 가능한 스무스 표현의 $\widetilde{\mathrm{Sp}}(2n)$ 와 스무스 옥시레이터 표현 $\omega_\psi$의 텐서곱은 $\mathrm{Sp}(2n)$ 의 표현으로서 다중성이 없는가?
• RQ2 푸리에-자비 모델에 대한 다중성 일의 성질이 비어르미트형의 경우에 있어서 $\mathrm{GL}(n)$, $\mathrm{U}(n)$, $\mathrm{Sp}(2n)$ 에서도 성립하는가?
• RQ3 공통의 대수기하학적 프레임워크를 사용하여 고전군 전반에 걸쳐 푸리에-자비 모델의 유일성을 통일적으로 확립할 수 있는가?
• RQ4 파동 전면 집합과 푸리에 분석은 자동형 형태의 맥락에서 함수형의 유일성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 모든 진실성 있는 기약 적응 가능한 스무스 표현 $\pi$ 의 $\widetilde{\mathrm{Sp}}(2n)$ 와 모든 스무스 옥시레이터 표현 $\omega_\psi$ 에 대해, 표현 $\pi \otimes \omega_\psi$ 는 $\mathrm{Sp}(2n)$ 의 스무스 표현으로서 다중성이 없다.
• 결과는 $\mathrm{GL}(n)$ 과 $\mathrm{U}(n)$ 로까지 확장되며, $G = \mathrm{GL}(n), \mathrm{U}(n), \mathrm{Sp}(2n)$ 에 대해 $\dim \mathrm{Hom}_G(\pi' \otimes \omega_\psi \otimes \pi, \mathbb{C}) \leq 1$ 이 성립한다.
• 증명은 파동 전면 집합 이론과 정의 다항식 $f_d$ 의 지지집합 내에서 동차 성분의 영점이 없는 것에 기반한다.
• 분포 $T$ 의 푸리에 변환이 $Z_f$ 에 지지되어 있다면, 파동 전면 집합 $\mathrm{WF}_x(T)$ 는 $f_d$ 의 영점 집합에 포함되며, $f_d$ 가 이웃 영역에서 영점을 갖지 않는다면 이는 모순을 일으킨다.
• 핵심 기술적 단계는 $f_d$ 가 $V$ 에서 영점을 갖지 않는다면, 충분히 큰 $|\lambda|$ 에 대해 $\widehat{1_U T}$ 가 $\lambda V$ 에서 0이 되며, 이는 $x$ 에서의 스무스성을 의미한다.
• 다중성 일의 성질은 $0 \in \mathrm{WF}_x(T)$ 이면 $\mathrm{N}_x^*(X) \subset \mathrm{WF}_x(T)$ 이지만, $\mathrm{N}_x^*(X)$ 가 $f_d$ 의 영점 집합을 피한다면 이는 모순이 된다는 사실에서 유도된다.