[논문 리뷰] The blocks and weights of finite special linear and unitary groups

Zhicheng Feng|arXiv (Cornell University)|2018. 05. 17.

Finite Group Theory Research참고 문헌 35인용 수 5

한 줄 요약

이 논문은 비정의 특성 $ε$-블록을 갖는 유한 특수 선형 및 유니타리 군 $σδδ_n(\epsilon q)$의 $\ell$-블록을 비정의 특성 $ε \geq 3$에서 분류하고, 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서 $\mathrm{SL}_n(\epsilon q)$와 $\mathrm{GL}_n(\epsilon q)$의 $\ell$-웨이트 사이의 대응관계를 확립한다. 주요 결과는 동일한 조건 하에서 이들 군에 대해 알페린 웨이트 추측과 유도 블록별 알페린 웨이트 조건을 검증하는 것이다.

ABSTRACT

This paper has two main parts. Firstly, we give a classification of the $\ell$-blocks of finite special linear and unitary groups $SL_n(εq)$ in the non-defining characteristic $\ell\ge 3$. Secondly, we describe how the $\ell$-weights of $SL_n(εq)$ can be obtained from the $\ell$-weights of $GL_n(εq)$ when $\ell mid\mathrm{gcd}(n,q-ε)$, and verify the Alperin weight conjecture for $SL_n(εq)$ under the condition $\ell mid\mathrm{gcd}(n,q-ε)$. As a step to establish the Alperin weight conjecture for all finite groups, we prove the inductive blockwise Alperin weight condition for any unipotent $\ell$-block of $SL_n(εq)$ if $\ell mid\mathrm{gcd}(n,q-ε)$.

연구 동기 및 목표

• 비정의 특성 $ε \geq 3$에서 유한 특수 선형 및 유니타리 군 $\mathrm{SL}_n(\epsilon q)$의 $\ell$-블록을 분류하는 것.
• 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서 $\mathrm{SL}_n(\epsilon q)$의 $\ell$-웨이트가 $\mathrm{GL}_n(\epsilon q)$의 웨이트로부터 어떻게 유도되는지 기술하는 것.
• 동일한 조건 하에서 $\mathrm{SL}_n(\epsilon q)$에 대해 알페린 웨이트 추측을 검증하는 것.
• 조건 $\ell \nmid \gcd(n, q - \epsilon)$일 때, $\mathrm{SL}_n(\epsilon q)$의 유니포텐트 $\ell$-블록에 대해 유도 블록별 알페린 웨이트(iBAW) 조건을 증명하는 것.

제안 방법

• 포نغ, 스리니바산, 브우에, 카바네스, 엔구에하르드, 케사르, 말레가 제시한 일반 선형 및 유니타리 군에 대한 $\ell$-블록 분류 결과를 활용한다.
• 케사르와 말레(2012)의 레마를 이용하여 $\mathrm{GL}_n(\epsilon q)$와 $\mathrm{SL}_n(\epsilon q)$ 간의 $\ell$-블록 매개화를 연결한다.
• 특히 $\ell$-레디컬 부분군과 결함 차수 0 특성의 역할을 중심으로, 유한 리 군의 유형에서 $\ell$-블록과 $\ell$-웨이트 이론을 적용한다.
• 유한 단순군의 자기동형군의 구조를 이용하여, 특성 확장 기법을 통해 유도 블록별 알페린 웨이트 조건을 적용한다.
• 프라티니의 정리와 가역 몫에서의 헬 $\ell'$-부분군의 성질을 활용하여, 브라우어 특성의 확장 성질을 확립한다.
• 해소 가능 외부 자기동형군을 갖는 유한군에서의 특성 확장과 블록 상향에 관한 결과 [38] 및 [28]을 응용한다.

실험 결과

연구 질문

• RQ1 비정의 특성 $ε \geq 3$에서 $\mathrm{SL}_n(\epsilon q)$의 $\ell$-블록은 어떻게 매개화되는가?
• RQ2 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서 $\mathrm{SL}_n(\epsilon q)$의 $\ell$-웨이트와 $\mathrm{GL}_n(\epsilon q)$의 $\ell$-웨이트 사이의 관계는 무엇인가?
• RQ3 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서 알페린 웨이트 추측은 $\mathrm{SL}_n(\epsilon q)$에 대해 성립하는가?
• RQ4 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서 $\mathrm{SL}_n(\epsilon q)$의 유니포텐트 $\ell$-블록은 유도 블록별 알페린 웨이트 조건을 만족하는가?

주요 결과

• $\mathrm{SL}_n(\epsilon q)$의 $\ell$-블록은 비정의 특성 $ε \geq 3$에서 분류되었으며, 이는 이전의 $\mathrm{GL}_n(\epsilon q)$ 결과를 확장한다.
• 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서, $\mathrm{SL}_n(\epsilon q)$의 $\ell$-웨이트는 제약과 인플레이션을 통해 $\mathrm{GL}_n(\epsilon q)$의 웨이트와 이중체로 대응된다.
• 알페린 웨이트 추측은 $\ell \nmid |Z(\mathrm{SL}_n(\epsilon q))|$일 때 성립하며, 이는 $\ell \nmid \gcd(n, q - \epsilon)$와 동치이다.
• 조건 $\ell \nmid \gcd(n, q - \epsilon)$ 하에서, $\mathrm{SL}_n(\epsilon q)$의 모든 유니포텐트 $\ell$-블록에 대해 유도 블록별 알페린 웨이트 조건이 검증되었다.
• 증명은 특성 확장과 자기동형군 구조 $\mathrm{Aut}(X) = (G \rtimes D)/Z(G)$에 기반하며, $A = \mathrm{Aut}(X)/Z(G)$가 $\overline{X}$에 대해 해소 가능하다는 점을 활용한다.
• 특히 $n = 2$일 경우, iBAW 조건의 검증은 정의 2.7의 조건 (iii)을 확인하는 것으로 귀결되며, 이는 고차수의 경우와 동일한 추론을 통해 성립한다.