[论文解读] Properly twisted groups and their algebras

John W. Bales|arXiv (Cornell University)|Jul 7, 2011

Algebraic and Geometric Analysis参考文献 3被引用 5

一句话总结

本文引入了群 G 上的‘恰当扭’概念，即一个符号函数 α: G×G → {−1,1}，满足特定代数恒等式，以确保关联的扭群代数具有良好的伴随运算和内积结构。主要贡献在于：在 ℝ 上，ℤ₂^N 上的恰当扭可生成所有卡莱-迪克森代数与克利福德代数，包括复数、四元数、八元数和超八元数，统一于单一代数框架下，且伴随与范数性质一致。

ABSTRACT

A twist property is developed which imparts certain properties on the twisted group algebra. These include an involution * satisfying (xy)*=y*x* and an inner product satisfying = and =. Examples of twisted group algebras having this property are the Cayley-Dickson algebras and Clifford algebras.

研究动机与目标

• 定义并表征群上的‘恰当扭’，以确保扭群代数满足伴随与内积恒等式。
• 通过 ℤ₂^N 上的符号函数，将卡莱-迪克森代数与克利福德代数的构造统一于同一框架下。
• 建立恰当扭可生成具有一致伴随性质的代数，即 ⟨xy,z⟩ = ⟨y,x*z⟩ 与 ⟨x,yz⟩ = ⟨xz*,y⟩。
• 研究扭群代数的代数与结构性质，特别是其范数行为及乘法下的封闭性。
• 提出关于有限群上恰当扭的存在性、分类及其群结构的奠基性问题。

提出的方法

• 通过为每对 (p,q) ∈ G×G 分配一个符号 α(p,q) ∈ {−1,1}，定义扭群代数 [G,α,𝕂]，使得 i_pi_q = α(p,q)i_pq。
• 引入元素 x ∈ V 的矩阵表示 [x]，其中 [x](r,s) = α(rs⁻¹,s)x_{rs⁻¹}，使矩阵乘法对应代数乘法。
• 建立 xy = [x]y 的关系，将代数乘法与线性变换矩阵联系起来。
• 定义共轭 x* = ∑_p α(p,p⁻¹)x_p* i_p⁻¹ 与内积 ⟨x,y⟩ = ∑_p x_p y_p*，证明伴随恒等式成立当且仅当 α 是恰当的。
• 证明恰当扭满足恒等式 α(p,q)α(q,q⁻¹) = α(pq,q⁻¹) 与 α(p⁻¹,p)α(p,q) = α(p⁻¹,pq)，这些是伴随结构存在的充要条件。
• 证明 ℤ₂^N 上的克利福德扭 φ 是结合的，因此是恰当的，从而生成结合代数，包括实数、复数与四元数代数。

实验结果

研究问题

• RQ1 若 ℓ² 空间（平方可 summable 序列的希尔伯特空间）是卡莱-迪克森代数的完备化，且其为有限维卡莱-迪克森代数的并集的完备化，则它是否为卡莱-迪克森代数？
• RQ2 是否存在统一的范数界 ‖xy‖ ≤ √2 ‖x‖‖y‖ 对所有卡莱-迪克森代数成立，还是在更高阶代数中存在某些 x,y 使得 ‖xy‖ 超过 √2‖x‖‖y‖？
• RQ3 卡莱-迪克森基（n-Blades）能否系统地构造为 n 个不同 1-Blades 的左乘积？此类乘积的符号规则是什么？
• RQ4 克利福德代数是否存在类似于 6.3 与 6.4（关于傅里叶展开与伴随结构）的方程？
• RQ5 给定有限群 G，有多少个恰当扭存在？所有此类扭的集合 𝒫(G) 的代数结构如何？

主要发现

• 在 ℝ 上，ℤ₂^N 上的恰当扭可生成所有标准卡莱-迪克森代数，包括复数、四元数、八元数与超八元数。
• 当且仅当扭 α 是恰当时，伴随运算 x* = ∑_p α(p,p⁻¹)x_p* i_p⁻¹ 与内积 ⟨x,y⟩ = ∑_p x_p y_p* 满足恒等式 ⟨xy,z⟩ = ⟨y,x*z⟩ 与 ⟨x,yz⟩ = ⟨xz*,y⟩。
• 克利福德代数扭 φ 是结合的，因此是恰当的，从而确保克利福德代数为具有一致伴随结构的 *-代数。
• 在卡莱-迪克森构造中，对 n-Blades 有：若 n ≡ 1 或 2 (mod 4)，则 i_p* = −i_p；若 n ≡ 0 或 3 (mod 4)，则 i_p* = i_p，据此可将 blades 分类为‘实’或‘虚’。
• 所有群 G 上恰当扭的集合 𝒫(G) 在符号的逐点乘法下构成阿贝尔群，单位元为平凡扭。
• 计算机实验表明，在 𝕊₉ 中，范数比 ‖xy‖/(‖x‖‖y‖) 永远不超过 √2，支持 √2 是所有卡莱-迪克森代数的统一上界的猜想。