[논문 리뷰] Semisimple types for p-adic classical groups

Michitaka Miyauchi, Shaun Stevens|arXiv (Cornell University)|2012. 12. 03.

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

한 줄 요약

이 논문은 잔여 특성이 홀수인 국소체 위의 p-진 고전군—심플렉틱, 유니타리, 특수 직교군—에 대해 부쉬넬–쿠츠코의 커버 이론을 이용하여 준단순 유형을 구성한다. 최대 리 군 부분군에 대해, 관련 허크 대수는 아벨이거나 무한 이면체군 위의 일반 허크 대수이며, 루스티그의 결과를 통해 매개변수를 계산할 수 있음을 증명한다.

ABSTRACT

We construct, for any symplectic, unitary or special orthogonal group over a locally compact nonarchimedean local field of odd residual characteristic, a type for each Bernstein component of the category of smooth representations, using Bushnell--Kutzko's theory of covers. Moreover, for a component corresponding to a cuspidal representation of a maximal Levi subgroup, we prove that the Hecke algebra is either abelian, or a generic Hecke algebra on an infinite dihedral group, with parameters which are, at least in principle, computable via results of Lusztig.

연구 동기 및 목표

• p-진 고전군의 스무스 표현 이론에서 알려진 경우를 초월해 잔여 특성이 홀수인 군에 대해 이론을 확장하는 것.
• 모든 베르너스타인 블록 \mathfrak{R}^\mathfrak{s}(G) 에 대해 명시적인 준단순 유형 $({\rm J}, \rho)$ 를 구성하는 것.
• 최대 리 부분군에 관련된 유형에 대해 허크 대수 $\mathscr{H}(G, \lambda)$ 의 구조를 규명하는 것.
• 유한 리 대수군에 대한 루스티그의 결과를 활용해 허크 대수의 매개변수에 대한 계산 가능한 프레임워크를 제공하는 것.

제안 방법

• 부쉬넬–쿠츠코의 커버 이론을 적용하여 리 부분군의 극단적 표현에서 전체 군으로 유형을 올리는 것.
• 유형 $({\rm J}, \lambda)$ 를 $\mathfrak{s}_{\rm M}$-유형 $({\rm J} \cap {\rm M}, \lambda|_{{\rm J} \cap {\rm M}})$ 의 커버로 구성하는 것.
• 순서가 2인 순환 몫을 가진 부분군의 사슬 ${{\rm K}_i}$ 에 따라 유도와 제한을 이용하여 허크 대수 간의 지지 보존 동형을 확립하는 것.
• 유도의 비중복성에 의해 유도되는 동형을 이용해 $\mathscr{H}(G, \lambda_{\rm P}^*) \simeq \mathscr{H}(G, \lambda_{\rm P})$ 를 보이는 인덕티브 구조를 활용하는 것.
• 매개변수의 계산을 $\chi_0$ 와 $\mathscr{H}(\mathscr{G}_i, \rho_{\rm M}^\mathsf{o} \chi_0)$ 를 통해 이차 특성과 유한 허크 대수로 환원하는 것.
• 루스티그의 결과를 활용하여 일반 허크 대수 관계 $(T_i - q_i)(T_i + 1) = 0$ 에서의 매개변수 $q_i$ 를 계산하는 것.

실험 결과

연구 질문

• RQ1 잔여 특성이 홀수인 p-진 고전군의 모든 베르너스타인 블록에 대해 준단순 유형을 체계적으로 구성할 수 있는가?
• RQ2 리 부분군 $\rm M$ 이 최대 진 부분군일 때, 허크 대수 $\mathscr{H}(G, \lambda)$ 의 구조는 어떠한가?
• RQ3 허크 대수의 매개변수 $q_i$ 는 기저 군과 유형의 표현론적 자료와 어떻게 관련이 있는가?
• RQ4 유한 리 대수군에 대한 알려진 결과를 활용해 허크 대수의 매개변수를 명시적으로 계산할 수 있는가?
• RQ5 최대 리 부분군에 사용된 방법은 비최대 리 부분군으로 일반화될 수 있는가?

주요 결과

• 잔여 특성이 홀수인 국소체 위의 임의의 심플렉틱, 유니타리, 또는 특수 직교 군에 대해, 각각의 베르너스타인 블록에 대해 $\mathfrak{s}$-유형 $({\rm J}, \lambda)$ 가 구성된다.
• 유형 $({\rm J}, \lambda)$ 는 $\mathfrak{s}_{\rm M}$-유형 $({\rm J} \cap {\rm M}, \lambda|_{{\rm J} \cap {\rm M}})$ 의 커버이므로, 베르너스타인 분해와의 호환성이 보장된다.
• 리 부분군 $\rm M$ 이 최대 진 부분군일 경우, 허크 대수 $\mathscr{H}(G, \lambda)$ 는 아벨이거나 무한 이면체군 위의 일반 허크 대수이다.
• 비아벨 경우에, 허크 대수는 $(T_i - q_i)(T_i + 1) = 0$ 을 만족하는 생성자 $T_0, T_1$ 을 가지며, $q_i \in q_{\mathsf{o}}^{\mathbb{Z}}$ 이다.
• 매개변수 $q_i$ 는 루스티그의 결과를 통해 계산 가능하며, 특히 이차 특성 $\chi_0$ 와 허크 대수 $\mathscr{H}(\mathscr{G}_i, \rho_{\rm M}^\mathsf{o} \chi_0)$ 를 통해 계산된다.
• 이 결과는 L-패킷 내 극단적 표현의 명시적 계산을 가능하게 하며, 특히 $\rm N_G(\mathfrak{s}_{\rm M}) \neq \rm M$ 인 경우에 유용하다.