[논문 리뷰] Stabilisation de la formule des traces tordue III: intégrales orbitales et endoscopie sur un corps local non-archimédien; réductions et preuves

Jean-Loup Waldspurger|arXiv (Cornell University)|2014. 02. 12.

Spectral Theory in Mathematical Physics참고 문헌 2인용 수 9

한 줄 요약

이 논문은 비아르키메데스 현지체 위의 재조합군에 대한 비틀린 트레이스 공식의 안정화를 증명함으로써, 정규성 조건 하에서 비틀린 가중 궤도 적분과 그 내경성 대응체의 등식을 확립한다. 전역적 방법, 진균 전개, 내림내림 기법을 사용하여, 비표준 내경성 삼중체가 발생하는 경우를 포함해 일반적인 경우를 더 작은 군으로 줄이고, 귀납법과 재귀적 내림내림을 통해 핵심 등식을 증명함으로써 비틀린 내경성 전이의 기초가 되는 기본 등식을 확인한다.

ABSTRACT

This is one of a series of articles, in collaboration with C. Moeglin, whose goal is to stabilize the twisted trace formula. In the previous article, we have stated several assertions about the stabilization of weighted orbital integrals over a non-archimedean field. Those integrals depend on a conjugacy class in our twisted space. Here we deduce all these assertions from a unique one, where the conjugacy class is assumed to be strongly regular.

연구 동기 및 목표

• 비아르키메데스 현지체 위의 재조합군에 대한 비틀린 트레이스 공식의 안정화를 증명한다.
• 분포의 지지체에 강한 정규성 조건이 만족될 경우, 비틀린 가중 궤도 적분과 그 내경성 대응체 간의 등식을 확립한다.
• 특히 비틀린 설정에서 발생하는 비표준 내경성 삼중체를 다루며, 귀납법과 내림내림을 통해 일반적인 경우를 더 작은 군으로 줄인다.
• 진균 전개와 전이 사상에 관여하는 핵심 등식을 증명하여 내경성 이론을 비틀린 경우로 확장한다.
• 강한 정규성 조건이 성립하지 않을 경우, 극한 추론과 점근 전개를 사용하여 정리 [II] 1.16의 증명을 완성한다.

제안 방법

• 강한 정규 지지체를 가진 경우에 내경성 및 비내경성 적분 간의 등식을 보장하는 핵심 가정 (Hyp)을 증명하기 위해 전역적 방법을 사용한다.
• 샤리카 이론에서 유래한 진균 전개 기법을 적용하여 항등원 근처의 적분 행동을 분석하고, 리 군의 리 대수의 루트에 따라 인덱싱된 항들로 분해한다.
• 특히 비틀린 군의 준동치자에 대한 중심화자를 고려하여, 문제를 더 작은 군으로 줄이기 위해 내림내림 기법을 활용한다.
• 비틀린 설정에서 내경성 전이와 내림내림을 결합할 때 나타나는 '비표준 내경성 삼중체'를 도입하고 이를 다룬다.
• 군의 차원에 대한 재귀적 귀납법을 적용하여, 중심화자의 랭크가 낮아지는 경우로 문제를 줄인다.
• 특히 비순환 경우에서 내림내림과 내경성 전이의 호환성을 고려하여 전이 사상 이론에 의존한다.

실험 결과

연구 질문

• RQ1 내경성 전이가 비틀린 궤도 적분과 원래 적분이 일치하는 조건은 무엇인가?
• RQ2 비틀린 설정에서 내림내림과 내경성을 결합할 때 비표준 내경성 삼중체가 나타나는 경우를 어떻게 다룰 수 있는가?
• RQ3 진균 전개가 비틀린 트레이스 공식의 안정화에서 어떤 역할을 하는가?
• RQ4 극한 추론을 통해 강한 정규성 경우에서 일반 경우로 적분의 등식이 어떻게 확장되는가?
• RQ5 내림내림 방법은 비틀린 경우에서 안정화 문제를 어떻게 더 작은 군으로 줄이는가?

주요 결과

• 가정 (Hyp) 하에, 모든 $ \boldsymbol{\nu} $에 대해 $ \tilde{G} $-등치지지체를 가진 경우 $ I_{\tilde{M}}^{\tilde{G},{\bf E}}(\boldsymbol{\nu},{\bf f}) = I_{\tilde{M}}^{\tilde{G}}(\boldsymbol{\nu},{\bf f}) $ 가 성립한다.
• 최대 아벨 군 $ A_{\tilde{M}}(F) $ 내에서 $ a \to 1 $ 일 때의 극한 과정은 $ \log|\alpha(a) - \alpha(a)^{-1}|_F $ 비례하는 항들을 포함하는 점근 전개로 이어지며, 이는 내경성 및 비내경성 항 간의 차이가 사라지게 한다.
• 유도와 내림내림을 통해 모든 루트 $ J $, 특히 최대 루트에 대해서도 $ \rho_J^{{\cal E}}(\boldsymbol{\gamma},a)^{\tilde{G}} = \rho_J(\boldsymbol{\gamma},a)^{\tilde{G}} $ 가 증명되어 안정화 논증을 완성한다.
• $ \tilde{G} = G $ 이고 비틀림이 자명한 경우, 준동치자의 구조를 이용하여 군의 랭크에 대한 귀납법으로 결과를 확립한다.
• 비자명한 비틀림의 경우, 준동치자의 중심화자에 대한 중립 성분으로 문제를 줄이며, 여기에 비비틀린 이론이 적용된다.
• 최종적으로 재귀적 내림내림과 진균 분석을 통해 모든 관련 분포에 대해 핵심 등식을 증명함으로써 비틀린 트레이스 공식의 안정화가 완전히 확인된다.