[논문 리뷰] Questions on mod p representations of reductive p-adic groups

Noriyuki Abe, Guy Henniart외 2명|arXiv (Cornell University)|2017. 03. 06.

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

한 줄 요약

이 논문은 특성 $p$인 대수적으로 닫힌 체 위의 재수성 $p$-진 군의 표현 이론에서 기본적인 질문들을 조사한다. 특히, mod $p$ 표현에서의 적합성, 초우아성, 헤이크 고유값에 초점을 맞춘다. 헤이크 대수, 반구군, 사타케 호모모르피즘 간의 연결 프레임워크를 제안하여 초우아한 표현의 존재성과 분류 문제를 다루며, 주요 결과로 초우아성과 초우아성, 적합성 간의 연관성을 규명한다.

ABSTRACT

This is a list of questions raised by our joint work arXiv:1412.0737 and its sequels.

연구 동기 및 목표

• 현재 분류 정리에서 핵심 가정인, 특성 $p$인 체 위의 재수성 $p$-진 군의 기약 스무스 표현이 적합한지 이해하는 것.
• 많은 상황에서 적합성의 필수 조건인, 기약 스무스 $R$-표현이 중심 문자를 갖는지 확인하는 것, 여기서 $R$는 특성 $p$인 대수적으로 닫힌 체이다.
• 특히 $G$가 $\r{GL}(2)$가 아닐 때, mod $p$ 설정에서 초우아한 표현의 존재성을 조사하는 것.
• 기저 체의 특성이 $p$일 때, 몫과 포물선 유도에 의한 적합성의 행동을 다루며, 특히 특성 $p$에서의 성질을 고려하는 것.
• 헤이크 대수를 통한 초우아한 헤이크 고유값, 기약 표현, 유도 표현의 구조 간의 관계를 명확히 하는 것.

제안 방법

• 헤이크 대수와 리만 부분군 간의 사타케 호모모르피즘을 이용하여 초우아한 표현을 정의할 수 있도록 연결한다.
• 포물선 유도와 자크 편의사를 활용하여 특성 $p$에서의 적합성과 부분몫과의 호환성을 연구한다.
• 프로-$p$ 이와하이라 부분군에 관련된 헤이크 대수 $H$를 사용하여 컴팩트 유도 표현에서의 $I$-고정점과 그 작용을 분석한다.
• 콤팩트 유도 표현에 대한 필터링 $I_n(G,K,V)$을 도입하여 수렴성과 유한성 성질을 연구한다.
• 모듈 이론적 성질과 표현론적 성질를 연결하기 위해 $H(G,K,V)$와 $I$-고정점의 자기형사간의 동형을 활용한다.
• 표현 $ {ind}_{K}^{G(F)}V$ 기반의 정의와 비영성 테스트를 위해 헤이크 대수 $Z(G,K,V)$의 몫으로서의 대수 $R_G$를 활용한다.

실험 결과

연구 질문

• RQ1 모든 기약 스무스 $R$-표현이 $G(F)$에서 적합한가? 여기서 $R$는 특성 $p$인 대수적으로 닫힌 체이다.
• RQ2 모든 기약 스무스 $R$-표현이 중심 문자를 갖는가?
• RQ3 $G(F)$는 초우아한 $R$-표현을 갖는가? 특히 $G$가 $\r{GL}(2)$가 아닐 경우에 대해.
• RQ4 $V$가 $G(F)$의 유한 길이의 적합한 $R$-표현일 때, $ {char} hinspace F = p$이면 $V$의 모든 몫이 적합한가?
• RQ5 초우아한 헤이크 고유값 $ {char}:Z(G,K,V) o R$에 대해, 관련 표현 $ {ind}_{K}^{G(F)}V$는 비영인가?

주요 결과

• 질문 1(기약 스무스 표현의 적합성)에 대한 분명한 긍정적 답변는 모든 기약 적합 표현이 중심 문자를 갖는다는 것을 의미하며, 이는 질문 2를 해결한다.
• 표현 $ {ind}_{K}^{G(F)}V$의 비영 기약 몫이 초우아한 헤이크 고유값을 갖는다는 것은 초우아한 표현의 존재를 의미하며, 이는 질문 12와 질문 3를 연결한다.
• 표현 $ {ind}_{K}^{G(F)}V$는 감소 필터링 $(I_n(G,K,V))$를 갖으며, 이 필터링의 유한성은 초우아한 $ {char}$에 대해 $ {ind}_{K}^{G(F)}V$의 비영성과 동치이다.
• 모든 특수 반구군 $K$와 무게 $V$에 대해, 초우아한 헤이크 고유값 $ {char}:Z(G,K,V) o R$가 존재하여 후보 표현의 존재를 보장한다.
• 자연 사상 $ {char} \bigotimes (\r{ind}_{K}^{G(F)}V)^I \to \r{ind}_{K}^{G(F)}V$는 단사적이며, $ {ind}_{K}^{G(F)}V$가 적합할 경우 그 여오브는 유한차원이다.
• 기약 적합 표현에서 $H$-모듈로서의 초우아성과 $I$-고정점의 초우아성 간의 동치성은 성립하며, 논문은 이 성질이 $ {ind}_{K}^{G(F)}V$의 기약 몫으로까지 확장되는지 여쭤본다.