[논문 리뷰] The fundamental lemma of Jacquet-Rallis in positive characteristics

Zhiwei Yun|arXiv (Cornell University)|2009. 01. 07.

Advanced Algebra and Geometry참고 문헌 16인용 수 31

한 줄 요약

이 논문은 특성 $ n $ 보다 큰 국소 함수체에서 양의 특성에서 리 대수 형태의 Jacquet-Rallis 기본 레미마를 증명한다. 히친 필라션과 히긴스 군의 모듈리 공간에서의 프로베누스 추적 공식을 이용한 전역 기하학적 접근을 통해 이루어지며, 주요 결과는 대칭 공간과 유니타리 군 설정 간의 궤도 적분 항등식을 확립하여 Jacquet-Rallis과 위 쩡의 함수체 버전에 대한 추측을 확인한다.

ABSTRACT

We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups.

연구 동기 및 목표

• 특성 $ n $ 보다 큰 함수체의 경우, 국소 함수체에서 리 대수 형태의 Jacquet-Rallis 기본 레미마를 증명하는 것.
• 시험 함수가 대칭 공간 $ \mathfrak{s}_n(F) $ 와 유니타리 리 대수 $ \mathfrak{u}_n(F) $ 에서 정의된 궤도 적분 항등식을 부호 요소 $ (-1)^{v(A)} $를 제외하고 증명하는 것.
• 군 형태의 레미마를 리 대수 형태로의 환원을 통해 증명하고, 매칭 요소가 존재하지 않을 경우의 영 조건을 확인하는 것.
• 비계산 가능한 국소 궤도 적분을 제어하기 위해, 특히 히친 필라션과 프로베누스 추적 공식을 이용한 전역 기하 기법을 사용하는 것.
• 양의 특성에서 대칭 공간 및 허미트 공간 형태의 레미마에 대한 추측된 항등식을 확인하는 것.

제안 방법

• Ngô 의 Langlands-Shelstad 기본 레미마 증명 전략을 응용하여, 국소 궤도 적분을 전역 코homological 불변량과 연결하는 히친 모듈리 스택을 사용하는 전역-국소 전략을 채택한다.
• 특정 위치 $ x_0 $ 에서 국소 데이터를 모델링하기 위해, 특이성이 분할자 $ D $ 에 의해 제어되는 매끄러운 프로젝티브 곡선 $ X $ 위에 히긴스 배들의 전역 가중치를 구성한다.
• 등식 $ \mathcal{M} \cong \prod_{x \in |X_m|} \mathcal{M}^x_{i_x, a_x, b_x} $ 를 통해 전역 모듈리 공간을 국소 요소로 분해하여 각 점에서 별도로 분석할 수 있도록 한다.
• 레프셰츠 추적 공식을 적용하여 국소 모듈리 공간 $ \mathcal{M}^x_{i_x, a_x, b_x} $ 와 $ \mathcal{N}^x_{a_x, b_x} $ 의 코homology 위에서 프로베누스 추적을 계산하고, 이를 궤도 적분과 연결한다.
• 추적 항등식과 준단순화를 통해 국소 히친 필라어의 코homology와 국소 아핀 스프링거 필라어의 $ \operatorname{Frob}_k $-모듈 간의 동형을 확립한다.
• 모든 점에서 $ x_0 $ 를 제외한 $ \mathcal{M}^x $ 와 $ \mathcal{N}^x $ 는 0차원이므로, 비영 코homology 기여는 오직 $ x_0 $ 에서만 발생하며, 이는 전역 추적 계산을 단순화시킨다.

실험 결과

연구 질문

• RQ1 특성 $ \operatorname{char}(F) > n $ 인 경우, 양의 특성에서 리 대수 형태의 Jacquet-Rallis 기본 레미마가 성립하는가?
• RQ2 함수체 설정에서 군 형태의 레미마는 리 대수 형태로 환원될 수 있는가?
• RQ3 대칭 공간 $ \mathfrak{s}_n(F) $ 과 유니타리 리 대수 $ \mathfrak{u}_n(F) $ 에서의 궤도 적분이 부호 $ (-1)^{v(A)} $를 제외하고 일치하는가?
• RQ4 대칭 공간과 유니타리 군 사이에 매칭 요소가 존재하지 않을 경우 궤도 적분의 영 조건이 일관된가?
• RQ5 히친 필라션의 전역 기하학적 성질을 이용하여 상대 추적 공식의 맥락에서 국소 항등식을 증명할 수 있는가?

주요 결과

• 특성 $ \operatorname{char}(F) > n $ 인 함수체의 경우, 리 대수 형태의 Jacquet-Rallis 기본 레미마가 증명되었으며, 이는 추측 1.1.1(1)을 확인한다.
• 군 형태의 레미마는 리 대수 형태로의 환원에 의해 임의의 체에서 유효한 감소 추론을 통해 증명되었으며, 이를 제2.6.1조에서 보였다.
• 매칭 요소가 존재하지 않을 경우 궤도 적분의 영 조건은 상쇄 메커니즘을 통해 확립되었으며, 이를 제2.5.3조에서 보였다.
• 히친 필라션 위의 전역 코homological 추적 공식은 국소 모듈리 공간 $ \mathcal{M}^x $ 과 $ \mathcal{N}^x $ 의 코homology 사이의 $ \operatorname{Frob}_k $-모듈 간의 동형을 유도하며, 이는 동일한 프로베누스 추적을 이끈다.
• 모든 $ j \geq 0 $ 에 대해 국소 모듈리 공간의 코homology 위에서 $ \operatorname{Frob}_k^m $ 의 추적은 $ \operatorname{Tr}(\operatorname{Frob}_k^m, M^j_0) = \operatorname{Tr}(\operatorname{Frob}_k^m, N^j_0) $ 를 만족하며, 준단순화된 $ \operatorname{Frob}_k $-모듈 간의 동형을 암시한다.
• 특히 $ \operatorname{Frob}_k^2 $-작용이 유니폴턴트 부분을 결정하므로, $ M^j_0 $ 와 $ N^j_0 $ 이 $ \operatorname{Frob}_k^2 $-모듈로서 동형이므로 전체 $ \operatorname{Frob}_k $-모듈도 동형이 되며, 이로써 증명이 완료된다.