[논문 리뷰] Parabolic inductions for pro-$p$-Iwahori Hecke algebras

Noriyuki Abe|arXiv (Cornell University)|2016. 12. 05.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 특성 $p$를 가진 체 위의 pro-$p$-Iwahori Hecke 대수에서 이차형 유도와 그 수반 함자에 대한 기본 성질을 확립하며, 임의의 단순 모듈러스가 왼쪽 또는 오른쪽 수반 함자에 의해 유도되는 이미지가 0이거나 기약임을 증명한다. 이 함자들의 일반화된 Steinberg 모듈러스 및 초우아한 모듈러스 위에서의 작용에 대해 명시적인 공식을 제공함으로써, 일반화된 Steinberg 모듈러스의 확장군으로의 환원을 통해 단순 모듈러스 간의 확장군을 계산할 수 있게 한다.

ABSTRACT

We give some properties of parabolic inductions and their adjoint functors for pro-$p$-Iwahori Hecke algebras.

연구 동기 및 목표

• pro-$p$-Iwahori Hecke 대수의 맥락에서 이차형 유도 함자와 그 수반 함자의 구조와 행동을 이해하기 위해.
• 특히 초우아한, 일반화된 Steinberg, 그리고 이차형으로 유도된 모듈러스를 포함한 단순 모듈러스의 이미지—왼쪽 및 오른쪽 수반 함자 $L_P$와 $R_P$에 의한 것—를 분류하기 위해.
• 일반화된 Steinberg 모듈러스의 확장군으로의 환원을 통해 단순 모듈러스 간의 확장군을 계산할 수 있는 프레임워크를 제공하기 위해.
• 양의 및 음의 부분대수에서 기인하는 네 가지 다른 유도 개념 간의 관계를 명확히 하여, 이들이 두 가지 기본 함자로 환원됨을 보여주기 위해.

제안 방법

• 양의 및 음의 부분대수 $\mathcal{H}_P^\pm$ 에서 전체 대수 $\mathcal{H}$로의 준동형을 통해 $j_P^{\pm*}$ 와 $j_P^\pm$ 를 이용해 네 가지 유도 함자를 정의한다.
• 네 가지 유도 중에서 $I_P$ 와 $I_P'$ 만이 독립적이며, 나머지는 이들로 표현될 수 있음을 보인다.
• 군 표현에서의 Bruhat 셀 필터링과 유사한 $I_P(\sigma)$ 위의 필터링을 사용하여 구조와 행동을 분석한다.
• 왼쪽 및 오른쪽 수반 함자 $L_P$ 와 $R_P$ 를 단순 모듈러스에 적용하며, 기존의 분류 결과를 활용한다: 모든 단순 $\mathcal{H}$-모듈러스는 초우아한 모듈러스의 이차형 유도로부터 유도된다.
• 중앙 아이디포텐트 $E_{o_-}(\lambda)$ 와 초우아한 모듈러스 위에서 $z_\mathcal{O}$ 의 작용을 이용하여, 초우아한 $\pi$ 에 대해 $L_P(\pi)$ 와 $R_P(\pi)$ 가 0이 됨을 증명한다.
• 포함 관계 조건에 따라, $L_R(I(P,\sigma,Q))$ 와 $R_R(I(P,\sigma,Q))$ 에 대한 명시적 공식을 파라메트릭 유도 데이터에 따라 유도한다.

실험 결과

연구 질문

• RQ1 양의/음의 부분대수와 다양한 준동형에 기반한 네 가지 이차형 유도 개념 간의 관계는 어떠한가?
• RQ2 왼쪽 및 오른쪽 수반 함자 $L_P$ 와 $R_P$ 에 의해 단순 $\mathcal{H}$-모듈러스가 유도하는 이미지는 무엇인가?
• RQ3 $L_P$ 또는 $R_P$ 에 의해 이차형으로 유도된 모듈러스의 이미지가 0이 아닌 조건은 무엇인가?
• RQ4 일반화된 Steinberg 모듈러스에 대한 알려진 결과와 수반 함자를 이용하여 단순 $\mathcal{H}$-모듈러스 간의 확장군을 계산할 수 있는가?
• RQ5 수반 함자들은 일반화된 Steinberg 모듈러스와 초우아한 모듈러스에 어떻게 작용하는가?

주요 결과

• 임의의 단순 $\mathcal{H}$-모듈러스가 왼쪽 또는 오른쪽 수반 함자 $L_P$ 또는 $R_P$ 에 의해 유도되는 이미지는 0이거나 기약이다.
• 초우아한 $\mathcal{H}_P$-모듈러스 $\sigma$ 에서 유도된 단순 모듈러스 $I(P,\sigma,Q)$ 에 대해, $L_R$ 에 의한 이미지가 0이 아니려면 $P \subset R$ 이고 $\Delta(\sigma) \subset \Delta_Q \cup \Delta_R$ 이어야 하며, 이 경우 이미지는 $I_R(P,\sigma,Q \cap R)$ 와 같다.
• $I(P,\sigma,Q)$ 가 $R_R$ 에 의해 유도하는 이미지가 0이 아니려면 $Q \subset R$ 이어야 하며, 이 경우 이미지는 $I_R(P,\sigma,Q)$ 와 같다.
• 초우아한 $\mathcal{H}$-모듈러스 $\pi$ 에 대해 왼쪽 수반 함자 $L_P$ 는 $\pi(z_\mathcal{O}^n) = 0$ 인 $n$ 이 존재하고, $E_{o_-}(\lambda)$ 의 작용 때문에 0이 된다.
• 오른쪽 수반 함자 $R_P$ 도 유사한 추론을 통해 초우아한 $\mathcal{H}$-모듈러스 $\pi$ 에 대해 0이 된다. 이는 $j_{P'}^+$ 의 작용과 아이디포텐트 $E_{o_-}(\lambda)$ 를 고려한 결과이다.
• 이 결과들은 단순 $\mathcal{H}$-모듈러스 간의 확장군 계산을 일반화된 Steinberg 모듈러스 간의 확장군 계산으로 환원할 수 있게 하며, 수반 동치 $\operatorname{Ext}^i(\pi, I_P(\sigma)) \simeq \operatorname{Ext}^i(L_P(\pi), \sigma)$ 를 통해 가능해진다.