[論文レビュー] Reality Properties of Conjugacy Classes in G_2

Anupam Singh, Maneesh Thakur|ArXiv.org|Apr 8, 2008

Finite Group Theory Research参考文献 5被引用数 4

ひとこと要約

この論文は、2でない特性を持つ体上の型$G_2$の代数的群における共役類の実性性質を調査し、半単純元が2つの対合の積であるときかつそのときに限り実であることを確立している。また、単純元は常にそのような積である。主要な結果として、$ \mathrm{cd}(k) \leq 1$のとき、$G_2(k)$内の半単純元は実であることが示され、障害は立方体拡張のブレア群に関連している。

ABSTRACT

Let $G$ be an algebraic group over a field $k$. We call $g\in G(k)$ {\bf real} if $g$ is conjugate to $g^{-1}$ in $G(k)$. In this paper we study reality for groups of type $G_2$ over fields of characteristic different from 2. Let $G$ be such a group over $k$. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element in $G(k)$ is real if and only if it is a product of two involutions in $G(k)$. Every unipotent element in $G(k)$ is a product of two involutions in $G(k)$. We discuss reality for $G_2$ over special fields and construct examples to show that reality fails for semisimple elements in $G_2$ over $\Q$ and $\Q_p$. We show that semisimple elements are real for $G_2$ over $k$ with $cd(k)\leq 1$. We conclude with examples of nonreal elements in $G_2$ over $k$ finite, with characteristic $k$ not 2 or 3, which are not semisimple or unipotent.

研究の動機と目的

• 特性が2でない体$k$に対し、$G_2(k)$の元が、$G(k)$内でその逆元と共役である、すなわち実である条件を特定すること。
• 半単純元および単純元が2つの対合の積として特徴付けられることを示し、実性を群論的およびコホモロジー的構造と結びつけること。
• 体$\mathbb{Q}$および$\mathbb{Q}_p$上での半単純元の実性の失敗を分析し、特性が2,3でない有限体$k$に対し、$G_2(k)$における非実元の明示的例を構成すること。
• コホモロジー的手段とシュタインバーグの定理を用いて、$\mathrm{cd}(k) \leq 1$のとき、$G_2(k)$のすべての半単純元が実であることを確立すること。
• 型$G_2(k)$の分解不能トーラスにおける半単純元の実性の障害を、立方体体拡張の相対ブレア群を用いて解釈すること。

提案手法

• 体$k$上でのオクタニオン代数の自己同型群として$G_2$を実現し、一意なオクタニオン代数$\mathfrak{C}$に対して$G \cong \mathrm{Aut}(\mathfrak{C})$の同型を利用する。
• 型$G_2$における最大トーラスの構造を用い、分解可能と分解不能のトーラスを区別し、クaternionまたは二次エタール部分代数への作用を通じて半単純元を分析する。
• Wonenburgerの定理（$SU(3)$および$SL(3)$部分群における対合の積に関するもの）を適用し、古典的群における既知の結果に還元することで、実性に関する問題を解決する。
• ガロアコホモロジーと完全列$1 \to T \to N(T) \to W \to 1$を用い、$\mathrm{cd}(k) \leq 1$のとき$H^1(k,T) = 0$より、ウェイル群の元$w_0 = -1$が$G(k)$に引き上げられることを示す。
• 立方体拡張$\mathcal{E}/L$に対する商$L^1 / N(\mathcal{E}^1)$および、$\mathcal{F}/k$に対する$k^* / N(\mathcal{F}^*)$を用いて、実性の障害を分析し、ブレア群の解釈を導く。
• $SU(3)$型部分群における固有値および行列式の矛盾を用いて、$\mathbb{Q}$、$\mathbb{Q}_p$、および有限体上での$G_2(k)$における明示的非実元を構成する。

実験結果

リサーチクエスチョン

• RQ1 特性が2でない体$k$に対し、$G_2(k)$の半単純元が$G(k)$内でその逆元と共役であるのはいつか？
• RQ2 特性が2でない体$k$に対し、$G_2(k)$の半単純元が2つの対合の積である条件は何か？
• RQ3 $\mathbb{Q}$および$\mathbb{Q}_p$上では、$G_2(k)$の半単純元の実性が失敗する理由は何か？（群が再帰的であるにもかかわらず）
• RQ4 型$G_2(k)$の分解不能トーラスにおける半単純元の実性の障害は、コホモロジー的またはガロア理論的観点からどのように解釈できるか？
• RQ5 非半単純かつ非単純な非実元が$G_2(k)$に存在しうるか？そのような場合、どの体上に存在するか？

主な発見

• 半単純元が$G_2(k)$で実であることは、$G(k)$内での2つの対合の積であることに同値であり、実性の群論的特徴付けが確立された。
• $G_2(k)$のすべての単純元は、$G(k)$内での2つの対合の積であり、したがって実である。
• 分解可能トーラスに属する半単純元は、常に実である。これは、$SL(3)$または$SU(3)$部分群への埋め込み構造による。
• 体$k$が$\mathrm{cd}(k) \leq 1$を満たす場合（例えば有限体）、$G_2(k)$のすべての半単純元は実である。$H^1(k,T) = 0$により、ウェイル群の元$w_0 = -1$が$G(k)$に引き上げられるためである。
• $\mathbb{Q}$および$\mathbb{Q}_p$上では、$SU(3)$型部分群における固有値および行列式の矛盾を用いて、非実な半単純元が存在する。
• 特性が2,3でない有限体$k$に対し、$G_2(k)$には非半単純かつ非単純な非実元が存在する。これは、実性の失敗が半単純および単純な場合を超えて生じうることを示している。