[論文レビュー] The generalized triangle inequalities in symmetric spaces and buildings with applications to algebra

Michael Kapovich, Bernhard Leeb+1 more|ArXiv.org|Oct 17, 2002

Mathematics and Applications参考文献 9被引用数 5

ひとこと要約

本稿は、対称空間とビルディングを用いた幾何的枠組みを確立し、行列の和および積における固有値・特異値の制約、およびヘッケ代数と表現環の構造定数の非消滅性という、代数的群論における4つの基本的問題を解く。主な貢献は、根系に結びつく飽和係数を介して、これらの問題の解集合が凸多面体錐によって関連付けられることを示すことにより、$GL(\theta)$ における飽和予想を証明することにある。

ABSTRACT

In this paper we apply our results on the geometry of polygons in Cartan subspaces, symmetric spaces and buildings to four problems in algebraic group theory. Two of these problems are generalizations of the problems of finding the constraints on the eigenvalues (resp. singular values) of a sum (resp. product) when the eigenvalues (singular values) of each summand (factor) are fixed. The other two problems are related to the computation of the structure constants of the Hecke and representation rings associated with a split reductive algebraic group over Q and its complex Langlands' dual. We give a new proof of the ``Saturation Conjecture'' for GL(m) as a consequence of our solution of the corresponding ``saturation problem'' for the Hecke structure constants for all split reductive algebraic groups over Q.

研究の動機と目的

• 与えられた固有値（または特異値）を持つ行列の和（または積）がゼロ（または単位行列）であるための必要十分条件を特定すること。
• 固有値制約、特異値制約、p進群における不変因子、テンソル積分解という4つの代数的問題の解集合を、対称空間およびビルディングにおける幾何的構造を通じて関連付けること。
• ヘッケ代数の構造定数の解集合が表現環の解集合によって飽和されることを示すことにより、$GL(\theta)$ における飽和予想を証明すること。
• Q1～Q4の解集合が、整数線形不等式および飽和係数によって定義される凸多面体錐または離散的部分半群であることを示すこと。

提案手法

• 無限小的対称空間およびビルディングの幾何を用いて、代数的問題の解空間をWeylチャネル内の凸多面体錐としてモデル化する。
• Cartan分解および二重coset空間 $K\backslash G/K$ を用いて、代数的制約をEuclid的Weylチャネル $\Delta$ 内の幾何的不等式に翻訳する。
• p進設定における整数的制約を捉えるために、 lattice $\Lambda = \{ (\alpha,\beta,\gamma) \in L_{\underline{G}}^3 : \alpha + \beta + \gamma \in Q(R^\vee) \}$ を定義する。
• 根系 $R$ に対して、$\theta = \sum m_i \alpha_i$ が最高根であるとき、飽和係数 $k_R = \mathrm{lcm}(m_1,\dots,m_\ell)$ を定義する。
• Borel-Weil定理および表現論を用いて、テンソル積における非ゼロの $G$-不変量が、非空のMumford商および幾何的三角形に対応することを示す。
• Gordanの補題を適用して解半群の有限生成性を証明し、生成子のLCMを用いて飽和を確立する。

実験結果

リサーチクエスチョン

• RQ1 和（または積）がゼロ（または単位行列）である行列の固有値（または特異値）について、和項（因子）の固有値が固定されているとき、その必要十分条件は何か？
• RQ2 固有値和問題（Q1）、特異値積問題（Q2）、不変因子問題（Q3）、テンソル積分解（Q4）の解集合は、幾何的および代数的にどのように関連しているか？
• RQ3 ヘッケ代数の構造定数の解集合（Q3）と表現環の解集合（Q4）を結ぶ正確な飽和係数 $k_R$ は何か？
• RQ4 根系 $B_2$ および $G_2$ に対して、$Sol(Q3)$ と $Sol(Q4)$ が包含関係にあるにもかかわらず異なるのはなぜか？
• RQ5 テンソル積分解問題の解集合は、対称空間における三角不等式問題の部分半群として実現可能か？

主な発見

• 固有値和問題 $Sol(Q1, G)$ の解集合は、$\Delta^3$ 内の凸同次多面体錐 $D_3(G/K)$ であり、$G$ のWeyl群にのみ依存し、整数線形不等式によって定義される。
• 解集合は $Sol(Q1) = Sol(Q2) \supset Sol(Q3) \supset Sol(Q4)$ の鎖を持つ。$Sol(Q3)$ は $\Lambda$ に含まれ、$Sol(Q2) \cap k_R \cdot \Lambda \subset Sol(Q3) \subset Sol(Q2) \cap \Lambda$ を満たす。ここで $k_R$ は飽和係数である。
• 根系 $B_2$ および $G_2$ に対して、$Sol(Q2) \cap \Lambda \neq Sol(Q3)$ かつ $Sol(Q3) \neq Sol(Q4)$ であるため、飽和が常にタイトではないことが示された。
• 解半群 $S_{rep} = Sol(Q4)$ は $S_{triangle} = Sol(Q1)$ の部分半群であり、$S_G^3$ における飽和がちょうど $S_{triangle}$ に一致する。これにより、$GL(\ell)$ における飽和予想が証明された。
• 半群 $S_{rep}$ は有限生成であり、ある $k \in \mathbb{N}$ に対して、$k \cdot S_{triangle}$ に同型な有限指数の部分半群を含む。ここで $k$ は群にのみ依存する。
• $V_\alpha \otimes V_\beta \otimes V_\gamma$ に非ゼロの $G$-不変量が存在することは、Mumford商 $\mathcal{M}_{\alpha,\beta,\gamma}$ が非空であることと同値であり、これは対称空間 $G/K$ 内で辺長 $\alpha, \beta, \gamma$ の三角形が存在することと同値である。