[論文レビュー] 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 $ 行列の族が単位行列に等しくなるための条件を特徴づけている。主な結果は、この行列問題がカック＝ムーディリ Lie 代数の根系と関連しており、解が存在するための必要十分条件は、次元ベクトルが特定の整数条件を満たす厳密根に分解可能であることである。

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.

研究の動機と目的

• 与えられた共役類の閉包に属する行列が存在し、その積が単位行列に等しくなるための必要十分条件を同定すること。
• 指定された重みを持つ射影直線上の分解不能パラボリックバンドルの可能な次元ベクトルを特徴づけること。
• 行列積方程式の解とカック＝ムーディリ Lie 代数の根への次元ベクトルの分解との間の対応関係を確立すること。
• 幾何学的・代数的構造を用いて、共役類の閉包のケースにまで行列積の認識問題を拡張すること。
• 対数的接続、リーマン＝ヒルベルト対応、ミドルコンボリューションの結果をパラボリックバンドル理論によって統一すること。

提案手法

• 固定された重み型 $ (D,w) $ を持つ $ \mathbb{P}^1 $ 上のパラボリックバンドルの圏を用いる。ここで $ D $ はマークド点の集合であり、$ w $ は各点におけるフラッグに重みを割り当てる。
• リングエルのテーブル代数理論を用いて、分解不能パラボリックバンドルの構造とその次元ベクトルの性質を分析する。
• ミハイの対数的接続に関する結果を応用し、所定の留数を持つ接続の存在と行列積問題との関係を確立する。
• リーマン＝ヒルベルト対応とデットヴァイラー＝ライターのカッツのミドルコンボリューションの代数的版を用いて、モノドロミー情報とパラボリックバンドルの分解との関係を明らかにする。
• 各共役類に重み $ \zeta $ を対応させ、分解における根 $ \beta $ に対して $ \zeta*\beta \in \mathbb{Z} $ を要求することで、行列問題を根系の条件に翻訳する。
• カック＝ムーディリ代数の根系におけるワイル群作用と反射関手を用いて、次元ベクトルの整数性および分解条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 与えられた共役類 $ C_1, \dots, C_k $ の閉包に属する行列 $ A_1, \dots, A_k $ が存在し、その積が単位行列に等しくなるのはいつか？
• RQ2 指定された重みを持つ射影直線上の分解不能パラボリックバンドルの可能な次元ベクトルは何か？
• RQ3 カック＝ムーディリ Lie 代数の根系は、行列積問題の解の存在をどのように規定するか？
• RQ4 対数的接続とその留数は、このような行列解を特徴づける上で果たす役割は何か？
• RQ5 次元ベクトルの根への分解は、関連する行列のモノドロミーと整数性条件とどのように関係するか？

主な発見

• 行列積 $ A_1 \cdots A_k = 1 $ が $ A_i \in \overline{C_i} $ を満たす解が存在するための必要十分条件は、関連するパラボリックバンドルの次元ベクトル $ \alpha $ が、$ \zeta*\beta^{(p)} \in \mathbb{Z} $ を満たす厳密根 $ \beta^{(1)} + \cdots $ への和に分解可能であることである。ここで $ \zeta $ は対数的留数を符号化する。
• 射影直線上の分解不能パラボリックバンドルの次元ベクトルは、重み型によって定まる星型グラフ $ \Gamma_w $ に対応するカック＝ムーディリ Lie 代数の正根にちょうど一致する。
• 与えられた共役類型 $ \xi $ に対して、行列積方程式が閉包内に解を持つための必要十分条件は、次元ベクトル $ \alpha $ が正根 $ \beta^{(p)} $ に分解可能で、$ \xi^{[\beta^{(p)}]} = 1 $ を満たすことである。これは $ \zeta*\beta^{(p)} \in \mathbb{Z} $ と同値である。
• 分解における非厳密根は、$ \zeta*\beta^{(p)} = 0 $ を満たさなければならない。これは、対数的留数の横断的選択と、$ \zeta_{ij} $ が同じ横断的集合に属することによって保証される。
• 留数が $ \overline{D_i} $ に属する対数的接続の存在は、$ \zeta*\beta \in \mathbb{Z} $ を満たす根への $ \alpha $ の分解と同値である。
• 行列問題の解は、根系の組合せ論と根ベクトルへの重み付き和の整数性によって完全に特徴づけられ、量子シューベルト計算とユニタリモノドロミーに関する結果を一般化する。