[論文レビュー] 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個の冗長でない不等式を検証し、不変半群のヒルベルト基底を確認する。

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)$ の飽和予想を確認すること。これは、テンソル積に不変量が存在するかどうかが、スケーリングされたバージョンのそれと関連することを意味する。
• 根格子に和を持つ支配的ウェイト三重項の半群のヒルベルト基底を計算すること。これにより、すべての不変量がカバーされることを保証する。

提案手法

• 構造的 $D_4$ ルート系と一般化されたグラスマン多様体コホロジーを用いて、$\ mathrm{TI}(D_4)$ の三角不等式を明示的に計算する。
• コンピュータ代数システム CONVEX を用いて、これらの不等式によって定義される錐 $\ mathcal{C}$ が正確に306個の面を持つことを検証し、非冗長性を確認する。
• 和が根格子に属する支配的ウェイト三重項の半群 $\ mathcal{C}^0$ を定義し、HILBERT パッケージを用いてそのヒルベルト基底を計算する。
• $S_3 \times F$ の対称性を活用して、ヒルベルト基底要素の検証に必要なケース数を削減する。
• MAPLE パッケージ WEYL を用いて、各代表的ヒルベルト基底要素がテンソル積不変空間 $\ mathcal{R}$ に属することを検証する。
• $\mathcal{R} = \mathcal{C}^0$ を確認するため、$\mathcal{C}^0$ のすべての最小生成子が $\ mathrm{Spin}(8)$ 表現における非ゼロ不変量に対応することを確認する。

実験結果

リサーチクエスチョン

• 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)$ の根格子に和を持つ支配的ウェイト三重項の半群の完全な最小生成子（ヒルベルト基底）は何か？
• RQ4 $\mathrm{PSO}(8)$ の解錐 $\ mathcal{C}$ には、何個の面と極小線（ extremal rays ）があるか？

主な発見

• $\ mathrm{TI}(D_4)$ の三角不等式体系は非冗長であり、正確に306個の不等式から構成され、解錐 $\ mathcal{C}$ は正確に306個の面を持つ。
• CONVEX の計算により、錐 $\ mathcal{C}$ は81本の極小線を持つことが確認された。
• $\ mathrm{Spin}(8)$ の飽和予想は成立する。$\ mathcal{R} = \mathcal{C}^0$ である。これは、不変量の存在がウェイトのスケーリングによって保存されることを意味する。
• $\mathcal{C}^0$ のヒルベルト基底は、$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個の代表的ヒルベルト基底要素すべてが $\ mathcal{R}$ に属することを検証し、飽和定理を確認した。
• 錐 $\ mathcal{C}$ を定義する不等式の完全な体系には、$P_1$ から36個、$P_2$ から186個、$P_3$ と $P_4$ からそれぞれ36個があり、合計306個の不等式がある。