[论文解读] Saturation and Irredundancy for Spin(8)

Michael Kapovich, Shrawan Kumar+1 more|ArXiv.org|Jul 19, 2006

Advanced Algebra and Geometry参考文献 14被引用 4

一句话总结

本文显式计算了 $\mathrm{PSO}(8)$ 的三角不等式，证明其无冗余，并验证了 $\mathrm{Spin}(8)$ 的饱和猜想：三元组 $ (\lambda,\mu,\nu) $ 属于张量积不变子空间当且仅当对所有 $ N \geq 1 $，$ (N\lambda, N\mu, N\nu) $ 也属于该子空间。证明使用计算代数系统验证了 306 个无冗余不等式，并确认了不变半群的 Hilbert 基。

ABSTRACT

We explicitly calculate the triangle inequalities for the group PSO(8). Therefore we explicitly solve the eigenvalues of sum problem for this group (equivalently describing the side-lengths of geodesic triangles in the corresponding symmetric space for the Weyl chamber-valued metric). We then apply some computer programs to verify two basic questions/conjectures. First, we verify that the above system of inequalities is irredundant. Then, we verify the ``saturation conjecture'' for the decomposition of tensor products of finite-dimensional irreducible representations of Spin(8). Namely, we show that for any triple of dominant weights a, b, c such that a+b+c is in the root lattice, and any positive integer N, the tensor product of the irreducible representations V(a) and V(b) contains V(c) if and only if the tensor product of V(Na) and V(Nb) contains V(Nc).

研究动机与目标

• 确定与 $\mathrm{PSO}(8)$ 相关的对称空间的完整三角不等式系统。
• 验证该不等式系统无冗余，即任一不等式均不可由其余不等式导出。
• 确认 $\mathrm{Spin}(8)$ 的饱和猜想，即张量积中不变量的存在性与权重缩放版本的存在性相联系。
• 计算根格中权重和属于根格的主导权重三元组半群的 Hilbert 基，以确保所有不变量均被捕捉。

提出的方法

• 利用 $D_4$ 根系结构与广义 Grassmannian 范畴上同调，显式计算 $\mathrm{TI}(D_4)$ 三角不等式。
• 使用计算机代数系统 CONVEX 验证由这些不等式定义的锥 $\mathcal{C}$ 恰好有 306 个面，从而确认无冗余性。
• 定义主导权重三元组半群 $\mathcal{C}^0$，其权重和属于根格，并使用 HILBERT 包计算其 Hilbert 基。
• 利用 $S_3 \times F$ 对称性，减少计算 Hilbert 基元素时需检查的案例数。
• 使用 MAPLE 包 WEYL 验证每个代表性的 Hilbert 基元素均属于张量积不变子空间 $\mathcal{R}$。
• 通过验证 $\mathcal{C}^0$ 的所有极小生成元均对应于 $\mathrm{Spin}(8)$ 表示中的非零不变量，从而确认 $\mathcal{R} = \mathcal{C}^0$。

实验结果

研究问题

• RQ1 是否 $\mathrm{PSO}(8)$ 的三角不等式无冗余，即每个不等式均为必要？
• RQ2 $\mathrm{Spin}(8)$ 的饱和猜想是否成立，即 $V(N\lambda) \otimes V(N\mu) \otimes V(N\nu)$ 有非零 $\mathrm{Spin}(8)$-不变量当且仅当 $V(\lambda) \otimes V(\mu) \otimes V(\nu)$ 有？
• RQ3 $\mathrm{Spin}(8}$ 的主导权重三元组半群（其权重和属于根格）的完整极小生成元集（Hilbert 基）为何？
• RQ4 $\mathrm{PSO}(8)$ 的解锥 $\mathcal{C}$ 具有多少个面与极射线？

主要发现

• 三角不等式系统 $\mathrm{TI}(D_4)$ 无冗余，共包含恰好 306 个不等式，且解锥 $\mathcal{C}$ 恰好有 306 个面。
• CONVEX 计算确认锥 $\mathcal{C}$ 具有 81 条极射线。
• $\mathrm{Spin}(8)$ 的饱和猜想成立：$\mathcal{R} = \mathcal{C}^0$，意味着不变量的存在性在权重缩放下保持不变。
• $\mathcal{C}^0$ 的 Hilbert 基在 $S_3 \times F$ 作用下包含 10 个轨道，其代表元包括 $ (\omega_1,\omega_1,0) $、$ (\omega_1,\omega_3,\omega_4) $ 与 $ (2\omega_1,\omega_2,\omega_2) $。
• 使用 WEYL 包验证了全部 10 个代表性 Hilbert 基元素均属于 $\mathcal{R}$，从而确认了饱和定理。
• 定义锥 $\mathcal{C}$ 的完整不等式系统包含 36 个来自 $P_1$、186 个来自 $P_2$，以及各 36 个来自 $P_3$ 和 $P_4$，总计 306 个不等式。