[论文解读] The Deligne-Simpson problem for zero index of rigidity

Vladimir Petrov Kostov|ArXiv.org|Nov 16, 2000

Advanced Differential Equations and Dynamical Systems参考文献 4被引用 4

一句话总结

本文研究了零刚性指标下不可约矩阵元组的 Deligne-Simpson 问题，证明当共轭类维数之和等于 $2n^2$ 时，不存在满足 $\sum A_j = 0$ 的不可约 $(p+1)$-元组矩阵 $A_j \in c_j$，也不存在满足 $\prod M_j = I$ 的不可约 $(p+1)$-元组矩阵 $M_j \in C_j$。关键结果通过若尔当代数型分析、单值群约束和形变技术，在这些条件下建立了非存在性定理。

ABSTRACT

We consider the {\em Deligne-Simpson problem}: {\em Give necessary and sufficient conditions for the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$, $j=1,..., p+1$, so that there exist irreducible $(p+1)$-tuples of matrices $A_j\in c_j$ whose sum is 0 or of matrices $M_j\in C_j$ whose product is $I$.} The matrices $A_j$ (resp. $M_j$) are interepreted as matrices-residua of Fuchsian linear systems (resp. as monodromy operators of regular systems) on Riemann's sphere. We consider the case when the sum of the dimensions of the conjugacy classes $c_j$ or $C_j$ is $2n^2$ and we prove a theorem of non-existence of such irreducible $(p+1)$-tuples.

研究动机与目标

• 确定不可约 $(p+1)$-元组矩阵 $A_j \in c_j \subset \mathfrak{gl}(n,\mathbb{C})$ 满足 $\sum A_j = 0$ 或 $M_j \in C_j \subset GL(n,\mathbb{C})$ 满足 $\prod M_j = I$ 的存在性必要与充分条件，且在零刚性指标约束下。
• 分析共轭类总维数为 $2n^2$ 时的 Deligne-Simpson 问题，对应于零刚性指标的情形。
• 在该设定下建立不可约解的非存在性结果，利用若尔当代数型结构、单值群分析和形变技术。
• 在黎曼球面上 Fuchs 系统与正则奇点系统背景下，拓展对 Deligne-Simpson 问题的理解。

提出的方法

• 通过 $\mathbb{C}P^1$ 上正则奇点系统与矩阵元组之间的对应关系，分析 Deligne-Simpson 问题。
• 应用构造 $\Psi$，将矩阵的若尔当代数型与它们的共轭类及重数向量关联起来。
• 使用形变技术将非一般特征值扰动为一般特征值，同时保持结构约束。
• 应用基本技术工具，以约化可约配置并分析在共轭下块对角结构的性质。
• 运用 Burnside 定理，证明若维数界被违反，则由单值矩阵生成的矩阵代数不能是完整的 $\mathfrak{gl}(n,\mathbb{C})$。
• 通过平方与共轭操作，将复杂情形（D）约化为较简单情形（B），利用特征值对称性与迹关系。

实验结果

研究问题

• RQ1 当共轭类维数之和为 $2n^2$ 时，Deligne-Simpson 问题在何种条件下存在不可约解？
• RQ2 当刚性指标为零时，是否存在满足 $\sum A_j = 0$ 或 $\prod M_j = I$ 的不可约矩阵元组？
• RQ3 若尔当代数型结构与特征值重数如何约束此类不可约解的存在性？
• RQ4 单值群性质与形变技术在零刚性指标情形下证明非存在性时起何作用？
• RQ5 在何种程度上可通过代数对称性将复杂情形（如情形 D）约化为较简单情形（如情形 B）？

主要发现

• 当共轭类 $c_j$ 的维数之和为 $2n^2$ 时，不存在满足 $\sum A_j = 0$ 的不可约 $(p+1)$-元组矩阵 $A_j \in c_j$。
• 同样地，在相同维数条件下，也不存在满足 $\prod M_j = I$ 的不可约 $(p+1)$-元组矩阵 $M_j \in C_j$。
• 证明的关键在于表明，任何此类解都将生成一个维数严格小于 $n^2$ 的矩阵代数，从而通过 Burnside 定理与不可约性矛盾。
• 形变技术保持了非一般性关系，并可将问题约化到强制块对角结构的情形，从而导致矛盾。
• 分析表明，在情形 D 中，由 $M_1, M_2, M_3$ 生成的代数维数至多为 $54ks^2 < 36k^2s^2 = n^2$，因此不可能是 $\mathfrak{gl}(n,\mathbb{C})$，这意味着可约性。
• 该结果对 $A_j$ 和 $M_j$ 两种情形均成立，且单值群的不可约性与零刚性指标的结构约束不相容。