[논문 리뷰] Character correspondences induced by magic representations

Frieder Ladisch|arXiv (Cornell University)|2010. 04. 26.

Finite Group Theory Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 유한군의 기약표현 사이의 새로운 문자 대응을 '마법의 표현'을 통해 제안한다—즉, 문자 제한의 다중도에서 유래하는 계약형 표현이다. 계약형 표현이 일반 표현으로 올라갈 수 있을 경우, 그로 인해 군 대수 사이의 모리타 동치가 유도되며, 이는 정규부분군의 주어진 문자 위에 있는 문자들과 그 교차부분군의 대응 문자들 사이의 전단사 대응을 유도한다. 이 대응은 유리성과 슈어 지표의 행동을 제어한다.

ABSTRACT

Let G be a finite group, K a normal subgroup of G and H a subgroup such that G = HK, and set L = H \cap K. Suppose θ\in Irr K and ϕ\in Irr L, and ϕ occurs in θ_L with multiplicity n > 0. A projective representation of degree n on H/L is defined in this situation; if this representation is ordinary, it yields a bijection between Irr(G | θ) and Irr(H | ϕ). The behavior of fields of values and Schur indices under this bijection is described. A modular version of the main result is proved. We show that the theory applies if n and the order of H/L are coprime. Finally, assume that P <= G is a p-group with P \cap K = 1 and PK normal in G, that H = N_G(P), and that θ and ϕ belong to blocks of p-defect zero which are Brauer correspondents with respect to the group P. Then every block of F_p[G] or Q_p[G] lying over θ is Morita-equivalent to its Brauer correspondent with respect to P. This strengthens a result of Turull [Above the Glauberman correspondence, Advances in Math. 217 (2008), 2170--2205].

연구 동기 및 목표

• 문자 제한의 다중도에서 유래하는 계약형 표현을 사용하여 $\operatorname{Irr}(G\mid\vartheta)$와 $\operatorname{Irr}(H\mid\varphi)$ 사이의 일반적인 문자 대응을 수립한다.
• 이 대응 하에서 체의 값과 슈어 지표의 행동을 기술하여 유리성 호환성을 확보한다.
• 특히 $p$-결함 차수 블록의 맥락에서 $\mathbb{F}_p$ 및 $\mathbb{Q}_p$ 위의 모듈라 표현으로 이 이론을 확장한다.
• 기존의 결과들, 예를 들어 글로우버만 대응을 일반화하기 위해 $\mathbb{F}_pG$ 및 $\mathbb{Q}_pG$의 블록들과 그 브라우어 대응체 사이의 모리타 동치를 증명한다.
• 클리포드 대응에 의존하지 않고, 체와 슈어 지표 데이터를 유지하는 보완된 프레임워크를 통해 비불변 문자를 다룬다.

제안 방법

• 중앙 아이디empo트런트 $i = e_\vartheta e_\varphi$ 를 $\mathbb{C}K$ 에서 정의하고, 중심화자 $S = \mathbf{C}_{i\mathbb{C}Ki}(L) \cong \mathbf{M}_n(\mathbb{C})$ 를 구성한다.
• $H/L$ 가 $S$ 에 작용하는 코너지션을 통해 $\sigma: H/L \to S^*$ 를 정의한다. 여기서 $s^h = s^{\sigma(h)}$ 이다.
• 만약 $\sigma$ 가 일반 표현으로 올라간다면, 이를 '마법의 표현'으로 선언하고, 이는 $\mathbb{C}Ge_\vartheta$ 와 $\mathbb{C}He_\varphi$ 사이의 모리타 동치를 유도한다.
• 마법의 표현의 문자 $\psi$ 를 통해 $\iota: \operatorname{Irr}(G\mid\vartheta) \to \operatorname{Irr}(H\mid\varphi)$ 를 정의하고, 다음 항등식을 만족시킨다: $\sum_{\xi \in \operatorname{Irr}(H\mid\varphi)} (\chi_H, \xi)\xi = \psi \chi^\iota$.
• 계약형 표현의 코homology 클래스를 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1} \in H^2(G/K, \mathbb{C}^*)$ 와 연결한다.
• 모듈라 설정으로 확장하기 위해 $\mathbb{F}_p$ 와 $\mathbb{Q}_p$ 를 사용하고, $p$-군 제어 하에서 $\mathbb{F}_pG$ 및 $\mathbb{Q}_pG$ 의 블록들과 그 브라우어 대응체 사이의 모리타 동치를 증명한다.

실험 결과

연구 질문

• RQ1 문자 제한의 다중도 $n = (\vartheta_L, \varphi)$ 에서 유래하는 계약형 표현이 일반 표현으로 올라가기 위한 조건은 무엇인가? 이는 문자 대응을 가능하게 한다.
• RQ2 문자 대응에 의해 유도된 $\operatorname{Irr}(G\mid\vartheta)$ 와 $\operatorname{Irr}(H\mid\varphi)$ 사이의 체의 값과 슈어 지표는 어떻게 변하는가?
• RQ3 모듈라 표현, 특히 $\vartheta$ 와 $\varphi$ 가 $p$-결함 차수 블록에 있을 경우, 이 이론을 $\mathbb{F}_p$ 와 $\mathbb{Q}_p$ 에서 확장할 수 있는가?
• RQ4 문자 대응의 존재성과 성질을 결정하는 데 코homology 클래스 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1}$ 의 역할은 무엇인가?
• RQ5 $\vartheta$ 와 $\varphi$ 가 각각 $G$-나 $H$-불변이 아닐 경우, 클리포드 대응에 의존하지 않고 어떻게 이 대응을 구성할 수 있는가?

주요 결과

• 계약형 표현이 일반 표현으로 올라갈 수 있을 경우, 마법의 표현을 통해 $\iota: \operatorname{Irr}(G\mid\vartheta) \to \operatorname{Irr}(H\mid\varphi)$ 를 구성할 수 있다.
• 문자 대응은 항등식 $\sum_{\xi \in \operatorname{Irr}(H\mid\varphi)} (\chi_H, \xi)\xi = \psi \chi^\iota$ 를 만족하며, 여기서 $\psi$ 는 마법의 표현의 문자이다.
• 계약형 표현의 코homology 클래스는 정확히 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1}$ 이며, 이는 문자 대응을 군 코hom올로지와 연결한다.
• 만약 $n = (\vartheta_L, \varphi)$ 와 $|H/L|$ 가 서로소일 경우, 이 이론이 적용되며, 슈미드의 결과를 일반화한다.
• 모듈라 설정에서, $\mathbb{F}_pG$ 또는 $\mathbb{Q}_pG$ 의 모든 블록이 $\vartheta$ 위에 있을 경우, $p$-군 $P$ 에 대해 브라우어 대응체와 모리타 동치이다. 이는 투르울의 결과를 강화한다.
• $p$-결함 차수 블록의 경우, 대응은 브라우어 대응을 유지하고, $\mathbb{F}_pG$ 및 $\mathbb{Q}_pG$ 의 블록들과 그 $P$-브라우어 대응체 사이의 모리타 동치를 유도한다.