[논문 리뷰] The local theta correspondence and the local Gan-Gross-Prasad conjecture for the symplectic-metaplectic case

Hiraku Atobe|arXiv (Cornell University)|2015. 02. 12.

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

한 줄 요약

이 논문은 특성 0인 비아르키메데스 현지장에서 심플렉틱-메타플레틱 케이스에 대한 국소 간-그로스-프라스드 추측을 증명하며, 국소 랑글랜드 대응과 싱크로로 응용된 토탈 대응을 통해 특정 호모지오미즘 공간의 비영성과 관련된 결과를 도출한다. 주요 결과는 온도 L-매개변수 조건 하에서 추측을 확인함으로써, 고전적 군에 대한 GGP 추측의 마지막 미해결 케이스를 완성한다.

ABSTRACT

We prove the local Gan-Gross-Prasad conjecture for the symplectic-metaplectic case under some assumptions. This is the last case of the local Gan-Gross-Prasad conjectures. We also prove two of Prasad's conjectures on the local theta correspondence in the almost equal rank case.

연구 동기 및 목표

• 남아 있던 심플렉틱-메타플레틱 케이스를 해결함으로써 고전적 군에 대한 국소 간-그로스-프라스드 추측을 완성한다.
• 국소 랑글랜드 대응과 토탈 대응을 활용하여 GGP 추측의 푸리에-자코비 케이스에서 호모지오미즘 공간의 비영성 기준을 확립한다.
• 메타플레틱 군의 거의 등급 케이스에서 프라사드의 두 개의 추측을 증명한다.
• 토털 대응을 통해 Vogan L-패킷 프레임워크를 메타플레틱 군의 진짜 표현을 포함하도록 확장한다.

제안 방법

• 아르투어의 안정화 결과를 기반으로 하여, 준대칭 심플렉틱 군과 특수 수직군에 대한 국소 랑글랜드 대응을 활용한다.
• 메타플레틱 군 $\widetilde{\mathrm{Sp}}(W_{2n})$ 와 $\mathrm{SO}(V_{2n+1})$ 사이의 토탈 대응을 적용하여, $\mathrm{SO}(V_{2n+1})$ 의 $L$-매개변수를 통해 메타플레틱 군의 진짜 표현을 매개변수화한다.
• Vogan $L$-패킷 프레임워크를 활용하여 군 $G$ 와 그 순수 내부형의 불변 표현을 $L$-매개변수 $\phi$ 와 연관지으며, 전단사 사상 $\iota_{\mathfrak{w}}: \Pi_\phi \to \mathrm{Irr}(\pi_0(S_\phi))$ 를 정의한다.
• 쿠달라의 Weil 표현의 잔여 모듈러의 필터링을 사용하여 표준 모듈러의 구조와 그 토탈 릿지의 구조를 분석한다.
• 포지티브 유도와 야외 유도자 함수의 정확성을 적용하여, 표준 모듈러의 랑글랜드 몫이 비영성 조건 하에서 표현의 토탈 릿지와 동형임을 보인다.
• 토탈 릿지의 단사성과 표준 모듈러의 기약성(참고문헌 [35] 및 [6])에 기반하여, 토탈 릿지가 비영일 경우 표준 모듈러가 기약임을 유추한다.

실험 결과

연구 질문

• RQ1 기약 진짜 표현 $\pi$ 에 대해 $\mathrm{Hom}_{\Delta\widetilde{\mathrm{Sp}}(W_{2n})}(\pi \otimes \overline{\omega_\psi}, \mathbb{C})$ 는 어떤 조건에서 영이 되거나 비영이 되는가?
• RQ2 국소 랑글랜드 대응과 토탈 대응을 사용하여 심플렉틱-메타플레틱 케이스의 국소 간-그로스-프라스드 추측을 어떻게 제시하고 증명할 수 있는가?
• RQ3 메타플레틱 표현의 표준 모듈러가 기약이 되는 조건은 무엇인가? 단, 그 토탈 릿지가 특수 수직군으로 비영일 경우를 가정한다.
• RQ4 표준 모듈러의 랑글랜드 몫이 원래 표현의 토탈 릿지와 동형이 되는 데 필요한 조건은 무엇인가?

주요 결과

• 온도 $L$-매개변수 조건 하에서 심플렉틱-메타플레틱 케이스에 대한 국소 간-그로스-프라스드 추측이 증명된다.
• 일반적인 $L$-매개변수를 갖는 표준 모듈러 $\widetilde{\pi}$ 는 그 토탈 릿지 $\theta_\psi(\widetilde{\pi})$ 가 비영일 경우 기약이다.
• 표준 모듈러 $\widetilde{\pi}$ 의 랑글랜드 몫 $\widetilde{\pi}_1$ 의 토탈 릿지 $\theta_\psi(\widetilde{\pi}_1)$ 는 표준 모듈러 $\mathrm{Ind}_{P^\circ}^{\mathrm{SO}(V_{2n+1}^\bullet)}(\tau_1^\vee|\det|_F^{-s_1} \boxtimes \cdots \boxtimes \theta_\psi(\widetilde{\pi}_0))$ 와 동형이다.
• 우측 항의 유도 표현의 기약성은 [35, Théorème (i)] 에서 확립되었으며, 이로부터 표준 모듈러의 기약성이 유도된다.
• 토탈 대응의 단사성은 $\widetilde{\pi}_1$ 이 $\widetilde{\pi}$ 의 랑글랜드 몫이 되어야 하며, 랑글랜드 몫이 중복도 1로 나타나므로 $\widetilde{\pi}$ 는 기약임을 의미한다.
• 증명은 프라사드의 두 개의 추측이 메타플레틱 군의 거의 등급 케이스에서 확인됨을 확인한다.