[論文レビュー] On some aspects of the Deligne-Simpson problem

Vladimir Petrov Kostov|ArXiv.org|May 2, 2000

Matrix Theory and Algorithms参考文献 5被引用数 4

ひとこと要約

この論文は、すべての行列のジュリアンブロックサイズの最大公約数 $ d > 1 $ である場合に、一般固有値に対する乗法的デリーニュ＝シンプソン問題を解いている。すべての $ \Sigma_{j,m}(\sigma) $（固有値 $ \sigma $ をもつサイズ $ m $ のジュリアンブロックの数）が $ d > 1 $ で割り切れる条件下で、$ M_1 \cdots M_{p+1} = I $ を満たす、指定された共役類を持つ $ SL(n,\mathbb{C}) $ 内の非可約 $(p+1)$-重組 $ M_j $ の存在について、必要十分条件を確立している。主な貢献は、代数的不等式によって定義される一般固有値条件の下で、このような非可約解の完全な特徴付けをした点である。

ABSTRACT

The Deligne-Simpson problem in the multiplicative version is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\in SL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ satisfying the equality $M_1... M_{p+1}=I$}. We solve the problem for generic eigenvalues in the case when all the numbers $Σ_{j,m}(σ)$ of Jordan blocks of a given matrix $M_j$, with a given eigenvalue $σ$ and of a given size $m$ (taken over all $j$, $σ$, $m$) are divisible by $d>1$. Generic eigenvalues are defined by explicit algebraic inequalities of the form $a eq 0$. For such eigenvalues there exist no reducible $(p+1)$-tuples. The matrices $M_j$ are interpreted as monodromy operators of regular linear systems on Riemann's sphere.

研究の動機と目的

• 指定された共役類を持つ $ SL(n,\mathbb{C}) $ 内の非可約 $(p+1)$-重組 $ M_j $ が存在するための必要十分条件を、乗法的デリーニュ＝シンプソン問題の枠組みの中で特定すること。
• すべての行列におけるジュリアンブロックサイズ $ \Sigma_{j,m}(\sigma) $ の最大公約数 $ d > 1 $ である場合の、デリーニュ＝シンプソン問題の既存結果の拡張。
• 代数的不等式 $ a \neq 0 $ を用いた明示的な不等式による一般固有値の特徴付けにより、非可約解が存在しないことを保証し、これらの条件下で非可約性を証明すること。
• 特定のジュリアンブロック構成の下で、加法的バージョンにおける零行列による非可約表現の存在を確立すること。
• 特に $ d > 1 $ の場合に、加法的および乗法的バージョンの先行研究の結果を統合・一般化し、標準的かつ強く一般な固有値条件を用いて統一的に扱うこと。

提案手法

• 論文は多重多重度ベクトル（PMV）の概念を用い、非可約な $(p+1)$-重組を許容しない解を除外するための代数的不等式 $ a \neq 0 $ を用いて一般固有値を定義する。
• 下位のジョルダン標準形と正規化された鎖の概念を導入し、$ d > 1 $ 条件下での行列構造とそのブロック分解の解析に用いる。
• 摂動技法を応用した修正された基本的技術を証明に用いる：特定のブロック構造を持つ行列 $ A_j^* $ を構築し、$ \varepsilon $-摂動を施して望ましいジョルダン形を達成する。
• 非可約性は、行列が生成する代数が $ gl(n,\mathbb{C}) $ に等しいことを示すことで証明され、これは摂動された行列の非ゼロ非対角成分の明示的構成により達成される。
• ブロック行列 $ A_j^* $ を用いたタイプ別ケース分析（例：b1）、c2）、d3））を実施し、ノンポテン（nilpotent）ブロックと適切に選ばれた摂動行列 $ L $、および共役行列 $ (I + \varepsilon X_j(\varepsilon)) $ を用いて、ブロックサイズを保存または変更する。
• 加法的バージョンの結果をモノドロミー解釈を通じて乗法的ケースに適用し、$ M_j $ をリーマン球上の正則線形系のモノドロミー作用素と解釈する。

実験結果

リサーチクエスチョン

• RQ1 共役類 $ C_j \subset SL(n,\mathbb{C}) $ に対して、$ M_1 \cdots M_{p+1} = I $ を満たす非可約 $(p+1)$-重組 $ M_j \in C_j $ が存在する条件は何か？
• RQ2 すべての $ \Sigma_{j,m}(\sigma) $（固有値 $ \sigma $ をもつサイズ $ m $ のジュリアンブロックの数）の最大公約数 $ d > 1 $ が、このような非可約解の存在に果たす役割は何か？
• RQ3 代数的不等式 $ a \neq 0 $ で定義される一般固有値は、非可約解の非存在と可約解の非存在をどのように保証し、非可約解の存在を保証するのか？
• RQ4 ジュリアンブロックサイズが $ d > 1 $ を満たす場合に、非可約三重組（または $ p+1 $-重組）の零行列を構成可能か？また、微小摂動の下でも非可約性は保たれるか？
• RQ5 乗法的デリーニュ＝シンプソン問題と加法的バージョンの関係は何か？$ d > 1 $ の場合に、加法的ケースの結果を乗法的設定にどのように拡張できるか？

主な発見

• 代数的不等式 $ a \neq 0 $ で定義される一般固有値の下では、$ M_1 \cdots M_{p+1} = I $ を満たす可約な $(p+1)$-重組 $ M_j \in C_j $ は存在せず、したがってすべての解は必然的に非可約である。
• すべての $ \Sigma_{j,m}(\sigma) $ が $ d > 1 $ で割り切れる場合、論文は乗法的デリーニュ＝シンプソン問題における非可約解の存在について、必要十分条件を確立している。
• 論文は、$ d > 1 $ 条件を満たすすべてのジョルダンブロック構成（特にほぼ特別な場合や隣接する場合、例：b1）、c2）、d3）、および a1））に対して、非可約三重組の零行列が存在することを証明している。
• $ \varepsilon $-変形と $ (I + \varepsilon X_j(\varepsilon)) $ を用いた共役による摂動技法を用いて、望ましいブロックサイズを持つジョルダン形を実現する行列を構成し、非可約性を保持している。
• 摂動された行列に明示的な非ゼロ成分を示すことにより、行列が生成する代数が $ gl(n,\mathbb{C}) $ に等しいことが示され、非可約性が確認された。
• この結果は、先行研究の一般化であり、特に $ d = 1 $ の場合から $ d > 1 $ への拡張を達成した。一般固有値条件の下で、非可約性問題と自明中心化子問題（問題TC）の答えが一致することが確認された。