[논문 리뷰] Modulo $p$ parabolic induction of pro-$p$-Iwahori Hecke algebra

Noriyuki Abe|arXiv (Cornell University)|2014. 06. 04.

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

한 줄 요약

이 논문은 포화된 $p$에 대한 불가약한 표현을 파라보릭 유도를 통해 분류하며, 이러한 표현의 동형류와 삼중항 $(P, \sigma, Q)$ 사이의 전단사 사상 수립. 여기서 $\sigma$는 리 군의 초우월 표현이다. 이 분류는 올리비에와 비그나라스가 시작한 프로그램을 완성하며, 새로운 유도 모듈의 구성 방식을 통해 불가약 표현이 초우월 자료에 의해 매개화됨을 보여준다.

ABSTRACT

We study the structure of parabolic inductions of a pro-$p$-Iwahori Hecke algebra. In particular, we give a classification of irreducible modulo $p$ representations of pro-$p$-Iwahori Hecke algebra in terms of supersingular representations. Since supersingular representations are classified by Ollivier and Vigneras, it completes the classification of irreducible modulo $p$ representations.

연구 동기 및 목표

• 특성 $p$를 가진 대수적으로 닫힌 체 위의 pro-$p$-Iwahori Hecke 대수 $\mathcal{H}$의 불가약 mod $p$ 표현을 분류하는 것.
• 군 $G$의 불가약 적응형 mod $p$ 표현의 분류를 Hecke 대수 설정으로 확장하는 것.
• 불가약 $\mathcal{H}$-모듈의 동형류와 삼중항 $(P, \sigma, Q)$ 사이의 전단사 사상 수립. 여기서 $\sigma$는 초우월 표현이며 $P \subset Q \subset P(\sigma)$이다.
• 파라보릭 유도를 통해 구성된 불가약 표현이 이러한 삼중항과 일대일 대응됨을 증명하여 분류를 완성하는 것.

제안 방법

• 리 군의 $M$의 pro-$p$-Iwahori Hecke 대수 $\mathcal{H}_M$의 표현 $\sigma$에 대해 파라보릭 유도 $I_P(\sigma)$를 정의한다.
• $\lambda \in Z'_\alpha$이면 $T^M_\lambda$가 $\sigma$에 자명하게 작용하는 단순 근 $\alpha$의 집합 $\Pi(\sigma)$를 도입하고, 해당하는 파라보릭 부분군으로서 $P(\sigma)$를 정의한다.
• $e(\sigma)$를 $\mathcal{H}_{M(\sigma)}$로의 $\sigma$의 확장으로 하여, $I_Q(e(\sigma))$의 몫으로서 $\mathcal{H}$-모듈 $I(P, \sigma, Q)$를 구성하며, 더 큰 파라보릭 부분군에 대응하는 부분모듈을 모듈로 나눈다.
• Hecke 대수 $\mathcal{H}$의 Iwahori-Matsumoto 기저와 Bernstein 기저를 사용하여 유도 모듈의 구조와 그 $\mathcal{A}$-부분모듈의 구조를 분석한다.
• $\mathcal{A}$-모듈의 지지론을 활용하여 불가약 성분을 식별하고, $(P, \sigma, Q) \mapsto I(P, \sigma, Q)$의 사상이 단사임을 보인다.
• 모든 불가약 $\mathcal{H}$-모듈이 이러한 방식으로 유도됨을 $\mathcal{A}$-지지 분석과 초우월 표현의 분류를 활용하여 증명한다.

실험 결과

연구 질문

• RQ1 pro-$p$-Iwahori Hecke 대수의 불가약 mod $p$ 표현은 초우월 표현을 통해 어떻게 분류할 수 있는가?
• RQ2 pro-$p$-Iwahori Hecke 대수의 mod $p$ 설정에서 파라보릭 유도의 정확한 구조는 무엇인가?
• RQ3 모든 동형류를 포괄하는 표준적인 불가약 표현의 구성이 파라보릭 유도를 통해 가능할까?
• RQ4 pro-$p$-Iwahori Hecke 대수의 맥락에서 초우월성과 초우월성의 관계는 무엇인가?
• RQ5 GL_n에 대한 수치적 Langlands 대응은 이 분류를 통해 실현될 수 있는가?

주요 결과

• 사상 $ (P, \sigma, Q) \mapsto I(P, \sigma, Q) $는 불가약 $\mathcal{H}$-모듈의 동형류와 삼중항 $ (P, \sigma, Q) $ 사이의 전단사 사상이다. 여기서 $\sigma$는 $\mathcal{H}_M$의 초우월 표현이며, $Q$는 $P \subset Q \subset P(\sigma)$를 만족하는 파라보릭 부분군이다.
• 모든 불가약 $\mathcal{H}$-모듈은 $I_Q(e(\sigma))$의 몫으로서 나타나며, $Q$가 관련 범위 내에서 최대일 경우의 선택에 관계없이 구성이 독립적이다.
• $I(P, \sigma, Q)$는 불가약 $\mathcal{H}$-모듈이며, $I(P', \sigma', Q')$와 동형일 필요충분조건은 $P = P'$, $Q = Q'$, 그리고 $\sigma \simeq \sigma'$ as $\mathcal{H}_M$-모듈이다.
• 초우월 표현은 정확히 초우월 표현이다: $\pi = I(P, \sigma, Q)$가 초우월일 필요충분조건은 $P = G$이자 파라보릭이 전체 군임을 뜻한다.
• 이 분류는 수치적 mod $p$ Langlands 대응과 일치한다. 초우월 표현의 수가 고정된 행렬식을 가진 $n$차원 mod $p$ Galois 표현의 수와 일치한다.
• $\mathcal{H}$의 구조는 Bernstein 기저와 부분대수 $\mathcal{A} = \bigoplus_{\lambda \in \Lambda(1)} C E(\lambda)$를 통해 분석되며, 이는 불가약 $\mathcal{A}$-부분모듈의 지지론을 제어하고 분류를 가능하게 한다.