[论文解读] 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

一句话总结

本文对由满足与无限二面体群类似关系的两个复结构生成的代数 $iD_{u}$ 的有限维、不可约实表示进行了分类。通过重参数化生成元并利用复化商模上的四元数模结构，证明了所有此类表示均为形式 $\mathbb{R}[t]/(p^n) \oplus b\mathbb{R}[t]/(p^n)$，其中 $p$ 为实线性因子 $t-r$（$r \neq 0$）或复共轭对 $(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.

研究动机与目标

• 对由 $\mathbb{R}$ 上两个复结构生成的代数的所有有限维、不可约实表示进行分类。
• 定义并分析由元素 $a$ 和 $b$ 满足 $bab^{-1} = a^{-1}$ 且 $b^2 = -1$ 生成的代数 $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}$ 上的首一不可约多项式，构建不可约表示。
• 应用 $\mathbb{H}$-模结构于商模 $V_k/V_{k-1}$，以利用半单性并构造 $\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 由 $\mathbb{R}$ 上两个复结构生成的代数的有限维、不可约实表示是什么？
• RQ2 由 $bab^{-1} = a^{-1}$ 与 $b^2 = -1$ 定义的代数 $iD_{\infty}$ 如何推广四元数代数？
• RQ3 能否通过多项式理想与 $\mathbb{R}[t]$ 上的模分解对 $iD_{\infty}$ 的表示理论进行分类？
• RQ4 四元数结构在商模 $V_k/V_{k-1}$ 的分解中起什么作用？
• RQ5 生成元 $a$ 与 $b$ 的矩阵实现如何依赖于定义多项式的不可约因子 $p$？

主要发现

• 所有有限维、不可约实表示 $iD_{\infty}$ 均为形式 $V = \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$ 时，表示通过 $2n \times 2n$ 矩阵实现，其 $2 \times 2$ 块对应复结构 $D = \begin{pmatrix} e & -f \\ f & e \end{pmatrix}$。
• 不可约表示恰好出现在 $n = 1$ 时，此时根据 $p$ 的不同，得到二维或四维实表示。
• 商模 $V_k/V_{k-1}$ 被证明为 $\mathbb{H}$-模，从而可利用半单性构造 $\mathbb{C}$ 上的基 $\{w_j, bw_j\}$。
• 通过利用 $\mathbb{H}$ 的半单性从商模提升基，实现了 $V$ 到不可约分量的分解，从而完成了完整分类。