[논문 리뷰] Stabilisation de la formule des traces tordue VII: descente globale

Jean-Loup Waldspurger|arXiv (Cornell University)|2014. 09. 03.

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

한 줄 요약

이 논문은 수체 위의 재구성군에 대한 왜곡된 엔도스코피의 맥락에서 왜곡된 추적 공식에 대한 전역 내림림(global descent)을 확립하며, 준단순 내부 왜곡된 군에 대해 안정된 추적 공식이 전역 내림림에 대해 안정됨을 증명한다. 이는 안정된 공轭류를 통한 매개변수화, 하리슈-찬드라의 내림림 방법, 코트위츠의 소멸 증거의 왜곡된 형태에 기반하며, 핵심 결과는 왜곡된 기본 레미마와 이전 연구에서 유도된 보조 정리의 타당성에 의존한다.

ABSTRACT

We begin the proof of the stabilization of the twisted trace formula. Here we prove that almost all "coefficients" appearing in this formula are equal to their endoscopic counterpart. It is the generalization to the twisted case of the result proved by Arthur in his second article on the stabilization of the trace formula.

연구 동기 및 목표

• 수체 위의 준단순 내부 왜곡된 재구성군에 대해 안정된 추적 공식이 전역 내림림에 대해 안정됨을 증명하는 것.
• 안정된 추적 공식에서 왜곡된 것과 아닌 것의 분포 간의 등식을 유한한 예외 공轭류를 제외하고 확립하는 것.
• 직접 공轭류를 식별할 필요 없이 공轭류를 회피하는 매개변수 공간을 통한 안정된 공轭류의 프레임워크를 확장하는 것.
• 라벨레의 작업에서 유도된 코homological 제어를 활용하여 하리슈-찬드라 내림림을 통해 문제를 유니포텐트 분포로 축소하는 것.
• 논리적 의존성을 뒤집어, 왜곡된 엔도스코픽 전이 정리의 기저 사례로 삼아 증명을 완료하는 것.

제안 방법

• 안정된 단순 공轭류를 분류하기 위해 전역 매개변수 공간 $\mathbf{Stab}(\tilde{G}(F))$ 를 도입하여 직접 공轭류 식별이 필요 없이 전역 매개변수화를 가능하게 한다.
• 라벨레의 작업에서 다루어진 왜곡된 토르의 코homology에 의해 제어되는, 전역 하리슈-찬드라 내림림을 적용하여 문제를 유니포텐트 분포로 축소한다.
• 왜곡된 엔도스코피에 대한 가중 기본 레미마(차우도르-로모)와 코트위츠의 소멸 증거의 왜곡된 형태를 사용하여 왜곡된 맥락에서 내림림을 처리한다.
• 비표준 엔도스코픽 삼중항을 사용하여 왜곡된 장애를 제거하고 비왜곡된 엔도스코픽 전이로 문제를 축소한다.
• 특히 [VI] 5.6 정리와 같은 이전 연구 결과를 기반으로 한 재귀적 추론을 사용하여 남은 케이스를 해결한다.
• 섹션 9에서 논리 흐름을 뒤집어, [VI] 5.4 정리를 기저 사례로 삼아 [VI] 5.6 정리를 증명함으로써 귀납의 순환을 완성한다.

실험 결과

연구 질문

• RQ1 왜곡된 엔도스코픽 군에 대해 안정된 추적 공식이 전역 내림림에 대해 불변이 되는 조건은 무엇인가?
• RQ2 직접 공轭류 데이터가 필요 없이 안정된 단순 공轭류를 분류할 수 있는 전역 매개변수 공간은 어떻게 정의할 수 있는가?
• RQ3 비표준 엔도스코픽 삼중항은 왜곡된 추적 공식의 안정화에 어떤 역할을 하는가?
• RQ4 등식 $A^{{\tilde{G}},{\cal E}}(V,{\cal O}_V,\omega) = A^{{\tilde{G}}}(V,{\cal O}_V,\omega)$ 가 실패하는 경우는 언제이며, 유한한 수정을 통해 복구할 수 있는가?
• RQ5 왜곡된 기본 레미마와 코트위츠의 소멸 원리가 전역적, 왜곡된 맥락에 어떻게 적응될 수 있는가?

주요 결과

• 정리 [VI] 5.2 가 증명됨: $\mathcal{O}_V$ 가 안정된 단순 공轭류일 경우, 준단순 내부 왜곡된 군에 대해 $SA^{\tilde{G}}(V,{\cal O}_V)$ 는 안정적이다.
• 모든 안정된 단순 공轭류 $\mathcal{O}_V$ 에 대해 제한된 유한한 수의 예외를 제외하고 정리 [VI] 5.4 가 성립하며, 나머지 경우는 정리 [VI] 5.6 으로 해결된다.
• $\mathbf{Stab}(\tilde{G}(F))$ 매개변수 공간은 왜곡된 맥락에서 안정된 단순 공轭류의 전역적, 단사적, 종종 전사적 분류를 제공한다.
• 하리슈-찬드라의 방법을 통한 전역 내림림은 문제를 유니포텐트 분포로 축소하며, 라벨레의 작업에서 유도된 왜곡된 토르의 코homology에 의해 제어된다.
• 증명은 재귀적 구조에 의존한다: 정리 [VI] 5.4 는 정리 [VI] 5.6 을 함의하고, 그 반대도 마찬가지이며, 모든 재귀 단계가 확인되면 전체 순환 구조가 완성된다.
• 최종 등식 $I^{\tilde{G}}(\underline{A}^{\tilde{G},{\cal E}}(V,\mu,\omega_{\bar{G}}),f) = I^{\tilde{G}}(A^{\tilde{G}}(V,{\cal X}),f)$ 가 확립되며, 이는 $X(f) = 0$ 을 의미하여 원하는 분포 등식이 증명된다.