[논문 리뷰] Morita equivalence classes of blocks with extraspecial defect groups $p_+^{1+2}$

Jianbei An, Charles W. Eaton|arXiv (Cornell University)|2023. 10. 03.

Finite Group Theory Research인용 수 5

한 줄 요약

이 논문은 소수 $p \geq 5$에 대해 초특수 결함군 $p_+^{1+2}$를 가진 블록의 모티브 동치류를 분류하며, 이러한 군들에 대해 도널던의 추측과 얼페르-맥케이 추측을 증명한다. 이는 쿼시스임플 류의 분류와 융합 체계를 이용하여, 이러한 블록들이 특정 유한군—예를 들어 $SL_2(p)$, $PSL_3(p)$, 또는 고립군의 확장—의 블록과 모티브 동치임을 규명한다.

ABSTRACT

We characterise the Morita equivalence classes of blocks with extraspecial defect groups $p_+^{1+2}$ for $p \geq 5$, and so show that Donovan's conjecture and the Alperin-McKay conjecture hold for such $p$-groups. For $p=3$ we reduce Donovan's conjecture for blocks with defect group $3_+^{1+2}$ to bounding the Cartan invariants for such blocks of quasisimple groups. We apply the characterisation to the case $p=5$ as an example, to list the Morita equivalence classes of such blocks.

연구 동기 및 목표

• 소수 $p \geq 5$에 대해 초특수 결함군 $p_+^{1+2}$를 가진 모든 모티브 동치류 블록을 분류하는 것.
• 모티브 동치류가 유한히 존재함을 보여, $p$-군에 대해 도널던의 추측을 증명하는 것.
• 소수 $p \geq 5$에 대해 $p_+^{1+2}$ 결함군을 가진 블록에 대해 얼페르-맥케이 추측을 검증하는 것.
• 도널던의 추측을 $p=3$에 대해 쿼시스임플 군의 블록에 대한 카르탕 불변량의 유계성으로 환원하는 것.
• $p=5$의 경우에 대해 명시적인 모티브 동치류 분류를 제공하며, 총 62개의 동치류를 나열하는 것.

제안 방법

• 유한 단순군의 분류를 활용하여 결함군이 $p_+^{1+2}$인 쿼시스임플 군의 블록을 분석하는 것.
• 초특수 결함군을 가진 쿼시스임플 군의 블록에 관한 [5]의 결과와 $C_p \times C_p$ 결함군 및 비내부 자동형사가 존재하는 블록에 관한 [3]의 결과를 적용하는 것.
• 홀로모르프 $p_+^{1+2}$를 사용하여 관성 몫과 특성도를 GAP와 기존 특성표를 통해 계산하는 것.
• 쿠르슐라머-푸이그 불변량과 융합 체계 데이터를 활용하여 모티브 동치류를 구분하는 것.
• 파레르와 케사의 모티브-프로베니우스 수에 관한 연구를 적용하여, $p=3$에 대해 도널던의 추측을 카르탕 불변량의 유계성으로 환원하는 것.
• 특성도 자료와 군론적 불변량을 이용하여 $N_G(D)$ 내의 브라우어 대응체 $b$와의 비교를 통해 얼페르-맥케이 추측을 검증하는 것.

실험 결과

연구 질문

• RQ1 소수 $p \geq 5$에 대해 결함군이 $p_+^{1+2}$인 블록의 완전한 모티브 동치류는 무엇인가?
• RQ2 소수 $p \geq 5$에 대해 $p_+^{1+2}$에 대해 도널던의 추측이 성립하는가?
• RQ3 소수 $p \geq 5$에 대해 $p_+^{1+2}$ 결함군을 가진 블록에 대해 얼페르-맥케이 추측이 성립하는가?
• RQ4 쿼시스임플 군의 블록에 대한 카르탕 불변량의 유계성으로 $3_+^{1+2}$에 대해 도널던의 추측을 환원할 수 있는가?
• RQ5 $p=5$의 경우에 대해 모티브 동치류의 명시적 분류는 무엇인가?

주요 결과

• 소수 $p \geq 5$에 대해, 모든 결함군이 $p_+^{1+2}$인 블록은 형식 $D \rtimes \hat{E}$, $(C_p \times C_p) \rtimes H$, 또는 $PSL_3(p)$, $PSU_3(p)$, 그리고 $Th$, $J_4$, $M$과 같은 고립군을 포함하는 특정 거의단순군의 최대 결함 블록과 모티브 동치이다.
• 모티브 동치는 블록의 융합 체계와 쿠르슐라머-푸이그 클래스를 모두 유지한다.
• 소수 $p=5$에 대해, 본 논문은 결함군이 $5_+^{1+2}$인 블록에 대해 62개의 모티브 동치류를 명시적으로 나열한다.
• 소수 $p \geq 5$에 대해 얼페르-맥케이 추측은 성립하며, 각 블록 $B$와 그 브라우어 대응체 $b$에 대해 $k_0(B) = k_0(b)$임을 확인하였다.
• 소수 $p=3$에 대해, 도널던의 추측은 쿼시스임플 군의 블록에 대해 결함군이 $3_+^{1+2}$일 때, 가장 큰 카르탕 불변량이 항상 일정한 상한 $c$ 이내에 있음을 보장하는 것으로 환원된다.
• 특성도 계산과 $p_+^{1+2}$의 홀로모르프의 서브군 분석을 통해 GAP를 활용하여, 나열된 모든 블록에 대해 $k_0(B) = k_0(b)$를 검증하였다.