[论文解读] Multiplicative preprojective algebras, middle convolution and the Deligne-Simpson problem

William Crawley-Boevey, Peter Shaw|ArXiv.org|Apr 8, 2004

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

一句话总结

本文引入乘法预投影代数作为研究 Deligne-Simpson 问题的框架，通过同调公式将其与中卷积联系起来。它利用这些代数的表示理论和关于维向量的根系条件，证明了在 $\mathrm{GL}_n(\mathbb{C})$ 中给定共轭类内 $A_i$ 满足 $A_1\cdots A_k = 1$ 的不可约解存在的充分条件。

ABSTRACT

We introduce a family of algebras which are multiplicative analogues of preprojective algebras, and their deformations, as introduced by M. P. Holland and the first author. We show that these algebras provide a natural setting for the 'middle convolution' operation introduced by N. M. Katz in his book 'Rigid local systems', and put in an algebraic setting by M. Dettweiler and S. Reiter, and by H. Volklein. We prove a homological formula relating the dimensions of Hom and Ext spaces, study varieties of representations of multiplicative preprojective algebras, and use these results to study simple representations. We apply this work to the Deligne-Simpson problem, obtaining a sufficient (and conjecturally necessary) condition for the existence of an irreducible solution to the equation $A_1 A_2 ... A_k = 1$ with the $A_i$ in prescribed conjugacy classes in $GL_n(C)$.

研究动机与目标

• 在乘法预投影代数的背景下，建立中卷积运算的同调框架。
• 为矩阵方程 $A_1\cdots A_k = 1$ 在 $A_i$ 属于 $\mathrm{GL}_n(\mathbb{C})$ 中给定共轭类时存在不可约解提供一个充分条件。
• 通过维向量和根条件，将 Deligne-Simpson 问题与 quiver 的表示理论及根系理论联系起来。
• 证明乘法预投影代数的简单表示的存在性蕴含矩阵方程的不可约解的存在性。
• 通过代数形变技术，将先前关于共轭类闭包中解的结果推广到类本身中的严格解。

提出的方法

• 引入乘法预投影代数 $\Lambda^q$ 作为加倍 quiver 路径代数的形变，其关系式涉及可逆元 $1 + aa^*$ 和箭头上的乘积条件。
• 通过特征值数据 $\xi_{ij}$ 和部分乘积的秩，定义与共轭类 $C_i$ 关联的维向量 $\alpha$，以编码矩阵方程的结构。
• 使用表示范畴中 $\dim\operatorname{Hom}$ 和 $\dim\operatorname{Ext}$ 空间之间的同调公式，分析表示簇。
• 通过 $\Lambda^q$-模代数定义的中卷积操作，将不同 quiver 和共轭数据的表示联系起来。
• 建立 $\Lambda^q$ 的表示与 $A_1\cdots A_k = 1$ 的解之间的对应关系，其中严格表示对应于实际共轭类 $C_i$ 中的解。
• 运用根系理论：定义 $p(\alpha) = 1 - q(\alpha)$，并要求对任意非平凡根分解 $\alpha = \beta + \gamma + \cdots$ 满足 $\xi^{[\beta]} = 1$，有 $p(\alpha) > p(\beta) + p(\gamma) + \cdots$，以确保表示的简洁性。

实验结果

研究问题

• RQ1 在什么条件下，方程 $A_1\cdots A_k = 1$ 在 $A_i$ 属于 $\mathrm{GL}_n(\mathbb{C})$ 中给定共轭类时，存在不可约解？
• RQ2 中卷积操作如何在 quiver 的表示论框架内被代数实现？
• RQ3 乘法预投影代数在统一 Deligne-Simpson 问题、根系理论与同调代数方面起到什么作用？
• RQ4 何时乘法预投影代数的表示对应于严格解（即 $A_i \in C_i$），而非仅属于闭包 $\overline{C_i}$ 的解？
• RQ5 维向量 $\alpha$ 和特征值数据 $\xi_{ij}$ 需满足何种条件，才能保证 $\Lambda^q$ 存在简单表示？

主要发现

• 若关联维向量 $\alpha$ 是 quiver $Q_w$ 的正根，$\xi^{[\alpha]} = 1$，且对任意非平凡分解 $\alpha = \beta + \gamma + \cdots$ 满足 $\xi^{[\beta]} = \xi^{[\gamma]} = \cdots = 1$，有 $p(\alpha) > p(\beta) + p(\gamma) + \cdots$，则 $A_1\cdots A_k = 1$ 在 $A_i \in C_i$ 时存在不可约解的充分条件成立。
• 存在 $\Lambda^q$ 的维向量为 $\alpha$ 的表示，当且仅当存在 $A_1\cdots A_k = 1$ 的解，且 $A_i \in \overline{C_i}$，即共轭类的闭包。
• 存在 $\Lambda^q$ 的严格表示（结构映射为单射且满射）当且仅当存在 $A_i \in C_i$ 的解。
• 存在 $\Lambda^q$ 的维向量为 $\alpha$ 的简单表示，当且仅当存在 $A_1\cdots A_k = 1$ 在 $A_i \in C_i$ 时的不可约解。
• 在所述根系理论条件下，通过定理 1.11 保证了 $\Lambda^q$ 简单表示的存在性，该定理确保当 $p(\alpha)$ 的根条件成立时，表示是简洁的。
• 中卷积操作自然地编码于乘法预投影代数的结构中，为 Katz 和 Völklein 的构造提供了代数实现。