[論文レビュー] Some examples of rigid representations

Vladimir Petrov Kostov|ArXiv.org|Jun 3, 2000

Dynamics and Control of Mechanical Systems参考文献 4被引用数 9

ひとこと要約

本稿は、デリーニュ＝シンプソン問題の文脈において、剛性表現の新しい例を提示している。固定された共役類に対して、$M_j \in C_j$（または$A_j \in c_j$）を満たす非可約$(p+1)$-重組 $M_1\cdots M_{p+1} = I$（または$A_1 + \cdots + A_{p+1} = 0$）が、共役変換を除いて一意に定まることを示している。主な貢献は、ジョルダン標準形に関する次元条件と組合せ的制約を用いた剛性組の特徴付けであり、特に固有値の重複度が有界な対角化可能な行列に対して効果的である。

ABSTRACT

Consider the Deligne-Simpson problem: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ (resp. $c_j\subset gl(n,{\bf C})$) so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ (resp. $A_j\in c_j$) satisfying the equality $M_1... M_{p+1}=I$ (resp. $A_1+... +A_{p+1}=0$)}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators and as matrices-residua of fuchsian systems on Riemann's sphere. We give new examples of existence of such $(p+1)$-tuples of matrices $M_j$ (resp. $A_j$) which are {\em rigid}, i.e. unique up to conjugacy once the classes $C_j$ (resp. $c_j$) are fixed. For rigid representations the sum of the dimensions of the classes $C_j$ (resp. $c_j$) equals $2n^2-2$.

研究の動機と目的

• 乗法的または加法的デリーニュ＝シンプソン問題を満たす新しい剛性$(p+1)$-重組の行列を提供すること。
• 共役類の次元の和が$2n^2 - 2$に等しいことによって、剛性表現を特徴付けること。
• 固有値の重複度が2以下である対角化可能な行列の剛性組を分類すること。
• 変形および構成技術を用いて、対角化可能な場合から非対角化可能な場合への結果の拡張を図ること。
• ジョルダン標準形に関する組合せ的および代数的制約を用いて、このような剛性組の存在に必要な十分条件を確立すること。

提案手法

• 穴あきリーマン球のモノドロミー群および基本群を用いて、フックス系と行列組との関係を確立すること。
• 先行研究における$Ψ$-構成法を用い、問題をより小さいサイズの行列に還元し、次元条件を検証すること。
• 共役類$C_j \subset GL(n,\mathbb{C})$および$c_j \subset \mathfrak{gl}(n,\mathbb{C})$の次元$d(C_j)$を分析し、剛性を特定すること。
• マルチベクトル（MV）および分割マルチベクトル（PMV）を用いてジョルダンブロック構造を符号化し、変換による変化を追跡すること。
• マルチベクトルにおける条件$(\alpha_n)$および$(\beta_n)$の検証を行い、非可約解の存在を保証すること。
• 一般な固有値に対して、加法的および乗法的問題の両方で存在の基準が同一であるという事実を活用すること。

実験結果

リサーチクエスチョン

• RQ1 共役類$C_j$または$c_j$にどのような条件下で、$M_1\cdots M_{p+1} = I$または$A_1 + \cdots + A_{p+1} = 0$を満たす非可約$(p+1)$-重組が存在するか？
• RQ2 このような組が剛性であるとは、共役類が固定されたとき、共役変換を除いて一意に定まることを意味するが、どのような条件下でそうなるか？
• RQ3 ジョルダン標準形の構造にどのような必要十分条件が、剛性が成立するためのものか？
• RQ4 特に固有値の重複度が2以下である場合に、剛性組をどのように明示的に構成できるか？
• RQ5 対角化可能な場合の結果は、非対角化可能な場合にどのように拡張されるか？

主な発見

• 本稿は、共役類の次元の和が$2n^2 - 2$に等しい、非可約$(p+1)$-重組の対角化可能な行列の新しい例を構成している。
• $n \leq 3$の場合は直接的に剛性組の存在を確認し、$n \geq 4$の場合は$Ψ$-構成法を用い、マルチベクトルにおける条件$(\alpha_n)$および$(\beta_n)$の検証によって存在を確立している。
• 固有値の重複度が$\leq 2$であるすべての非可約対角化可能な行列の剛性組は、本稿で完全に分類されている。
• 構成法により、組が剛性であり、かつ行列が対角化可能である場合、ブロックサイズのマルチベクトルが特定の組合せ的制約を満たすことが示され、次元和の条件が保証される。
• 対角化可能な例を変形することで非対角化可能な場合への拡張が達成され、その変形によって剛性が保存されることを示している。
• 本稿では、$p=2$のとき、2つの行列のMVが$(n-1,1)$の形をしていると、条件$(\alpha_n)$に違反するため、剛性組は存在できないと証明している。