[論文レビュー] Inductive Approach to Cartan's Moving Frame Method with Applications to Classical Invariant Theory

Irina A. Kogan|arXiv (Cornell University)|Sep 4, 2019

Nonlinear Waves and Solitons参考文献 27被引用数 12

ひとこと要約

本稿は、リー群作用における部分多様体の同値問題を解くためのカルタンの移動枠法に、帰納的でアルゴリズム的なアプローチを提示する。特に古典的不変量理論への応用がなされている。群の分解と再帰的正規化を活用することで、多項式の微分不変量および対称性群の効率的計算が可能となり、3次形式の明示的分類と $x^n + y^n + z^n$ への同値条件が得られ、グレブナー基底による計算的検証が行われている。

ABSTRACT

This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an equivariant map from the space of submanifolds to the group itself and introduce two algorithms, which simplify the construction of such maps. The first algorithm is applicable when the group factors as a product of two subgroups $G=BA$, allowing us to use moving frames and differential invariants for the groups $A$ and $B$ in order to construct a moving frame and differential invariants for $G$. This approach produces the relations among the invariants of $G$ and its subgroups. We use the groups of the projective, the affine and the Euclidean transformations on the plane to illustrate the algorithm. We also introduce a recursive algorithm, allowing, provided the group action satisfies certain conditions, to construct differential invariants order by order, at each step normalizing more and more of the group parameters, at the end obtaining a moving frame for the entire group. The development of this algorithm has been motivated by the applications of the moving frame method to the problems of the equivalence and symmetry of polynomials under linear changes of variables. In the complex or real case these problems can be reduced and, in theory, completely solved as the problem of the equivalence of submanifolds. Its solution however involves algorithms based on the Gröbner basis computations, which due to their complexity, are not always feasible. Nevertheless, some interesting new results were obtained, such as a classification of ternary cubics and their groups of symmetries, and the necessary and sufficient conditions for a homogeneous polynomial in three variables to be equivalent to $x^n+y^n+z^n.$

研究の動機と目的

• リー群作用における移動枠および微分不変量を構築するためのアルゴリズム的手法を開発すること、特に古典的不変量理論の問題に焦点を当てる。
• 高次のジェット延長におけるグレブナー基底法の計算複雑性に対処するため、移動枠の再帰的・帰納的な構成を導入すること。
• 3変数3次形式を分類し、同次多項式が $x^n + y^n + z^n$ に同値であるための条件を特定すること。
• カルタンの同値法とフェルス＝オリバーの移動枠アプローチの利点を統合した、体系的でアルゴリズム的なフレームワークを提供すること。

提案手法

• 群パラメータを段階的に正規化することで、順次的に移動枠を構築する再帰的アルゴリズムを導入し、群全体の完全な移動枠を構成する。
• 群 $G = BA$ に対して、部分群 $A$ および $B$ の移動枠と不変量を用いて $G$ の移動枠と不変量を構築する積に基づく帰納的手法を提案し、不変量間の明示的関係を示す。
• 平面におけるユークリッド群、アフィン群、射影群にこの手法を適用し、部分群分解による計算の簡略化を実証する。
• シュォストおよびレセルフの入力を得たグレブナー基底計算を用いて、特に2変数および3変数形式の不変量と対称性を導出する。
• ジェット変数における有理関数として不変量を計算するため、同値類を符号化するための署名多様体の概念を用いる。
• Mapleに実装されたこの手法により、2変数および3変数形式の対称性と不変量の計算が可能となり、対称性数の検証（例：36または18の対称性）が行われた。

実験結果

リサーチクエスチョン

• RQ1 線形群作用の下での多項式同値問題に対して、移動枠法を体系的に応用し、微分不変量を計算する方法は何か？
• RQ2 3次形式の対称性群の構造は何か、そしてそのアルゴリズム的同定は可能か？
• RQ3 3変数の同次多項式が $x^n + y^n + z^n$ に同値であるための条件は何か？
• RQ4 高次のジェット延長を回避するため、移動枠の構成を再帰的かつ帰納的に行うことは可能か？
• RQ5 群の分解と再帰的正規化を用いて、不変量間の関数的関係を効率的に計算する方法は何か？

主な発見

• 再帰的アルゴリズムにより、高次のジェット延長を避けて、順次的に移動枠と微分不変量が正しく構築された。
• $G = BA$ の群に対して、部分群 $A$ および $B$ の移動枠と不変量を用いて $G$ の移動枠と不変量が計算され、不変量間の明示的関係が得られた。
• この手法により3次形式が分類され、特定の形式では36の対称性、他の形式では18の対称性が同定され、グレブナー基底技術を用いて明示的な不変量が計算された。
• $x^n + y^n + z^n$ のための署名多様体が $[1 + 6I_1]$ で定義されることを示し、この手法により、すべての $a$ に対して $q^2 = p^3 + ap$ の形の楕円曲線が同値であることが確認された。
• 2変数および3変数形式に対して、明示的な有理関数不変量が計算され、例として $f(p,q) = p^3 + p - q^2$ の $Pinv(f,3)$ が得られた。対称性数の検証（例：36または18の対称性）が行われた。
• この手法により、$f(p,q) = -q^2 + 2p + p^3$ が36の対称性を持つことが確認され、定数項の変更（例：$+4$ や $+1$）を加えた類似形式についても、場合に応じて36または18の対称性が得られた。