[论文解读] Miniversal deformations of pairs of symmetric forms

Andrii Dmytryshyn|arXiv (Cornell University)|Apr 13, 2011

Advanced Topics in Algebra被引用 13

一句话总结

本文为在合同变换下的对称矩阵对 $(A,B)$ 提供了一个极小通用形变（miniversal deformation），构造出具有最少独立参数数的规范形。该方法确保所有靠近 $(A,B)$ 的摄动 $(A+E,B+E')$ 均可通过依赖于 $E$ 和 $E'$ 的光滑合同变换平滑地约化至此规范形，从而实现此类矩阵对在小摄动下的典范分类。

ABSTRACT

We give a miniversal deformation of each pair of symmetric matrices $(A,B)$ under congruence; that is, a normal form with minimal number of independent parameters to which all matrices $(A+E,B+E')$ close to $(A,B)$ can be reduced by congruence transformations $ (A+E,B+E')\mapsto {\cal S}(E,E')^T (A+E,B+E') {\cal S}(E,E'), {\cal S}(0,0)=I, $ in which ${\cal S}(E,E')$ smoothly depends on the entries of $E$ and $E'$.

研究动机与目标

• 为给定对称矩阵对 $(A,B)$ 构造一个具有最少独立参数数的规范形，以捕捉其所有小摄动在合同变换下的行为。
• 确保映射至规范形的变换对摄动项 $E$ 和 $E'$ 具有光滑依赖性，保持解析结构。
• 提供一种在合同变换下对矩阵对 $(A,B)$ 的典范分类，且该分类在小摄动下保持稳定。
• 将极小通用形变的概念从单个矩阵推广至对称二次型对。
• 建立一个研究对称矩阵对在合同变换下局部几何与稳定性的框架。

提出的方法

• 构造一个对 $(A,B)$ 的规范形，通过合同变换捕捉所有足够小的摄动 $(A+E,B+E')$。
• 使用满足 ${\cal S}(0,0) = I$ 的光滑矩阵值函数 ${\cal S}(E,E')$ 定义合同变换，确保对摄动参数的解析依赖性。
• 应用矩阵规范形与形变理论的技术，将对 $(A,B)$ 约化为参数最少的规范形。
• 确保规范形中独立参数的数量最小化，从而实现极小通用形变。
• 利用对称型的结构，基于相关二次型的秩与符号差对规范形进行分类。
• 验证所得规范形在合同变换下唯一，且完整捕捉摄动对的局部合同等价类。

实验结果

研究问题

• RQ1 在合同变换下，描述对称矩阵对 $(A,B)$ 的所有小摄动所需的最少参数集合是什么？
• RQ2 如何构造一个光滑且解析的变换，将摄动对 $(A+E,B+E')$ 约化为典范规范形？
• RQ3 在小摄动下，捕捉对称矩阵对局部合同等价类的规范形具有何种结构？
• RQ4 对称型对的极小通用形变如何推广已知的单个对称矩阵的结果？
• RQ5 两个摄动对 $(A+E,B+E')$ 与 $(A+E'',B+E'')$ 在何种条件下合同？这一关系在规范形中如何体现？

主要发现

• 本文在合同变换下为对称矩阵对构造了具有最少独立参数数的极小通用形变。
• 该形变通过一个光滑合同变换 ${\cal S}(E,E')$ 实现，其对摄动项 $E$ 和 $E'$ 解析依赖，且满足 ${\cal S}(0,0) = I$。
• 所有足够小的摄动对 $(A+E,B+E')$ 均可通过合同变换约化至此规范形，确保了局部分类的有效性。
• 所得规范形在合同变换下唯一，且为 $(A,B)$ 的合同轨道提供了完整的局部不变量。
• 该方法将极小通用形变理论推广至对称型对，扩展了单个矩阵的结果。
• 该构造确保规范形中参数数量最小化，反映了局部合同轨道的内在维数。