[論文レビュー] Horn inequalities and quivers

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

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

ひとこと要約

本稿は、フィルターを施した次元ベクトルを用いてクーヴァー表現のマムフォード錐を新しい形で特徴付け、シューフェルトの帰納的技法を適応してホーン不等式を導出する。次元ベクトルを持つクーヴァーの半不変多項式の錐は、部分表現のオイラー特性を含む明示的な不等式によって定義され、テンソル積分解における古典的ホーン不等式の直接的証明を提供する。

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) $ の線形表現のマムフォード錐を定義する不等式を特定すること。
• フィルターを施した次元ベクトルを用いて、クーヴァー表現の文脈にホーン不等式を一般化すること。
• フィルター設定におけるシューフェルトの議論を用いて、ホーン不等式の直接的帰納的証明を提供すること。
• クーヴァー設定におけるレサレーとホーンの要素を用いて、半不変多項式の錐を特徴付けること。

提案手法

• 著者らは、クーヴァー表現における部分表現の概念を一般化するために、フィルターを施した次元ベクトル構造を定義する。
• 彼らは、写像 $ \delta_v $ における源空間と終域空間の次元の差を測るため、オイラー特性 $ \operatorname{eul}_Q({\mathcal{K}},{\mathcal{J}}/{\mathcal{K}}) $ を導入する。
• 彼らは、非負のオイラー特性と部分族間の整合性条件を要求することによって、集合 $ \operatorname{Horn}_Q({\mathcal{J}}) $ を再帰的に定義する。
• マムフォード錐 $ \operatorname{Cone}_Q({\mathcal{J}}) $ は、すべての $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ に対して不等式 $ \sum_{x,k} \lambda_x(k) \leq 0 $ によって特徴付けられる。
• この構成は、モーメント写像とキルワンの理論に依拠し、適切なおよびレサレーの要素を用いて、 facet を定義する不等式を同定する。
• 一般部分表現に対するシューフェルトの議論をフィルター設定に適応し、不等式が飽和的かつ完全であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた次元ベクトルを持つクーヴァー表現のマムフォード錐を定義する明示的不等式は何か？
• RQ2 一般部分表現に対するシューフェルトの帰納的技法を、クーヴァー表現のフィルター設定にどのように拡張できるか？
• RQ3 クーヴァー設定におけるレサレー要素とホーン不等式の関係は何か？
• RQ4 フィルターを施した次元ベクトルは、クーヴァー表現における半不変多項式の構造をどのように表現するか？
• RQ5 テンソル積のための古典的ホーン不等式は、より一般のクーヴァー理論的枠組みの特殊ケースとして得られるか？

主な発見

• マムフォード錐 $ \operatorname{Cone}_Q({\mathcal{J}}) $ は、すべての $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ に対して不等式 $ \sum_{x,k} \lambda_x(k) \leq 0 $ の系によって完全に記述され、等号が成り立つのは $ \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 $ およびオイラー特性がゼロである部分族との整合性を要求することによって再帰的に定義される。
• すべてのレサレー要素は $ {\mathcal{K}} \in \operatorname{Horn}_Q({\mathcal{J}}) $ に対応し、それらすべての $ {\mathcal{K}} $ は錐の facet を定義するための必要条件を満たす。
• 表現 $ {\mathcal{H}}_Q({\mathcal{J}}) $ はホーン性質を持つ、つまりその半不変多項式の錐は飽和的であり、再帰的不等式によって完全に記述される。
• クーヴァーが $ x_i \to y $ で次元ベクトルが等しい場合、$ \mathrm{GL}(n) $-表現のテンソル積に対する古典的ホーン不等式が特殊ケースとして回復される。
• この方法により、計算・検証が容易な、完全ではあるが重複を含む可能性のある不等式系が得られる。