[论文解读] Grassman semialgebras and the Cayley-Hamilton theorem

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

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

一句话总结

本文通过使用 Hasse-Schmidt 到达导子，引入 Grassmann 半代数，将 Cayley-Hamilton 定理推广至半域，统一了经典线性代数、热带代数和超热带结构。它建立了导子之间的拟逆关系，并利用否定映射和超越关系（≽）证明了广义的 Cayley-Hamilton 恒等式，在标准情况下恢复经典等式。

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.

研究动机与目标

• 开发一个统一的 Grassmann 半代数框架，以推广经典线性代数、热带代数和超热带结构。
• 通过 Hasse-Schmidt 到达导子和广义否定映射，将 Cayley-Hamilton 定理扩展至半环。
• 为 Grassmann 半代数上的 Hasse-Schmidt 到达导子定义一个拟逆算子，捕捉非经典设定下 Cayley-Hamilton 恒等式的本质。
• 形式化超越关系（≽）作为半环上下文中等式的替代，使基于行列式的恒等式得以推广。
• 提供一个对称三元组构造，使 Grassmann 半代数即使在缺乏加法逆元的情况下也具备非平凡的否定映射。

提出的方法

• 在半域上的自由模 $V$ 上构造 Grassmann 半代数，使用张量积和满足 $\overline{b_{\pi(i_1)}\cdots\overline{b_{\pi(i_t)}}} = (-)^\pi b_{i_1}\cdots\overline{b_{i_t}}$ 的否定映射。
• 在 $\bigwedge V_n$ 上引入取值于 $\bigwedge V_n[[z]]$ 的 Hasse-Schmidt 到达导子 $D\{z\}$，满足 $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$ 替代恒等式中的等号，使 Cayley-Hamilton 定理在半环设定下得以推广。
• 应用从经典代数到半代数的传递原理，利用该定理在经典情况下以等式成立的事实。
• 构造对称三元组 $(\mathfrak{G}(V)^\natural, \widehat{\mathcal{T}}, (-)_{\mathrm{sw}})$，将原始 Grassmann 半代数嵌入并赋予非平凡的否定映射。

实验结果

研究问题

• RQ1 如何在加法逆元不存在的半环中推广 Cayley-Hamilton 定理？
• RQ2 在 Grassmann 半代数中，定义有意义的特征值和特征向量类比需要何种结构？
• RQ3 Hasse-Schmidt 到达导子能否以保持关键代数恒等式（如 Cayley-Hamilton 公式）的方式扩展至半代数？
• RQ4 超越关系 $\succeq$ 在非经典代数恒等式中替代等式的作用是什么？
• RQ5 对称三元组构造如何在 $v \otimes v = 0$ 不被强制成立的情况下，为 Grassmann 半代数提供非平凡的否定映射？

主要发现

• 本文建立了广义的 Cayley-Hamilton 恒等式：$\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}$ 对所有 $u \in \bigwedge^{>0} V_n$ 成立。
• 在经典情况下，超越关系退化为等式，如注记 3.16 所示，恢复标准的 Cayley-Hamilton 定理。
• 拟逆算子 $\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}$。
• 推论 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}$，因此定理 3.15 和推论 3.17 中等式成立，确认与经典结果的一致性。