[论文解读] Horn inequalities and quivers

Velleda Baldoni, Michèle Vergne+1 more|arXiv (Cornell University)|Apr 2, 2018

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文通过过滤维数向量，提出了一种对奎弗表示中Mumford锥的新表征，并将Schofield的归纳方法推广至该框架，推导出Horn不等式。研究证明，对于给定维数向量的奎弗，半不变多项式锥由子表示的欧拉特征所涉及的显式不等式定义，从而为张量积分解的经典Horn不等式提供了直接证明。

ABSTRACT

Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear representation associated to a quiver and a dimension vector n=(n_x). We give these inequalities in terms of filtered dimension vectors, and we directly adapt Schofield's argument to inductively determine the dimension vectors of general subrepresentations in the filtered context. In particular, this gives one further proof of the Horn inequalities for tensor products.

研究动机与目标

• 确定与奎弗及维数向量相关的 $ \prod \mathrm{GL}(n_x) $ 线性表示的Mumford锥所定义的不等式。
• 通过过滤维数向量，将Horn不等式推广至奎弗表示的语境。
• 通过过滤设定下的Schofield论证，为Horn不等式提供一种直接的归纳证明。
• 在奎弗设定下，利用Ressayre与Horn元素表征半不变多项式锥。

提出的方法

• 作者定义了过滤维数向量结构，以推广奎弗表示中子表示的概念。
• 他们引入欧拉特征 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) $，用于度量映射 $ \delta_v $ 中源空间与目标空间维数的差异。
• 通过要求非负欧拉特征及子族间的相容性条件，递归地定义集合 $ \operatorname{Horn}_Q({\mathcal{J}}) $。
• Mumford锥 $ \operatorname{Cone}_Q({\mathcal{J}}) $ 由不等式 $ \sum_{x,k} \lambda_x(k) \leq 0 $ 对所有 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ 完全表征。
• 该构造依赖于矩映射与Kirwan理论，利用可接受元素与Ressayre元素识别出锥的面定义不等式。
• 该方法将Schofield关于一般子表示的论证推广至过滤设定，确保不等式是饱和且完备的。

实验结果

研究问题

• RQ1 对于给定维数向量的奎弗表示，Mumford锥的显式不等式是什么？
• RQ2 Schofield关于一般子表示的归纳方法如何推广至奎弗表示的过滤设定？
• RQ3 在奎弗设定下，Ressayre元素与Horn不等式之间有何关系？
• RQ4 过滤维数向量如何编码奎弗表示中半不变多项式的结构？
• RQ5 张量积的古典Horn不等式能否作为更一般奎弗理论框架下的特例被导出？

主要发现

• Mumford锥 $ \operatorname{Cone}_Q({\mathcal{J}}) $ 完全由不等式组 $ \sum_{x,k} \lambda_x(k) \leq 0 $ 对所有 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ 描述，且仅当 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) = 0 $ 时取等。
• 集合 $ \operatorname{Horn}_Q({\mathcal{J}}) $ 通过要求 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) \geq 0 $ 且与欧拉特征为零的子族相容，递归地定义。
• 每个Ressayre元素对应于某个 $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $，且所有此类 $ {\mathcal{K}} $ 均满足锥的面定义的必要条件。
• 表示 $ {\mathcal{H}}_Q({\mathcal{J}}) $ 具有Horn性质，即其半不变锥是饱和的，且完全由递归不等式描述。
• 当奎弗为 $ x_i \to y $ 且维数向量相等时，$ \mathrm{GL}(n) $-表示的张量积的古典Horn不等式作为特例被恢复。
• 该方法提供了一套完整（尽管可能冗余）的不等式系统，易于计算与验证。