[논문 리뷰] Remarks on the Fundamental Lemma for stable twisted Endoscopy of Classical Groups

Joachim Ballmann, Rainer Weissauer외 1명|arXiv (Cornell University)|2013. 01. 31.

Advanced Algebra and Geometry참고 문헌 21인용 수 3

한 줄 요약

이 논문은 고전적 군에서 안정된 꼬임진 서열에 대한 기본 레마를 수립하기 위해 $\Theta$-꼬임 궤도 적분 매칭 문제를 일반적인 안정 궤도 적분에 대한 추측적 진술—즉, $BC$-추측—으로 환원한다. 카즈단의 기교와 위상적 조르당 분해를 이용하여, $\widetilde{\mathrm{SO}}_{2n+2}$와 $\mathrm{Sp}_{2n}$의 매칭 가능한 단순 원소들이 동일한 안정 궤도 적분을 갖는다는 것을 증명한다. 이는 $BC_n$-추측이 더 낮은 계수에서 성립한다고 가정할 때 성립한다.

ABSTRACT

The twisted fundamental lemmas for three series of stable twisted endoscopy (Sp_{2n} to PGL_{2n+1}, GSpin_{2n+1} to GL_{2n} imes GL_1, Sp_{2n} to SO_{2n+2}) will be reduced to a fundamental-lemma-like statement for ordinary (i.e. untwisted) stable orbital integrals on the groups $\SO_{2n+1}$ of type $B_n$ resp. $\SP_{2n}$ of type $C_n$. This manusript, written around 2001, anticipates similar results of Waldspurger (2008), and may be used to reduce the twisted fundamental lemma to the work of Ngo. The original aim was to reduce the fundumantal lemma for the lift from Sp_4 to PGL_5 to the twisted fundamental lemma for the lift from GSp_4=GSpin_5 to Gl_4 imes GL_1.

연구 동기 및 목표

• 고전적 군에서 안정된 꼬임진 서열에 대한 기본 레마를 수립하며, 특히 $\mathrm{Sp}_{2n}$에서 $\widetilde{\mathrm{PGL}}_{2n+1}$로의 상승과 관련된 군들에 대해 다룬다.
• $\Theta$-꼬임 기본 레마를 일반적인 안정 궤도 적분에 대한 추측적 진술—즉, $\mathrm{SO}_{2n+1}$과 $\mathrm{Sp}_{2n}$에 대한 $BC_n$-추측—으로 환원한다.
• $\widetilde{\mathrm{SO}}_{2n+2}(F)$와 $\mathrm{Sp}_{2n}(F)$에서 매칭 가능한 단순 원소들이 동일한 안정 궤도 적분을 갖는다는 것을 증명한다. 이는 $m \leq n$에 대해 $BC_m$-추측이 성립한다고 가정할 때 성립한다.
• $\mathrm{GSp}_4$와 관련된 셰이머 다양체에서 자동형 표현과 갈루아 표현 이론을 위한 기초 도구를 제공한다.
• $p$-진 군에서 위상적 조르당 분해와 중심자 분석을 통해 꼬임과 꼬임이 없는 궤도 적분 간의 관계를 명확히 한다.

제안 방법

• 카즈단의 기교(보조정리 5.5)를 적용하여 $\widetilde{G}$에서의 $\Theta$-꼬임 궤도 적분을 엔도스코픽 군 $H$에서의 안정 궤도 적분과 연결한다.
• 위상적 조르당 분해를 사용하여 $\widetilde{\mathrm{SO}}_{2n+2}(F)$와 $\mathrm{Sp}_{2n}(F)$의 원소를 단순 부분과 불리한 부분으로 분해함으로써 성분 간 매칭으로 환원한다.
• $\mathrm{SO}_{2n+1}(\mathcal{O}_F)$와 $\mathrm{Sp}_{2n}(\mathcal{O}_F)$의 정규 위상 불리한 원소들 간의 $BC$-매칭을 활용하여 그들의 안정 궤도 적분을 동일하게 만든다.
• $\mathrm{O}_{2n+2}(\mathcal{O}_F)$의 대표자를 통해 $\widetilde{\mathrm{SO}}_{2n+2}(F)$의 공轭류를 분석하고, $\det = 1$과 $\det = -1$ 성분을 구분한다.
• 보조정리 5.7을 적용하여 중심자의 곱 위에서 안정 궤도 적분을 분해하며, $\mathrm{SO}_{2n+2}^s$와 $\mathrm{SO}_{2n+2}^{s''}$가 대수적 군으로서 동형임을 이용한다.
• $\Theta$-작용을 통해 $\widetilde{G} = G \rtimes \langle \Theta \rangle$를 정의하며, $\Theta(g) = J \cdot {}^t g^{-1} \cdot J^{-1}$로 정의하여 꼬임 진 서열을 모델링한다.

실험 결과

연구 질문

• RQ1 $\widetilde{\mathrm{PGL}}_{2n+1}$에서의 $\Theta$-꼬임 궤도 적분이 언제 $\mathrm{Sp}_{2n}$에서의 안정 궤도 적분과 매칭되는가?
• RQ2 어떤 조건에서 꼬임 진 서열에 대한 기본 레마를 일반적인 안정 궤도 적분에 대한 진술—즉, $\mathrm{SO}_{2n+1}$과 $\mathrm{Sp}_{2n}$에 대한 진술—으로 환원할 수 있는가?
• RQ3 외부 자동형이 있는 고전적 군들 사이에서 안정 궤도 적분을 연결하는 데 $BC$-매칭이 어떤 역할을 하는가?
• RQ4 위상적 조르당 분해와 중심자 구조는 $p$-진 군에서 궤도 적분 매칭에 어떻게 영향을 미치는가?
• RQ5 주어진 매칭 조건 하에서 $\mathrm{Sp}_{2n}(F)$와 $\widetilde{\mathrm{SO}}_{2n+2}(F)$의 안정 공轭류 간의 정확한 관계는 무엇인가?

주요 결과

• $BC_1$-추측이 성립한다고 가정할 때, $\mathrm{Sp}_4$에서 $\widetilde{\mathrm{PGL}}_5$로의 안정 상승에 대한 기본 레마가 수립된다.
• $\gamma \in \mathrm{Sp}_{2n}(F)$와 $g \in \widetilde{\mathrm{SO}}_{2n+2}(F)$가 단순 원소로 매칭될 경우, $m \leq n$에 대해 $BC_n$-추측이 성립하면 $O^{st}_{g}(1,\widetilde{\mathrm{SO}}_{2n+2}) = O^{st}_{\gamma}(1,\mathrm{Sp}_{2n})$임을 증명한다.
• $\gamma \in \mathrm{Sp}_{2n}(F)$가 $\widetilde{\mathrm{SO}}_{2n+2}(F)$의 어떤 원소와도 매칭되지 않는 경우, $O^{st}_{\gamma}(1,\mathrm{Sp}_{2n}) = 0$임을 확인하여 매칭 조건이 필수적임을 입증한다.
• 증명은 원소를 위상적 조르당 성분으로 분해하는 데 기반한다: $\mathrm{SO}_{2n+1}$의 경우 $u_+, u_-, u_*$와 $\mathrm{Sp}_{2n}$의 경우 $v_+, v_-, v_*$이며, $u_\pm$과 $v_\pm$ 사이에 $BC$-매칭이 존재한다.
• $\det = -1$인 $s \in \mathrm{O}_{2n+2}(\mathcal{O}_F)$에 대해 중심자 $\mathrm{SO}_{2n+2}^s$는 $\mathrm{SO}_{2r_{\pm}+1}$과 $\mathrm{Sp}_{2g}$의 중심자 곱과 동형이 되며, 이는 적분 분해를 가능하게 한다.
• $\mathrm{SO}_{2n+2}^s$의 두 연결 성분으로 인한 $\frac{1}{2}$의 계수가 $s$와 $s''$의 두 공轭류로 인한 $2$의 계수로 상쇄되어 궤도 적분 합에서 등식이 유지된다.