[논문 리뷰] Stabilisation de la formule des traces tordue II: intégrales orbitales et endoscopie sur un corps local non-archimédien; définitions et énoncés des résultats

Jean-Loup Waldspurger|arXiv (Cornell University)|2014. 01. 28.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 비아르키메데스 현지체의 맥락에서 비틀린 엔도스코피와 가중 궤도 적분에 대한 기초 정의와 핵심 결과를 수립하며, 비틀린 추적 공식의 안정화를 목표로 한다. 비정칙 준정규 원소(예: 항등원)에서 가중 궤도 적분을 대칭적인 근의 처리 방식을 통해 재정의함으로써, 유도와 엔도스코픽 전이와의 호환성을 확보하고, 향후 국소적 방법과 아르투어 이론을 통한 증명을 위한 핵심 안정화 추측을 제시한다.

ABSTRACT

It is the second article of a series whose final goal is the stabilization of the twisted trace formula. Over a non archimedean field, we define (after Arthur) wheighted orbital integrals and their stable and endoscopic versions. We state the main theorems that will be proved in the following articles. We begin to study the local properties of our integrals, for instance expansion in Shalika germs.

연구 동기 및 목표

• 비아르키메데스 현지체에서 비틀린 추적 공식의 기하 측면에서 가중 궤도 적분과 그 엔도스코픽 전이를 정의하기 위해.
• 아르투어의 정의에서 비등치형 원소(예: 항등원)에서의 모호함을 해결하기 위해 계수를 여러 근에 균일하게 분배함으로써, 유도와 엔도스코픽 전이와의 호환성을 확보하기 위해.
• 특히 정리 1.10과 1.16을 포함한 주요 안정화 추측을 증명 없이 제시하여, 향후 국소적 추론의 기반을 마련하기 위해.
• 근 시스템의 대칭적 처리를 통해 정의가 유도와 엔도스코픽 전이와 호환되도록 보장하기 위해.
• 전체 비틀린 추적 공식의 안정화를 위해 필요한 국소적 대상과 그 불변성 성질을 정의함으로써 기초를 마련하기 위해.

제안 방법

• 아르투어의 가중 궤도 적분을 재해석하여, 불가분 근을 우선시하는 대신 계수 $ k_M^G $ 를 여러 근(예: $ \beta $ 와 $ 2\beta $)에 균일하게 분배함으로써 정의를 재구성한다.
• 근 시스템에 대해 함수 $ B $ 의 가중치를 도입하여 $ J_M^G(1,B,f) $ 를 정의함으로써, 근 길이 정규화를 포함하는 일반화된 정의를 제시한다.
• 특수한 보정 항을 포함한 극한 $ \lim_{x \to 0} \left( J_M^G(\exp(H(x)),f) + (k_M^G - k_M^{G_{2\beta}})l_\beta(x) + k_M^{G_{2\beta}}l_{2\beta}(x))I^G(\exp(H(x)),f) \right) $ 을 통해 $ J_M^G(1,f) $ 를 정의하며, 이는 $ \log|2|_F $ 보정 항을 포함한다.
• 엔도스코픽 전이에 이 프레임워크를 적용하기 위해 $ r_{\tilde{M}}^{\tau\tilde{G},{\cal E}} $ 를 정의하고, 토리 간의 $ \xi $-사상과 분포 전이를 연결한다.
• 함수의 씨드가 $ A_{\tilde{M}}(F) $ 에서 $ U_{\tilde{M}}^{\tilde{G}} $ 의 원소와 동치임을 증명함으로써, 엔도스코픽 전이와의 호환성을 확보한다.
• 특수한 $ \xi $-사상에 대한 항의 불변성과 $ \tilde{G}^\prime $-엔도스코픽 자료의 구조를 이용하여, 상수항 수준에서 전이와 안정화가 서로 교환된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 비틀린 엔도스코피의 맥락에서 비정칙 준정규 원소(예: 항등원)에서 가중 궤도 적분을 일관적으로 정의할 수 있는 방법은 무엇인가?
• RQ2 유도와 엔도스코픽 전이와의 호환성을 유지하기 위해 계수 $ k_M^G $ 를 여러 근에 어떻게 분배해야 하는가?
• RQ3 근 길이 정규화(함수 $ B $ 를 통한)는 $ J_M^G(1,B,f) $ 의 정의에 어떻게 영향을 미치며, 안정화 과정에서 그 역할은 무엇인가?
• RQ4 상수항 수준에서 분포의 전이가 안정화 과정과 교환되도록 보장하기 위한 조건은 무엇인가?
• RQ5 함수의 씨드가 $ A_{\tilde{M}}(F) $ 에서 정의될 때, 이는 $ U_{\tilde{M}}^{\tilde{G}} $ 의 원소와 어떻게 관련되며, 이는 엔도스코픽 전이에 어떤 함의를 갖는가?

주요 결과

• 아르투어의 원래 접근법을 수정하기 위해, $ l_\beta(x) $ 와 $ l_{2\beta}(x) $ 를 모두 포함하는 대칭적 극한을 통한 $ J_M^G(1,f) $ 의 재정의가 이루어지며, 이는 $ \log|2|_F $ 보정 항을 포함한다.
• 임의의 유리수 $ b>0 $ 에 대해, $ l\_\beta(bx) $ 와 $ l\_{2\beta}(bx) $ 를 사용하여 새로운 정의 $ J_M^G(1,B,f) $ 가 도입되며, 이는 극한에 $ k_M^G \log|b|_F $ 보정 항을 추가한다.
• 함수 $ B $ 가 근 길이의 제곱에 비례할 경우, 새로운 군 $ G_{2\beta,B} $ 가 정의되며(항상 부분군은 아님), 보정 항이 $ k_M^{G_{2\beta,B}} $ 를 포함하는 새로운 극한 정의 $ J_M^G(1,B,f) $ 가 구성된다.
• 함수 $ a \mapsto \prod_{i=1}^n \log|\alpha_i(a) - \alpha_i(a)^{-1}|_F $ 는 $ U_{\tilde{M}}^{\tilde{G}} $ 에 속함을 증명함으로써, 전이의 씨드가 잘 정의되어 있음을 보장한다.
• 특수한 $ \xi $-사상 하에서 $ \delta' $ 의 전이 상수항이 안정화된 추적 공식의 기대와 일치함을 증명함으로써, $ r_{\tilde{M}}^{\tilde{G},{\cal E}}({\bf M}^\prime, \delta', \tilde{K}) = r_{\tilde{M}}^{\tilde{G}}(\text{transf}^*\delta', \tilde{K}) $ 를 확립한다.
• 안정화 추측(정리 1.10과 1.16)은 향후 국소적 증명을 위한 주장으로 제시되며, 정리 1.10은 아르투어의 결과로부터 유도되고, 정리 1.16는 국소적 추론이 필요하다.