[논문 리뷰] Cohomology of algebraic groups, finite groups, and Lie algebras: Interactions and Connections

Daniel K. Nakano|arXiv (Cornell University)|2014. 04. 13.

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

한 줄 요약

이 논문은 플래그 다양체와 노름 없는 궤도와 같은 기하학적 구조를 활용하여 대수적 군, 유한군, 리 대수의 코homology 이론 사이의 새로운 연결 고리를 설정한다. 특히 $G(\bbF_q)$, $G_r$, 및 $G$에 중점을 두며, $ \mathrm{H}^\bullet(G(\bbF_q),k)$의 명시적 상한과 소멸 결과를 제공한다. $A_n$ 및 $C_n$ 형식에서 특정 소수 조건 하에 첫 비자명한 코homology가 각각 $2p-3$ 및 $p-2$ 차수에서 나타남을 보여준다.

ABSTRACT

This paper surveys results on the connections between the cohomology for algebraic groups, finite groups and Frobenius kernels that were presented at the Workshop and Summer School on Lie and Representation Theory at East China Normal University during July 2009.

연구 동기 및 목표

• 대수적 군 $G$, 유한군 $G(\bbF_q)$, 무한소 군 $G_r$의 표현 범주 간의 구조적이고 코homological인 관계를 명확히 하기 위해.
• 특히 $ \mathrm{H}^i(G(\bbF_q),k)$의 소멸 및 비소멸에 관한 오랫동안 남아 있던 질문을 해결하기 위해.
• 플래그 다양체 $G/B$와 노름 없는 궤도 이론과 같은 기하학적 도구에 더해 루트 시스템 조합론을 활용하여 확장과 코homology를 계산하기 위한 새로운 방법을 개발하기 위해.
• 코스타ント의 분할 함수와 스펙트럴 시퀀스를 통해 $ \mathrm{H}^\bullet(G(\bbF_q),k)$의 정확한 상한과 명시적 소멸 범위를 확립하기 위해.
• 형식 $C_n$인 $G$에 대해 $p > 2n$일 때 첫 비자명한 코homology가 차수 $p-2$에서 발생하고, 형식 $A_n$일 때는 특정 조건 하에 $2p-3$에서 발생함을 증명하기 위해.

제안 방법

• 코호몰로지의 $G(\bbF_q)$를 $G$ 및 $G_1$의 코호몰로지와 연결하기 위해 LHS 스펙트럴 시퀀스를 활용하여 범주 간 정보 전달을 가능하게 한다.
• 루트 시스템 조합론을 적용하여 비자명한 코호몰로지 차수의 하한을 도출하기 위해, 불가약한 라디컬 $\mathfrak{u}^*$의 대칭 거듭제곱에서의 무게 다중도를 분석한다.
• 코스타ント의 분할 함수를 사용하여 $r=1$ 및 $p > h$ (코엑스터 수) 조건 하에 $ \mathrm{H}^\bullet(G(\bbF_q),k)$의 차원을 상한으로 제시한다.
• 스테인베르그 텐서 곱 정리와 제약 함수를 활용하여 $G$, $G_r$, $G(\bbF_q)$ 간의 단순 및 프로젝티브 모듈 간의 관계를 설정한다.
• 유한 차원 코코무터티브 호프 대수의 지지 다양체 및 복잡도 이론을 적용하여 $ \mathrm{mod}(G_r)$ 및 $ \mathrm{mod}(G(\bbF_q))$에서의 확장 행동을 분석한다.
• 특정 무게 $\lambda = p\omega_1 + w\cdot 0$를 구성하여 $ \mathrm{H}^{p-2}(G, H^0(\lambda) \otimes H^0(\lambda^*)^{(1)}) \neq 0$임을 증명함으로써 핵심 차수에서의 비소멸성을 입증한다.

실험 결과

연구 질문

• RQ1 형식 $C_n$인 $G$와 $p > 2n$일 때, $ \mathrm{H}^i(G(\bbF_q),k)$의 정확한 소멸 범위는 무엇인가?
• RQ2 형식 $A_n$일 때, $ \mathrm{H}^i(G(\bbF_p),k)$의 첫 비자명한 코호몰로지가 어느 차수에서 처음 나타나며, 이는 $p$와 $n$에 어떻게 의존하는가?
• RQ3 코스타ント의 분할 함수와 루트 시스템 자료를 사용하여 $G(\bbF_q)$의 코호몰로지를 상한으로 제시할 수 있는가?
• RQ4 접합형 군에 대해 $ \mathrm{H}^\bullet(G(\bbF_q),k)$의 차원에 대한 통일된 상한이 존재하는가?
• RQ5 LHS 스펙트럴 시퀀스를 통해 $G(\bbF_q)$의 코호몰로지와 $G$의 코호몰로지 간의 관계는 무엇인가?

주요 결과

• 형식 $C_n$인 $G$에 대해 $p > 2n$일 때, $\mathrm{H}^i(G(\bbF_q),k) = 0$ for $0 < i < r(p-2)$이며, $\mathrm{H}^{p-2}(G(\bbF_p),k) \cong k$이다.
• 형식 $A_n$에 대해 $n \geq 2$ 및 $p > n+1$일 때, $p > n+2$ 및 $n > 3$ 조건 하에 첫 비자명한 코호몰로지가 차수 $2p-3$에서 나타나며, $\mathrm{H}^{2p-3}(G(\bbF_p),k) \cong k$이다.
• $p = n+2$ 및 $n \geq 2$일 때, $\mathrm{H}^{p-2}(G(\bbF_p),k) \cong k \oplus k$이며, 이는 비자명한 자기확장임을 나타낸다.
• $n=2$ 및 $3 \mid (p-1)$일 때, $\mathrm{H}^{2p-6}(G(\bbF_p),k) \cong k \oplus k$이며, $3 \nmid (p-1)$일 땐 첫 비자명한 코호몰로지가 $2p-3$에서 나타나며 $\mathrm{H}^{2p-3}(G(\bbF_p),k) \cong k$이다.
• $n=3$ 및 $p > 5$일 때, $\mathrm{H}^{2p-6}(G(\bbF_p),k) \cong k$이며, 이는 소멸 범위에서 일관된 패턴을 보임을 보여준다.
• 무게 $\lambda = (p-2n)\omega_1$와 특정 웨일 군 원소 $w$에 대해 $ \mathrm{H}^{p-2}(G, H^0(\lambda) \otimes H^0(\lambda^*)^{(1)}) \neq 0$임을 만족하며, 이는 예측된 차수에서의 비소멸성을 입증한다.