[論文レビュー] The Combinatorics of Quiver Representations

Harm Derksen, Jerzy Weyman|arXiv (Cornell University)|Aug 11, 2006

Algebraic structures and combinatorial models参考文献 24被引用数 15

ひとこと要約

本稿では、特に半不変量とリトルウッド・リチャードソン係数に注目して、クーヴィー表現の組合せ論を研究するための一般化としてシュール系列を導入する。すべてのシュール系列が例外的系列に細分可能であることを確立し、半不変量が一意である（すなわち $\alpha\circ\beta = 1$）場合、そのスケーリングがこの一意性を保つことを証明する。これは、クーヴィー設定へのクヌプソン＝タオ＝ウッドワードの飽和予想の一般化である。

ABSTRACT

We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.

研究の動機と目的

• リトルウッド・リチャードソン係数のクヌプソン＝タオ＝ウッドワードの飽和予想をクーヴィー表現の文脈に一般化すること。
• シュール系列を用いた半不変量の錐の面を記述する組合せ論的枠組みを構築すること。
• $\alpha\circ\beta = 1$ ならばすべての正の整数 $N,M$ に対して $N\alpha\circ M\beta = 1$ が成り立つことを示し、ベルカーレの幾何的証明をクーヴィーに拡張すること。
• クーヴィー表現における $\sigma$-安定分解と標準的分解の分析のための体系的ツールセットを提供すること。

提案手法

• シュール根 $\alpha_1, \dots, \alpha_s$ の列としてのシュール系列——$i < j$ に対して $\alpha_i \circ \alpha_j = 1$ を満たす——を定義し、虚数的シュール根を許容する例外的系列の一般化として導入する。
• 次元ベクトルの標準的分解を用いて、$\sigma$-半安定表現のジョルダン・ホルダー分解の因子の次元ベクトルとしてシュール系列を特定する。
• $\sigma$-安定分解の次元ベクトルを分析するために、直交カテゴリーや安定性条件の理論を応用する。
• オイラー形式 $\langle\cdot,\cdot\rangle_Q$ および半不変量空間 $\operatorname{SI}(Q,\beta)_{\langle\alpha,\cdot\rangle}$ を用い、$\alpha \circ \beta$ をその次元として定義する。
• シューベルト計算を用いて、$\alpha \circ \beta$ を一般の $(\alpha + \beta)$-次元表現における $\alpha$-次元部分表現の数として解釈する。
• 埋め込み定理を用いて、$Q$ が $Q'$ の部分クーヴィーでない場合でも、クーヴィー $Q$ の表現を別のクーヴィー $Q'$ の表現の中に実現する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $\alpha \circ \beta = 1$ ならばすべての正の整数 $N,M$ に対して $N\alpha \circ M\beta = 1$ が成り立つか？
• RQ2 有向サイクルを含むクーヴィーに対して、錐 $\mathbb{R}_+\Sigma(Q,\alpha)$ の面をどのように組合せ論的に記述できるか？
• RQ3 クライアッホコの錐の幾何とリトルウッド・リチャードソン係数の因数分解の関係は何か？
• RQ4 すべてのシュール系列は例外的系列に細分可能か？ そしてこれは $\sigma$-安定分解の構造にどのような意味を持つのか？
• RQ5 三つ組の分割がクライアッホコの錐の壁上にあるのはどのようなときか？ そしてこれにより対応するリトルウッド・リチャードソン係数にどのような意味が生じるか？

主な発見

• すべてのシュール系列は例外的系列に細分可能であり、クーヴィー表現論におけるシュール根と例外的系列の間の構造的関係を確立する。
• $\alpha \circ \beta = 1$ ならばすべての正の整数 $N,M$ に対して $N\alpha \circ M\beta = 1$ が成り立つ。これは、クヌプソン＝タオ＝ウッドワードの予想をクーヴィーに一般化する。
• 任意の余次元の $\mathbb{R}_+\Sigma(Q,\alpha)$ の面は、シュール系列と $\sigma$-安定分解を用いて組合せ論的に記述可能である。
• クライアッホコの錐の壁上にある三つ組の分割は、より小さい係数の積に因数分解されるリトルウッド・リチャードソン係数に対応する。
• クーヴィー表現における飽和定理が成り立つ：ある $M,N > 0$ に対して $N\alpha \circ M\beta > 0$ ならば $\alpha \circ \beta > 0$ が成り立つ。これは、LR係数に関する結果を拡張する。
• 著者らは、クライアッホコの錐の極値的半直線上にあり、$c_{\lambda,\mu}^{\nu} > 1$ を満たす三つ組の分割を構成し、LR係数の対数的凸性の反例を提供した。