[論文レビュー] Representation Theory of the Algebra Generated By a Pair of Complex Structures

Steven Gindi|ArXiv.org|Apr 22, 2008

Advanced Topics in Algebra参考文献 2被引用数 5

ひとこと要約

この論文は、無限二面体群に類似した関係を満たす2つの複素構造から生成される代数 $iD_{u}$ の、有限次元で分解不能な実表現を分類する。生成子の再パrametrizationと、複素化された商へのクaternion的加群構造の利用により、すべてのこのような表現が $\mathbb{R}[t]/(p^n) \oplus b\u005c mathbb{R}[t]/(p^n)$ の形に書けることが示され、ここで $p$ は $r \neq 0$ の実線形因子 $t-r$ または複素共役対 $(t-c)(t-\overline{c})$ である。明示的な行列実現が提供されている。

ABSTRACT

The objective of this paper is to determine the finite dimensional, indecomposable representations of the algebra that is generated by two complex structures over the real numbers. Since the generators satisfy relations that are similar to those of the infinite dihedral group, we give the algebra the name iD-infinity.

研究の動機と目的

• 実数体上での2つの複素構造から生成される代数の、すべての有限次元で分解不能な実表現を分類すること。
• 関係式 $bab^{-1} = a^{-1}$ と $b^2 = -1$ を満たす要素 $a$ と $b$ によって生成される代数 $iD_{\infty}$ を定義し、その性質を分析すること。これはクォータニオン代数を一般化する。
• 無限二面体群の表現理論を、複素構造生成子を備えた実代数的設定に拡張すること。
• 実数体 $\mathbb{R}$ および複素数体 $\mathbb{C}$ 上のジョルダン型に類似した形で、これらの表現の明示的な行列実現を提供すること。

提案手法

• 代数の生成子 $J_1, J_2$ を $a = J_1J_2$ と $b = J_2$ に再定式化することで、関係式 $bab^{-1} = a^{-1}$ と $b^2 = -1$ を満たす代数 $iD_{\infty}$ を得る。
• $\mathbb{R}[t]/(p^n)$ 加群の構造を用い、ここで $p$ は $\mathbb{R}$ 上の首項既約多項式である。これにより分解不能表現を構成する。
• 商加群 $V_k/V_{k-1}$ における $\mathbb{H}$-加群構造を適用し、半単純性を活用して $\mathbb{C}$ 上の基底を構成する。
• $b$ が $\mathbb{C}$ 上で共役線形作用素として働くことを利用し、商加群にクォータニオン的構造を構築する。
• クォータニオン代数 $\mathbb{H}$ の半単純性と帰納法を用いて、表現を分解不能成分の直和に分解する。
• ジョルダンブロックを用いた明示的行列実現を構成する：実根の場合（$p = t - r$）は $n \times n$ 行列、複素共役対の場合（$p = (t - c)(t - \overline{c})$）は $2n \times 2n$ 行列に $2 \times 2$ ブロックを用いる。

実験結果

リサーチクエスチョン

• RQ1 実数体上での2つの複素構造から生成される代数の、有限次元で分解不能な実表現は何か？
• RQ2 $bab^{-1} = a^{-1}$ と $b^2 = -1$ を満たす代数 $iD_{\infty}$ は、クォータニオン代数をどのように一般化するか？
• RQ3 $iD_{\infty}$ の表現理論は、多項式イデアルと $\mathbb{R}[t]$ 上の加群分解を用いて分類可能か？
• RQ4 商加群 $V_k/V_{k-1}$ の分解において、クォータニオン的構造は果たす役割は何か？
• RQ5 生成子 $a$ と $b$ の行列実現は、定義多項式の既約因子 $p$ にどのように依存するか？

主な発見

• すべての有限次元で分解不能な実表現 $iD_{\infty}$ は、$\mathbb{R}[t]/(p^n) \oplus b\mathbb{R}[t]/(p^n)$ の形に書ける。ここで $p$ は $\mathbb{R}$ 上の首項既約多項式である。
• $p = t - r$ で $r \in \mathbb{R} \setminus \{0\}$ のとき、$a$ は $n \times n$ ジョルダンブロックで、$b$ はブロック非対角の行列として実現される。
• $p = (t - c)(t - \overline{c})$ で $c = e + if$、$f \neq 0$ のとき、$a$ と $b$ は $2n \times 2n$ 行列で、$D = \begin{pmatrix} e & -f \\ f & e \end{pmatrix}$ に対応する $2 \times 2$ ブロックを用いて実現される。
• 既約表現は $n = 1$ のときに限り発生し、$p$ の内容に応じて2次元または4次元の実表現が得られる。
• 商加群 $V_k/V_{k-1}$ が $\mathbb{H}$-加群であることが示され、半単純性を用いて $\mathbb{C}$ 上の基底 $\{w_j, bw_j\}$ を構成できる。
• クォータニオン代数 $\mathbb{H}$ の半単純性を用いて商からの基底を引き上げることで、$V$ の分解不能成分への分解が達成され、完全な分類が証明された。