Simultaneous diagonalization via congruence: Nondegenerate families of symmetric matrices

技术摘要：非退化对称矩阵族的合同同时对角化

问题陈述
本文研究了关于一般对称矩阵族（或等价地，关于对称双线性形式）通过合同进行同时对角化的问题。给定一个维数为 $n$ 的实向量空间 $E$ 以及一个对称双线性形式族 $\mathcal{F} = \{\gamma_t \mid t \in I\}$，其目标是确定在何种充分必要条件下，存在一个单一的基 $B$ 使得该基能同时使族中的所有形式对角化。在矩阵术理层面，即给定一组对称矩阵 $\{A_1, \dots, A_m\}$，目标是寻找一个可逆矩阵 $Q$，使得对于所有的 $i$，恒有 $Q^T A_i Q$ 为对角矩阵。虽然两个对称形式的情况已有深入研究，但本文指出，针对一般数量形式的研究结果较为稀缺，且在近十年的时间里才出现了显著的进展。

方法论
作者采用了无坐标的方法，将对称矩阵视为对称双线性形式的表示。其方法论依赖于以下结构性假设与构造：

1. 非退化性： 假设族 $\mathcal{F}$ 是非退化的，即它至少包含一个非退化元素 $\gamma_{t_0}$。这允许定义同构 $\gamma_{t_0}^\flat: E \to E^*$ 及其逆映射 $\gamma_{t_0}^\#$。
2. 线性算子： 对于任何 $\gamma_t \in \mathcal{F}$，在 $E$ 上定义一个线性算子 $G_{t_0}(t)$，通过复合运算 $G_{t_0}(t) := \gamma_{t_0}^\# \circ \gamma_t^\flat$ 实现。在相对于某一基的矩阵表示中，这对应于 $G_{t_0}(t) = [\gamma_{t_0}]^{-1} [\gamma_t]$。
3. 辅助双线性形式： 引入了一个新的双线性形式 $b_{t_0}(s, t)$，其定义关系为 $b_{t_0}(s, t)(u, v) := \gamma_s(u, G_{t_0}(t) \cdot v)$。该形式的对称性是分析的核心。

证明策略涉及将向量空间 $E$ 分解为算子 $G_{t_0}(t)$ 的特征空间。作者证明了如果满足特定的代数条件，这些特征空间相对于族中所有的形式都是相互正交的，从而允许构建一个同时正交基的归纳过程。

主要贡献与结果
本文确立了主要定理（定理 2）及其矩阵论对应形式（定理 1）：

定理 1（矩阵形式）： 令 $A_1, \dots, A_m$ 为实 $n \times n$ 对称矩阵，且 $A_0$ 是由它们线性组合而成的一个可逆矩阵。该族 $\{A_1, \dots, A_m\}$ 可通过合同同时对角化，当且仅当：

• (SD1) 每个矩阵 $G_i := A_0^{-1} A_i$ 都是可对角化的（即其 Jordan 标准型为对角阵）。
• (SD2) 对于每一对 $i, j$，矩阵乘积 $b_{ij} := A_i A_0^{-1} A_j$ 是对称的（即 $b_{ij} = b_{ji}$）。

定理 2（无坐标形式）： 对于具有非退化元素 $\gamma_{t_0}$ 的对称双线性形式族 $\mathcal{F}$，该族是同时可对角化的，当且仅当：

• (SD1) 对于每个 $t \in I$，算子 $G_{t_0}(t)$ 是可对角化的。
• (SD2) 对于每一对 $s, t \in I$，双线性形式 $b_{t_0}(s, t)$ 是对称的。

推论与特例：

• 正定/负定情况（推论 1 与 2）： 如果参考形式 $\gamma_{t_0}$（或矩阵 $A_0$）是正定或负定的，则条件 (SD1) 会自动满足，因为 $G_{t_0}(t)$ 关于由 $\gamma_{t_0}$ 定义的内积是自伴的。在这种特定情况下，同时可对角化仅取决于条件 (SD2)（即乘积 $A_i A_0^{-1} A_j$ 的对称性）。这一结果被呈现为前人工作 [12] 中定理 3.3 的无坐标等价形式。

意义与主张
本文声称推广了过去十年关于一般数量对称形式同时对角化的现有结果。通过提供适用于非退化族（而非仅限于正定丛）的充要条件，这项工作为该问题提供了一个更广泛的代数框架。

作者通过该工作的潜在应用来阐述其意义，特别提到该研究是由调查 Bianchi 模型的同时对角化问题所驱动的。本文将自身定位为一项理论性的进展，它澄清了确保同时对角化的代数关系，从而超越了历史上受限于二形式系统的范畴。研究结果被呈现为对已知定理的严谨扩展，为任意规模的族提供了统一的条件。