[논문 리뷰] A criterion for irreducibility of parabolic baby Verma modules of reductive Lie algebras

Yiyang Li, Bin Shu외 1명|arXiv (Cornell University)|2014. 04. 19.

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

한 줄 요약

이 논문은 소수의 특성 $p$ 를 가진 대수적으로 닫힌 체 위에서, 표준 리만형($\text{standard Levi form}$) $p$-특성 $\chi$ 를 가진 재수성 리 대수 $A_n$, $B_n$, $C_n$, $D_n$ 유형에서, 파라볼릭 베이비 버마 모듈의 기약성에 대한 충분조건을 확립한다. 주요 결과는 이러한 모듈이 $p$-정규 무게 $\lambda_0$ 가 특정 알코브 내에 있을 경우 기약임을 보여주며, 프리드리처와 파라솔의 파라볼릭 부분대수에서 유도된 모듈의 기약성에 관한 오랜 미해결 질문에 부분적으로 답한다.

ABSTRACT

Let $G$ be a connected, reductive algebraic group over an algebraically closed field $k$ of prime characteristic $p$ and $\mathfrak{g}=Lie(G)$. In this paper, we study representations of $\mathfrak{g}$ with a $p$-character $χ$ of standard Levi form. When $\mathfrak{g}$ is of type $A_n, B_n, C_n$ or $D_n$, a sufficient condition for the irreducibility of standard parabolic baby Verma $\mathfrak{g}$-modules is obtained. This partially answers a question raised by Friedlander and Parshall in [Friedlander E. M. and Parshall B. J., Deformations of Lie algebra representations, Amer. J. Math. 112 (1990), 375-395]. Moreover, as an application, in the special case that $\mathfrak{g}$ is of type $A_n$ or $B_n$, and $χ$ lies in the sub-regular nilpotent orbit, we recover a result of Jantzen in [Jantzen J. C., Subregular nilpotent representations of $sl_n$ and $so_{2n+1}$, Math. Proc. Cambridge Philos. Soc. 126 (1999), 223-257].

연구 동기 및 목표

• 파라볼릭 부분대수에서 유도된 모듈의 기약성에 대한 필요 및 충분조건을 규명하는 오랜 미해결 질문을 다루는 것.
• 특히 모듈러 표현 이론의 맥락에서 표준 리만형의 $p$-특성을 가진 재수성 리 대수의 표현을 연구하는 것.
• 유형 $A_n$, $B_n$, $C_n$, $D_n$ 에서 파라볼릭 베이비 버마 모듈의 기약성에 대한 충분조건을 제공하는 것.
• 잔츠엔의 $A_n$ 및 $B_n$ 유형에서의 하위정규_nilpotent 궤도에 관한 결과를 회복하고 일반화하는 것.

제안 방법

• 저자들은 리만 부분대수 $\mathfrak{g}_J$ 의 기약 표현에서 유도된 모듈로 파라볼릭 베이비 버마 모듈을 정의하며, 여기서 나이르레드 $\mathfrak{u}_J^+$ 는 자명한 작용을 한다.
• 첫 번째 주요 알코브 $C_0$ 에서의 무게를 분석하기 위해 $\lambda = \lambda_0 + p\lambda_1$ 과 같이 표현하며, $\lambda_0 \in X_1'(T)$, 즉 $X(T)/pX(T)$ 의 대표자 집합을 사용한다.
• 증명은 아핀 웨일 군의 작용과 도트 작용을 이용하여 같은 블록 내의 무게를 연결하는 데 의존한다.
• 지원 다양체 이론과 $U_\chi(\mathfrak{g})$-모듈의 구조를 응용하여 기약성 분석을 수행한다.
• 유형 $A_n$ 과 $B_n$ 에서, $\lambda_0 \in C_0$ 이고 $\lambda_0 + \rho$ 가 루트 합에 대해 특정한 범위를 만족할 경우, 유도된 모듈이 기약임을 확인한다.
• 명시적인 웨일 군 궤도와 무게 이동 계산을 통해 주어진 조건 하에서 유도된 모듈이 여전히 기약임을 검증한다.

실험 결과

연구 질문

• RQ1 특성 $\chi$ 가 표준 리만형일 때, 파라볼릭 베이비 버마 모듈이 기약이 되는 조건은 무엇인가?
• RQ2 유형 $A_n$, $B_n$, $C_n$, $D_n$ 에서 이러한 모듈의 기약성에 대한 충분조건을 확립할 수 있는가?
• RQ3 $\lambda_0$ 가 첫 번째 주요 알코브 $C_0$ 에 있고 루트 합이 유계일 경우, 유도된 모듈의 기약성이 보장되는가?
• RQ4 이 결과는 $\mathfrak{sl}_n$ 과 $\mathfrak{so}_{2n+1}$ 에서 하위정규_nilpotent 궤도에 관한 잔츠엔의 정리를 회복할 수 있는가?
• RQ5 기약성이 $p$-정규 무게의 블록 내에서 아핀 웨일 군의 작용을 통해 유지되는가?

주요 결과

• 재수성 리 대수의 유형 $A_n$, $B_n$, $C_n$, $D_n$ 에서, $p$-정규 무게 $\lambda_0$ 가 첫 번째 주요 알코브 $C_0$ 에 있고 모든 양의 루트 $\alpha$ 에 대해 $0 \leq \langle \lambda_0 + \rho, \alpha^\vee \rangle < p$ 를 만족할 경우, 파라볼릭 베이비 버마 모듈의 기약성에 대한 충분조건이 확립된다.
• 유형 $A_n$ 에서, 유도된 모듈 $\widehat{\mathcal{Z}}_P(\lambda)$ 는 $\lambda_0 + \rho = (r_1, \dots, r_n)$ 이고 $0 \leq \sum r_i \leq p$ 를 만족할 경우 기약이며, 이 모듈의 차원은 $r_{n-i} p^{N-1}$ 으로, [6, 정리 2.6] 에서 알려진 결과와 일치한다.
• 유형 $B_n$ 에서, 유도된 모듈 $\widehat{\mathcal{Z}}_P(\lambda)$ 는 $\lambda_1 + \rho = (r_1, \dots, r_n)$ 이고 $0 \leq \sum_{i=1}^{n-1} 2r_i + r_n \leq p$ 를 만족할 경우 기약이며, $1 \leq i \leq n-1$ 에서 차원은 $r_i p^{N-1}$, $n+1 \leq i \leq 2n-1$ 에서는 $r_{2n-i} p^{N-1}$ 이다. 이는 [6, 보조정리 3.13] 과 일치한다.
• 저자들은 $\chi$ 가 하위정규_nilpotent 궤도에 있고 $\lambda_0$ 가 알코브 조건을 만족할 경우, 잔츠엔의 $\mathfrak{sl}_n$ 과 $\mathfrak{so}_{2n+1}$ 에서의 하위정규_nilpotent 궤도에 관한 결과를 특수한 경우로 회복한다.
• 증명은 $\lambda_0$ 가 $C_0$ 에 있고 무게가 $p$-정규일 경우, 아핀 웨일 군의 작용 하에서도 유도된 모듈이 여전히 기약임을 확인한다.
• $\lambda_0$ 가 $C_0$ 에 있음은 모든 웨일 군 이동 $\lambda_i$ 도 $C_0$ 에 있음을 보장하며, 이는 블록의 구조를 통해 기약성에 필수적이다.