[논문 리뷰] Stabilisation de la formule des traces tordue X: stabilisation spectrale

Colette Mœglin, Jean-Loup Waldspurger|arXiv (Cornell University)|2014. 12. 09.

Advanced Algebra and Geometry참고 문헌 20인용 수 9

한 줄 요약

이 논문은 유한한 장소 집합 외부에서 비분비적 히케 아이겐밸류를 갖는 자동형 표현에 대해 고정된 무한소적 특성과 함께 정밀한 스펙트럴 전이 항등식을 확립하여 비틀린 트레이스 공식의 안정화를 완료한다. 기하적 감소와 스펙트럴 분석을 사용하여, 비틀린 자동형 표현의 트레이스가 엔도스코픽 군 위의 안정된 트레이스에 대한 가중합과 같음을 증명한다. 핵심 혁신은 인접 군의 특성에 의한 정밀화로, 비자명한 엔도스코픽 원소에 의한 장애를 해결한다.

ABSTRACT

It is the last paper of a long series. We present the spectral side of the twisted trace formula and its stable version. Using the method of Arthur, we finish the proof of the stabilization of the two sides of this twisted trace formula.

연구 동기 및 목표

• 비틀린 트레이스 공식의 안정화를 완료하기 위해 마지막 스펙트럴-기하 불일치를 해결하는 것.
• 비자명한 비분비적 원소를 포함하는 엔도스코픽 자료가 직접 스펙트럴 감소를 방해할 때 발생하는 장애를 다루는 것.
• 첨단 군의 자동형 특성의 통합을 통해 스펙트럴 전이 항등식을 정밀화하여 모든 장소에서의 호환성을 보장하는 것.
• 일부 유한 장소에서 커퍼스피드 성분이 0인 함수에 대해, 문자별 스펙트럴 전이를 통해 비틀린 트레이스 공식이 안정화됨을 증명하는 것.
• 첨단 군의 작용에 대해 불변이면서 랑글랜즈의 비아르키메데스 함수성과 호환되는 스펙트럴 전이 항등식을 수립하는 것.

제안 방법

• 유한한 장소 집합 $V$ 를 $V_{\text{ram}}$ 에 포함시키고, $V$ 외부에서 비분비적인 함수로 제한함으로써 불변성과 안정성을 확보한다.
• $\pi^{\tilde{G}}_{\nu}[c^V]$ 를 고정된 무한소적 특성 $\nu$ 와 $V$ 외부에서 비분비적 히케 아이겐밸류 $c^V$ 를 갖는 이산 스펙트럼 내의 $\omega$-표현의 합으로 정의한다.
• 좌변의 트레이스가 $\mathbf{G}'$ 에 대해 매칭되는 자동형 특성 $\chi_\sharp$ 를 갖는 엔도스코픽 자료에 대한 합과 일치하는 정밀한 스펙트럴 전이 항등식(식 3)을 증명한다. 이는 $(G/Z(G)^\theta)(\mathbb{A}_F)$ 의 작용을 사용한다.
• 군 작용을 통해 어떤 성분 $f_v$ 가 영이 되는 경우로 감소시켜, 펠레이-위너 이론의 적용을 가능하게 한다.
• 장소 $v \in V$ 에서 $\chi_\sharp$ 가 자명한 곳에서 함수를 바꾸어, $1_{\tilde{K}_v}$ 를 $g_\sharp$ 에 대한 타원형 합으로 대체함으로써 트레이스를 유지하고, 커퍼스피드 성분이 사라지게 한다.
• 이전 논문들에서 얻은 기하적 감소를 활용하여 문제를 가중된 국소 적분과 궤도 적분의 엔도스코픽 전이로 감소시킨다.

실험 결과

연구 질문

• RQ1 엔도스코픽 자료에 비자명한 비분비적 원소가 포함될 경우, 비틀린 트레이스 공식의 스펙트럴 측면이 어떻게 안정화될 수 있는가?
• RQ2 이산 스펙트럴 분포와 기하 항목 간의 불일치를 해결하기 위해 스펙트럴 전이 항등식이 어떻게 정밀화되어야 하는가?
• RQ3 스펙트럴 전이가 첨단 군 $ (G/Z(G)^\theta)(\mathbb{A}_F) $ 의 작용과 호환되도록 할 수 있으며, 이는 어떤 방식으로 장애를 제거하는가?
• RQ4 커퍼스피드 성분이 유한한 장소에서 0인 함수에 대해 스펙트럴 전이 항등식이 유효한가? 이는 일반 케이스를 증명하는 데 어떻게 활용될 수 있는가?
• RQ5 첨단 군에서의 특성 $\chi_\sharp$ 는 스펙트럴 전이를 어떻게 정밀화하며, 공식의 안정화에서 그 역할은 무엇인가?

주요 결과

• 논문은 식 (3)을 증명한다. 이는 문자별 스펙트럴 전이 항등식으로서, $ \text{tr}\, \pi^{\tilde{G}}_{\nu,\chi_\sharp}[c^V](f) = \sum_{\mathbf{G}'; \omega_\sharp^{\mathbf{G}'} = \chi_\sharp} i(\tilde{G}, \mathbf{G}') \text{tr}\, \pi^{G'}_{\nu,\text{st}}[c^V](f^{\mathbf{G}'}) $ 이며, 이는 비틀린 트레이스 공식의 안정화를 보장한다.
• 정밀한 전이가 모든 함수 $ f = f_V \cdot 1_{\tilde{K}^V} $ 에 대해 성립하며, 이는 어떤 성분 $ f_v $ 가 커퍼스피드 성분이 0인 경우로 감소시켜 펠레이-위너 이론을 적용할 수 있도록 함으로써 증명된다.
• $(G/Z(G)^\theta)(\mathbb{A}_F)$ 의 스펙트럴 측면에서의 작용은 유한한 자동형 특성 $ \chi_\sharp $ 로 분해되며, 각각은 유일한 엔도스코픽 자료 $ \mathbf{G}' $ 와 대응되어 호환성을 보장한다.
• $ f_v $ 를 $ \gamma \mapsto \sum_{g_\sharp} 1_{\tilde{K}_v}(\text{ad}(g_\sharp)\gamma) \chi_\sharp^{-1}(g_\sharp) $ 로 바꿈으로써, 새로운 함수는 $ v $ 에서 커퍼스피드 성분이 사라지게 되어 전이가 검증 가능해진다.
• 증명은 식 (3)의 좌변과 우변의 차이가 $ \omega $-표현의 이산 합임을 확인함으로써, 스펙트럴 전이가 안정적이고 기하학적으로 일관됨을 입증한다.
• 스펙트럴 정밀화와 기하적 감소를 조합함으로써, 랑글랜즈와 아서가 시작한 프로그램의 마지막 장애를 해결함으로써, 안정화 과정을 완성한다.