[논문 리뷰] On representations of twisted group rings

Matthias Kuenzer|ArXiv.org|2003. 01. 13.

Algebraic structures and combinatorial models참고 문헌 9인용 수 4

한 줄 요약

이 논문은 군환에서 단순 모듈의 수에 대한 Brauer의 공식을 $T \wr G$ 형태의 트위스트드 군환으로 일반화한다. 여기서 $G$는 체 $L$ 위에 작용하고 고정체는 $K$이며, $T$는 $L$에서 이산 평탄환 $S$의 정수 폐쇄이다. 논문은 $L\wr G$ 내의 최대 순서에서 $T\wr G$의 $S$-선형 코길이를 계산하고, 모듈라 조건 하에서 중심의 차원을 통해 $T\wr G$-모듈의 수에 대한 공식을 도출한다. 이는 고전적 표현 이론을 트위스트드 설정으로 확장한다.

ABSTRACT

We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed field of this operation, let S be a discrete valuation ring with field of fractions K, maximal ideal generated by pi and integral closure T in L. We compute the colength of the twisted group ring T G in a maximal order in L G. Moreover, if S/pi S is finite, we compute the S/pi S- dimension of the center of T G/Jac(T G). If this quotient is split semisimple, this yields a formula for the number of simple T G-modules, generalizing Brauer's formula.

연구 동기 및 목표

• untwisted에서 twisted 군환으로 단순 모듈의 수에 대한 Brauer의 공식을 확장하는 것.
• $T$가 갈루아 확장 $L/K$에서 이산 평탄환 $S$의 정수 폐쇄일 때, $L\wr G$ 내의 최대 순서에서 $T\wr G$의 코길이를 계산하는 것.
• $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$가 분할된 단순 가역적일 때, 그 중심의 $\bar{S}$-차원을 사용하여 $\bar{T}\wr G$-모듈의 수를 결정하는 것.
• untwisted 경우의 Brauer-Nesbitt 및 Wedderburn 이론과 유사한 트위스트드 군환에 대한 모듈라 이론을 수립하는 것.
• 특히 $G = S_4$일 때, 야생 브랜치와 비자명한 갈루아 작용이 있는 경우 $\bar{T}\wr G$-모듈의 구조를 분석하는 것.

제안 방법

• Wedderburn 동형사를 사용하여 $T\wr G$를 $S$의 확장 위의 행렬환의 곱으로 매립하고, 이 매립의 코어널의 $S$-선형 길이로 코길이를 계산한다.
• Plancherel 공식과 푸리에 역변환을 적용하여 Schur 관계를 도출하고 $L\wr G$의 중심을 특성화한다.
• 모듈라 문제를 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$가 분할된 단순 가역적임을 가정하고, 그 중심의 $\bar{S}$-차원을 계산한다.
• $G$의 $p'$-클래스를 활용하여 중심 차원을 $\bar{S}$ 위의 벡터 공간 차원의 합으로 표현하고, Brauer의 수를 일반화한다.
• Galois 내림과 유한체 위의 표현 이론을 활용하여 예시에서 단순 $\bar{T}\wr G$-모듈을 분류한다. 특히 $G = S_4$의 경우에 대해 다룬다.
• $p=3$과 $p=31$의 예시에서 명시적 계산을 통해 공식을 검증하고, $G$가 $\bar{T}_0$ 위에 작용하는 방식과 불변 부분공간을 분석한다.

실험 결과

연구 질문

• RQ1 군환에서 단순 모듈의 수에 대한 Brauer의 공식을 트위스트드 군환 $T\wr G$로 어떻게 일반화할 수 있는가?
• RQ2 $L\wr G$의 최대 순서에서 $T\wr G$의 코길이는 무엇이며, 이는 링의 구조와 어떻게 관련되는가?
• RQ3 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$가 분할된 단순 가역적일 조건은 무엇이며, 이는 $\bar{T}\wr G$-모듈의 수에 어떤 영향을 미치는가?
• RQ4 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$의 중심 차원은 절대 단순 $\bar{T}\wr G$-모듈의 수와 어떻게 관련되는가?
• RQ5 잔여체 확장이 비분리적이거나 브랜치된 경우 $\bar{T}\wr G$-모듈의 카테고리의 구조는 어떻게 되는가?

주요 결과

• $G = S_4$이고 $p=3$일 때, $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$의 중심은 $\mathbb{F}_3$-차원이 4이며, 절대 단순 $\bar{T}\wr G$-모듈이 세 개인데, 차원이 6인 것이 두 개로, 각각의 자기환원환은 $\mathbb{F}_3$이며, 차원이 12인 것이 하나로, 자기환원환은 $\mathbb{F}_9$이다.
• $p=31$일 때 중심은 $\mathbb{F}_{31}$-차원이 5이며, 절대 단순 $\bar{T}\wr G$-모듈이 다섯 개인데, 차원이 3인 것이 네 개, 차원이 6인 것이 하나이다.
• $T\wr G$-모듈의 수에 대한 공식은 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$의 중심의 $\bar{S}$-차원으로 주어지며, 이는 $G$의 $p'$-클래스에 대한 특정한 벡터 공간 차원의 합이다.
• $N=1$일 때, $L\wr G$는 $\mathrm{End}_K(L)$와 동형이며, 단 하나의 단순 모듈만 가지므로 비자명한 트위스트의 극한 경우를 보여준다.
• $G = C_2$, $L = \mathbb{Q}(X)$, $X^c = -X$인 예시에서 잔여 모듈 $\bar{T}_0$는 $\bar{T}\wr G$-모듈로서 단순하지만 절대 단순하지 않다. 왜냐하면 $\mathrm{End}_{\bar{T}\wr G}(\bar{T}_0) = \mathbb{F}_2(X)$ 이기 때문이다.
• $L\wr G$ 내의 최대 순서에서 $T\wr G$의 코길이는 Wedderburn 매립의 코어널의 $S$-선형 길이를 통해 계산되며, 고전적 Wedderburn 코길이를 일반화한다.