[論文レビュー] Miniversal deformations of pairs of symmetric forms

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

Advanced Topics in Algebra被引用数 13

ひとこと要約

本稿では、合同変換の下での対称行列の組 $(A,B)$ に対する最小普遍変形を提示し、独立パラメータの数が最小となる標準形を提供する。この方法により、$(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+E,B+E')$ が合同変換によって捉えられるように、組 $(A,B)$ の標準形を構築する。
• 行列値関数 ${\cal S}(E,E')$ を用い、${\cal S}(0,0) = I$ を満たす滑らかな関数として合同変換を定義し、摂動パラメータに対して解析的依存を保証する。
• 行列の標準形理論と変形理論の技術を用いて、組 $(A,B)$ を最小パラメータ数の標準形に還元する。
• 標準形における独立パラメータの数が最小であることを保証し、最小普遍変形を達成する。
• 対称形式の構造を活用し、関連する二次形式のランクと符号数に基づいて標準形を分類する。
• 得られた標準形が合同変換の下で一意的であり、摂動された組の局所的合同同値類をすべて捉えていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 合同変換の下で、対称行列の組 $(A,B)$ のすべての小さな摂動を記述するために必要な最小のパラメータ集合は何か？
• RQ2 摂動された組 $(A+E,B+E')$ を標準的標準形に還元する滑らかで解析的な変換は、どのように構成できるか？
• RQ3 小さな摂動の下で、対称行列の組の局所的合同同値類を捉える標準形の構造は何か？
• RQ4 対称形式の組に対する最小普遍変形は、単一の対称行列に対する既知の結果をどのように一般化するか？
• RQ5 二つの摂動された組 $(A+E,B+E')$ と $(A+E'',B+E'')$ が合同であるための条件は何か？ そして、その条件は標準形にどのように反映されるか？

主な発見

• 本稿では、合同変換の下で独立パラメータ数が最小となる対称行列の組に対する最小普遍変形を構築した。
• 変形は、摂動項 $E$ と $E'$ に解析的に依存する滑らかな合同変換 ${\cal S}(E,E')$ を用いて実現され、${\cal S}(0,0) = I$ を満たす。
• 与えられた組 $(A,B)$ の十分に小さなすべての摂動 $(A+E,B+E')$ は、合同変換によってこの標準形に還元可能であり、局所的分類が保証される。
• 得られた標準形は合同変換の下で一意的であり、$(A,B)$ の局所的合同軌道に対する完全な局所不変量を提供する。
• 本手法により、単一行列からの理論を対称形式の組へと一般化し、単一行列への結果を拡張した。
• 構成法により、標準形におけるパラメータ数が最小であることが保証され、局所的合同軌道の内因的次元を反映している。