[논문 리뷰] Opérateurs d'entrelacement et algèbres de Hecke avec paramètres d'un groupe réductif $p$-adique - le cas des groupes classiques

Volker Heiermann|arXiv (Cornell University)|2008. 04. 28.

Advanced Algebra and Geometry참고 문헌 11인용 수 22

한 줄 요약

이 논문은 $p$-진 고전적 군(심플렉틱, 올림픽, 또는 일반선형군의 내부형)의 부드러운 표현의 범주에서 특정 유도된 프로젝티브 생성자를 대상으로 하는 엔도모르피즘 대수를 계산한다. 버니스타인의 프레임워크를 활용하고 상호작용 연산자를 분석함으로써, 이 대수가 매개수를 가진 히크 대수와 유한군 대수의 반직접곱과 동형임을 증명한다. 이는 기존 결과를 일반화하며, 이러한 대수의 명시적 구조를 제공한다.

ABSTRACT

For $G$ a symplectic or orthogonal $p$-adic group (not necessarily split), or an inner form of a general linear $p$-adic group, we compute the endomorphism algebras of some induced projective generators à la Bernstein of the category of smooth representations of $G$ and show that these algebras are isomorphic to the semi-direct product of a Hecke algebra with parameters by a finite group algebra. Our strategy and parts of our intermediate results apply to a general reductive connected $p$-adic group.

연구 동기 및 목표

• $p$-진 고전적 군의 부드러운 표현의 범주에서 유도된 프로젝티브 생성자의 엔도모르피즘 대수의 구조를 규명하는 것.
• 이 대수가 매개수를 가진 히크 대수와 유한군 대수의 반직접곱과 동형임을 보이는 것.
• 버니스타인의 범주 동치를 고전적 군에 대해 명시적 대수적 동형으로 확장하는 것.
• 유도된 대수의 구조가 파라보릭 유도와 자크 레이터와 호환되는지 확인하는 것.
• 궤도 공간 위의 정칙 함수에 대한 기저를 통해 엔도모르피즘 대수의 구체적 실현을 제공하는 것.

제안 방법

• $Rep(^{W}\mathcal{O})$ 범주와 $\mathrm{End}_G(i_P^G \mathrm{ind}_{M^1}^M E_1)$ 위의 오른쪽 모듈의 범주 사이의 버니스타인의 동치를 활용한다.
• 유도된 표현 위에서의 상호작용 연산자의 이론과 그 작용을 분석함으로써 엔도모르피즘 대수를 연구한다.
• 궤도 공간 $\mathcal{O}$ 위의 정칙 함수의 링 위에서 엔도모르피즘 대수의 기저를 구성한다.
• 웨일 군과 유한군 $R(\mathcal{O})$의 작용을 이용하여 반직접곱의 구조를 정의한다.
• 상호작용 연산자가 파라보릭 유도와 자크 레이터와 호환됨을 이용하여 함의성(함수적 성질)을 검증한다.
• 모글린과 아르처가 확립한 고전적 군에 대한 히크 대수 매개수의 알려진 매개수화를 이용한다.

실험 결과

연구 질문

• RQ1 $p$-진 고전적 군에 대해 유도된 프로젝티브 생성자 $i_P^G \mathrm{ind}_{M^1}^M E_1$ 의 엔도모르피즘 대수의 명시적 구조는 무엇인가?
• RQ2 엔도모르피즘 대수는 매개수를 가진 히크 대수와 유한군 대수의 반직접곱으로 실현될 수 있는가?
• RQ3 $R(\mathcal{O})$의 원소에 의한 쌍대작용 하에서 상호작용 연산자 $T_w$ 와 $J_r$ 는 어떻게 상호작용하는가?
• RQ4 유도된 대수적 동형은 파라보릭 유도와 자크 레이터와 호환되는가?
• RQ5 고전적 군의 히크 대수에서 정확한 매개수 $q^{a_{s_\alpha}+b_{s_\alpha}}$ 와 $q^{a_i - b_i}$ 는 무엇인가?

주요 결과

• 엔도모르피즘 대수 $\mathrm{End}_G(i_P^G E_{B_{\mathcal{O}}})$ 는 반직접곱 $\mathbb{C}[R(\mathcal{O})]\ltimes \mathrm{H}(\Sigma_{\mathcal{O}}, \{q^{a_{s_\alpha}+b_{s_\alpha}}\}, \{q^{a_i - b_i}\})$ 와 동형이다.
• 고전적 군에 대해 히크 대수 매개수 $q^{a_{s_\alpha}+b_{s_\alpha}}$ 와 $q^{a_i - b_i}$ 는 명시적으로 결정되었으며, 아르처–랑랜즈 이론에서 알려진 값이다.
• $R(\mathcal{O})$ 가 웨일 군 원소에 작용할 때 $T_w J_r = J_r T_{r^{-1}wr}$ 를 만족함으로써 반직접곱의 구조와의 호환성이 확인된다.
• $Rep(^{W}\mathcal{O})$ 범주는 구성된 반직접곱 대수 위의 오른쪽 모듈의 범주와 동치이다.
• 함의성의 관점에서 상호작용 연산자의 함수적 성질을 통해 범주 동치가 파라보릭 유도와 자크 레이터와 호환됨을 검증하였다.
• 결과는 임의의 연결 리 군의 $p$-진 군으로 일반화되며, 일반적인 경우에선 왜곡된 군 대수를 필요로 할 수 있다.