[论文解读] A path model for geodesics in Euclidean buildings and its applications to representation theory

Michael Kapovich, John J. Millson|ArXiv.org|Nov 8, 2004

Computational Geometry and Mesh Generation参考文献 5被引用 8

一句话总结

本文引入了赫克路径——在韦伊 chambers 中的分段线性路径，其为非阿赋值群的欧几里得建筑物中测地线的投影——作为复半单李群张量积重数的几何模型。它证明了一个饱和定理，表明若在缩放级别 $N$ 时，一个不可约表示的张量积非零，则其在级别 $k_R^2$ 时也非零，其中 $k_R$ 是由根系导出的饱和因子，将克尼森-陶饱和定理从 $A_l$ 类型推广至所有复半单李群。

ABSTRACT

In this paper we give a combinatorial characterization of projections of geodesics in Euclidean buildings to Weyl chambers. We apply these results to the representation theory of complex semisimple Lie groups and to spherical Hecke rings associated with nonarchimedean reductive Lie groups. Our main application is a generalization of the saturation theorem of Knutson and Tao for SL(n) to other complex semisimple Lie groups.

研究动机与目标

• 通过欧几里得建筑物中的路径，建立复半单李群张量积重数的几何表征。
• 将克尼森-陶饱和定理从 $SL_n$ 推广至所有复半单李群。
• 定义并研究赫克路径作为布雷厄特-蒂斯建筑物中测地线的投影，将几何与表示理论联系起来。
• 确定最小的饱和常数 $k_R^2$，使得在级别 $N$ 非零可推出在级别 $k_R^2$ 非零，且该常数与 $N$ 无关。

提出的方法

• 将赫克路径定义为在韦伊单形 $\Delta$ 中的分段线性路径，其为与非阿赋值群 $G=\underline{G}(\mathbb{K})$ 相关的欧几里得建筑物 $X$ 中测地线段的投影。
• 证明 $\Delta$ 中的路径 $p$ 是赫克路径当且仅当它是 $X$ 中测地线的投影，从而建立直接的几何实现。
• 将饱和因子 $k_R$ 定义为最高根分解 $\theta = \sum m_i \alpha_i$ 中系数 $m_i$ 的最小公倍数，其中 $\alpha_i$ 为单根。
• 利用建筑物中折叠三角形的几何结构来建模张量积的非零性，证明此类三角形可展开为测地线三角形当且仅当路径为赫克路径。
• 将该理论应用于球面赫克代数及 $G^\vee = \underline{G}^\vee(\mathbb{C})$ 的表示环，将代数重数与由广义三角不等式定义的凸锥联系起来。
• 通过由广义三角不等式定义的凸齐次锥 $D_3 \subset \Delta^3$ 重新表述饱和条件，该锥捕捉了张量积重数的支撑。

实验结果

研究问题

• RQ1 能否使用几何方法将 $SL_n$ 的克尼森-陶饱和定理推广至所有复半单李群？
• RQ2 最小的缩放因子 $k$ 是什么，使得 $ (V_{N\alpha} \otimes V_{N\beta} \otimes V_{N\gamma})^{G^\vee} \neq 0 $ 蕴含在级别 $k$ 时也非零？
• RQ3 欧几里得建筑物中的测地线如何投影到韦伊单形中的路径？这些投影有何特征？
• RQ4 是否存在一种基于建筑物中路径计数的表示环结构常数的几何构造？
• RQ5 饱和常数 $k_R$ 能否仅从根系计算得出？它是否仅依赖于外尔群？

主要发现

• 本文证明了一个饱和定理：若 $ (V_{N\alpha} \otimes V_{N\beta} \otimes V_{N\gamma})^{G^\vee} \neq 0 $，则 $ (V_{k_R^2\alpha} \otimes V_{k_R^2\beta} \otimes V_{k_R^2\gamma})^{G^\vee} \neq 0 $，其中 $k_R$ 为根系的饱和因子。
• 赫克路径被定义为欧几里得建筑物 $X$ 中测地线的投影，其通过放宽一个公理，推广了利特尔曼的 LS 路径。
• 每个 LS 路径都是赫克路径，但并非每个赫克路径都是 LS 路径，如在 $A_2$ 型中一个具有非整数转折点的赫克路径反例所示。
• 饱和因子 $k_R$ 计算为最高根 $\theta = \sum m_i \alpha_i$ 的分解中系数 $m_i$ 的最小公倍数，该值决定了实现饱和所需的缩放。
• 使得 $ (V_\alpha \otimes V_\beta \otimes V_\gamma)^{G^\vee} \neq 0 $ 的三元组 $(\alpha,\beta,\gamma)$ 的集合位于由广义三角不等式定义的凸锥 $D_3 \subset \Delta^3$ 内。
• 本文为 $SL_n$（此时 $k_R = 1$）的克尼森-陶饱和定理提供了新证明，并表明该结果可推广至所有复半单群，且使用 $k_R^2$ 缩放。