[論文レビュー] Grassman semialgebras and the Cayley-Hamilton theorem

Letterio Gatto, Louis Rowen|arXiv (Cornell University)|Mar 21, 2018

Advanced Topics in Algebra参考文献 20被引用数 11

ひとこと要約

本稿は、半体上の一般化されたケイリー・ハミルトン定理を統一的に扱うために、ハッセ・シュミット微分を用いてグラスマン半代数を導入する。これにより、古典的線型代数、トロピカル代数、およびスーパートロピカル構造が統合される。微分作用素に対して準逆元関係を確立し、否定写像と「超過関係」(≽) を用いて一般化されたケイリー・ハミルトン恒等式を証明する。標準的な状況では古典的等式が回復される。

ABSTRACT

We develop a theory of semialgebra Grassmann triples via Hasse-Schmidt derivations, which formally generalizes results such as the Cayley-Hamilton theorem in linear algebra, thereby providing a unified approach to classical linear algebra and tropical algebra.

研究の動機と目的

• グラスマン半代数の統一的枠組みを構築し、古典的線型代数、トロピカル代数、およびスーパートロピカル構造を一般化すること。
• ハッセ・シュミット微分と一般化された否定写像を用いて、ケイリー・ハミルトン定理を半環へ拡張すること。
• グラスマン半代数上のハッセ・シュミット微分作用素に対して、準逆作用素を定義し、非古典的状況下でのケイリー・ハミルトン恒等式の本質を捉えること。
• 恒等式における等号の代わりに、半環の文脈で有効な「超過関係」(≽) を形式化し、行列式に基づく恒等式の一般化を可能にすること。
• 加法的逆元が存在しない状況下においても、非自明な否定写像を備えたグラスマン半代数に埋め込むための対称化三重構成を提供すること。

提案手法

• 自由な半体上の加群 $V$ を用いて、テンソル積と $\overline{b_{\pi(i_1)}\cdots\overline{b_{\pi(i_t)}}} = (-)^\pi b_{i_1}\cdots\overline{b_{i_t}}$ を満たす否定写像を用いて、グラスマン半代数を構成する。
• 値が $\bigwedge V_n[[z]]$ にとるハッセ・シュミット微分 $D\{z\}$ を $\bigwedge V_n$ 上に定義し、$D\{z\}(u\wedge v) = D\{z\}u \wedge D\{z\}v$ を満たす。
• 値が $\operatorname{End}(\bigwedge V_n)[z]$ にとる準逆作用素 $\overline{D}\{z\}$ を定義し、$\overline{D}\{z\}D\{z\}u \succeq u$ を満たす。
• 恒等式における等号の代わりに超過関係 $\succeq$ を用いることで、半環の文脈でのケイリー・ハミルトン定理の一般化を可能にする。
• 古典的代数から半代数への転送原理を適用し、古典的状況では等号が成り立つという事実を活用する。
• 非自明な否定写像を備えた元のグラスマン半代数を埋め込むために、対称化三重 $(\mathfrak{G}(V)^\natural, \widehat{\mathcal{T}}, (-)_{\mathrm{sw}})$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 加法的逆元が存在しない半環において、ケイリー・ハミルトン定理をどのように一般化できるか？
• RQ2 グラスマン半代数において、意味のある固有値および固有ベクトルの類似物を定義するのに必要な構造は何か？
• RQ3 ハッセ・シュミット微分を、ケイリー・ハミルトン式のような重要な代数的恒等式を保つように半代数へ拡張できるか？
• RQ4 超過関係 $\succeq$ は、非古典的代数的恒等式における等号の代わりに果たす役割は何か？
• RQ5 対称化三重構成は、$v \otimes v = 0$ が強制されない状況下でも、グラスマン半代数に非自明な否定写像をどのように提供するか？

主な発見

• 本稿は一般化されたケイリー・ハミルトン恒等式を確立する：すべての $u \in \bigwedge^{>0} V_n$ に対して $\left((D_n u + e_1 D_{n-1} u + \cdots + e_n u) \wedge v\right)(-)\left((D_n u + e'_1 D_{n-1} u + \cdots + e'_n u) \wedge v\right) \succeq \mathbb{0}$ が成り立つ。
• 古典的状況では超過関係が等号に退化し、Remark 3.16 で示されるように、標準的なケイリー・ハミルトン定理が回復される。
• 準逆作用素 $\overline{D}\{z\}$ は $\overline{D}\{z\}(D\{z\}u \wedge v) \succeq u \wedge \overline{D}\{z\}v$ を満たし、半環の文脈での逆元性質を一般化する。
• 作用素 $\overline{D}_i$ が $\bigwedge^n V_n$ 上に作用する固有値ペア $(e_i, e'_i)$ は $\overline{D}_i \zeta = e_i \zeta + e'_i \zeta'$ により定義され、ここで $\zeta = b_0 \wedge \cdots \wedge b_{n-1}$ である。
• Corollary 3.17 により、$D_1^n + (e_1(-)e_1')D_1^{n-1} + \cdots + (e_n(-)e_n') \succeq \mathbb{0}$ が成り立つ。これは特徴多項式恒等式を一般化する。
• 当該論文の $\mathfrak{G}(V)_{\geq 2}$ の設定下では、すべての準ゼロが $\mathbb{0}$ に等しくなるため、Theorem 3.15 および Corollary 3.17 において等号が成り立ち、古典的結果と整合することが確認される。