第 54 章 Quiver 表示¶

前置：向量空间 (Ch04) · 线性变换 (Ch05) · 图论基础 (Ch27)

本章脉络：从图到代数 \(\to\) Quiver（有向图）的定义 \(\to\) Quiver 的表示 (Representation)：顶点上的空间与边上的映射 \(\to\) 表示的同态与同构 \(\to\) 路径代数 (Path Algebra) \(kQ\) \(\to\) 直和与不可约表示 \(\to\) 核心定理：Gabriel 定理（有限表示型与 Dynkin 图的联系） \(\to\) 投射与注入表示 \(\to\) 应用：根系统理论、箭图代数在物理（弦论、规范场）中的应用、范畴论视角

延伸：Quiver 表示论是线性代数在现代代数学中的前沿分支；它将孤立的线性变换串联成一个复杂的网络结构，证明了图的拓扑形状直接决定了其上线性变换组合的“分类难度”，是连接离散图论与连续变换论的绝佳桥梁

在线性代数中，我们通常研究单一空间上的单一变换 \(T: V \to V\)（这对应于一个点和一个环的图）。Quiver 表示（Quiver Representations）则研究更复杂的系统：一个由多个向量空间及其间的一系列线性映射构成的网络。这种理论不仅统一了矩阵相似性、合同性等经典问题，还揭示了图的拓扑（如 Dynkin 图）与线性算子分类之间的惊人联系。

54.1 Quiver 与表示的定义¶

定义 54.1 (Quiver)

一个 Quiver \(Q\) 是一个有向图，由顶点集 \(Q_0\) 和边集 \(Q_1\) 组成。

定义 54.2 (Quiver 的表示)

\(Q\) 在域 \(k\) 上的一个表示 \(V\) 包括： 1. 对每个顶点 \(i \in Q_0\)，分配一个向量空间 \(V_i\)。 2. 对每条边 \(a: i \to j\)，分配一个线性变换 \(V_a: V_i \to V_j\)。

54.2 核心定理：Gabriel 定理¶

定理 54.1 (Gabriel 定理)

一个 Quiver 只有有限个不可分解表示（有限型），当且仅当其底层无向图是 Dynkin 图（即 \(A_n, D_n, E_6, E_7, E_8\)）。意义：这一深刻结论揭示了图的离散几何与线性代数的分类复杂性之间的必然联系。

54.3 路径代数 \(kQ\)¶

代数转换

Quiver \(Q\) 的所有表示等价于其路径代数 \(kQ\) 上的左模。这使得我们可以利用环论和模论的工具来研究复杂的映射网络。

练习题¶

1. [基础] 写出 Quiver \(1 \to 2\) 的一个非平凡表示。

参考答案

构造： 1. 给顶点 1 分配空间 \(V_1 = k\)。 2. 给顶点 2 分配空间 \(V_2 = k\)。 3. 给边 \(a: 1 \to 2\) 分配恒等变换 \(V_a = [1]\)。结论：这是一个最简单的不可分解表示，记为 \(P_1\)（投射表示）。

2. [计算] 对于 Quiver \(1 \to 2\)，求其所有不可分解表示（有限型判定）。

参考答案

分析： 1. 该 Quiver 的底层图是 \(A_2\)（Dynkin 图）。 2. 根据 Gabriel 定理，它有有限个不可分解表示。 3. 分量维数向量 \((d_1, d_2)\) 必须是 \(A_2\) 的正根：\((1, 0), (0, 1), (1, 1)\)。结论：共有 3 个不可分解表示：\((k \to 0), (0 \to k), (k \xrightarrow{1} k)\)。

3. [同构] 判定两个表示 \((k \xrightarrow{1} k)\) 与 \((k \xrightarrow{2} k)\) 是否同构。

参考答案

判定： 1. 同构要求存在非奇异标量 \(c_1, c_2\) 使得 \(c_2 \cdot 1 = 2 \cdot c_1\)。 2. 选取 \(c_1 = 1, c_2 = 2\)。结论：是的，它们同构。 直观理解：在 Quiver 理论中，单纯的基变换（缩放）不改变映射的本质结构。

4. [路径代数] 写出 Quiver \(1 \xrightarrow{a} 2 \xrightarrow{b} 3\) 的路径代数基。

参考答案

路径枚举： 1. 长度为 0 的路径（顶点）：\(e_1, e_2, e_3\)。 2. 长度为 1 的路径（边）：\(a, b\)。 3. 长度为 2 的路径：\(ba\)。结论：路径代数 \(kQ\) 的基为 \(\{e_1, e_2, e_3, a, b, ba\}\)。

5. [Dynkin图] 为什么 \(1 \to 2 \gets 3\) 是有限型的？

参考答案

理由： 其底层无向图是 \(A_3\)。按照 Gabriel 定理，所有的 \(A_n\) 型 Quiver 都是有限型的，无论边的方向如何。

6. [计算] 求表示 \(k \xrightarrow{0} k\) 的子表示。

参考答案

分析： 一个子表示 \(U \subset V\) 要求对每条边 \(V_a(U_i) \subseteq U_j\)。由于 \(V_a = 0\)，任何子空间对 \((U_1, U_2)\) 都满足该条件。结论：子表示包括 \((0 \to 0), (k \to 0), (0 \to k), (k \to k)\)。

7. [分类] 简述“表示型”：有限型、驯服型 (Tame) 与野性型 (Wild)。

参考答案

对比： - 有限型：只有有限个不可分解表示（Dynkin 图）。 - 驯服型：不可分解表示可以由一簇连续参数描述（欧几里得图 \(\tilde{A}, \tilde{D}, \tilde{E}\)）。 - 野性型：分类问题包含了一切矩阵对分类问题，极其困难。

8. [应用] 矩阵相似性问题对应哪种 Quiver？

参考答案

结论：对应于 Jordan Quiver（一个顶点，一个自环边）。 其表示即为一个空间 \(V\) 和一个算子 \(T: V \to V\)。由于它是 \(\tilde{A}_0\) 型（驯服型），因此可以通过 Jordan 标准形完全分类。

9. [维数向量] 表示的维数向量定义为什么？

参考答案

定义： 是一个整数向量 \(\mathbf{d} = (\dim V_1, \dim V_2, \ldots, \dim V_n)\)。它记录了网络中各节点的信息吞吐量。

10. [物理应用] 为什么 Quiver 理论出现在超弦理论中？

参考答案

在研究 D-膜（D-branes）在奇异点上的性质时，物理学家发现膜之间的规范场对称性及其相互作用项可以被编码为一个 Quiver。顶点代表膜的类型，边代表它们之间的费米子场。这种对应关系（Quiver Gauge Theory）将深层的几何信息转化为了直观的线性代数网络。

本章小结¶

Quiver 表示论是图论与线性算子的代数交响：

映射的拓扑化：它证明了线性系统的复杂性本质上是由映射链的“联通模式”定义的，将算子性质与离散图论完美绑定。
分类的边界：Gabriel 定理确立了线性代数“可完全解析”的终极边界（Dynkin 图），揭示了代数结构中深层的组合对称性。
结构的模块化：通过不可分解表示的理论，Quiver 框架将复杂的映射网络拆解为基本的、不可再分的组件，为现代代数几何与物理系统建模提供了强大的分解工具。