[论文解读] Indecomposable parabolic bundles and the existence of matrices in prescribed conjugacy class closures with product equal to the identity

William Crawley-Boevey|ArXiv.org|Jul 17, 2003

Algebraic structures and combinatorial models参考文献 2被引用 13

一句话总结

本文利用射影直线上不可约抛物丛及其维向量的理论，建立了当给定共轭类闭包中的 $ n \times n $ 矩阵族相乘得到单位矩阵时的刻画。关键结果将该矩阵问题与 Kac-Moody 李代数的根系联系起来，表明此类解存在的充要条件是维向量可分解为具有特定整性条件的严格根之和。

ABSTRACT

We study the possible dimension vectors of indecomposable parabolic bundles on the projective line, and use our answer to solve the problem of characterizing those collections of conjugacy classes of n by n matrices for which one can find matrices in their closures whose product is equal to the identity matrix. Both answers depend on the root system of a Kac-Moody Lie algebra. Our proofs use Ringel's theory of tubular algebras, work of Mihai on the existence of logarithmic connections, the Riemann-Hilbert correspondence and an algebraic version, due to Dettweiler and Reiter, of Katz's middle convolution operation.

研究动机与目标

• 确定在给定共轭类闭包中存在矩阵且其乘积为单位矩阵的必要与充分条件。
• 刻画射影直线上具有预设权重的不可约抛物丛可能的维向量。
• 建立矩阵积方程的解与 Kac-Moody 李代数根的维向量分解之间的对应关系。
• 通过几何与代数结构，将矩阵积的识别问题推广至共轭类闭包的情形。
• 通过抛物丛理论统一对数联络、黎曼-希尔伯特对应与中间卷积的结果。

提出的方法

• 使用固定权重类型 $ (D,w) $ 的射影直线 $ \mathbb{P}^1 $ 上抛物丛的范畴，其中 $ D $ 为标记点集，$ w $ 为每一点上旗丛的权重分配。
• 应用 Ringel 的管状代数理论分析不可约抛物丛的结构及其维向量。
• 依赖 Mihai 关于对数联络的结果，将具有预设留数的联络存在性与矩阵积问题联系起来。
• 利用黎曼-希尔伯特对应以及 Dettweiler–Reiter 对 Katz 中间卷积的代数版本，将单值性数据与抛物丛分解联系起来。
• 通过将权重 $ \zeta $ 关联到共轭类，并要求在分解中的根 $ \beta $ 满足 $ \zeta*\beta \in \mathbb{Z} $，将矩阵问题转化为根系条件。
• 利用 Kac-Moody 代数根系上的 Weyl 群作用与反射函子，分析维向量上整性与分解条件。

实验结果

研究问题

• RQ1 在给定共轭类 $ C_1, \dots, C_k $ 的闭包中，何时可找到矩阵使得其乘积为单位矩阵？
• RQ2 射影直线上具有预设权重的不可约抛物丛的可能维向量是什么？
• RQ3 Kac-Moody 李代数的根系如何控制矩阵积问题解的存在性？
• RQ4 对数联络及其留数在刻画此类矩阵解中起什么作用？
• RQ5 维向量分解为根与关联矩阵的单值性及整性条件之间有何关系？

主要发现

• 当且仅当与抛物丛相关的维向量 $ \alpha $ 可表示为严格根之和 $ \beta^{(1)} + \cdots $，且满足 $ \zeta*\beta^{(p)} \in \mathbb{Z} $ 时，存在 $ A_1 \cdots A_k = 1 $ 的解，其中 $ A_i \in \overline{C_i} $，且 $ \zeta $ 编码了对数留数。
• 射影直线 $ \mathbb{P}^1 $ 上不可约抛物丛的维向量恰好是与权重类型相关的星形图 $ \Gamma_w $ 关联的 Kac-Moody 李代数的正根。
• 对于给定的共轭类类型 $ \xi $，当且仅当维向量 $ \alpha $ 可分解为正根 $ \beta^{(p)} $ 且满足 $ \xi^{[\beta^{(p)}]} = 1 $ 时，矩阵积方程在闭包中有解，这等价于 $ \zeta*\beta^{(p)} \in \mathbb{Z} $。
• 分解中的非严格根必须满足 $ \zeta*\beta^{(p)} = 0 $，这由对数留数的横截选择及 $ \zeta_{ij} $ 位于同一横截的事实所保证。
• 存在具有 $ \overline{D_i} $ 中留数的对数联络，当且仅当 $ \alpha $ 可分解为满足整性条件 $ \zeta*\beta \in \mathbb{Z} $ 的根。
• 矩阵问题的解完全由根系的组合学与根向量上加权和的整性刻画，推广了量子 Schubert 计算与酉单值性的结果。