[論文レビュー] Complete classification of $H$-type algebras: I

Kenrô Furutani, Irina Markina|arXiv (Cornell University)|Dec 10, 2015

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

ひとこと要約

本稿は、不定計量 $(r,s)$ 上の最小次元のクリフォード加群から構成された擬 $H$-型リーモジュールの完全な分類を提供し、同型 $N_{r,s}(V_+^{r,s})$ と $N_{r,s}(V_-^{r,s})$ が成り立つのは $r = u$, $s = t$、またはスカラー積の符号反転を伴う $r = u$, $s = t$ の場合に限ることを確立している。この分類はアティyah-Bott周期性に依拠し、直交変換と表現写像のテンソル積を用いた明示的な同型写像の構成によってなされる。

ABSTRACT

Let $\mathscr N$ be a 2-step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle.\,,. angle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the centre of the Lie algebra and $V$ its orthogonal complement with respect to the scalar product. We study the classification of the Lie algebras for which the space $V$ arises as a representation space of a Clifford algebra $\Cl(\mathbb R^{r,s})$ and the representation map $J\colon \Cl(\mathbb R^{r,s}) o(V)$ is related to the Lie algebra structure by $\langle J_zv,w angle=\langle z,[v,w] angle$ for all $z\in \mathbb R^{r,s}$ and $v,w\in V$. The classification is based on the range of parameters $r$ and $s$ and is completed for the Clifford modules $V$, having minimal possible dimension, that are not necessary irreducible. We find the necessary condition for the existence of a Lie algebra isomorphism according to the range of integer parameters $0\leq r,s

研究の動機と目的

• 不定計量 $\mathbb{R}^{r,s}$ 上の最小次元のクリフォード加群から構成された擬 $H$-型リーモジュール $\mathcal{N}_{r,s}(V)$ の分類。
• パrameter $r$ と $s$ に基づいて、このようなリーモジュール間の同型の必要十分条件の特定。
• クリフォード代数のアティyah-Bott周期性を用いて、最小次元モジュールから任意次元への分類の拡張。
• 同型なクリフォード代数と同型な擬 $H$-型リーモジュールの間の対応の非ファンクター性の明確化。
• 表現空間上の直交写像とテンソル積構造を用いた、明示的なリーモジュール同型写像の構成。

提案手法

• 中心 $Z$ と $V$ が直交和 $V \oplus_{\perp} Z$ をなす2段階可解なリーモジュール $\mathcal{N}_{r,s}(V)$ を定義し、$V$ を $\operatorname{Cl}(\mathbb{R}^{r,s})$ 上のクリフォード加群とする。
• リーブラケットとクリフォード作用の関係 $\langle J_z v, w \rangle = \langle z, [v,w] \rangle$ を用い、$J_z$ が反対称であることを保証する。
• アティyah-Bott周期性を適用し、テンソル積構成を用いて最小次元モジュールからの結果を任意次元へ拡張する。
• 直交写像 $C$ を用いて $\det C = -1$ を満たす明示的同型写像 $\Phi = A \oplus C$ を $\mathcal{N}_{r,s}(V_+^{r,s})$ と $\mathcal{N}_{r,s}(V_-^{r,s})$ 間に構成する。
• $\mathcal{N}_{0,8}$ 上の自己同型 $\bar{\Psi} = \bar{A} \oplus \bar{C}$ を用い、$\hat{\Phi} = \hat{A} \oplus \hat{C}$ で $\hat{C} = C \oplus \bar{C}$ となるように、高次元への同型写像を上昇させる。
• 符号のシフトにおける同型不変性を検証：$\mathcal{N}_{r,s+8k}(V_\pm^{r,s+8k})$、$\mathcal{N}_{r+8k,s}(V_\pm^{r+8k,s})$、および $\mathcal{N}_{r+4k,s+4k}(V_\pm^{r+4k,s+4k})$ は、基本ケースが同型であるならば同型である。

実験結果

リサーチクエスチョン

• RQ1 同じ $r,s$ に対して、二つの擬 $H$-型リーモジュール $\mathcal{N}_{r,s}(V_+^{r,s})$ と $\mathcal{N}_{r,s}(V_-^{r,s})$ が同型であるのはいつか？
• RQ2 符号 $(r,s)$ は、擬 $H$-型リーモジュールの同型類を決定する上で果たす役割は何か？
• RQ3 クリフォード代数のアティyah-Bott周期性は、最小モジュールから任意次元への同型結果の拡張をどのように支援するか？
• RQ4 同型なクリフォード代数は、常に同型な擬 $H$-型リーモジュールをもたらすのか？そうでない場合、この対応を破る条件は何か？
• RQ5 リーモジュール $\mathcal{N}_{r,s}(V_+^{r,s})$ と $\mathcal{N}_{r,s}(V_-^{r,s})$ 間の同型写像 $\Phi = A \oplus C$ の構造は何か？また、$C$ に課される制約は何か？

主な発見

• リーモジュール $\mathcal{N}_{r,s}(V_+^{r,s})$ と $\mathcal{N}_{r,s}(V_-^{r,s})$ は、$r = u$, $s = t$、またはスカラー積の符号反転を伴う $r = u$, $s = t$ の場合に限り同型であり、この同型は $\det C = -1$ を満たす $\Phi = A \oplus C$ を用いて実現される。
• $(r,s) = (3,0), (7,0), (1,6)$ の場合、$\mathcal{N}_{r,s}(V_+^{r,s})$ と $\mathcal{N}_{r,s}(V_-^{r,s})$ 間に明示的な同型写像が存在し、これらの符号範囲で同型条件が成立することを確認している。
• もし $\mathcal{N}_{r,s}(V_+^{r,s}) \cong \mathcal{N}_{r,s}(V_-^{r,s})$ であれば、クリフォード代数構造の周期性により、すべての $k \geq 1$ に対して $\mathcal{N}_{r,s+8k}(V_+^{r,s+8k}) \cong \mathcal{N}_{r,s+8k}(V_-^{r,s+8k})$ に拡張される。
• 同型類は $r \to r+8k$, $s \to s+8k$、および $r \to r+4k$, $s \to s+4k$ の変換のもとで保存され、分類に周期8の振る舞いが現れる。
• 同型なクリフォード代数と同型な擬 $H$-型リーモジュールの間の対応はファンクター的ではない：同型なクリフォード代数であっても、モジュール構造に依存して、同型または非同型のリーモジュールをもたらすことがある。
• 同型写像 $\Phi = A \oplus C$ の構成は明示的であり、表現写像のテンソル積と $CC^\tau = \mathrm{Id}$ および $\det C = -1$ を満たす直交変換に依拠している。