[논문 리뷰] La conjecture locale de Gross-Prasad pour les représentations tempérées des groupes spéciaux orthogonaux

Jean-Loup Waldspurger|ArXiv.org|2009. 11. 24.

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

한 줄 요약

이 논문은 특수 직교군의 온도표준 표현들에 대한 비아르키메데스 현지장에서 국소 그로스-프라사드 추측을 증명하며, 엔도스코픽 전이와 에psilon 인자들을 통해 L-패킷과 에psilon 인자 사이의 정확한 대응을 수립한다. 이는 쌍의 온도표준 표현의 다중도가 에psilon 인자의 부호에 의해 결정됨을 확인하며, 표준 및 왜곡 엔도스코픽 전이와의 호환 조건 하에서 성립한다.

ABSTRACT

We prove the local Gross-Prasad conjecture for tempered representations of special orthogonal groups. Roughly speaking, the conjecture says that, if sigma is an irreducible representation of SO(n) and rho is an irreducible representation of SO(n-1), rho appears as quotient of the restriction of sigma to SO(n-1) with a multiplicity m(sigma,rho) that can be computed in terms of epsilon-factors. Our proof uses results of a previous papers which computes m(sigma,rho) and the epsilon-factors by integral formulas.

연구 동기 및 목표

• 특수 직교군의 온도표준 표현들에 대한 국소 그로스-프라사드 추측을 특성 0인 비아르키메데스 현지장에서 증명하는 것.
• 쌍의 온도표준 표현 $ \rho, \rho' $에 대한 다중도 $ m(\rho, \rho') $ 가 $ \varepsilon $-인자 $ \varepsilon(s, \varphi, \varphi') $ 의 부호와 같다는 것을 확인하는 것.
• L-패킷의 매개변수화가 표준 및 왜곡 엔도스코픽 전이와 모두 호환됨을 증명하는 것.
• L-패킷의 매개변수화를 $ \varepsilon $-인자와 엔도스코픽 데이터를 통해 특수 직교군의 온도표준 표현으로 국소 랑글랜드 상호작용을 확장하는 것.
• 다중도와 에psilon 인자, 엔도스코픽 데이터 사이의 정확한 공식을 수립하는 것.

제안 방법

• GL(n)에 대한 국소 랑글랜드 상호작용을 사용하여, $ \varphi_{>} = \varphi \oplus \mathbf{1} $ 를 통해 $ \widetilde{GL}(d', F) $ 에서 $ \tilde{\pi}(\varphi_{>}) $ 를 구성한다.
• 엔도스코픽 전이를 적용하여 $ G' $ 의 표현들을 $ GL(d') $ 의 표현들과 연결하며, 자동형사 $ \theta(g) = {}^t g^{-1} $ 를 통한 왜곡 엔도스코픽 전이를 사용한다.
• 매개변수 집합 $ \Phi_{\text{temp}}(G') $ 에 따라 인덱싱된 L-패킷 이론을 활용하며, $ \epsilon(z_\varphi) = \mu(G') $ 를 만족하는 문자 $ \epsilon \in \mathcal{E}^{G'}(\varphi) $ 와의 전단사 대응을 수립한다.
• 핵심 항등식을 유도한다: $ -m(\varphi,s;\varphi',s') = \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s')(E(\varphi,\varphi') - 1)/2 $, 이는 다중도를 에psilon 인자와 엔도스코픽 데이터로 연결한다.
• $ \gamma $-인자의 함수방정식과 전이 인자 이론을 사용하여 $ G $ 와 $ G' $ 간의 $ \gamma $-인자를 비교한다.
• [AGRS] 와 [GGP] 의 다중도 1 정리 적용으로 $ m(\sigma, \sigma') \leq 1 $ 를 확보하고, 에psilon 인자의 부호를 통해 등식을 증명한다.

실험 결과

연구 질문

• RQ1 온도표준 표현 $ \sigma $ 의 $ G(F) $ 와 $ \sigma' $ 의 $ G'(F) $ 에 대해 다중도 $ m(\sigma, \sigma') $ 가 $ \varepsilon $-인자 $ \varepsilon(s, \varphi, \varphi') $ 의 부호와 같은가?
• RQ2 G' 의 L-패킷 매개변수화는 표준 및 왜곡 엔도스코픽 전이와 호환되는가?
• RQ3 국소 그로스-프라사드 추측은 비아르키메데스 현지장에서 특수 직교군의 온도표준 표현으로 확장될 수 있는가?
• RQ4 엔도스코픽 전이의 맥락에서 에psilon 인자와 표현의 다중도 사이의 정확한 관계는 무엇인가?
• RQ5 공액군 $ S_\varphi $ 의 중심 문자 $ z_\varphi $ 는 L-패킷의 매개변수화에 어떤 영향을 미치는가?

주요 결과

• 다중도 $ m(\sigma, \sigma') $ 는 $ \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s') $ 와 같으며, 이는 온도표준 표현에 대한 국소 그로스-프라사드 추측을 확인한다.
• 공식 $ -m(\varphi,s;\varphi',s') = \boldsymbol{\epsilon}(s)\boldsymbol{\epsilon}'(s')(E(\varphi,\varphi') - 1)/2 $ 가 성립하며, 다중도를 에psilon 인자와 엔도스코픽 데이터로 연결한다.
• 이 증명은 L-패킷 매개변수화가 표준 및 왜곡 엔도스코픽 전이와 모두 호환됨을 수립하여 추측적 프레임워크를 검증한다.
• 결과는 $ m(\sigma, \sigma') = 1 $ 이고, 이는 에psilon 인자의 부호가 엔도스코픽 데이터와 일치할 때에만 성립하며, 그 외에는 $ m(\sigma, \sigma') = 0 $ 임을 확인한다.
• $ \varphi_{>} = \varphi \oplus \mathbf{1} $ 로부터 $ \tilde{\pi}(\varphi_{>}) $ 를 구성하는 것은 $ \gamma $-인자를 $ G' $ 로 전이하는 데 필수적이며, 이는 증명의 핵심이다.
• 주어진 조건 하에서 $ \gamma^{G'}(\varphi', 0) = -1 $ 이 성립함을 증명하며, 이는 다중도 공식의 최종 항등식에 필수적이다.