[论文解读] Convex functions on symmetric spaces, side lengths of polygons and stability inequalities for weighted configurations at infinity

Misha Kapovich, Bernhard Leeb+1 more|ArXiv.org|Nov 26, 2003

Advanced Algebra and Geometry参考文献 25被引用 6

一句话总结

本文建立了一套齐次线性不等式系统——称为广义三角形不等式或稳定性不等式——用于刻画非紧型对称空间及其相应无穷小对称空间中定向多边形的可能向量值边长。该刻画源自实格拉斯曼流形上的模 2 施普伦格尔同调，得到有限边的多面锥，称为 Δ-边长多面体。

ABSTRACT

In a symmetric space of noncompact type X = G/K oriented geodesic segments correspond to points in the Euclidean Weyl chamber. We can hence assign vector-valued side-lengths to segments. Our main result is a system of homogeneous linear inequalities describing the restrictions on the side -lengths of closed polygons. The inequalities are based on the mod 2 Schubert calculus in the real Grassmannians G/P for maximal parabolic subgroups P.

研究动机与目标

• 确定非紧型对称空间 X=G/K 中定向 n 边形的所有可能 Δ-边长集合。
• 通过几何与表示论方法，将魏尔的特征值问题及矩阵乘积的奇异值问题推广至更高多边形。
• 将对称空间中多边形的边长与无穷远处球面蒂茨建筑上的加权配置联系起来。
• 为对称空间及其无穷小对应物提供显式、有限的线性不等式系统，以描述 Δ-边长多面体。
• 通过实格拉斯曼流形上 G/P 的模 2 施普伦格尔同调，将这些几何约束与代数几何中的芒福德稳定性联系起来。

提出的方法

• 利用高斯映射构造，将对称空间 X 中的定向多边形与理想边界 ∂TitsX 上的加权配置联系起来。
• 将向量值边长（Δ-长度）建模为欧几里得外尔壁 Δeuc 中的元素，其源自群元素的奇异值。
• 应用非正曲率空间上凸函数的理论，定义渐近斜率与加权布塞曼函数。
• 通过施普伦格尔同调，特别是结构常数与庞加莱对偶性，从实格拉斯曼流形 G/P 的上同调环结构推导出稳定性不等式。
• 通过组合所有相关极大抛物子群的不等式，将 Δ-边长多面体构造为有限边的多面锥。
• 利用 Porta 等计算工具验证不等式系统的冗余性与完备性，尤其针对秩为二的根系。

实验结果

研究问题

• RQ1 在非紧型对称空间中，定向 n 边形的向量值边长的必要与充分条件是什么？
• RQ2 源自实格拉斯曼流形 G/P 上施普伦格尔同调的广义三角不等式如何与对称空间中多边形的几何相关联？
• RQ3 对于 A2、B2 和 G2 等秩为二的根系，Δ-边长多面体的精确结构是什么？
• RQ4 无穷远处加权配置的稳定性不等式如何对应于特征值与奇异值问题中的谱约束？
• RQ5 所推导的不等式在何种意义上恢复或推广了已知结果，例如 [BeSj] 中 SL(3,C) 的结果？

主要发现

• Δ-边长多面体 Pn(X) 与 Pn(p) 是有限边的多面锥，由一组齐次线性不等式显式描述。
• 对于秩为二的根系，多面体由 6 维空间 a^3 中的 24 个特定向量生成，经计算验证得出。
• G/P1 与 G/P2（基本权对应的格拉斯曼流形）的不等式系统不同：一个系数为 (2,1)，另一个为 (3,2)，反映了不同的施普伦格尔结构。
• 在去除 S3-轨道重复后，不等式系统为非冗余，且非弱不等式恰好对应于冗余的三角不等式。
• 上同调环 H*(G/P) 的结构常数决定了稳定性不等式中的系数，将代数拓扑与几何约束联系起来。
• 结果将魏尔的特征值问题及矩阵乘积的奇异值问题推广至 n 边形，且当 n=3 时，三角形情形恢复了已知结果（仅归一化不同）。