[論文レビュー] Remarks on the Cayley-Hamilton Theorem

Letterio Gatto, Inna Scherbak|arXiv (Cornell University)|Oct 11, 2015

Advanced Topics in Algebra参考文献 6被引用数 4

ひとこと要約

この論文は、外部代数上のハッセ＝シュナイト微分を用いてケイリー＝ハミルトンの定理を再解釈し、自己準同型の反復作用が特徴的多項式に関連する線形再帰に従うことを示している。主な貢献は、特徴的多項式の逆数を用いた生成関数の精密な公式を提示することであり、古典的定理を一般化するとともに、特徴的零の環における行列指数関数のプッツァー法と関連づけている。

ABSTRACT

We revisit the classical theorem by Cayley and Hamilton, "{\em each endomorphism is a root of its own characteristic polynomial}", from the point of view of {\em Hasse--Schmidt derivations on an exterior algebra}

研究の動機と目的

• 外部代数上のハッセ＝シュナイト微分の枠組みを用いて、古典的ケイリー＝ハミルトンの定理を再定式化すること。
• 自己準同型が外部冪に誘導する作用が特徴的多項式によって定まる線形再帰に従うことを示し、ケイリー＝ハミルトンの定理を一般化すること。
• 自己準同型の反復作用の生成関数を、特徴的多項式の逆数を用いた有理関数としての公式を確立すること。
• 得られた再帰を、特にℚを含む環において行列指数関数を計算するプッツァー法と結びつけること。
• 特徴的多項式の逆数を用いた形式的解の基底をA[[t]]上の線形常微分方程式に対して構成し、行列指数関数の明示的計算を可能にすること。

提案手法

• 外部代数$\bigwedge M$上に、楔積と整合的で、$M$上の自己準同型$f$を拡張する、$A$-線形自己準同型値の形式的べき級数$\mathbf{f}(t) = \sum_{j \geq 0} f_j t^j$を定義する。
• 係数が環$A$に属する特徴的多項式$\det(\mathbbm{1}_M t - f) = t^r - e_1 t^{r-1} + \cdots + (-1)^r e_r$を導入する。
• $\{f_k\}$の列が、各$\bigwedge^{r-j+1}M$上で、基本対称関数$e_1, \dots, e_j$を係数とする$ j $次の線形再帰に従うことを確立する。
• $f_k = 0$（$k < 0$のとき）とし、$\mathrm{U}_i(\mathbf{f}) = f_i - e_1 f_{i-1} + \cdots + (-1)^r e_r f_{i-r}$を定義し、生成関数を$\mathbf{f}(t) = \frac{\sum_{i=0}^{r-1} \mathrm{U}_i(\mathbf{f}) t^i}{E_r(t)}$（$E_r(t) = \det(\mathbbm{1}_M - f t)$）として表現する。
• 形式的ラプラス変換とその逆を用いて、生成関数$\sum f_n \frac{t^n}{n!}$と、特徴的多項式から得られる定数係数の線形常微分方程式の解とを関連付ける。
• 環$A$が$\mathbb{Q}$-代数であるとき、行列指数関数$\exp(ft)$が$\mathbbm{1}_M, f, \dots, f^{r-1}$の線形結合として明示的に表現でき、係数が常微分方程式の形式的べき級数解であることを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的構造を用いて、元の加群上の作用を超えて、外部冪への作用へとケイリー＝ハミルトンの定理を一般化する方法は何か？
• RQ2 特徴的多項式に関して、外部代数$\bigwedge M$上に作用する生成関数$\mathbf{f}(t)$の構造はどのようなものか？
• RQ3 外部冪$\bigwedge^j M$上の反復自己準同型$f_k$が満たす再帰は、固有値の基本対称関数を用いて明示的に記述可能か？
• RQ4 形式的ラプラス変換は、$f_k$の生成関数と特徴的多項式の係数を含む線形常微分方程式の解とどのように関連するか？
• RQ5 特徴的零の環を含む環上で、この代数的枠組みを用いてプッツァー法による行列指数関数の計算をどの程度精緻化・一般化できるか？

主な発見

• 列$\{f_k\}$は、各$\bigwedge^{r-j+1}M$上で、基本対称関数$e_1, \dots, e_j$を係数とする$ j $次の線形再帰に従い、古典的ケイリー＝ハミルトンの定理を一般化する。
• 生成関数$\mathbf{f}(t)$は有理関数として表現され、$\mathbf{f}(t) = \frac{\sum_{i=0}^{r-1} \mathrm{U}_i(\mathbf{f}) t^i}{E_r(t)}$（$E_r(t) = \det(\mathbbm{1}_M - f t)$）である。
• 各$j = 1, \dots, r$に対して、$\alpha \in \bigwedge^{r-j+1}M$への$\mathbf{f}(t)$の作用は、$\mathrm{U}_0(\mathbf{f}), \dots, \mathrm{U}_{j-1}(\mathbf{f})$を含む切り捨てられた有理関数表現で与えられる。
• 環$A$が$\mathbb{Q}$-代数であるとき、指数生成関数$\sum_{n \geq 0} f_n \frac{t^n}{n!}$は、$\mathrm{End}_A(\bigwedge M)[[t]]$内での線形常微分方程式$y^{(r)} - e_1 y^{(r-1)} + \cdots + (-1)^r e_r y = 0$の解である。
• 行列指数関数$\exp(ft)$は$\exp(ft) = \sum_{j=0}^{r-1} v_j(t) f^j$として表現可能であり、各$v_j(t)$は初期条件$v_j^{(i)}(0) = \delta_{ij}$を満たす常微分方程式の唯一の解である。これにより、プッツァー法が精緻化される。