[论文解读] Embeddings of Quadratic Spaces

Vineeth Chintala|arXiv (Cornell University)|Jan 1, 2018

Algebraic and Geometric Analysis参考文献 9被引用 1

一句话总结

本文将超曲空间的苏斯林矩阵嵌入推广至交换环上任意非退化二次空间，通过嵌入到结合代数中，实现了对自旋群的无基表征。证明了自旋群作为嵌入代数中可逆元上范数同态的核而出现，通过克利福德代数中分次理想结构定理，建立了克利福德代数与表示理论之间的联系。

ABSTRACT

We introduce a concept of an embedding of a quadratic space in an associative algebra. The general properties of such embeddings are analyzed by linking it to the Clifford algebra. Conversely, there isa simple description of the standard involution and the Spin groups in terms of the algebra in which the quadratic space is embedded. Though Clifford Algebras have been studied in detail, they may not always be easy to work with. Sometimes it may be useful to switch to a more concrete embedding to study low dimensional Spin and Epin (or Elementary Spin) groups.

研究动机与目标

• 将超曲空间的苏斯林矩阵嵌入推广至交换环上任意非退化二次空间。
• 通过嵌入到结合代数中，提供自旋群的无基、结构性表征。
• 通过克利福德代数在二次空间上的嵌入代数中的分次理想结构定理，建立两者之间的联系。
• 证明当嵌入代数允许在二次空间上平凡作用的对合时，自旋群的作用是忠实的。
• 展示如何利用苏斯林矩阵构造各种二次型的克利福德代数的显式生成元。

提出的方法

• 将二次空间 (V,q) 嵌入结合代数 A 定义为线性包含 V⊆A，使得 q(v) = vα(v) = α(v)v，其中 α 为一个同构对合。
• 利用克利福德代数的普遍性质，通过 Z2-分次结构与分次理想结构定理（定理 2.7），将任意嵌入 A 与克利福德代数 Cl(V,q) 关联起来。
• 通过 d(g) = q(gg∗) 构造一个范数同态 d: G(A) → R×，其中 g∗ 为 A 上对合的伴随元。
• 利用引理 4.6 与定理 4.7 证明 d 的核同构于自旋群，即 ker(d) ≅ Spin(V)。
• 将该框架应用于苏斯林矩阵，构造超曲空间及其他二次空间在矩阵代数中的显式嵌入。
• 利用苏斯林矩阵 Sn(v,w) 的递归构造，推导出恒等式如 SnSn = (v·wT)I2n 与 det(Sn) = (v·wT)^{2n−1}。

实验结果

研究问题

• RQ1 如何将超曲空间的苏斯林矩阵构造推广至任意非退化二次空间？
• RQ2 在何种条件下，二次空间到结合代数的嵌入会诱导出自旋群的忠实作用？
• RQ3 嵌入代数 A 的哪些代数性质可确保自旋群作为范数同态 d(g) = q(gg*) 的核出现？
• RQ4 苏斯林矩阵的代数性质（如行列式与对合结构）如何反映其底层克利福德代数结构？
• RQ5 能否使用苏斯林型矩阵为非超曲的二次型构造克利福德代数的显式生成元？

主要发现

• 若 V 上的恒等映射可提升为 A 上的对合，则自旋群同构于范数同态 d: G(A) → R× 的核，其中 d(g) = q(gg*)。
• 克利福德代数 Cl(V,q) 通过 Z2-分次结构嵌入 M2(A)，其嵌入由 Cl(V,q) 中分次理想的结构定理决定。
• 对于超曲空间 H(Rn)，苏斯林矩阵构造给出了同构 φ: Cl(H(Rn)) → M2n(R)，并给出显式矩阵生成元。
• 苏斯林矩阵 Sn(v,w) 的行列式为 (v·wT)^{2n−1}，且满足 SnSn = (v·wT)I2n，确认其在复合代数中的作用。
• 当 v·wT = 1 时，映射 w ↦ v·wT 的核是一个投射模，当且仅当 n 为偶数时其自对偶，解释了苏斯林矩阵对合结构中奇偶性的依赖。
• 通过多项式扩张 R[λ₁] 与 R[λ₁,λ₂]（满足 λ₁²=λ₂²=−1 且 λ₁λ₂+λ₂λ₁=0），为秩为 2n、2n+1 与 2n+2 的二次型（含 −v₀² 或 −v₀²−w₀² 的符号）构造了显式矩阵嵌入。