[논문 리뷰] Towards a Jordan decomposition of blocks of finite reductive groups

Michel Enguehard|arXiv (Cornell University)|2013. 11. 30.

Advanced Algebra and Geometry인용 수 9

한 줄 요약

이 논문은 유한 재구성 군의 블록에 대한 조르당 분해를 구축함으로써, 체 $\mathbb{F}_q$ 위에 정의된 재구성 군 $H$를 구성함으로써, 주어진 유리 루스티그 시리즈 내에서 $GF$의 $\ell$-블록과 높이를 유지하고, 결함군과 브라우어 분류가 동형인 관계를 맺는다. 주요 기여는 $\ell$과 군 유형에 대한 온건한 조건 하에서, $GF$의 블록의 기약 표현과 $H$의 유니포텐트 블록 간의 일대일이고 구조를 유지하는 대응이다.

ABSTRACT

\input amssym.def \input amssym.tex Let $G$ be a connected algebraic reductive group over an algebraic closure of a prime field ${\Bbb F}_p$, defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime different from $p$. Let $B$ be an $\ell$-block of the subgroup of rational points $G^F$. Under mild restrictions on $\ell$, we show the existence of an algebraic reductive group $H$ defined over ${\Bbb F}_q$ {\it via} a Frobenius $F$, and of a unipotent $\ell$-block $b$ of $H^F$ such that : the respective defect groups of $b$ and $B$ are isomorphic, the associated Brauer categories are isomorphic and there is a height preserving one-to-one map from the set of irreducible representations of $b$ onto the set of irreducible representations of $B$. \end

연구 동기 및 목표

• 유한 재구성 군의 $\ell$-블록으로까지 조르당 분해를 확장한다.
• 그것의 유니포텐트 $\ell$-블록이 $GF$의 표현 이론적 구조를 반영하는 유한 재구성 군 $H$를 구성한다.
• 결함군과 브라우어 분류가 동형인, 높이를 유지하는 대응 관계를 $GF$의 블록과 $H$의 유니포텐트 블록 간에 수립한다. 이는 $\ell$에 대한 온건한 조건 하에서 성립한다.
• 블록의 분류와 일반화된 하리슈-차이나 이론을 사용한 조합론적 기반의 정정된 증명을 제공함으로써, 이전 작업의 오류를 해결한다.

제안 방법

• Frobenius $F$를 통해 $\mathbb{F}_q$ 위에 정의된 중심화자 $C_{G^*}(s)$의 이중 재구성 군 $G(s)$를 구성한다.
• 루스티그 함수 $R^G_L$를 통한 루스티그 시리즈와 표현의 조르당 분해를 적용하여, $E(G^F, s)$와 $E(C_{G^*}(s)^F, 1)$ 내의 표현을 연결한다.
• 카바네스와 엔구에하르의 '쿠스피달 데이터'를 통한 $\ell$-블록의 분류를 활용하여, 블록을 조합론적으로 매개화한다.
• 정규 포함 $G \to H$에서 클리포드 이론을 적용하여, 중심화자의 비연결 성분과 그들이 블록 구조에 미치는 영향을 분석한다.
• 유니포텐트 표현에 대한 일반화된 하리슈-차이나 이론을 적용하여, $\operatorname{Irr}(B)$와 $\operatorname{Irr}(b)$를 쿠스피달 데이터로 기술한다.
• 루트 데이터와 $\delta$-코어 분할을 사용하여 조합론적 매개변수를 제어하고, 귀납적 추론과 최소 경우로의 환원을 통해 증명을 수행한다.

실험 결과

연구 질문

• RQ1 유한 재구성 군의 $\ell$-블록에 대해, 기존의 기약 표현에 대한 알려진 분해와 유사하게 조르당 분해를 수립할 수 있는가?
• RQ2 어떤 조건에서 $\ell$과 군 구조에 대해, 관련된 유한 재구성 군 $H$의 유니포텐트 $\ell$-블록이 주어진 루스티그 시리즈 내 $GF$의 블록과 이항 대응 관계를 맺는가?
• RQ3 $H^F$의 유니포텐트 블록 $b$와 $G^F$의 블록 $B$ 사이에 높이를 유지하고, 결함군과 브라우어 분류가 동형인 대응 관계가 존재하는가?
• RQ4 $C_{G^*}(s)$가 연결되어 있지 않을 경우, 쿠스피달 데이터와 일반화된 하리슈-차이나 이론을 사용하여 $G^F$의 블록의 구조를 어떻게 조합론적으로 묘사할 수 있는가?
• RQ5 $C_{G^*}(s)$가 연결되어 있지 않을 경우, 정규 포함과 클리포드 이론을 통해 블록 대응에서 발생하는 실패를 얼마나 잘 보완할 수 있는가?

주요 결과

• 모든 $\ell$-블록 $B$가 $G^F$의 유리 루스티그 시리즈 $E(G^F, s)$에 속할 때, 그와 높이를 유지하는 일대일 대응 관계를 맺는 $\mathbb{F}_q$ 위에 정의된 재구성 군 $H$가 존재한다.
• $b$ (즉, $H^F$의 유니포텐트 블록)와 $B$의 결함군은 유한 $\ell$-군으로서 서로 동형이다.
• $b$와 $B$의 관련 브라우어 분류는 블록 이론적 구조를 유지하면서 동형이다.
• $\operatorname{Irr}(b)$와 $\operatorname{Irr}(B)$ 사이의 대응은 기약 표현의 높이를 유지하는 전단사이다.
• 이 구성은 $G(s)$와 $C_{G^*}(s)$ 사이의 이중성에 기반하며, $\ell$이 $G$에 대해 양호하고 온건한 제약 조건을 만족할 때 성립한다.
• 증명은 조합론적이고 귀납적인 방식이며, 카바네스와 엔구에하르의 블록 분류 및 $\delta$-코어와 $\delta$-쿠스피달 데이터의 성질에 의존한다.