[논문 리뷰] A new proof of Jacquet-Rallis's fundamental lemma

Raphaël Beuzart-Plessis|arXiv (Cornell University)|2019. 01. 09.

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

한 줄 요약

이 논문은 특성 0인 비아르키메데스 국소체의 분비적 이차 확장에 대해 잭케트-랄리스의 기본논법의 리 대수 형태에 대한 새로운 국소적 증명을 제시한다. 웰 표현과 스무스 전이가 푸리에 변환과 호환됨을 증명한 장의 결과를 활용하여, 군 $SL_2(F)$의 웰 표현에 대한 불변성에 의해, 리 대수 $τ_{n,E}$와 $τ_{n-1,E}$의 정수점들의 특성 함수가 궤도 적분 하에서 일치함을 보이고, 이로써 기본논법을 증명한다.

ABSTRACT

We give a new proof of the so-called Lie algebra version of Jacquet-Rallis's fundamental lemma for local non-Archimedean fields of characteristic zero. This proof is local and based on a previous result of W. Zhang on the compatibility of smooth transfer with a (partial) Fourier transform.

연구 동기 및 목표

• 특성 0인 비아르키메데스 국소체의 분비적 이차 확장에 대해 잭케트-랄리스의 기본논법의 리 대수 형태에 대한 새로운 국소적 증명을 제공한다.
• 조화 분석 기법을 사용하여 대칭 공간 $τ_{n,E}$와 일반선형군 $τ_{n-1,E}$ 사이의 궤도 적분이 일치함을 확립한다.
• 군 $SL_2(F)$의 웰 표현에 대한 불변성에 의해, $τ_{n,E}$와 $τ_{n-1,E}$의 정수점들의 특성 함수가 궤도 적분 하에서 일치함을 보인다.

제안 방법

• 대칭 공간 $τ_{n,E} = \{X \in \mathfrak{gl}_{n,E} \mid X = {}^tX^\sigma\}$와 유니타리 군 $τ_{n-1,E} = \{g \in \mathrm{GL}_{n-1,E} \mid {}^tg^\sigma g = I_{n-1}\}$를 정의하고, 그들이 코너지션 작용으로 작용한다.
• 궤도 적분의 $\mathrm{GL}_{n-1}(F)$-불변성을 확보하기 위해 전이 인자 $\omega(Y)$를 포함한 왜곡된 궤도 적분 $O(X,f)$와 $O(Y,f')$를 도입한다.
• 군 $SL_2(F)$의 웰 표현을 사용하여 궤도 적분에 작용하고, 차이 함수 $\Phi = O(\cdot, \mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)}) - O(\cdot, \mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)})$가 그 작용에 대해 불변임을 보인다.
• 장의 결과를 활용하여 스무스 전이가 푸리에 변환과 호환됨을 이용하여, 웰 표현이 두 궤도 적분 공간에 동일하게 작용함을 보인다.
• 비자명한 덧셈 문자 $\psi$의 성질을 이용하여 어떤 $t$에 대해 $\psi(tq(a)) \neq 1$임을 보이고, 이에 따라 $\Phi(a) = 0$임을 유도함으로써, 정칙 준단순 원소들의 조밀한 열린 부분집합에서 $\Phi$가 0이 됨을 증명한다.

실험 결과

연구 질문

• RQ1 리 대수 $\mathfrak{h}_n$의 정수점들의 특성 함수가 궤도 적분 대응 하에서 $\mathfrak{gl}_n$의 그것과 일치하는가?
• RQ2 전역적 또는 트레이스 공식 방법 대신 웰 표현과 푸리에 변환 호환성을 이용하여 기본논법을 증명할 수 있는가?
• RQ3 모든 매칭 가능한 정칙 준단순 원소에 대해, $\mathfrak{h}_n$ 상의 특성 함수의 궤도 적분이 $\mathfrak{gl}_n$ 상의 그것과 같은가?

주요 결과

• 궤도 적분 대응 하에서 특성 함수 $\mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)}$와 $\mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)}$가 일치한다.
• 차이 함수 $\Phi = O(\cdot, \mathbf{1}_{\mathfrak{gl}_n(\mathcal{O}_F)}) - O(\cdot, \mathbf{1}_{\mathfrak{h}_n(\mathcal{O}_F)})$는 군 $SL_2(F)$의 웰 표현에 대해 불변이다.
• 모든 $a \in \mathcal{A}^{\mathrm{rs}}(F)$에 대해 $q(a) \neq 0$이면, 어떤 $t \in F$에 대해 $\psi(tq(a)) \neq 1$이면 $\Phi(a) = 0$이 되며, 이는 조밀한 열린 부분집합에서의 0을 유도한다.
• 군 $SL_2(F)$의 작용에 대한 $\Phi$의 불변성과 $\psi$의 비자명성 조건을 결합하면 $\Phi \equiv 0$임을 유도할 수 있으며, 이로써 기본논법이 증명된다.