[论文解读] On the Jordan decomposition of tensored matrices of Jordan canonical forms

Kei-ichiro Iima, Ryo Iwamatsu|ArXiv.org|Dec 15, 2006

Algebraic Geometry and Number Theory参考文献 5被引用 18

一句话总结

本文在任意特征 $ p \geq 0 $ 的代数闭域上，完整刻画了两个若尔当代数块 $ J(\alpha,s) \otimes J(\beta,t) $ 的若尔当代数形式（JCF）。文中提出了两种算法：一种基于将商环 $ k[x,y]/(x^s, y^t) $ 视为 $ k[\theta] $-模（其中 $ \theta = x+y $）的分拆；另一种基于结构矩阵的行列式计算来确定分解。关键结果是一个适用于所有特征的统一算法，包括在 $ p = 0 $ 或 $ p \geq s+t-1 $ 时的闭式表达，此时结果为 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $。

ABSTRACT

Let k be an algebraically closed field of characteristic p \ge 0. We shall consider the problem of finding out a Jordan canonical form of J(α,s) \otimes_{k} J(β,t), where J(α,s) means the Jordan block with eigenvalue α\in k and size s.

研究动机与目标

• 解决在任意特征 $ p \geq 0 $ 下确定 $ J(\alpha,s) \otimes J(\beta,t) $ 的若尔当代数形式这一开放问题，扩展此前仅在特征零下成立的结果。
• 提供一个与基域特征无关的统一算法，用于计算 JCF，尤其处理 $ \alpha\beta \neq 0 $ 的情形。
• 建立 $ J(\alpha,s) \otimes J(\beta,t) $ 的 JCF 与环 $ R = k[x,y]/(x^s, y^t) $ 作为 $ k[\theta] $-模的不可约分解之间的联系，其中 $ \theta = x+y $。
• 开发一种基于结构矩阵行列式的计算方法，以在正特征下确定分解。
• 将特征零下的已知结果（如 Harima–Watanabe、Martsinkovsky–Vlassov）推广至任意代数闭域。

提出的方法

• 将张量积 $ J(\alpha,s) \otimes J(\beta,t) $ 表示为代数 $ k[X,Y]/((X-\alpha)^s, (Y-\beta)^t) $ 上 $ XY $ 的作用，该代数在变量替换下同构于 $ R = k[x,y]/(x^s, y^t) $。
• 研究 $ R $ 作为 $ k[\theta] $-模（其中 $ \theta = x+y $）的结构，并将其分解为不可约循环 $ k[\theta] $-模 $ k[\theta]/(\theta - \alpha\beta)^{c_i} $，其维数构成分拆 $ \mathbb{c} = (c_1, \dots, c_r) $。
• 利用共轭分拆 $ \mathbb{b} = (b_1, \dots, b_{r'}) $，其中 $ b_i = \dim_k(R / \theta^i R) - \dim_k(R / \theta^{i-1} R) $，通过序列 $ a_i = \dim_k(R / \theta^i R) $ 计算 JCF。
• 引入第二种基于计算映射 $ \times \theta^{s+t-2-2i} : R_i \to R_{s+t-2-i} $ 的行列式 $ D(i) $ 的算法，其矩阵由二项式系数构成。
• 定义序列 $ \varDelta_p = (D_p(0), \dots, D_p(s-1)) $，其中若 $ D(i) \not\equiv 0 \pmod{p} $，则 $ D_p(i) = 1 $，并利用该序列识别主模并计算正特征下的 JCF。
• 递归应用序列 $ \varDelta_p $ 以计算不可约分量的长度与首项次数，从而实现 JCF 的完整重构。

实验结果

研究问题

• RQ1 在任意特征 $ p \geq 0 $ 的代数闭域上，$ J(\alpha,s) \otimes J(\beta,t) $ 的若尔当代数形式是什么？
• RQ2 JCF 如何依赖于特征值 $ \alpha, \beta $，特别是当 $ \alpha\beta = 0 $ 与 $ \alpha\beta \neq 0 $ 时？
• RQ3 是否能通过环 $ R = k[x,y]/(x^s, y^t) $ 的代数不变量，在所有特征下统一计算 JCF？
• RQ4 在 $ \theta = x+y $ 下，$ R $ 作为 $ k[\theta] $-模的模结构在确定不可约分解中起什么作用？
• RQ5 如何利用结构矩阵的行列式在正特征下算法化地计算 JCF？
• RQ6 在何种条件下 JCF 退化为特征零下的形式 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $？

主要发现

• 当 $ \alpha = 0 $ 或 $ \beta = 0 $ 时，$ J(\alpha,s) \otimes J(\beta,t) $ 的 JCF 与域的特征无关，且与特征零情形一致。
• 当 $ \alpha\beta \neq 0 $ 时，JCF 由 $ R = k[x,y]/(x^s, y^t) $ 作为 $ k[\theta] $-模的不可约分解决定，且该分解可通过 $ st $ 的分拆 $ \mathbb{c} $ 计算得出。
• 基于矩阵行列式 $ D(i) $ 的算法（其元素为 $ \binom{s+t-2-2i}{t-1-j} $）可在任意特征 $ p $ 下计算 JCF，其中 $ D_p(i) = 1 $ 当且仅当 $ D(i) \not\equiv 0 \pmod{p} $。
• 当 $ p = 0 $ 或 $ p \geq s+t-1 $ 时，所有 $ D(i) $ 在模 $ p $ 下非零，因此 JCF 简化为 $ \bigoplus_{i=0}^{s-1} J(\alpha\beta, s+t-1-2i) $，推广了已知的特征零结果。
• 对于 $ J(\alpha,4) \otimes J(\beta,5) $ 且 $ \alpha\beta \neq 0 $ 的情形，当 $ p \neq 2,5,7 $ 时，JCF 为 $ J(\alpha\beta,8) \oplus J(\alpha\beta,6) \oplus J(\alpha\beta,4) \oplus J(\alpha\beta,2) $，但当 $ p = 5 $ 时变为 $ J(\alpha\beta,5)^{\oplus 4} $，显示出对 $ p $ 的强依赖性。
• 该方法通过分析从 $ D(i) $ 导出的 $ \varDelta_p $ 序列，成功在正特征下计算出 JCF，即使 $ p $ 整除某些 $ D(i) $，也能实现分解的完整重构。