[论文解读] 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

一句话总结

本文提出了一种归纳性的算法方法，用于解决在李群作用下子流形的等价问题的嘉当移动标架法，特别应用于经典不变量理论。通过利用群分解和递归归一化，该方法实现了多项式微分不变量和对称群的高效计算，得到了三元三次型的显式分类，并给出了与 $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.$

研究动机与目标

• 开发用于在李群作用下构造移动标架和微分不变量的算法方法，尤其针对经典不变量理论中的问题。
• 通过引入移动标架的递归、归纳构造方法，解决高阶喷层中格罗布纳基方法的计算复杂性问题。
• 对三元三次型进行分类，并确定三元齐次多项式与 $x^n + y^n + z^n$ 等价的条件。
• 提供一种系统化、算法化的框架，结合嘉当等价方法与 Fels-Olver 移动标架方法的优势，以实现实际计算。

提出的方法

• 提出一种递归算法，按阶次逐步构造移动标架，通过逐步归一化群参数，构建整个群的完整移动标架。
• 针对群 $G = BA$，提出一种基于乘积的归纳方法，利用子群 $A$ 和 $B$ 的移动标架与不变量，构造 $G$ 的移动标架，并给出不变量之间的显式关系。
• 将该方法应用于平面的欧氏、仿射和射影群，通过子群分解展示了其在简化计算方面的有效性。
• 利用格罗布纳基计算（输入来自 Schost 和 Lecerf），推导不变量与对称性，特别针对二元与三元型。
• 采用签名流形概念编码等价类，并通过喷层变量的有理函数计算不变量。
• 在 Maple 中实现该方法，提供计算二元与三元型对称性与不变量的代码，包括对称性数量的验证（例如，36 或 18 个对称性）。

实验结果

研究问题

• RQ1 如何系统地应用移动标架法，计算在线性群作用下多项式等价问题的微分不变量？
• RQ2 三元三次型的对称群结构是什么？如何通过算法确定其结构？
• RQ3 在什么条件下，三元齐次多项式与 $x^n + y^n + z^n$ 等价？
• RQ4 能否使移动标架构造具有递归性和归纳性，以避免高阶喷层？
• RQ5 如何利用群分解与递归归一化，高效计算不变量之间的函数关系？

主要发现

• 递归算法成功地按阶次逐步构造移动标架与微分不变量，避免了对高阶喷层的依赖。
• 对于群 $G = BA$，该方法利用 $A$ 和 $B$ 的移动标架与不变量，计算出 $G$ 的移动标架与不变量，并给出不变量之间的显式关系。
• 该方法对三元三次型进行了分类，识别出某些形式具有 36 个对称性，另一些形式具有 18 个对称性，并通过格罗布纳基技术显式计算出不变量。
• 证明了 $x^n + y^n + z^n$ 的签名流形由 $[1 + 6I_1]$ 定义，该方法确认了所有 $a$ 的椭圆曲线 $q^2 = p^3 + ap$ 之间等价。
• 该算法显式计算出二元与三元型的有理不变量，例如 $Pinv(f,3)$ 对于 $f(p,q) = p^3 + p - q^2$，并验证了对称性数量（如 36 或 18 个对称性）。
• 该方法确认 $f(p,q) = -q^2 + 2p + p^3$ 具有 36 个对称性，类似形式在常数平移下（如 $+4$、$+1$）也分别产生 36 或 18 个对称性，具体取决于情形。