[論文レビュー] Conjugacy Classes of Centralizers in $G_2$

Anupam Singh|ArXiv.org|Apr 23, 2008

Advanced Algebra and Geometry参考文献 9被引用数 12

ひとこと要約

この論文は、例外的代数群 $G_2$ の非分解的実形式における中心化部分群の共役類を、オクタニオン代数の構造とその自己同型を用いて分類する。中心化部分群の共役類はちょうど6つであり、随伴作用の下での異なる軌道型に対応することが、$<\text{R}\u0026gt;$ 上での半単純元の中心化部分群の部分群分解と表現論を分析することによって示された。

ABSTRACT

Let $G$ be an algebraic group of type $G_2$ over a field $k$ of characteristic $ eq 2,3$. In this paper we calculate centralizers of semisimple elements in anisotropic $G_2$. Using these, we show explicitly that there are six conjugacy classes of centralizers in the compact real form of $G_2$.

研究の動機と目的

• 特徴値が $2,3$ でない体上の非分解的 $G_2$ における中心化部分群の共役類の数と構造を特定すること。特に $\mathbb{R}$ 上で考える。
• 群がオクタニオン代数の自己同型群として実現されることを活用し、$G_2$ の半単純元の中心化部分群を分析すること。
• 再帰的群の結果を拡張して、$G_2$ が自身に作用する随伴作用における軌道型（z-類）の有限性を確立すること。
• 二次部分代数とクaternion部分代数を固定する部分群への分解を用いて、中心化部分群の同型型を明示的に記述すること。

提案手法

• 体 $k$ 上のオクタニオン除法代数の自己同型群として $G_2$ を表現し、Cayley-Dickson構成を用いて代数を $L \oplus La$ および $Q \oplus Qa$ に分解する。
• 同型 $G(\mathfrak{C}/L) \cong SU(3)$ および $G(\mathfrak{C}/Q) \cong SL_1(Q)$ を用いて、ユニタリ群と特殊線形群の観点から中心化部分群を分析する。
• $L$ 上の共役によって誘導される対合 $\rho$ の作用を活用し、外部自己同型を構成し、$G(\mathfrak{C}, L)$ 内の半直積構造を分析する。
• SU(3) 内の元の固有値解析を用い、行列表現の特性多項式と最小多項式に基づいて場合分けを行うことで、中心化部分群を分類する。
• Skolem-Noether定理を適用して $\text{Aut}(Q) \cong PGL_1(Q) \cong Q^*/k^*$ を同定し、クaternion部分代数を保存する自己同型群の記述を可能にする。
• 対合 $\rho$ による共共役と SU(3) 内の特定の行列を用いて、中心化部分群が $G(\mathfrak{C}/L)$ の外に要素を含み得ることを示し、半直積構造に至る。

実験結果

リサーチクエスチョン

• RQ1 コンパクト実形式の $G_2$ における中心化部分群の共役類はいくつ存在するか？
• RQ2 半単純元 $t$ が二次部分代数 $L$ に対して $G(\mathfrak{C}/L)$ に含まれる条件は何か？
• RQ3 元がクaternion部分代数を点ごと固定するとき、その中心化部分群の構造はいかなるものか？
• RQ4 SU(3) に同型な $G(\mathfrak{C}/L)$ 内の半単純元の固有値が、その中心化部分群の同型型をどのように決定するか？
• RQ5 部分群の分解と表現論を用いて、$G_2$ の軌道型（z-類）を完全に分類できるか？

主な発見

• 非分解的 $G_2$ において、$\mathbb{R}$ 上にはちょうど6つの中心化部分群の共役類が存在し、随伴作用の下での異なる軌道型に対応する。
• 半単純元 $t$ が3つの異なる固有値を持ち、$1$ を含まないとき、その中心化部分群は最大トーラスであり、すべてのこのような中心化部分群は共役である。
• $t$ がクaternion部分代数を点ごと固定し、固有値 $1$ を持つ場合、その中心化部分群は $U(2) \rtimes \mathbb{Z}/2\mathbb{Z}$ に同型である。
• $t$ が三重固有値 $\omega \neq 1$ を持ち、$\omega^3 = 1$ を満たすとき、その中心化部分群は全 $SU(3)$ 群に一致する。
• 固有値が $\text{diag}(1, e^{i\theta}, e^{-i\theta})$ であるような元の中心化部分群は、$T \rtimes \mathbb{Z}/2\mathbb{Z}$ に同型であり、ここで $T$ は最大トーラスである。
• 対合 $t = \text{diag}(1, -1, -1)$ の中心化部分群は $U(2) \rtimes \mathbb{Z}/2\mathbb{Z}$ に同型であり、$\rho$ の作用と $G(\mathfrak{C}, L)$ の構造から生じる。