[論文レビュー] The classification of orbits on certain exceptional Jordan algebra under the automorphism group

Akihiro Nishio|arXiv (Cornell University)|Nov 3, 2010

Advanced Topics in Algebra参考文献 10被引用数 3

ひとこと要約

本稿は、実的例外的ジョルダン代数 $\mathcal{J}^1$ に作用する例外的リー群 $\mathrm{F}_{4(-20)}$ の軌道を分類し、特徴根と最小部分空間に基づいて $\mathcal{J}^1$ の完全な軌道分解を提供する。主な貢献は、完全な軌道分解と、各軌道の安定化部分群の明示的同型構造の特定であり、$\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ および $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ に同型な安定化部分群を含む。分類は特徴多項式と $E$ および $X$ で生成される最小部分空間 $V_X$ に基づき、すべての軌道タイプに対して標準形が与えられる。

ABSTRACT

Let $\mathcal{J}^1$ be the real form of complex simple Jordan algebra with the automorphism group $G$ of type $F_{4(-20)}$. Explicitly, we give the orbit decomposition of $\mathcal{J}^1$ under the action of $G$ and determine the Lie group structure of stabilizer for each $G$-orbit on $\mathcal{J}^1$.

研究の動機と目的

• 実的例外的ジョルダン代数 $\mathcal{J}^1$ におけるその自己同型群の作用下での $\mathrm{F}_{4(-20)}$-軌道を分類すること。
• 各 $\mathcal{J}^1$ 内の $\mathrm{F}_{4(-20)}$-軌道に対する安定化部分群のリー群構造を特定すること。
• 特徴根と $E$ および $X$ で生成される最小部分空間 $V_X$ を用いて、各軌道タイプの明示的標準形を提供すること。
• $\mathrm{F}_{4}^{\mathbb{C}}$ および $\mathrm{F}_{4(4)}$ の既存の軌道分類を、分解型実形式 $\mathrm{F}_{4(-20)}$ に拡張すること。
• $\mathcal{J}^1$ の要素のスペクトル的および代数的構造に基づいた、完全で明示的な軌道分解を確立すること。

提案手法

• $\mathrm{F}_{4(-20)}$-軌道分解は、$X \in \mathcal{J}^1$ の特徴多項式 $\Phi_X(\lambda)$ に基づき、その根の性質（三つの相異なる実根、一つの実根と共役な複素根のペア、重根）に依存する。
• 最小部分空間 $V_X$ は、$E$ と $X$ を含み、クロス積に関して閉じた最小の $\mathrm{F}_{4(-20)}$-不変部分空間であり、標準的軌道 $\mathcal{H}(\mathbf{O})$、$\mathcal{H}'(\mathbf{O})$、$\mathcal{N}_1^{\pm}(\mathbf{O})$ との交差を分析するために用いられる。
• 標準形は対角行列と特定の要素 $P^+, P^-, Q^+(1)$ を用いて構成され、$\mathrm{F}_{4(-20)}$ の作用を用いて任意の $X$ をこれらの標準形の一つに変換する。
• 安定化部分群の構造は、共役および自己同型の技法を用いて特定され、既知の同型 $\tilde{\sigma}((\mathrm{F}_{4(-20)})_Z) \cong (\mathrm{F}_{4(-20)})_{P^-}$ および $E$ の $\mathrm{F}_{4(-20)}$-不変性が利用される。
• 命題 8.8, 8.10, 8.11, および 8.12 は、既知の群構造 $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ および $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ を用いて安定化部分群の同型を確立する。
• 分類は、$\mathrm{F}_{4(-20)}$-作用の下でトレース、内積、行列式、特徴根が不変であることに依拠し、軌道の不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{F}_{4(-20)}$-軌道が、要素の特徴根に基づいて実的例外的ジョルダン代数 $\mathcal{J}^1$ にどのように分類されるか。
• RQ2 $\mathcal{J}^1$ 内の各 $\mathrm{F}_{4(-20)}$-軌道に対する安定化部分群のリー群構造は何か。
• RQ3 $E$ と $X$ で生成される最小部分空間 $V_X$ は、$X$ の軌道タイプを特定するためにどのように役立つか。
• RQ4 $\mathrm{F}_{4(-20)}$-作用下で、各軌道タイプを表す標準形は何か。
• RQ5 $P^+$、$P^-$、$Q^+(1)$ の安定化部分群は、$\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ および $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ などの既知のリー群とどのように関係しているか。

主な発見

• $\mathrm{F}_{4(-20)}$-軌道は、$X$ のスペクトルと $V_X$ の構造に基づき、完全に 12 種類の標準形タイプに分類される。
• 三つの相異なる実特徴根 $\lambda_1 > \lambda_2 > \lambda_3$ を持つ要素では、$E_{X,\lambda_i}$ が $\mathcal{H}(\mathbf{O})$ に属するかどうかに依存し、標準形は $\mathrm{diag}(\lambda_i, \lambda_{i+1}, \lambda_{i+2})$ である。
• 一つの実根と複素共役ペア $p \pm iq$（$q > 0$）を持つ要素では、標準形は $\mathrm{diag}(p,p,\lambda_1) + F_3^1(q)$ であり、軌道 $\mathcal{N}_1^+(\mathbf{O})$ または $\mathcal{N}_1^-(\mathbf{O})$ に対応する。
• 単一の実根 $\lambda_1$（重複度 1）と $\lambda_2$（重複度 2）を持つ場合、$W_{X,\lambda_1} = 0$ か $\mathcal{N}_1^{\pm}(\mathbf{O})$ に属するかに依存し、標準形は $\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1)$、$\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1) + P^+$、または $\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1) + P^-$ である。
• 三重根を持つ要素では、トレースレス部分 $p(X)$ に依存する：$p(X) = 0$ ならば軌道は $3^{-1}\mathrm{tr}(X)E$ である。$p(X) \in \mathcal{N}_1^{\pm}(\mathbf{O})$ ならば $3^{-1}\mathrm{tr}(X)E \pm P^\pm$ である。$p(X) \in \mathcal{N}_2(\mathbf{O})$ ならば $3^{-1}\mathrm{tr}(X)E + Q^+(1)$ である。
• $P^-$ の安定化部分群は $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ に同型であり、$Q^+(1)$ の安定化部分群は $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ に同型であることが確認され、$\mathrm{F}_{4(-20)}$ の文脈における既知の群構造が裏付けられる。