矢圖
語出維基大典,自由之大典矣
數學中, 一矢圖(en:quiver (mathematics)) 為一有向圖(其邊又曰「矢(arrow)」),可有廻圈或多重邊。此結構常見於表示論。
矢圖之表示 V為一函子,圖中每頂點 x 賦一向量空間 V(x),每邊 a 賦一線性映射 V(a)。
章 |
[修] 路代數
設 K 為一域(或曰體)。設 Γ 為一矢圖。矢圖代數,或曰 路代數 KΓ 者,為K上一結合代數,定義如下:
- KΓ為以矢圖中各路徑為基之向量空間;
- 乘法為路徑接合;
- 二首尾不應之徑之積為零。
KΓ 有單位元若且僅若其頂點集有限。然則KΓ模 與 Γ表示 等價。
設有一矢圖,其點與邊有限,每徑有相異之起終點。則KΓ 為K上一有限維遺傳代數( en:hereditary algebra) ,即 KΓ 上 投射模之子模 皆為投射模。
[修] 表示理論
設 Q 為一矢圖。其 當然表示 為一表示,每頂點 x 賦上零向量空間。
Q 之二表示間之態射 f:V->V' 乃 一組線性影射,使Q上每矢 x -->y 有 V'(a)f(x) = f(y)V(a)。一同構 f 為一態射,其每頂點 x 相應之線性影射 f(x) 可逆。 是故,Q 之各表示成一範疇.
設V 、W為矢圖Q之二表示。則可定義其直和 : 每頂點 x:
。
一表示曰可解,若彼同構於二非零表示之直和。
[修] 加百列定理 (Gabriel's theorem)
一矢圖曰有限型(finite type)若彼僅有 有限互不同構之不可解表示。 加百列定理刻劃各有限型矢圖表示:
- 一矢圖為 有限型 若且僅若 其圖為一A、D或E型Dynkin 圖;
- 其不可解表示 一一對應於其 Dynkin 圖相應之根系統之正根。
[修] 另
- 矢圖 (弦論) (en:quiver diagram)
- Dynkin 圖
- ADE 分類
[修] 攷
- Quiver Representations, Harm Derksen and Jerzy Weyman, AMS Notices
Categories: 圖論 | 環論 | 模論 | 表示論