[논문 리뷰] Irreducibility of Certain Subquotients of Spherical Principal Series Representations of Reductive Groups with Frobenius Maps

Junbin Dong|arXiv (Cornell University)|2017. 02. 07.

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

한 줄 요약

이 논문은 프로베니우스 사상이 있는 무한 재구성군의 구면 주요 시리즈 표현의 특정 부분몫에 대한 기약성 문제를 다루며, 특히 A형과 랭크 2의 경우에 대해 기약성을 증명하고, 그로텐디크 군 내에서 교대합을 통한 무한차원 스텐버그 모듈의 새로운 기술을 제공한다. 주요 기여는 유한군 표현 이론을 무한 차원 설정으로 일반화하는 유도 모듈의 구성 인자에 대한 추측이다.

ABSTRACT

For infinite reductive groups with Frobenius maps, we show that certain subquotients of abstract representations of the groups induced from 1-dimensional representations of Borel subgroups are irreducible.

연구 동기 및 목표

• 프로베니우스 사상이 있는 무한 재구성군에서 보렐 부분군의 자명 성질을 갖는 표현의 유도 표현의 구성 인자를 조사한다.
• A형 및 랭크 2인 경우에 대해 구면 주요 시리즈 표현의 특정 부분몫의 기약성을 확립한다.
• 그로텐디크 군 내에서 유도 모듈을 이용한 무한차원 스텐버그 모듈의 대체 기술을 제공한다.
• 유도 모듈의 구성 인자의 구조에 대한 추측을 제시하여, 유한군 표현 이론을 무한차원 설정으로 확장한다.

제안 방법

• 유한 재구성군 $G_{q^a}$ 로부터 유한 차원 표현의 직접 극한 구성 방법을 사용하여 모듈 $M_I(tr)$ 를 유도 모듈의 직접 극한으로 형성한다.
• BN-쌍, 루트 체계 및 웨일 군 작용 이론을 적용하여 유니포텐트 부분군과 그 교차의 구조를 분석한다.
• 그로텐디크 군 프레임워크를 활용하여 무한차원 스텐버그 모듈을 파라보릭 부분군 위에서의 유도 모듈의 교대합과 연결한다.
• 웨일 군 내의 단순 표현을 사용하여 부분군 $U_w$ 와 $U'_w$ 를 정의함으로써 유니포텐트 라디칼의 분해와 모듈 필터의 분석을 가능하게 한다.
• 특히 유한군 표현 이론에서의 유한 스텐버그 모듈의 기약성 결과를 응용하여 무한 차원의 성질을 유도한다.
• 유니포텐트 라디칼 내의 $D$-정규 원소의 구조를 활용하여 군 대수의 유도 모듈 위 작용을 분석한다.

실험 결과

연구 질문

• RQ1 프로베니우스 사상이 있는 무한 재구성군에서 유도된 구면 주요 시리즈 표현의 특정 부분몫은 기약적인가?
• RQ2 무한차원 스텐버그 모듈은 그로텐디크 군 내에서 유도 모듈의 교대합으로 표현될 수 있는가?
• RQ3 보렐 부분군의 자명 성질을 갖는 유도 모듈 $M(tr)$ 의 구성 인자의 구조는 어떠한가?
• RQ4 조건 $\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ 하에서 $M(tr)$ 이 정확히 $2^{|S|}$ 개의 기약 구성 인자를 갖는다는 추측은 성립하는가?
• RQ5 $\text{char}(\mathfrak{K}) = \text{char}(\bar{\mathbb{F}}_q)$ 일 때 $M(\theta)$ 의 구성 인자는 어떻게 행동하는가? 특히 기약성과의 관련성은 무엇인가?

주요 결과

• G가 A형 또는 랭크 2이면서 $\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ 를 만족할 경우, [X, 2.6]에서 정의된 부분몫 $E_J$ 는 모든 부분집합 $J \subseteq S$ 에 대해 기약적이다.
• 무한차원 스텐버그 모듈 $St$ 는 그로텐디크 군 $[\mathscr{F}]$ 에서 $[St] = \sum_{I \subseteq S} (-1)^{|I|} [M_I(tr)]$ 를 만족하며, 이는 유한군의 경우를 일반화한다.
• G가 $A_n$ 형일 경우, 최대 파라보릭 부분군 $P_I$ 와 관련된 유도 모듈 $M_I(tr)$ 는 유일한 자명한 몫과 유일한 기약 부분모듈을 갖는다.
• $M_I(tr)$ 가 $\text{Ind}_{P_{I,a}}^{G_{q^a}} 1_{tr}$ 의 직접 극한으로서 구성되어 $a$ 에 대해 일致성을 확보하며, 애벌레 카테고리 $\mathscr{F}_0$ 의 대상이 된다.
• M(tr) 이 정확히 $2^{|S|}$ 개의 구성 인자를 갖는다는 추측은 정리 3.1과 4.1, 그리고 그로텐디크 군 공식에 의해 지지된다.
• $\mathfrak{K} = \mathbb{C}$ 일 경우 $M(\theta)$ 는 유한 개의 구성 인자를 갖는다. 이는 일반적인 특성 $ oneq \text{char}(\mathbb{F}_q)$ 인 경우에도 $\theta$ 에 대해 비슷한 유한성 성질이 성립할 가능성이 있음을 시사한다.