[論文レビュー] Quivers, long exact sequences and Horn type inequalities

Calin Chindris|ArXiv.org|Oct 19, 2004

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

ひとこと要約

本稿は、与えられた同型型を持つ m 個の有限アーベル p-群の長完全系列の存在に関する、必要十分な Horn 型不等式を確立し、古典的な Horn と飽和予想を一般化する。一般化された Littlewood-Richardson 系数を導入し、問題をエルミート行列の固有値とクーヴィー表現論に結びつける。m=3 の場合に不等式の最小性を証明し、m≥4 の場合に不等式が冗長となる条件を特定する。

ABSTRACT

We give necessary and sufficient inequalities for the existence of long exact sequences of m finite abelian p-groups with fixed isomorphy types. This problem is related to some generalized Littlewood-Richardson coefficients that we define in this paper. We also show how this problem is related to eigenvalues of Hermitian matrices satisfying certain (in)equalities. When m=3, we recover the Horn type inequalities that solve the saturation conjecture for Littlewood-Richardson coefficients and Horn's conjecture.

研究の動機と目的

• 与えられた同型型を持つ m 個の有限アーベル p-群の長完全系列の存在に関する必要十分な不等式を特定すること。
• このような系列から生じる一般化された Littlewood-Richardson 系数を定義し、その性質を調査すること。
• 存在問題をエルミート行列の和の固有値制約に関連付けること。
• クーヴィー理論的アプローチを用いて、m≥3 項への古典的 Horn および飽和予想の一般化を実行すること。
• m≥4 の場合における導出された Horn 型不等式の最小性および冗長性を分析すること。

提案手法

• 特に交互型の一般化フラッグクーヴィーを用いて、完全系列問題をモデル化するためのクーヴィー表現論を用いる。
• シュール根と次元ベクトルの理論を適用し、実現可能な表現を特徴付ける。
• クーヴィーの表現空間の座標環における重複度として、一般化された Littlewood-Richardson 系数を導入する。
• Klyachko の錐とその面を用いて、固有値制約を経由して Horn 型不等式を導出する。
• 飽和性質とハニーコム／パズル技法（先行結果を介して）を用いて、整数性および最小性を分析する。
• 不等式の冗長性を、関連する次元ベクトルがシュール根かどうかをチェックすることによって分析する。

実験結果

リサーチクエスチョン

• RQ1 与えられた同型型を持つ m 個の有限アーベル p-群の長完全系列の存在に関する必要十分な不等式は何か？
• RQ2 一般化された Littlewood-Richardson 系数はどのようにこのような完全系列から生じるのか？ また、その表現論的解釈は何か？
• RQ3 これらの不等式は、エルミート行列の和の固有値問題とどのように関係しているか？
• RQ4 m≥4 の場合、導出された Horn 型不等式の中でどれが冗長であり、冗長性を決定づける条件は何か？
• RQ5 m≥3 の場合、飽和性質 f(λ(1),…,λ(m))=1 ⇔ f(rλ(1),…,rλ(m))=1 が成り立つ条件は何か？

主な発見

• 本稿は、固定された同型型を持つ m 個の有限アーベル p-群の長完全系列の存在に関する、完全な必要十分な Horn 型不等式の集合を提供する。
• m=3 の場合、導出された不等式は古典的な Horn および飽和予想を回復し、p-群の完全系列、Littlewood-Richardson 系数の非ゼロ性、固有値和問題の間の同値性を確認する。
• 一般化された Littlewood-Richardson 系数は、一般化フラッグクーヴィーに関連する表現空間の座標環における既約表現の重複度として定義される。
• m=3 の場合、不等式のリストは最小であるが、m≥4 の場合には冗長な不等式が含まれており、その冗長性は特定の次元ベクトルがシュール根かどうかに依存する。
• β_I と β−β_I が両方ともシュール根である十分条件を同定し、それに対応する不等式の非冗長性を保証する。
• m=3 の場合、飽和性質 f(λ(1),…,λ(m))=1 ならば f(rλ(1),…,rλ(m))=1 が成り立つ。本稿は、m≥3 へのその拡張を予想する。