Moving Frames for Lie Pseudo–Groups
نویسندگان
چکیده
We propose a new, constructive theory of moving frames for Lie pseudo-group actions on submanifolds. The moving frame provides an effective means for determining complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, and solving equivalence and symmetry problems arising in a broad range of applications. Mathematics subject classification. 58A15, 58A20, 58H05, 58J70 † Supported in part by NSF Grant DMS 05-05293.
منابع مشابه
Recursive Moving Frames for Lie Pseudo-Groups
This paper introduces a new, fully recursive algorithm for computing moving frames and differential invariants of Lie pseudo-group actions. The recursive method avoids unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method. The development leads to novel results on partial moving frames, structure equations, and new differe...
متن کاملMoving Frames and Differential Invariants for Lie Pseudo-groups
We survey a recent extension of the moving frames method for infinite-dimensional Lie pseudo-groups. Applications include a new, direct approach to the construction of Maurer–Cartan forms and their structure equations for pseudogroups, and new algorithms, based on constructive commutative algebra, for uncovering the structure of the algebra of differential invariants for pseudogroup actions.
متن کاملPseudo–groups, Moving Frames, and Differential Invariants
We survey recent developments in the method of moving frames for infinite-dimensional Lie pseudo-groups. These include a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for pseudo-groups, and new algorithms, based on constructive commutative algebra, for establishing the structure of their differential invariant algebras.
متن کاملRecursive Moving Frames
A recursive algorithm for the equivariant method of moving frames, for both finite-dimensional Lie group actions and Lie pseudo-groups, is developed and illustrated by several examples of interest. The recursive method enables one avoid unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method.
متن کاملDifferential Invariant Algebras
The equivariant method of moving frames provides a systematic, algorithmic procedure for determining and analyzing the structure of algebras of differential invariants for both finite-dimensional Lie groups and infinite-dimensional Lie pseudo-groups. This paper surveys recent developments, including a few surprises and several open questions.
متن کامل