[論文レビュー] Zassenhaus conjecture for $A_{6}$

Martin Hertweck|ArXiv.org|Mar 10, 2007

Advanced Algebra and Geometry参考文献 10被引用数 7

ひとこと要約

この論文は、整数群環 $\mathbb{Z}A_6$ 内のすべての捩れ単位元が $A_6$ の元と有理的に同位的であることを示すことで、アーベル群 $A_6$ におけるZassenhaus予想を確認している。Luthar–Passi法と $\mathbb{Z}_{(3)}$ 上のモジュラー表現理論を組み合わせることで、6次元の単位元の存在を除外し、この非可解群に対して長年の未解決問題を解決した。

ABSTRACT

For the alternating group $A_{6}$ of degree 6, Zassenhaus' conjecture about rational conjugacy of torsion units in integral group rings is confirmed.

研究の動機と目的

• 非可解群 $A_6$ におけるZassenhaus予想を検証すること。この予想は、$\mathbb{Z}A_6$ 内のすべての捩れ単位元が $A_6$ の元と有理的に同位的であるというものである。
• $A_6$（$\mathrm{PSL}(2,9)$ に同型）の未解決事例を解消すること。ここでは、6次元の元が存在しないにもかかわらず、6次元の単位元が存在する可能性があったため、従来の手法では失敗した。
• Luthar–Passi法を $3$-モジュラー表現理論と併用して、$\mathrm{V}(\mathbb{Z}A_6)$ 内に6次元の捩れ単位元が存在しないことを除外すること。
• キャラクター的制約とモジュラー表現における格子論的議論を組み合わせることで、Luthar–Passi法の適用範囲を非可解群へ拡張すること。

提案手法

• 複素表現における特徴値と固有値の重複度を用いて、$\mathrm{V}(\mathbb{Z}A_6)$ 内の捩れ単位元の部分増幅を分析するLuthar–Passi法を適用する。
• 有理的同位的性がすべての既約キャラクター $\chi$ と整数 $i$ に対して $\chi(u^i) = \chi(g^i)$ を満たすことと同値であることを利用し、問題をキャラクターと固有値の制約に還元する。
• $R = \mathbb{Z}_{(3)}$ 上で定義された局域化を用い、3を法として削減することで、$kA_6$-加群への単位元の作用を研究する $3$-モジュラー表現理論を用いる。
• $RA_6$ 内で $1 = e + f$ なるべき元の分解を構成し、$e = (1 + u^3)/2$ と定義し、$w = e + f u^2$ を定義して格子上の作用を分析する。
• $\bar{L}_a$ 上での $\bar{w}$ の作用を分析し、$\bar{w}$ が $\overline{Lf}$ 上で自明に作用することを示す。これは、3次元の作用をもつ $u^2$ の非自明な作用と矛盾する。
• 行列群 $\mathrm{GL}_2(R) \to \mathrm{GL}_2(k)$ に3次元の torsion が存在しないことを利用して、6次元の単位元の存在を仮定した場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $A_6$ に6次元の元が存在しないにもかかわらず、$\mathrm{V}(\mathbb{Z}A_6)$ 内に6次元の捩れ単位元が存在するか？
• RQ2 Luthar–Passi法とモジュラー表現理論を組み合わせることで、このような単位元の存在を除外できるか？
• RQ3 仮説的な6次元単位元 $u$ の部分増幅の構造はどのようなものか？
• RQ4 表現 $D_{5a}$ と $D_{5b}$ の固有値が、6次元単位元の可能なキャラクター値をどのように制約するか？
• RQ5 3を法として削減した $RA_6$-格子上での単位元の作用から、矛盾を導くことができるか？

主な発見

• 6次元でない任意の捩れ単位元 $u \in \mathrm{V}(\mathbb{Z}A_6)$ については、その部分増幅が制約を受けるため、$A_6$ の元と有理的に同位的であることが保証される。
• 仮説的な6次元単位元 $u$ については、キャラクターと固有値の制約から $\varepsilon_{2a} = -2$, $\varepsilon_{3a} = 2$, $\varepsilon_{3b} = 1$ でなければならない。
• $u^3$ は2aと有理的に同位的であり、$u^2$ は3bと有理的に同位的であるため、$u$ のすべてのべきのキャラクター値が固定される。
• 表現 $D_{5a}(u)$ の固有値は $1, \zeta, \zeta^2, -\zeta, -\zeta^2$ であり、$\chi_{5a}(u) = 1$ となる。$D_{5b}(u)$ の固有値は $1, -1, -1, \zeta, \zeta^2$ であり、$\chi_{5b}(u) = -2$ となる。
• $e = (1 + u^3)/2$ を用いて $w = e + f u^2$ を構成すると、$D_{5b}(w) = I$ となり、$\bar{w}$ は $\bar{L}_b$ 上で自明に作用する。これは $\bar{L}_a$ の合成因子と同型である。
• 矛盾が生じる。$\bar{w}$ は $\overline{Lf}$ 上で自明に作用するが、$w$ は $u^2$（3次元）の作用により $Lf$ 上で非自明に作用する。また、$\mathrm{GL}_2(R) \to \mathrm{GL}_2(k)$ の核に3次元の torsion が存在しないことから、矛盾が導かれる。