[논문 리뷰] Third cohomology for Frobenius kernels and related structures

Christopher P. Bendel, Daniel K. Nakano외 1명|arXiv (Cornell University)|2014. 10. 09.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 6

한 줄 요약

이 논문은 양의 특성 $p > 0$에서 보렐 부분군과 그들의 프로베누스 핵심에 대한 세 번째 코homology 군을 계산하며, 이는 이전의 $\mathrm{H}^2$ 결과를 확장한다. 스펙트럴 시퀀스, 리 대수 코homology, 루트 시스템 분석을 사용하여, 모든 단순한 단순 연결 대수적 군에 대해 $\mathrm{H}^3(B_r, \lambda)$와 $\mathrm{H}^3(\mathfrak{u}, k)$를 결정한다. 이 코homology 군들이 좋은 필터링을 가짐을 보이고, 유한 체일레이는 군의 제3 코homology에 대해 선형 경계를 제공한다.

ABSTRACT

Let $G$ be a simple simply connected group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p>0$. Moreover, let $B$ be a Borel subgroup of $G$ and $U$ be the unipotent radical of $B$. In this paper the authors compute the third cohomology group for $B$ and its Frobenius kernels, $B_{r}$, with coefficients in a one-dimensional representation. These computations hold with relatively mild restrictions on the characteristic of the field. As a consequence of our calculations, the third ordinary Lie algebra cohomology group for ${\mathfrak u}= ext{Lie }U$ with coefficients in $k$ is determined, as well as the third $G_{r}$-cohomology with coefficients in the induced modules $H^{0}(λ)$.

연구 동기 및 목표

• 보렐 부분군과 그들의 프로베누스 핵심에 대해 양의 특성에서 라이슨 코호모로지 군의 계산을 차수 2에서 3으로 확장한다.
• 보렐 부분군의 유니포텐트 라디컬 $\mathfrak{u}$에 대해 일반적인 리 대수 코호모로지 군 $\mathrm{H}^3(\mathfrak{u}, k)$를 결정한다.
• $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$를 계산하고, 이 코호모로지 군이 $G$-모듈로서 좋은 필터링을 가짐을 보인다.
• 결과를 적용하여, 유한 체일레이나 군의 제3 코호모로지에 대해 선형 경계를 유도한다.

제안 방법

• 스펙트럴 시퀀스를 사용하여 프로베누스 핵심의 코호모로지와 리 대수 코호모로지, $B$의 유리형 코호모로지 간의 관계를 설정한다.
• 루트 시스템 자료와 웨일 군 작용을 사용하여 $\mathrm{H}^3(\mathfrak{u}, k)$의 무게를 분류하며, 특히 루트의 삼중합을 분석한다.
• Andersen [And]의 $B$-코호모로지 기법을 적용하여, 리 대수 코호모로지로의 축소를 통해 $\mathrm{H}^3(B_r, \lambda)$를 묘사한다.
• 스펙트럴 시퀀스 추론의 핵심 단계로 $\mathrm{H}^1(\mathfrak{u}, \mathfrak{u}^*)$를 계산한다.
• $U_1$, $B_1$, $G_1$에 대한 $\mathrm{H}^2$-군의 알려진 구조를 활용하여 귀납적이고 비교적인 추론을 수립한다.
• 특히 $B_n$, $C_n$, $F_4$ 유형에 대해, 저특성($p=3,5$)에서의 예외적 케이스를 명시적인 루트 시스템 계산을 통해 분석한다.

실험 결과

연구 질문

• RQ1 보렐 부분군 $B$와 그의 프로베누스 핵심 $B_r$에 대해, 양의 특성 $p$에서 $\mathrm{H}^3(B_r, \lambda)$의 구조는 무엇인가?
• RQ2 $\mathrm{H}^3(\mathfrak{u}, k)$는 $G$-모듈로 어떻게 분해되며, 이 코호모로지 군에 나타나는 무게는 무엇인가?
• RQ3 $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$는 $G$-모듈로서 좋은 필터링을 가지는가?
• RQ4 $\mathrm{H}^3(B_r, \lambda)$에 대한 결과는 유한 체일레이나 군 $G(\mathbb{F}_q)$의 제3 코호모로지에 대해 경계를 설정하는 데 사용될 수 있는가?

주요 결과

• 모든 무게 $\lambda \in X(T)$와 모든 $r \geq 1$에 대해, $\mathrm{H}^3(B_r, \lambda)$가 완전히 계산되었으며, $p$에 대해 상대적으로 미묘한 제약 조건이 있다.
• 일반적인 리 대수 코호모로지 군 $\mathrm{H}^3(\mathfrak{u}, k)$가 명시적으로 결정되었으며, 루트 시스템 구성과 특성 $p$에 기반한 무게가 분류되었다.
• $p > h$일 경우, $\mathrm{H}^3(B, \lambda)$가 계산되었으며, 이는 이전 결과가 $p > h$와 $n=3$일 때만 알려져 있었던 것을 확장한다.
• $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$가 $G$-모듈로서 좋은 필터링을 가짐을 보였으며, 이는 핵심적인 구조적 결과이다.
• 논문은 $B$-코호모로지 계산에서 유도된 $G$의 랭크에 대한 함수로 $\mathrm{H}^3(G(\mathbb{F}_q), k)$에 대해 선형 경계를 제공한다.
• $p=3$과 $p=5$에 대한 예외적 케이스가 $B_n$, $C_n$, $F_4$ 유형에서 확인되었으며, 삼중 루트 구성에서 $\gamma_w$에 대한 수정된 무게 공식이 제시되었다.