[论文解读] Eigenvalues of Hermitian matrices and equivariant cohomology of Grassmannians

David Anderson, Edward Richmond+1 more|arXiv (Cornell University)|Oct 18, 2012

Advanced Combinatorial Mathematics参考文献 12被引用 5

一句话总结

本文建立了厄米特矩阵主序和的特征值问题的饱和定理，将其与格拉斯曼流形的等变上同调联系起来。利用施伯特微积分及Thomas和Yong（2012）的结果，证明了等变施伯特结构系数 $ C_{\lambda,\mu}^{\nu} $ 非零当且仅当存在某个 $ N \in \mathbb{N} $ 使得 $ C_{N\lambda,N\mu}^{N\nu} \neq 0 $，从而推广了经典的Knutson-Tao饱和定理。

ABSTRACT

The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two eigenvalue problems and their connection to Schubert calculus of Grassmannians. Our main result gives a Schubert calculus interpretation of Friedland's problem, via equivariant cohomology of Grassmannians. In particular, we prove a saturation theorem for this setting. Our arguments employ the aformentioned work together with [Thomas-Yong '12].

研究动机与目标

• 建立Friedland的厄米特矩阵主序和特征值问题的施伯特微积分解释。
• 将Knutson-Tao的饱和定理推广至格拉斯曼流形的等变上同调设定。
• 证明Friedland问题的解独立于 $ GL_n $-表示理论，控制等变施伯特上同调微积分。
• 为理解经典Horn问题之外的特征值约束，提供几何与上同调框架。

提出的方法

• 利用Thomas和Yong（2012）开发的等变施伯特结构系数的组合规则。
• 以Klyachko不等式和Knutson-Tao的饱和定理作为基础工具。
• 通过 $ T = (\mathbb{C}^*)^n $ 在格拉斯曼流形 $ \mathrm{Gr}_r(\mathbb{C}^n) $ 上的作用定义等变上同调环。
• 分析索引为 $ r \times (n-r) $ 矩形内分拆的施伯特簇，其关联条件通过旗结构定义。
• 将特征值约束转化为等变结构系数 $ C_{\lambda,\mu}^{\nu} $ 非零的条件。
• 在饱和性质的证明中，采用归纳法与格点词论证以验证半标准性与格点条件。

实验结果

研究问题

• RQ1 Friedland的厄米特矩阵主序和特征值问题是否可通过格拉斯曼流形的等变上同调获得施伯特微积分解释？
• RQ2 能否为等变施伯特结构系数 $ C_{\lambda,\mu}^{\nu} $ 建立类似于经典Knutson-Tao结果的饱和定理？
• RQ3 Friedland问题所依赖的不等式如何与格拉斯曼流形上等变上同调类的组合学相关联？
• RQ4 从经典上同调到等变上同调时，特征值问题与施伯特微积分之间的联系是否保持不变？
• RQ5 能否独立于 $ GL_n $-表示理论，仅通过格拉斯曼流形施伯特微积分推导出Friedland问题的解？

主要发现

• 本文证明了一个等变饱和定理：$ C_{\lambda,\mu}^{\nu} \neq 0 $ 当且仅当存在某个 $ N \in \mathbb{N} $ 使得 $ C_{N\lambda,N\mu}^{N\nu} \neq 0 $，推广了经典的Knutson-Tao结果。
• Friedland特征值问题的解控制了格拉斯曼流形上同调环中等变施伯特结构系数的非零性。
• 作者建立了 $ A + B \geq C $ 的特征值问题与施伯特微积分之间的直接联系，且不依赖于 $ GL_n $ 的表示理论。
• 证明依赖于Thomas-Yong规则计算 $ C_{\lambda,\mu}^{\nu} $，并利用归纳法与格点词论证验证半标准性与非零性。
• 当 $ |\lambda| + |\mu| = |\nu| $ 时，等变系数 $ C_{\lambda,\mu}^{\nu} $ 退化为经典Littlewood-Richardson系数 $ c_{\lambda,\mu}^{\nu} $，与先前结果保持一致。
• 该工作证实，Friedland的不等式（包括迹条件与额外约束）等价于格拉斯曼流形上同调环中等变施伯特类的非零性。