[논문 리뷰] Comparison of Bushnell-Kutzko and Yu's constructions of supercuspidal representations

Arnaud Mayeux|arXiv (Cornell University)|2020. 01. 17.

Advanced Algebra and Geometry참고 문헌 28인용 수 6

한 줄 요약

이 논문은 $GL_N(F)$의 유타임 설정에서 Bushnell-Kutzko의 초초입표현 구축법과 Yu의 비틀린 리 군 수열 방법 사이의 정확한 대응 관계를 확립한다. 각 구축법이 체계적으로 상호 변환 가능함을 보이며, 핵심 결과는 유타임 조건 하에서 두 방법이 생성하는 확장 유형과 단순 문자가 동치임을 보여준다. 명시적인 이분법이 각각의 데이터 세트 사이에 존재한다.

ABSTRACT

We compare precisely and explicitly Bushnell-Kutzko and Yu's constructions of supercuspidal representations. At the end, we draw conclusions and ask a natural question about the existence of a general construction.

연구 동기 및 목표

• 초초입표현의 두 주요 구축법, 즉 Bushnell-Kutzko의 유형 이론적 접근과 Yu의 비틀린 리 군 수열 방법을 조율하는 것.
• 유타임 설정에서 두 구축법이 생성하는 확장 유형과 단순 문자가 동치임을 보이는 것.
• Bushnell-Kutzko의 정의 수열 데이터와 Yu의 비틀린 리 군 수열 데이터 사이의 단계적 번역을 제공하는 것.
• 기본적으로 유타임 표현의 맥락에서 두 구축법 간의 관계를 명확히 하는 것.
• 이 비교를 다른 재구성 군들과 관련된 구축법으로 확장하기 위한 기초를 마련하는 것.

제안 방법

• Bushnell-Kutzko의 구축 과정 각 단계(단순 스트라타, 정의 수열, 단순 문자, $\beta$-확장)에 대해 Yu 데이터의 대응하는 성분을 부여한다.
• 최대 단순 스트라타의 정의 수열에서 시작하여, 체의 계열 $F \to E_0 \to \cdots \to E_s$ 를 사용해 유타임 비틀린 리 군 수열을 구성한다.
• 유타임 단순 문자를 명시적으로 일반 문자 $\boldsymbol{\nu}_i$ 로 분해하여, 각 수준에서 Yu의 문자 데이터와 일치시킨다.
• 핵심 지수 $k_0(\beta, \frak{A})$ 와 스트라타의 동치성을 사용해 수준 간의 호환성을 확보한다.
• Bushnell-Kutzko의 최대 확장 유형 $(E^\times J^0, \theta \rtimes \rho)$ 과 Yu의 확장 유형 $(K^d, \rho_d)$ 사이의 이분법을 수립한다.
• 두 구축법에서 컴act 유도 표현이 동일한 초초입표현을 얻음을 증명한다.

실험 결과

연구 질문

• RQ1 유타임 경우에서 Bushnell-Kutzko의 정의 수열을 어떻게 체계적으로 Yu의 비틀린 리 군 수열로 매핑할 수 있는가?
• RQ2 두 구축법 간의 단순 문자와 일반 문자 사이의 정확한 대응 관계는 무엇인가?
• RQ3 확장 유형 $(E^\times J^0, \theta \rtimes \rho)$ 과 $(K^d, \rho_d)$ 가 언제 일치하는가?
• RQ4 추상적 동형이 아닌 명시적 데이터 번역을 통해 표현의 동치성을 확립할 수 있는가?
• RQ5 이 비교는 비유타임 설정이나 다른 재구성 군으로 얼마나 일반화될 수 있는가?

주요 결과

• 유타임 Bushnell-Kutzko 확장 유형의 집합과 Yu의 확장 유형의 집합 사이에 자연스러운 이분법이 존재한다. 즉, $\text{TameType}_{\text{BK}} = \text{GType}_{\text{YU}}$.
• 유타임 Bushnell-Kutzko 최대 단순 문자의 집합은 Yu가 생성한 문자의 집합과 이분법을 이룬다. 즉, $\text{TameCar}_{\text{BK}} = \text{GCar}_{\text{YU}}$.
• Bushnell-Kutzko의 정의 수열이 주어지면, 그에 대응하는 Yu 데이터를 명시적으로 구성할 수 있으며, 이에 의해 생성된 초초입표현은 서로 동형이다.
• 유타임 단순 문자의 일반 문자로의 분해에 대해 대응관계가 유지되며, 사례 A와 B에서 명시적인 공식이 제공된다.
• 이 구축은 역으로도 가능하다: 주어진 Yu 데이터로부터 Bushnell-Kutzko의 정의 수열과 관련 데이터를 재구성할 수 있다.
• 비교를 통해 Bushnell-Kutzko의 정의 수열에서의 체 포함 관계의 감소가 Yu의 비틀린 리 군 수열의 포함 사슬과 대응됨을 드러내며, 더 깊은 구조적 이중성의 근거를 제공한다.