[論文レビュー] 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

ひとこと要約

この論文は、剛性指数が0である非可約行列族に対するDeligne-Simpson問題を調査し、各共役類の次元の和が $2n^2$ に等しいとき、和が0である行列 $A_j \in c_j$（$\sum A_j = 0$）または積が恒等行列である行列 $M_j \in C_j$（$\prod M_j = I$）からなる非可約 $(p+1)$-重組 $A_j$ や $M_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.

研究の動機と目的

• 和が0である非可約 $(p+1)$-重組の行列 $A_j \in c_j \subset \mathfrak{gl}(n,\mathbb{C})$ または積が恒等行列である $M_j \in C_j \subset GL(n,\mathbb{C})$ の存在に必要な十分条件を特定すること。ただし、剛性指数が0であるという制約のもとで行う。
• 共役類の次元の合計が $2n^2$ に等しい場合、すなわち剛性指数が0である場合の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 剛性指数が0である場合、$\sum A_j = 0$ または $\prod M_j = I$ を満たす非可約行列族が存在可能か？
• RQ3 ジョルダン標準形の構造と固有値の重複度は、このような非可約解の存在をどのように制約するか？
• RQ4 モノドロミー群の性質と変形技法は、剛性指数が0の状況での非存在性の証明において果たす役割は何か？
• RQ5 代数的対称性を用いて、複雑なケース（例：ケースD）を単純化したケース（例：ケースB）にどの程度まで還元できるか？

主な発見

• 共役類 $c_j$ の次元の和が $2n^2$ に等しいとき、和が0である非可約 $(p+1)$-重組の行列 $A_j \in c_j$ は存在しない。
• 同様に、積が恒等行列である非可約 $(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$ の両方の問題に適用可能であり、モノドロミー群の非可約性は、ゼロ剛性の構造的制約と両立しない。