[논문 리뷰] Unicity of types for supercuspidals

Vytautas Paškūnas|ArXiv.org|2003. 06. 06.

Advanced Algebra and Geometry참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $F$가 비아르키메데스 현지체일 때 $\mathrm{GL}_N(F)$의 초초속표현에 대해 유일한 유형(type)을 확립한다. 모든 부드러운 기약 초초속표현 $\pi$에 대해, 최대 컴acts부분군 $K = \mathrm{GL}_N(\mathfrak{o}_F)$의 유일한(동형을 제외한 유일한) 기약 표현 $\tau$가 존재하여 $(K, \tau)$가 관성 등가류 $\mathfrak{I}(\pi)$의 유형이 되며, $\pi|_K$에서 $\tau$가 중복도 1로 나타난다. 이 결과는 $N=2$인 경우에 대한 이전 연구를 확장하며, 관성 유형을 통해 국소 랭랜드 상응관계에 대한 자연스러운 연결을 제공한다.

ABSTRACT

Let $F$ be a non-Archimedean local field, with the ring of integers $\mathfrak{o}_F. Let $G=GL_N(F)$, $K=GL_N(\mathfrak{o}_F)$ and $π$ a supercuspidal representation of $G$. We show that there exist a unique irreducible smooth representation $τ$ of $K$, such that the restriction to $K$ of a smooth irreducible representation $π'$ of $G$ contains $τ$ if and only if $pi'$ is isomorphic to $π\otimesχ\circ\det$, where $χ$ is an unramified quasicharacter of $F^{ imes}$. Moreover, we show that $π$ contains $τ$ with the multiplicity 1. As a corollary we obtain a kind of inertial local Langlands correspondence.

연구 동기 및 목표

• 초초속표현 $\mathrm{GL}_N(F)$에 대해 유형의 유일성을 확립하며, $N=2$인 경우의 이전 결과를 확장한다.
• 각 초초속표현의 관성 등가류 $\mathfrak{I}(\pi)$에 대해 자연스러운 관성 유형 $\tau$를 정의한다.
• $\tau$가 $\pi|_K$에 중복도 1로 나타나며, 이는 잘 정의된 상응관계를 보장한다.
• $K = \mathrm{GL}_N(\mathfrak{o}_F)$로의 제한을 통해 초초속표현에 대해 자연스러운 관성 국소 랭랜드 상응관계를 구성한다.

제안 방법

• Bushnell–Kutzko 이론에 의한 초초속표현의 분류를 사용하여, $\pi$를 중심에 대해 컴acts인 부분군에서 컴팩트 유도된 것으로 표현한다.
• 맥케이의 분해를 적용하여 $\pi|_K$를 분석하고, 이중 코스에 의한 유도 표현으로 분해한다: $Kg\mathfrak{K}(\mathfrak{A})$.
• 정리 3.1을 사용하여 항등원을 포함하는 이중 코스에서 유래하는 표현을 유형 $\tau$로 식별한다.
• 단순 스트라타와 단순 문자의 성질을 이용한 상호작용 이론을 활용하여, 다른 기약 합성항이 유형이 되는 것을 배제한다.
• 특성 (A)와 (B)를 갖는 이중 코스를 기반으로 경우를 구분하며, 정리 6.16, 7.3, 7.14, 7.16을 통해 유형이 될 수 있는 것은 항등원을 포함하는 이중 코스뿐임을 증명한다.
• 관성 상응관계와 국소 랭랜드 상응관계를 사용하여 $\tau(\varphi)$가 Weil–Deligne 표현 $\mathrm{WD}(\pi)|_{I_F}$와 관련됨을 밝힌다.

실험 결과

연구 질문

• RQ1 초초속표현의 관성 등가류 $\mathfrak{I}(\pi)$를 나타내는 $K = \mathrm{GL}_N(\mathfrak{o}_F)$의 기약 표현 $\tau$가 유일하게 존재하는가?
• RQ2 유형 $\tau$는 $\pi$의 구조와 $K$로의 제한으로부터 자연스럽게 구성될 수 있는가?
• RQ3 $\pi|_K$에서 표현 $\tau$가 중복도 1로 나타나는가? 이는 유일성과 유한성을 보장한다.
• RQ4 이러한 유형 구성은 초초속표현에 대해 자연스러운 관성 국소 랭랜드 상응관계를 정의하는 데 사용될 수 있는가?
• RQ5 맥케이 분해에서 $\pi|_K$의 이중 코스 $Kg\mathfrak{K}(\mathfrak{A})$는 유형이 될 수 있는지 여부에 어떤 영향을 미치는가?

주요 결과

• $\mathrm{GL}_N(F)$의 모든 매끄러운 기약 초초속표현 $\pi$에 대해, 최대 컴팩트 부분군 $K = \mathrm{GL}_N(\mathfrak{o}_F)$의 기약 표현 $\tau$가 존재하여 $(K, \tau)$가 관성 등가류 $\mathfrak{I}(\pi)$의 유형이 되며, 이는 동형을 제외한 유일성으로 보장된다.
• $\pi|_K$에서 표현 $\tau$가 중복도 1로 나타나며, 이는 제한에서의 유형의 유일성과 유한성을 확인한다.
• 유형 $\tau$는 $\operatorname{Ind}_J^K \lambda$로 명시적으로 표현되며, 여기서 $(J, \lambda)$는 단순 스트라타 $[\mathfrak{A}, n, 0, \beta]$와 관련된 단순 유형이며, $\mathbf{U}(\mathfrak{A}) \leq K$이다.
• 이 구성은 자연스러운 관성 국소 랭랜드 상응관계를 유도한다: $I_F$의 프로페니우스-반단순인 $N$차원 표현 $\varphi$에 대해, $\mathrm{WD}(\pi')|_{I_F} \cong \varphi$이면 $\pi'|_K$가 $\tau(\varphi)$를 포함하는 유일한 $\tau(\varphi)$가 존재한다.
• 항등원을 포함하지 않는 이중 코스 $Kg\mathfrak{K}(\mathfrak{A})$는 유형이 되지 않으며, 상호작용 이론과 단순 스트라타의 근사 성질을 조합하여 이를 보였다.
• 이 증명은 Bushnell–Kutzko 이론에 의한 초초속표현의 분류와 $V$ 내의 유도 순서 및 격자 체계의 구조에 의존한다.