[論文レビュー] On the characteristic polynomial of Cartan matrices and Chebyshev polynomials

Pantelis A. Damianou|arXiv (Cornell University)|Oct 30, 2011

Algebraic structures and combinatorial models参考文献 22被引用数 3

ひとこと要約

本稿は、複素単純リー代数におけるカルタン行列の特性多項式と第一種・第二種チェビシェフ多項式の間の深い関係を確立する。コックスター隣接行列の特性多項式に対する明示的公式を導出し、コックスター多項式を円分多項式の積として表現するとともに、リー代数の指数とコックスター数を用いた三角関数の積によって、カルタン行列の行列式を結ぶ新しい正弦公式を証明する。

ABSTRACT

We explore some interesting features of the characteristic polynomial of the Cartan matrix of a simple Lie algebra. The characteristic polynomial is closely related with the Chebyshev polynomials of first and second kind. In addition, we give explicit formulas for the characteristic polynomial of the Coxeter adjacency matrix, we compute the associated polynomials and use them to derive the Coxeter polynomial of the underlying graph. We determine the expression of the Coxeter and associated polynomials as a product of cyclotomic factors. We use this data to propose an algorithm for factoring Chebyshev polynomials over the integers. Finally, we prove an interesting formula which involves products of sines, the exponents, the Coxeter number and the determinant of the Cartan matrix.

研究の動機と目的

• カルタン行列の特性多項式と第一種・第二種チェビシェフ多項式の間の構造的関係を解明すること。
• コックスター隣接行列の特性多項式および関連多項式に対する明示的公式を導出すること。
• リー代数の指数とコックスター数を用いて、コックスター多項式を円分多項式の積として表現すること。
• リー理論的データ（指数など）を用いて、整数上でのチェビシェフ多項式の因数分解を実行するアルゴリズムを構築すること。
• カルタン行列の行列式が指数、コックスター数、およびルート系の三角関数関数と関係づけられる新しい正弦公式を証明すること。

提案手法

• 本稿は、ルート系からのカルタン行列の標準的定義を用い、その特性多項式を変換 $ p_n(x) = q_n\left(\frac{x}{2} - 1\right) $ を通じてチェビシェフ多項式に結びつける。ここで $ q_n $ は、リー型に応じて $ U_n $、$ 2T_n $、または $ 4xT_{n-1} $ に対応する。
• コックスター隣接行列は $ A = 2I - C $ として定義され、その特性多項式はカルタン行列 $ C $ から導出される。根は $ 2\cos\left(\frac{m_i\pi}{h}\right) $ に比例し、$ m_i $ は指数、$ h $ はコックスター数を表す。
• 関連多項式 $ a_n(x) $ は円分多項式 $ \Phi_d(x) $ の積に因数分解可能であり、コックスター多項式 $ Q_n(x) $ はコックスター数の約数 $ d $ に対する $ \Phi_d $ の積として表現される。
• 本稿は、$ a_n(x) $ の既知の因数分解を $ \psi_j(x) $ に活用することで、整数上でのチェビシェフ多項式の因数分解を実行するアルゴリズムを構築する。
• 主な技術的道具は補題2であり、$ a_n(x) $ の根が $ 2\cos\left(\frac{m_i\pi}{h}\right) $ に一致することを示し、隣接行列のスペクトルデータとリー理論的不変量を結びつける。
• 正弦公式は $ a_n(2) $ の評価を通じて導出され、三角恒等式と指数の双対性 $ m_i + m_{\ell+1-i} = h $ を用い、最終的に $ \det C = 2^{2\ell} \prod_{i=1}^{\ell} \sin^2\left(\frac{m_i\pi}{2h}\right) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 異なるリー型において、カルタン行列の特性多項式は第一種・第二種チェビシェフ多項式とどのように関係しているか？
• RQ2 ディンキン図のコックスター多項式は円分多項式の積として表現可能か？ もしそうならば、円分因子は指数とコックスター数によってどのように特定されるか？
• RQ3 整数上でのチェビシェフ多項式の明示的因数分解は何か？ また、これはリー理論的データ（ルート系の指数など）から導出可能か？
• RQ4 カルタン行列の固有値はなぜ2を軸として対称的にペアになるのか？ これにより特性多項式にどのような意味が生じるか？
• RQ5 指数とコックスター数との間で、カルタン行列の行列式を結ぶ閉形式の三角関数的恒等式は存在するか？

主な発見

• 型 $ A_n $ のカルタン行列の特性多項式は $ p_n(x) = U_n\left(\frac{x}{2} - 1\right) $ であり、ここで $ U_n $ は第二種チェビシェフ多項式を表す。
• 型 $ B_n $ および $ C_n $ では、特性多項式は $ p_n(x) = 2T_n\left(\frac{x}{2} - 1\right) $ を満たし、$ T_n $ は第一種チェビシェフ多項式を表す。
• $ E_6 $ の関連多項式 $ a_6(x) $ は $ (x+1)(x-1)(x^4 - 4x^2 + 1) $ に因数分解され、完全な因数分解は $ \psi_3(x)\psi_6(x)\psi_{24}(x) $ となる。コックスター多項式は $ Q_6(x) = \Phi_3(x)\Phi_6(x)\Phi_{24}(x) $ である。
• $ E_7 $ では、関連多項式 $ a_7(x) = x(x^6 - 6x^4 + 9x^2 - 3) $ は $ \psi_4(x)\psi_{36}(x) $ に因数分解され、コックスター多項式は $ Q_7(x) = \Phi_4(x)\Phi_{36}(x) $ である。
• $ E_8 $ では、関連多項式は $ a_8(x) = \psi_{60}(x) $ であり、コックスター多項式は $ Q_8(x) = \Phi_{60}(x) $ である。指数は30未満で30と互いに素な整数からなる。
• 本稿は正弦公式を証明した：$ \det C = 2^{2\ell} \prod_{i=1}^{\ell} \sin^2\left( \frac{m_i\pi}{2h} \right) $、ここで $ m_i $ は指数、$ h $ はコックスター数である。この公式は $ a_n(2) = \det C $ の評価により検証された。