[논문 리뷰] La conjecture locale de Gross-Prasad pour les groupes spéciaux orthogonaux: le cas général

Colette Mœglin, Jean-Loup Waldspurger|arXiv (Cornell University)|2010. 01. 06.

Advanced Algebra and Geometry참고 문헌 1인용 수 34

한 줄 요약

이 논문은 특수 직교군에 대한 국소 그로스-프라사드 추측을 특성 0인 비아르키메데스 국소체에서 증명하며, 더 작은 특수 직교군의 표현이 더 큰 특수 직교군의 표현에 포함될 때의 다중도가 최대 하나임을 입증하고, 랑글랜드 매개변수와 에psilon 인자에 의해 언제 정확히 하나가 되는지 규명한다. 주요 결과는 홀수 차원과 짝수 차원이 서로 다른 부호를 가진 일반적인 경우에 대해 L-패킷 매개변수화와 에psilon 인자 계산을 통해 추측을 확인한다.

ABSTRACT

We prove the local Gross-Prasad conjecture for generic L-packets of representations of special orthogonal groups. The proof uses the same result for tempered L-packets proved in a preceding paper, and irreducibility results for the induced representations of whose the elements of the L-packets are Langlands quotients.

연구 동기 및 목표

• 특성 0인 비아르키메데스 국소체 위에서 특수 직교군에 대한 국소 그로스-프라사드 추측을 증명한다.
• 더 작은 특수 직교군의 표현이 더 큰 특수 직교군의 표현에 포함될 때의 다중도가 최대 하나임을 특성화한다.
• 랑글랜드 매개변수와 에psilon 인자를 사용하여 다중도가 정확히 하나가 되는 정확한 기준을 제시한다.
• 추측을 홀수 차원과 짝수 차원의 직교군 모두에 일반화하며, 서로 다른 부호를 가진다.
• L-패킷을 통한 표현의 매개변수화를 통합하고 이를 국소 랑글랜드 대응과 연결한다.

제안 방법

• 국소 랑글랜드 대응을 사용하여 $\Phi(G)$, 즉 연속적이고, 반단순적이며, 대수적인 $SL(2,\mathbb{C})$-준동형사상들의 $Sp(d-1,\mathbb{C})$-동치류로 이루어진 집합에 속하는 $L$-매개변수를 통해 특수 직교군의 기약 적응 표현을 매개변수화한다.
• 각 $\varphi \in \Phi(G)$에 대해, 온화한 표현의 리만 부분군에서의 정규화된 포화 유도를 통해 $L$-패킷 $\Pi^G(\varphi)$를 정의한다.
• 일반적인 $L$-패킷의 개념을 도입하고, 구성 요소 군 $S(\varphi)/S(\varphi)^0$의 특성들 $\epsilon \in \mathcal{E}^G(\varphi)$를 통한 매개변수화 $\sigma(\varphi, \epsilon)$를 사용한다.
• 왈트스부르거의 이전 작업에서 유도된 적분 공식을 사용하여 에psilon 인자 $\varepsilon(\sigma(\varphi,\epsilon), \sigma'(\varphi',\epsilon'))$를 계산한다.
• 에psilon 인자와 국소 루트 수 $\mu(G,G')$를 연결하여 다중도의 1에 대한 기준을 확립하며, $m(\sigma,\sigma') = 1$이 되는 것은 $E(\varphi,\varphi') = \mu(G,G')$일 때에만 성립함을 보인다.
• 군이 준정규적이지 않은 경우를 다루기 위해, 리만 부분군이 존재하지 않을 경우 $L$-패킷을 빈 집합으로 설정한다.

실험 결과

연구 질문

• RQ1 특수 직교군 $G$와 $G'$의 차원이 서로 다른 부호를 가지는 경우, $G'(F)$의 표현 $\sigma'$가 $G(F)$의 표현 $\sigma$에 포함될 때 다중도가 정확히 하나가 되는 정확한 기준은 무엇인가요?
• RQ2 특수 직교군의 표현에 대한 $L$-패킷은 국소 랑글랜드 대응에서 기약 적응 표현을 어떻게 매개변수화합니까?
• RQ3 에psilon 인자 $\varepsilon(\sigma, \sigma')$는 다중도 $m(\sigma, \sigma')$를 결정하는 데 어떤 역할을 합니까?
• RQ4 국소 그로스-프라사드 추측은 더 큰 군의 차원이 짝수인 경우로 어떻게 일반화됩니까?
• RQ5 군 $G$가 준정규적이지 않은 경우, $L$-패킷 $\Pi^G(\varphi)$가 비어 있지 않은 조건은 무엇입니까?

주요 결과

• 표현 $\sigma$의 $G(F)$에서 표현 $\sigma'$의 $G'(F)$로의 다중도 $m(\sigma, \sigma')$는 최대 하나이며, 이는 그로스-프라사드 추측의 핵심 예측을 확인한다.
• 다중도가 정확히 하나가 되는 것은 에psilon 인자 $\varepsilon(\sigma(\varphi,\epsilon), \sigma'(\varphi',\epsilon'))$가 국소 루트 수 $\mu(G,G')$와 일치할 때에만 성립하며, 이를 정확한 기준으로 제시한다.
• $L$-패킷 $\Pi^G(\varphi)$는 해당 리만 부분군 $L$이 $G$에 존재할 때에만 비어 있지 않으며, 비어 있지 않은 경우 구성 요소 군 $S(\varphi)/S(\varphi)^0$의 특성들 $\epsilon \in \mathcal{E}^G(\varphi)$를 통해 매개변수화된다.
• 랑글랜드 매개변수를 통한 표현의 추측적 매개변수화가 다중도 1 결과와 일관되며, 준정규적이지 않은 경우에도 성립한다.
• 홀수 차원과 짝수 차원 특수 직교군 모두에 대해 결과가 균일하게 성립하며, 짝수 차원의 경우 직교군과 행렬식을 통해 매개변수화가 조정된다.
• 증명은 국소 랑글랜드 대응과 엔도스코픽 자료의 전이 간의 호환성에 의존하며, 핵심 기술적 입력은 왈트스부르거의 이전 작업에서 유도된 에psilon 인자에 대한 적분 공식이다.