[论文解读] Absolutely indecomposable representations and Kac-Moody Lie algebras (with an appendix by Hiraku Nakajima)

William Crawley-Boevey, Michel Van den Bergh|ArXiv.org|Jun 1, 2001

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

一句话总结

本文證明了關於有限域上昆圖絕對不可約表示的 Kac 猜想：對於不可分維向量，計數此類表示的多項式具有正係數（猜想 A），且其常數項等於對應根在相應 Kac-Moody 李代數中的重數（猜想 B）。證明利用預投射代數穩定表示模空間的上同調解釋，並將 Harder-Narasimhan 濃縮與李代數的 PBW 基聯繫起來。

ABSTRACT

A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.

研究动机与目标

• 解決 Kac 長期以來關於有限域上昆圖表示的絕對不可約表示計數多項式的猜想。
• 建立該多項式在預投射代數穩定表示模空間上的上同調解釋。
• 證明對於不可分維向量，該多項式的常數項等於相應 Kac-Moody 李代數中對應根的重數。
• 將預投射代數表示的 Harder-Narasimhan 濃縮與李代數的 PBW 基聯繫起來。
• 顯示穩定表示模空間的上同調控制有限域上表示簇的點數。

提出的方法

• 引入一個模空間 $X_s$，用於參數化預投射代數 $\Pi^0$ 在通用 $\lambda$ 下的 $\lambda$-穩定表示，其中 $\lambda \cdot \alpha = 0$。
• 建立一個上同調公式：$a_\alpha(q) = \sum_{i=0}^d \dim H^{2d-2i}(X_s, \mathbb{C}) \, q^i$，其中 $d = \frac{1}{2} \dim X_s$。
• 使用一個一參數族 $\Xi$ 的光滑代數簇，其變形將表示空間映射至模空間 $X_s$，並在大特徵下證明其解析與上同調等價。
• 應用 Lefschetz 不動點公式與 Weil 猜想，將有限域上的點數與上同調上的 Frobenius 算子特徵值聯繫起來。
• 透過 PBW 定理與 Harder-Narasimhan 濃縮，將冪零子集 $\Lambda_\alpha$ 的不可約分支數與根重數聯繫起來。
• 使用 Nakajima 的論證並加以改良，證明族 $\Xi$ 是解析平凡的，從而確保 $X$ 與 $X_s$ 在大特徵下具有 Frobenius 相容的上同調同構。

实验结果

研究问题

• RQ1 多項式 $a_\alpha(q)$ 計數 $\mathbb{F}_q$ 上的絕對不可約表示時，對於不可分 $\alpha$ 是否具有正係數？
• RQ2 常數項 $a_\alpha(0)$ 是否等於 Kac-Moody 李代數 $\mathfrak{g}$ 中根 $\alpha$ 的重數，對於不可分 $\alpha$？
• RQ3 能否利用 $\lambda$-穩定 $\Pi^0$-表示模空間的上同調來計算 $a_\alpha(q)$？
• RQ4 預投射代數表示上的 Harder-Narasimhan 濃縮如何與 $U(\mathfrak{g}^+)$ 的 PBW 基聯繫？
• RQ5 在冪零子集 $\Lambda_\alpha$ 中，$\lambda$-穩定表示的數目是否等於 $\dim \mathfrak{g}_\alpha$，對於不可分 $\alpha$？

主要发现

• 對於不可分 $\alpha$，猜想 A 成立：多項式 $a_\alpha(q)$ 具有非負整數係數。
• 對於不可分 $\alpha$，猜想 B 成立：常數項 $a_\alpha(0)$ 等於 Kac-Moody 李代數 $\mathfrak{g}$ 中根 $\alpha$ 的重數。
• 多項式 $a_\alpha(q)$ 等於 $\lambda$-穩定 $\Pi^0$-表示模空間 $X_s$ 對應維向量 $\alpha$ 的 Poincaré 多項式。
• 包含 $\lambda$-穩定表示的冪零子集 $\Lambda_\alpha$ 的不可約分支數等於 $\dim \mathfrak{g}_\alpha$。
• 模空間 $X_s$ 的上同調透過 Frobenius 作用控制有限域上表示簇的點數。
• 族 $\Xi$ 的光滑代數簇是解析平凡的，確保 $X$ 與 $X_s$ 在大特徵下具有同構的上同調，且 Frobenius 作用相容。