[論文レビュー] Partial augmentations and Brauer character values of torsion units in group rings

Martin Hertweck|ArXiv.org|Dec 15, 2006

Finite Group Theory Research参考文献 17被引用数 52

ひとこと要約

本稿は、$p$-modular版のLuthar–Passi法を、$\mathbb{Z}G$における$p$-regularな捩れ単位元の部分増幅をBrauer特徴値と関連付けることで確立する。その公式は$\varphi(u) = \sum_{x \text{ $p$-regular}} \varepsilon_x(u)\varphi(x)$であり、$S_5$ や $\mathrm{PSL}(2,p^f)$ といった非可解群のZassenhaus予想の検証を可能にする。$p=7,11,13$ について完全な証明が与えられている。この手法は特徴値論的制約と表現論に基づき、非有理的共轭を除外する。

ABSTRACT

For a torsion unit $u$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$, and a prime $p$ which does not divide the order of $u$ (but the order of $G$), a relation between the partial augmentations of $u$ on the $p$-regular classes of $G$ and Brauer character values is noted, analogous to the obvious relation between partial augmentations and ordinary character values. For non-solvable $G$, consequences concerning rational conjugacy of $u$ to a group element are discussed, considering as examples the symmetric group $S_{5}$ and the groups $ ext{ m PSL}(2,p^{f})$.

研究の動機と目的

• 捩れ単位元の有理的共轭を検出するための、$p$-modular版のLuthar–Passi法を確立すること。
• 通常特徴値からBrauer特徴値への、$p$-regular単位元における部分増幅と特徴値の関係を拡張すること。
• この枠組みを用いて、特に$S_5$と$\mathrm{PSL}(2,p^f)$のような非可解群におけるZassenhaus予想を検証すること。
• 特徴表と表現論を用いた計算的枠組みを提供し、捩れ単位元の部分増幅を制約すること。
• 条件を満たすとき、$G = \mathrm{PSL}(2,p^f)$の$\mathrm{V}(\mathbb{Z}G)$におけるすべての$p$-regularな捩れ単位元が群元と有理的共轭であることを証明すること。

提案手法

• Brauer特徴値$\varphi(u)$と$p$-regularな捩れ単位元$u$の部分増幅$\varepsilon_x(u)$との間の公式$\varphi(u) = \sum_{x \text{ $p$-regular}} \varepsilon_x(u)\varphi(x)$を導出すること。
• 拡張されたBrauer特徴値論を用いて、$R$を0特性のDedekind整域とするとき、$\mathrm{V}(RG)$における$p$-regularな捩れ単位元$u$の$\varphi(u)$を定義すること。
• この公式を用いて、$\varphi(u) \in \mathbb{Z}$を要求することで、表現における固有値配置を制約すること。
• $\mathrm{PSL}(2,p^f)$の表現論的データ（特徴表、Galois作用など）を用い、部分増幅が所定の通りに消えない場合に矛盾を導くこと。
• $\varphi(u)$が代数的整数かつ実数値であるという事実を活用し、表現行列の固有値パターンを制限すること。
• Brauer特徴値法と[23, Theorem 2.5]の基準（すべての$u$のべきのうち、一つを除き部分増幅が消えること）を組み合わせること。

実験結果

リサーチクエスチョン

• RQ1 Luthar–Passi法は、Brauer特徴値を介して$p$-modular表現に拡張可能か？
• RQ2 Brauer特徴値に関して、$p$-regular単位元に対する関係$\varphi(u) = \sum \varepsilon_x(u)\varphi(x)$は、部分増幅に有効な制約を提供するか？
• RQ3 この手法により、$S_5$ や $\mathrm{PSL}(2,p^f)$ といった非可解群のZassenhaus予想を検証可能か？
• RQ4 条件を満たすとき、$G = \mathrm{PSL}(2,p^f)$の$\mathrm{V}(\mathbb{Z}G)$におけるすべての$p$-regularな捩れ単位元が群元と有理的共轭か？
• RQ5 Brauer特徴値は、$\mathrm{PSL}(2,p^f)$における合成数位の捩れ単位元の部分増幅にどのような制約を課すか？

主な発見

• すべての$p$-regularな捩れ単位元$u$について、$\mathrm{V}(RG)$で公式$\varphi(u) = \sum_{x \text{ $p$-regular}} \varepsilon_x(u)\varphi(x)$が成り立つ。これは通常特徴値関係をBrauer特徴値へ拡張するものである。
• $G = S_5$では、この手法によりすべての$p$-regularな捩れ単位元が有理的共轭基準を満たすことが確認され、Zassenhaus予想が正当化される。
• $G = \mathrm{PSL}(2,p)$で$p=7,11,13$のとき、Brauer特徴値法と表現論的制約を用いてZassenhaus予想が検証される。
• $\mathrm{PSL}(2,p^f)$では、すべての$p$-regularな捩れ単位元が群元と有理的共轭である。これは、位数$rs$（$r\mid p^f-1$, $s\mid p^f+1$, $r,s$は奇素数）の単位元が存在すると仮定した場合の矛盾を導くことで示される。
• この手法により$\varphi(u) \in \mathbb{Z}$が強制され、表現$\Theta_3(u)$の固有値配置が$\mathrm{diag}(\zeta_r\zeta_s, 1, \zeta_r^{-1}\zeta_s^{-1})$に制限され、他のパターンは排除される。
• $p=7,11,13$では、$\mathrm{PSL}(2,p)$における$p$-regularな捩れ単位元の部分増幅が、唯一の共轭類のみが非ゼロとなるように制限され、有理的共轭基準を満たす。