[논문 리뷰] Stabilisation de la formule des traces tordue I: endoscopie tordue sur un corps local

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

Esophageal and GI Pathology참고 문헌 8인용 수 16

한 줄 요약

이 논문은 특성 0인 국소체 위에서 비틀린 엔도스코피의 기초 도구를 수립하며, 비틀린 트레이스 공식 안정화의 기하학적 측면에 초점을 맞춘다. 기존의 준비밀 그룹 $G^*$ 대신 비틀린 공간을 사용하여 엔도스코픽 데이터를 재정의하고, 보조 데이터에 종속되지 않는 보편적인 극한 구조를 통한 전이 인자 정의를 제안하며, 안정적 공轭류의 갈로아 호환성을 확보함으로써 향후 비틀린 설정에서의 트레이스 공식 안정화를 위한 통합적 프레임워크를 제공한다.

ABSTRACT

This is the first of a series of papers devoted to the stabilization of the twisted trace formula. It is just an introduction. We present the local theory of twisted endoscopy, following the fundamental works of Kottwitz-Shelstad, Labesse and Shelstad. Our presentation is partly new because we try to give canonical definitions of the basic objects, which are more usually defined using auxiliary data. We prove also some results about the image of endoscopic transfer and about the dual transfer of stable distributions whose support is a finite set of stable conjugacy classes.

연구 동기 및 목표

• 특성 0인 국소체 위에서 비틀린 엔도스코피를 보편적이고 기하학적인 프레임워크로 공식화하여 기존의 $G^*$ 접근 방식을 대체한다.
• 중간군인 $G^*$와 같은 비보편적이고 갈로아 호환성이 없는 대응관계가 발생하는 문제를 해결한다.
• 모든 보조 데이터에 대해 전이 인자의 보편적 극한을 정의하여 데이터 변화에 대해 불변성을 확보한다.
• 비틀린 공간의 안정적 공轭류 클래스와 그 엔도스코픽 대응체 사이의 갈로아 호환 대응관계를 확립한다.
• 기하 분포와 그 전이를 체계화함으로써 비틀린 트레이스 공식의 완전한 안정화를 위한 기초를 마련한다.

제안 방법

• 기존의 쌍 $(G, \theta)$ 대신 자동형사 $\theta$를 갖는 비틀린 공간 $\tilde{G}$ 를 도입한다.
• 엔도스코픽 데이터 $\mathbf{G}' = (G', \mathcal{G}', \tilde{s})$ 를 정의하고, 엔도스코픽 군 $\tilde{G}'$ 의 보편적 구성법을 제시한다.
• 중간 준비밀 군 $G^*$ 를 대체하기 위해 자연스러운 갈로아 작용을 지닌 $G$ 의 최대 토러스인 갈로아 모듈 $T^*$ 로 대체한다.
• 모든 보조 데이터 $G'_1$ 에 대해 전이 인자의 극한의 추상적 체계를 구성하여 보편적 대상 $C_c^\infty(\mathbf{G}')$ 을 도출한다.
• 사타케 동형사를 이용하여 극한 대수 $\mathcal{H}'$ 를 $\widehat{\mathcal{H}}'$ 와 동일시함으로써 전이의 기하학적 해석을 가능하게 한다.
• $\omega$-호환 기하 분포를 정의하고, 전이에 대한 핵을 규명하며, 내림내림과 트레이스 공식 적용에 핵심적인 역할을 한다.

실험 결과

연구 질문

• RQ1 비틀린 엔도스코피를 어떻게 체계화할 수 있을까? 이는 갈로아 호환성을 유지하고 $G^*$ 와 같은 비보편적 군에 의존하지 않도록 해야 한다.
• RQ2 비틀린 공간에 대한 엔도스코픽 데이터의 보편적 구성은 무엇이며, 기존의 코트비츠-셸스타드 프레임워크와 어떻게 다를까?
• RQ3 보조 데이터의 변화에 따라 전이 인자는 어떻게 행동할 수 있을까? 그리고 이들을 하나의 보편적 대상으로 통합할 수 있을까?
• RQ4 안정적 공轭류 유한 개에 지지된 기하 분포에 대한 전이 사상의 구조는 어떠한가?
• RQ5 보조 선택에 의존하지 않으며 갈로아 작용을 존중하는 형식을 사용하여 비틀린 트레이스 공식을 안정화시킬 수 있을까?

주요 결과

• 다양한 데이터 세트 간의 동형사에 의해 유도되는 보조 데이터에 독립적인 보편적 극한 대상 $C_c^\infty(\mathbf{G}')$ 이 구성된다.
• $G^*$ 는 비틀린 엔도스코피에 부적합하다는 것이 입증되며, 이는 $\tilde{G}$ 와 $\tilde{G}^*$ 의 안정적 공轭류 클래스 사이에 보편적, 갈로아 호환성 있는 대응관계가 존재하지 않기 때문이다.
• $G$ 의 최대 토러스 $T^*$ 는 자연스러운 갈로아 작용을 지니며, $G^*$ 의 핵심 대체 요소로 식별되며 보편적이고 호환성 있는 구조를 제공한다.
• 보조 데이터의 변화에 관계없이 극한에서 고려할 경우 전이 인자가 보조 데이터에 독립적임을 보여주며, 궁극적으로 궤도 적분에 대한 보편적 전이 사상이 가능해진다.
• 엔도스코픽 데이터의 자동형사군이 $C_c^\infty(\mathbf{G}')$ 에 작용하는 방식이 명시적으로 기술되며, 특히 함수에 대한 문자열을 통한 비자명한 작용이 포함된다.
• $\omega$-호환 기하 분포에 대한 전이 사상의 핵이 규명되었고, 하리시-찬드라 내림내림의 행동이 분석되었으며, 특히 레나르드와 셸스타드의 결과를 활용해 아르키메데스 경우에서의 성질이 분석되었다.