[논문 리뷰] Paramètres de Langlands et Algèbres d'entrelacement

Volker Heiermann|ArXiv.org|2009. 05. 26.

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

한 줄 요약

이 논문은 고전적 p진군에서 리만 부분군의 기저 초초기 표현에 대응하는 유도 표현의 상호연결 대수를, 그의 랭랜즈 매개변수 $(\psi, \epsilon)$ 를 사용하여 명시적으로 결정한다. 주요 결과는 이 대수를 랭랜즈 자료에서 유도된 매개변수를 가진 일반화된 헤케 대수로 식별함으로써, 이전의 부분표현 결과를 전체 유도 표현으로 확장한다.

ABSTRACT

Let G be a classical p-adic group and $(ψ,ε)$ the Langlands parameter of an irreducible supercuspidal representation of a Levi subgroup of G. Using data from $(ψ,ε)$, we determine explicitly the intertwining algebra of the representation which is induced from the orbit of the supercuspidal representation associated to $(ψ,ε)$.

연구 동기 및 목표

• 고전적 p진군에서 초기 표현의 궤도로부터 유도된 표현의 상호연결 대수를 결정하기 위해.
• 이 대수를 초기 표현의 랭랜즈 매개변수 $(\psi, \epsilon)$ 를 통해 명시적으로 표현하기 위해.
• 이전의 부분표현에 대한 결과를 전체 유도 표현 $i_P^G E_B$ 로 일반화하기 위해.
• 상호연결 대수의 구조와 $(\psi, \epsilon)$ 에 의해 코딩된 기하학적 및 산술적 자료 사이의 정확한 연결 고리를 확립하기 위해.

제안 방법

• 리만 부분군 $M$ 에서의 초기 표현 $\sigma$ 의 랭랜즈 매개변수 $(\psi, \epsilon)$ 를 사용하여 유도 표현 $i_P^G E_B$ 를 정의한다.
• 초기 표현 궤도로 인덱싱된 블록들로 분해된 범주 $Rep(G)$ 의 버네스타인 분해를 활용한다.
• $B = \mathbb{C}[M/M^1]$ 이라 하여 $B$-모듈 $E_B = E \otimes_{\mathbb{C}} B$ 를 구성하고, 특성과의 텐서곱을 통해 $E_B$ 에서 $\sigma_B$ 를 정의한다.
• $M$ 의 작용과 대수 $B$ 를 이용하여 $\mathrm{End}_G(i_P^G E_B)$ 내의 자기형사 $\phi_\chi$, $T_w$, $J_r$ 를 정의한다.
• 궤도 성분들 위에서의 분해 논증을 통해 $B$, $\phi_\chi$, $T_w$, $J_r$ 가 생성하는 대수 $\mathcal{A}$ 가 전체 상호연결 대수와 일치함을 보인다.
• 랭랜즈 매개변수의 $t_i$, $a_i$, $d_i'$ 자료에서 유도된 매개변수를 가진 일반화된 헤케 대수의 구조를 적용한다.

실험 결과

연구 질문

• RQ1 유도 표현 $i_P^G E_B$ 의 상호연결 대수는 초기 표현의 랭랜즈 매개변수 $(\psi, \epsilon)$ 를 통해 어떻게 명시적으로 묘사될 수 있는가?
• RQ2 $\mathrm{End}_G(i_P^G E_B)$ 의 정확한 대수적 구조는 무엇이며, 일반화된 헤케 대수와 어떻게 관련되어 있는가?
• RQ3 $T_w$, $J_r$, $\phi_\chi$ 는 상호연결 대수 내에서 어떻게 상호작용하며, 어떤 관계를 만족하는가?
• RQ4 서브표현 $i_P^G E_{B_{\mathcal{O}}}$ 에 대해 알려진 부분대수의 구조로부터 전체 상호연결 대수를 재구성할 수 있는가?
• RQ5 $t_i$, $a_i$, $d_i'$ 는 헤케 대수의 매개변수를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 상호연결 대수 $\mathrm{End}_G(i_P^G E_B)$ 는 랭랜즈 매개변수 $(\psi, \epsilon)$ 에서 유도된 매개변수를 가진 일반화된 헤케 대수와 동형이며, 특히 $t_i$, $a_i$, $d_i'$ 를 포함한다.
• 이 대수는 $B$-작용, 자동형사 $\phi_\chi$, 연산자 $T_w$, $J_r$ 에 의해 생성되며, $T_s J_r = J_{r^{-1} s r} T_s$ 와 $J_r^2$ 가 스칼라임을 포함한 관계를 만족한다.
• $t_i \frac{a_i + a_{i-}}{2}$ 는 항상 정수이며, 이는 헤케 구조의 대수적 일관성을 보장한다.
• 대수 $\Lambda$ 가 $M/M^1$ 의 진부분격자이므로, $\Lambda$ 가 전체 쌍대격자를 생성하지 않기 때문에 이 대수는 루스지츠의 의미에서 표준 헤케 대수가 아니다.
• $i_P^G E_B$ 가 성분들 $i_P^G E^{\underline{j}}$ 로 분해됨에 따라, 자기형사 $\Phi$ 는 $b_{m_{\underline{i}}}^{-1} \sum b_{r,w}^{\underline{i}} J_r^{\underline{i}} T_w^{\underline{i}}$ 의 $\mathbb{C}$-선형 조합으로 재구성될 수 있으며, 이는 대수가 지정된 연산자들에 의해 생성됨을 증명한다.
• $\phi_\chi$ 가 $B$ 에 작용할 때 $\phi_\chi b_m = \chi(m) b_m \phi_\chi$ 를 만족하고, $\phi_\chi$ 는 $T_w$ 와 $J_r$ 와 교환되므로 헤케 구조와의 호환성이 보장된다.