[논문 리뷰] Smooth representations of GL_m(D) VI : semisimple types

Vincent Sécherre, Shaun Stevens|arXiv (Cornell University)|2010. 09. 06.

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

한 줄 요약

이 논문은 비아치메디안 국소체 위의 분할 대수 D에 대한 GL_m(D)의 부드러운 복소 표현의 유형 이론을 완성한다. 각 베르너스타인 분해의 관계 클래스에 대해 단순 유형을 구성하고, 이에 대응하는 헤케 대수들이 유형 A의 애फिन 헤케 대수들의 곱과 동형임을 증명함으로써, 이 구조를 통해 표현 범주가 완전히 분류된다.

ABSTRACT

We give a complete description of the category of smooth complex representations of the multiplicative group of a central simple algebra over a locally compact nonarchimedean local field. More precisely, for each inertial class in the Bernstein spectrum, we construct a type and compute its Hecke algebra. The Hecke algebras that arise are all naturally isomorphic to products of affine Hecke algebras of type A. We also prove that, for cuspidal classes, the simple type is unique up to conjugacy.

연구 동기 및 목표

• 비아치메디안 국소체 위의 GL_n의 내부 형식인 GL_m(D)의 부드러운 복소 표현에 대한 유형 이론을 완성하기 위해.
• 베르너스타인 분해를 통해 부드러운 표현의 범주를 기술하고, 각 관계 클래스에 대해 명시적인 유형을 구성하기 위해.
• 이러한 유형에 관련된 구면 헤케 대수를 계산하고, 그것들이 유형 A의 애फिन 헤케 대수들의 곱과 동형임을 보여주기 위해.
• 단순 유형이 귀납적 관계 클래스에 대해 쌍대 기저에 대해 유일함을 증명하기 위해.
• 스트라타, 단순 특성, 그리고 엔도-클래스 이론을 사용하여 부슈넬–쿠츠코 이론을 일반 선형군의 내부 형식으로 확장하기 위해.

제안 방법

• GL_m(D)의 각 관계 클래스 [L, π]_G에 대해, K는 컴acts열 열린 부분군이고 ρ는 K의 기약 표현인 유형 (K, ρ)을 구성하기 위해.
• 라티스 수열과 관련된 헤케 대수를 통해 단순 스트라타와 단순 특성을 이용해 유형의 커버를 구축하기 위해.
• 엔도-클래스 이론과 ps-특성의 공통 근사치를 적용하여 리만 부분군들 사이에서 일관된 유형을 구성하기 위해.
• 유형의 상호작용과 쌍대 기저에 대한 이론을 활용하여, 구성된 유형이 올바른 표현 부분범주를 생성함을 보장하기 위해.
• 헤케 대수 H(G, τ)와 H(M, λ_M) 사이의 지지 보존 동형을 수립하여 문제를 더 작은 리만 부분군으로 환원하기 위해.
• 단순 성분의 수에 대한 귀납법과 엔도-동치에서 t의 최소성에 기반하여 전체 유형을 재귀적으로 구성하기 위해.

실험 결과

연구 질문

• RQ1 GL_m(D)의 부드러운 복소 표현의 범주는 어떻게 이론적 유형을 통해 완전히 분류될 수 있는가?
• RQ2 GL_m(D)의 유형에 관련된 구면 헤케 대수의 구조는 무엇인가?
• RQ3 GL_m(D)의 귀납적 관계 클래스에 대해 단순 유형은 쌍대 기저에 대해 유일한가?
• RQ4 엔도-동치인 ps-특성과 단순 특성의 공통 근사치는 어떻게 유형을 구성하는 데 기여하는가?
• RQ5 이 설정에서 유도되는 헤케 대수들은 유형 A의 애फिन 헤케 대수들의 곱과 얼마나 유사한가?

주요 결과

• GL_m(D)의 베르너스타인 스펙트럼의 각 관계 클래스에 대해, 그에 대응하는 단순 지지를 가진 표현의 범주가 헤케 대수 H(G, ρ)의 모듈의 범주와 동치가 되는 유형 (K, ρ)이 존재한다.
• 구면 헤케 대수 H(G, ρ)는 자연스럽게 유형 A의 애फिन 헤케 대수들의 유한한 텐서곱과 동형이며, 특히 정수 r_i, f_i와 q_F(잔여체의 원소 수)에 대해 H(r_i, q_F^{f_i})의 형태를 가진다.
• 귀납적 관계 클래스에 대해 단순 유형은 GL_m(D) 내에서 쌍대 기저에 대해 유일하다.
• 유형의 구성은 라티스 수열, 단순 스트라타, 엔도-클래스 근사치를 이용한 재귀적 방법에 기반하며, 최종적으로 헤케 대수의 지지 보존 동형을 이룬다.
• 헤케 대수의 구조는 표현 공간의 분해와 단순 특성의 엔도-클래스 자료로부터 유도된 불변량 r_i, f_i에 의해 완전히 결정된다.
• 결과적으로 부슈넬–쿠츠코 프로그램을 GL_n의 내부 형식으로 확장하여, GL_m(D)의 부드러운 복소 표현의 유형과 헤케 대수를 통한 완전한 분류를 달성한다.