[논문 리뷰] On the inductive blockwise Alperin weight condition for type $\mathsf A$

Zhicheng Feng, Conghui Li외 1명|arXiv (Cornell University)|2020. 08. 14.

Finite Group Theory Research참고 문헌 31인용 수 4

한 줄 요약

이 논문은 유한 체 위의 유한 특수 선형 및 유니타리 군에 대해 블록별 알페린 웨이트 추측을 증명하고, 유니포텐트 및 최대 차수 블록에 대해 블록별 알페린 웨이트 조건을 수립하며, 준단순 2'-원소와 궤도 대표자를 사용하여 이러한 군의 2-블록을 분류한다. 이는 기존 결과를 확장하여, gcd(n, q−η)ℓ′이 제곱 자유일 때 유형 A 군에 대해 조건을 검증하고, 아벨 Sylow 3-부분군을 가진 유한군에 대해 적용한다.

ABSTRACT

In this paper we prove the blockwise Alperin weight conjecture for finite special linear and unitary groups, for finite groups with abelian Sylow $3$-subgroups, and verify the inductive blockwise Alperin weight condition for certain cases of groups of type $\mathsf A$. We also give a classification for the 2-blocks of special linear and unitary groups.

연구 동기 및 목표

• 특수 선형 및 유니타리 군을 포함한 유한 유형 A 군에 대해 블록별 알페린 웨이트 조건의 유도 조건(iBAW 조건)을 검증하는 것.
• 모든 소수에 대해 특수 선형 및 유니타리 군에 대해 블록별 알페린 웨이트 추측을 수립하는 것.
• 정의 특성이 홀수일 때, 유한 특수 선형 및 유니타리 군의 2-블록을 분류하는 것.
• 이전의 유니포텐트 및 최대 차수 블록 결과를 더 넓은 범주로 확장하여 보다 일반적인 블록과 소수에 대해 적용하는 것.
• 아벨 Sylow 3-부분군을 가진 유한군에 대해 블록별 알페린 웨이트 추측을 증명하는 것.

제안 방법

• Späth(2013)와 Navarro–Tiep(2011)의 감소 결과를 활용하여, 블록별 알페린 웨이트 추측을 블록별 알페린 웨이트 조건의 검증으로 감소시키며, 이는 유형 A 유한 단순군에 국한된다.
• Broué의 GLn(ηq)에 대한 Brauer 쌍의 분류와 이전 연구에서의 SLn(ηq)의 루트 부분군 구조를 적용하여 2-블록을 분석한다.
• d-Jordan-쿠스피달 쌍과 준단순 2'-원소의 개념을 활용하여 SLn(ηq)의 2-블록을 매개변수화하며, 이는 이전의 홀수 소수에 대한 결과를 일반화한다.
• 2-블록의 레이블링 집합으로서 (n,2)-적합한 블록 기호를 도입하며, 이는 Frobenius 작용 하에서의 원근의 궤도와 차수 조건을 통해 정의된다.
• κ(𝔟)를 블록 기호 𝔟 위에서 O₂′(ℤ)의 고정점 수로 정의하며, 이는 주어진 GLn(ηq)의 2-블록이 커버하는 SLn(ηq)의 2-블록 수를 세는 데 사용된다.
• 군 작용과 궤도 수를 활용하여, O₂′(ℤ)-궤도 대표자들을 따라가는 (n,2)-적합한 기호 𝔟와 j=1,…,κ(𝔟)에 대해 인덱싱된 (B𝔟)j의 집합이 모든 SLn(ηq)의 2-블록을 완전하고 서로소로 매개변수화함을 보인다.

실험 결과

연구 질문

• RQ1 SLn(ηq)의 유니포텐트 및 최대 차수 블록에 대해 모든 소수에 대해 유도 블록별 알페린 웨이트 조건이 성립하는가?
• RQ2 gcd(n, q−η)ℓ′이 제곱 자유일 때, PSLn(ηq)의 단순군에 대해 iBAW 조건을 검증할 수 있는가?
• RQ3 홀수 q에 대해 SLn(ηq)의 2-블록의 완전한 매개변수화는 무엇이며, 하나의 GLn(ηq)의 2-블록이 몇 개인가?
• RQ4 아벨 Sylow 3-부분군을 가진 유한군에 대해 블록별 알페린 웨이트 추측이 성립하는가?
• RQ5 유한 리 군의 블록에 대해 d-Jordan-쿠스피달 쌍 분류에서 홀수 소수의 가정이 필수적인가?

주요 결과

• 모든 소수에 대해 모든 유한 특수 선형 및 유니타리 군에 대해 블록별 알페린 웨이트 추측이 성립한다.
• 모든 소수 ℓ가 q를 나누지 않을 때, SLn(ηq)의 유니포텐트 및 최대 차수 블록에 대해 블록별 알페린 웨이트 조건이 검증된다.
• gcd(n, q−η)ℓ′이 제곱 자유일 경우, PSLn(ηq)의 단순군에 대해 iBAW 조건이 성립하며, 이는 n ≤ 7일 때 추측이 성립함을 암시한다.
• GLn(ηq)의 주어진 2-블록이 커버하는 SLn(ηq)의 2-블록 수는 κ(𝔟)로 주어지며, 이는 블록 기호 𝔟 위에서 O₂′(ℤ)의 고정점 수이다.
• O₂′(ℤ)-궤도 대표자들을 따라가는 (n,2)-적합한 블록 기호 𝔟와 j=1,…,κ(𝔟)에 대해 인덱싱된 (B𝔟)j의 집합은 SLn(ηq)의 모든 2-블록을 완전하고 서로소로 매개변수화한다.
• 결과는 [26, Thm. A(e)]에서 홀수 소수의 가정이 필수적임을 보여주며, 4∣q+η일 경우 커버링되는 2-블록 수의 상한이 κ(𝔟)를 초과할 수 있음을 시사한다.