[論文レビュー] Semi-invariants of Symmetric Quivers

Riccardo Aragona|arXiv (Cornell University)|Jun 22, 2010

Algebraic structures and combinatorial models参考文献 29被引用数 3

ひとこと要約

本稿は、有限型およびタウ型の対称クーヴィーの直交的およびシミレティック表現の半不変式の環を特徴づける。定義行列が歪対称である場合、これらの環が行列式半不変式 $ c^V $ および Pfaffian 半不変式 $ pf^V $ で生成されることを証明し、群作用による表現空間への応用を通じて、古典的不変式論を対称クーヴィー表現へと拡張する。

ABSTRACT

This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $$ on a representation $V$ of $Q$. We shall say that $V$ is orthogonal if $$ is symmetric and symplectic if $$ is skew-symmetric. Moreover we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a symmetric quiver of finite type or of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type $c^V$ and, in the case when matrix defining $c^V$ is skew-symmetric, by the Pfaffians $pf^V$.

研究の動機と目的

• 直交的およびシミレティック表現の対称クーヴィーの半不変式の環の構造を記述すること。
• 表現空間への古典群の積の作用を定義することにより、古典的不変式論を対称クーヴィーに一般化すること。
• 有限型およびタウ型の対称クーヴィーに対して、半不変式の環が $ c^V $ および $ pf^V $ で生成されることを証明すること。
• 半不変式と重み、分割、反射関手などの組合せ的データとの関係を確立すること。
• 今後のクラスター代数および対称クーヴィー設定における仮想半不変式に関する研究の基盤を構築すること。

提案手法

• 頂点および矢印に反変的対合 $ \tau $ を持つクーヴィー $ (Q, \tau) $ を定義し、表現に非退化な双線形形式を可能にする。
• $ \tau $ によって誘導される対称および歪対称双線形形式を用いて、直交的およびシミレティック表現を導入する。
• 直交的およびシミレティック表現の空間にそれぞれ $ SO(Q, \beta) $ および $ SSp(Q, \beta) $ の群作用を定義する。
• 反射関手およびコックスター関手を用いて、異なるクーヴィー型および次元ベクトル間の半不変式を関連付ける。
• 最高重量理論およびシュールモジュールを用いて多項式不変式の構造を分析し、特にコーシーの公式および双対性を用いる。
• 半不変式 $ c^V $ の重み $ \tilde{\chi} = \langle \beta, \cdot \rangle $ を特徴づけ、$ \beta $ の台におけるソースおよびシンクで 1 と -1 が交互に現れ、他の場所では 0 であることを示し、補完的列条件を用いて分割の制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限型およびタウ型の対称クーヴィーの直交的表現の半不変式の環の構造は何か？
• RQ2 対称クーヴィーの半不変式は、行列式や Pfaffian などの古典的不変式とどのように関係するか？
• RQ3 半不変式の環の生成子は、次元ベクトルや重みなどの組合せ的データを用いて明示的に記述可能か？
• RQ4 反射関手および双対性関手は、対称クーヴィーの半不変式にどのように影響を与えるか？
• RQ5 重み $ \chi = \langle \beta, \cdot \rangle $ は、半不変式の環の構造を決定づける役割を果たすか？

主な発見

• 有限型またはタウ型の対称クーヴィーに対して、定義行列が歪対称である場合、半不変式の環は行列式半不変式 $ c^V $ および Pfaffian 半不変式 $ pf^V $ で生成される。
• 半不変式 $ c^V $ の重み $ \chi = \langle \beta, \cdot \rangle $ は、$ \beta $ の台におけるソースおよびシンクで 1 と -1 が交互に現れ、他の場所では 0 である。
• 重み $ \chi $ に関連する分割の族は、補完的列条件によって定まる：$ \lambda(a_i) $ は $ \lambda(a_{i-1}) $ に対して $ \alpha_i $ に関する補完となる。初期および終端の列はそれぞれ高さ $ \alpha_{m_1} $ および $ \alpha_{m_t} $ を持つ。
• 非分解的表現の次元ベクトル $ \beta $ は、$ \alpha_{m_t} = \alpha_{m_{t-1}} - \alpha_{m_{t-2}} + \cdots \pm \alpha_{m_1} $ を満たす。これは、交替する重みパターンを反映している。
• 半不変式の環 $ \mathbb{K}[ORep(Q,\beta)]^{SO(Q,\beta)} $ は、$ SL(V) $ におけるシュールモジュールの不変式環と同型であり、$ \chi(i) \neq 0 $ となる頂点でのみ非ゼロ成分を持つ。
• 証明はコーシーの公式および最高重量モジュールの構造に依拠し、非ゼロ不変式は分割列が厳密な双対性および補完性条件を満たす場合にのみ生じることを示している。