[论文解读] 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

一句话总结

本文通过利用对称空间与建筑物的几何框架，解决了代数群论中的四个基本问题，包括矩阵和与积的特征值与奇异值约束，以及 Heck 算子与表示环结构常数的非零性。关键贡献在于通过证明这些问题的解集通过凸多面锥与根系相关的饱和因子相互关联，从而证明了 $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$-进群中的不变因子，以及张量积分解。
• 通过证明 Heck 代数结构常数的解集被表示环的解集饱和，从而证明 $GL(\theta)$ 的饱和猜想。
• 证明问题 Q1–Q4 的解集为凸多面锥或由整系数线性不等式与饱和因子定义的离散子半群。

提出的方法

• 利用无穷小对称空间与建筑物的几何性质，将代数问题的解空间建模为 Weyl 房间中的凸多面锥。
• 应用 Cartan 分解与双重陪集空间 $K\backslash G/K$，将代数约束转化为欧氏 Weyl 房间 $\Delta$ 中的几何不等式。
• 定义格子 $\Lambda = \{ (\alpha,\beta,\gamma) \in L_{\underline{G}}^3 : \alpha + \beta + \gamma \in Q(R^\vee) \}$，以捕捉 $p$-进情形下的整数约束。
• 为根系 $R$ 引入饱和因子 $k_R = \mathrm{lcm}(m_1,\dots,m_\ell)$，其中 $\theta = \sum m_i \alpha_i$ 为最高根。
• 利用 Borel-Weil 定理与表示理论，证明张量积中非零 $G$-不变量对应于非空 Mumford 商与几何三角形的存在。
• 应用 Gordan 引理证明解半群的有限生成性，并通过生成元的 LCM 建立饱和性。

实验结果

研究问题

• RQ1 在给定和元（因子）的特征值（或奇异值）固定时，其和（或积）为零（或单位矩阵）的矩阵的特征值（或奇异值）需满足何种充要条件？
• RQ2 特征值和问题（Q1）、奇异值积问题（Q2）、不变因子问题（Q3）与张量积分解问题（Q4）的解集在几何与代数上如何关联？
• RQ3 精确的饱和因子 $k_R$ 是什么，它将 Heck 代数结构常数的解集（Q3）与表示环的解集（Q4）联系起来？
• 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) \subset \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 \cdot S_{triangle}$ 同构的有限指数子半群，其中 $k \in \mathbb{N}$，且 $k$ 仅依赖于群。
• 在 $V_\alpha \otimes V_\beta \otimes V_\gamma$ 中存在非零 $G$-不变量，当且仅当 Mumford 商 $\mathcal{M}_{\alpha,\beta,\gamma}$ 非空，而后者又等价于在对称空间 $G/K$ 中存在边长为 $\alpha, \beta, \gamma$ 的三角形。